José Creissac Campos

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1997
Publication period end
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

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. http://dx.doi.org/10.1145/1996461.1996516

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. http://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. http://dx.doi.org/10.1007/978-3-540-70569-7_19

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. http://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. http://dx.doi.org/10.1007/978-3-540-69554-7_11

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. http://dx.doi.org/10.1007/11752707_16

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. http://dx.doi.org/10.1007/11752707_24

Fernandes, António Ramires, Pereira, Jorge Ribeiro, Campos, José Creissac (2004): Accessibility and Visually Impaired Users. In: ICEIS 2004 , 2004, . pp. 75-80.

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. http://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. http://link.springer.de/link/service/series/0558/bibs/2844/28440288.htm

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. http://link.springer.de/link/service/series/0558/bibs/2844/28440171.htm

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, 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. (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.