Author: José Creissac Campos
Publication Overview
Publication period start: 2011
Number of co-authors: 20
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Campos,
José Creissac
(2003):
A formal approach to the usability engineering.
In:
Proceedings of the 2003 Latin American conference on Human-computer interaction
,
2003,
.
pp. 17-28.
https://portal.acm.org/citation.cfm?id=944519.944522
Campos,
José Creissac,
Doherty,
Gavin
(2003):
Reasoning about Dynamic Information Displays.
In:
Jorge,
Joaquim A.,
Nunes,
Nuno Jardim,
Cunha,
Joao Falcao e
(eds.)
DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop
June 11-13,
2003,
Funchal, Madeira Island, Portugal.
pp. 288-302.
https://link.springer.de/link/service/series/0558/bibs/2844/28440288.htm
Campos,
José Creissac,
Doherty,
Gavin
(2005):
Supporting Resource-Based Analysis of Task Information Needs.
In:
Gilroy,
Stephen W.,
Harrison,
Michael D.
(eds.)
DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop
July 13-15,
2005,
Newcastle upon Tyne, UK.
pp. 188-200.
https://dx.doi.org/10.1007/11752707_16
Campos,
José Creissac,
Harrison,
Michael D.
(1997):
Formally verifying interactive systems: A review.
In:
Harrison,
Michael D.,
Torres,
Juan Carlos
(eds.)
DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop
June 4-6,
1997,
Granada, Spain.
pp. 109-124.
Campos,
José Creissac,
Harrison,
Michael D.
(1998):
The Role of Verification in Interactive Systems Design.
In:
Markopoulos,
Panos,
Johnson,
Peter
(eds.)
DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop
June 3-5,
1998,
Abingdon, United Kingdom.
pp. 155-170.
Campos,
José Creissac,
Harrison,
Michael D.
(1999):
Modelling and Analysing Connectivity in an Audio-Visual Communications System.
In:
Duke,
David J.,
Puerta,
Angel R.
(eds.)
DSV-IS 1999 - Design, Specification and Verification of Interactive Systems99, Proceedings of the Eurographics Workshop
June 2-4,
1999,
Braga, Portugal.
pp. 167-188.
Campos,
José Creissac
(2003):
Using Task Knowledge to Guide Interactor Specifications Analysis.
In:
Jorge,
Joaquim A.,
Nunes,
Nuno Jardim,
Cunha,
Joao Falcao e
(eds.)
DSV-IS 2003 - Interactive Systems. Design, Specification, and Verification, 10th International Workshop
June 11-13,
2003,
Funchal, Madeira Island, Portugal.
pp. 171-186.
https://link.springer.de/link/service/series/0558/bibs/2844/28440171.htm
Doherty,
Gavin,
Bousquet,
Lydie du,
Campos,
José Creissac,
Atifi,
El Mustapha El,
Falquet,
Gilles,
Massink,
Mieke,
Santoro,
Carmen
(2005):
Ambience and Mobility.
In:
Gilroy,
Stephen W.,
Harrison,
Michael D.
(eds.)
DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop
July 13-15,
2005,
Newcastle upon Tyne, UK.
pp. 264.
https://dx.doi.org/10.1007/11752707_24
Chatty,
Stephane,
Campos,
José Creissac,
González,
María Paula,
Lepreux,
Sophie,
Nilsson,
Erik G.,
Penichet,
Victor M. Ruiz,
Santos,
Mónica Sara,
Bergh,
Jan Van den
(2006):
Processes: Working Group Report.
In:
Doherty,
Gavin,
Blandford,
Ann
(eds.)
DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop
July 26-28,
2006,
Dublin, Ireland.
pp. 262-264.
https://dx.doi.org/10.1007/978-3-540-69554-7_21
Silva,
João Carlos,
Campos,
José Creissac,
Saraiva,
João
(2006):
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of In.
In:
Doherty,
Gavin,
Blandford,
Ann
(eds.)
DSV-IS 2006 - Interactive Systems. Design, Specification, and Verification, 13th International Workshop
July 26-28,
2006,
Dublin, Ireland.
pp. 137-150.
https://dx.doi.org/10.1007/978-3-540-69554-7_11
Campos,
José Creissac,
Harrison,
Michael D.
(2008):
Systematic Analysis of Control Panel Interfaces Using Formal Tools.
In:
Graham,
T. C. Nicholas,
Palanque,
Philippe A.
(eds.)
DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop
July 16-18,
2008,
Kingston, Canada.
pp. 72-85.
https://dx.doi.org/10.1007/978-3-540-70569-7_6
Doherty,
Gavin,
Campos,
José Creissac,
Harrison,
Michael D.
(2008):
Resources for Situated Actions.
In:
Graham,
T. C. Nicholas,
Palanque,
Philippe A.
(eds.)
DSV-IS 2008 - Interactive Systems. Design, Specification, and Verification, 15th International Workshop
July 16-18,
2008,
Kingston, Canada.
pp. 194-207.
https://dx.doi.org/10.1007/978-3-540-70569-7_19
Fernandes,
António Ramires,
Pereira,
Jorge Ribeiro,
Campos,
José Creissac
(2004):
Accessibility and Visually Impaired Users.
In:
ICEIS 2004
,
2004,
.
pp. 75-80.
Barbosa,
Ana,
Paiva,
Ana C. R.,
Campos,
José Creissac
(2011):
Test case generation from mutated task models.
In:
ACM SIGCHI 2011 Symposium on Engineering Interactive Computing Systems
,
2011,
.
pp. 175-184.
https://dx.doi.org/10.1145/1996461.1996516