Author: José Creissac Campos
Publications
Co-authors
Productive Colleagues
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