[Photo]
[EEng] [INESC TEC]
Publications
Accepted
abstracts off (turn on)
E. Moreira and J.C. Campos
On the role of generative AI in explaining model checking counterexamples. In L. Zaina, J.C. Campos, E. Panizzi, K. Pucihar, F. Paternò, L. Nigay and G. Leiva, editors, Engineering Interactive Computer Systems, Lecture Notes in Computer Science. Springer. (accepted)
J. C. Campos and M. D. Harrison
Formal approaches for Interactive Systems. In J. Vanderdonckt, P. Palanque and M. Winckler, editors, Handbook of Human Computer Interaction. Springer. (accepted)
visit publisher  
2024
abstracts off (turn on)
E. Moreira and J.C. Campos (2024)
A language for explaining counterexamples. In SLATE 2024, volume 120 of OpenAccess Series in Informatics (OASIcs). Schloss Dagstuhl - LZI. (in press)
A. Cunha, N. Macedo, J.C. Campos, I. Margolis and E. Sousa (2024)
Assessing the impact of hints in learning formal specification. In International Conference on Software Engineering: Software Engineering Education and Training (ICSE-SEET 2024), pages 145-155. ACM.
visit publisher  
L.D. Spano, J.C. Campos, A. Dittmar and P. Forbrig (2024)
An Online Repository for Educational Resources in HCI-Engineering. In Design for Equality and Justice, volume 14535 of Lecture Notes in Computer Science, pages 183-200. Springer.
visit publisher  
E. Moreira and J.C. Campos (2024)
Explaining temporal logic model checking counterexamples through the use of structured Natural Language. In Engineering Interactive Computer Systems, volume 14517 of Lecture Notes in Computer Science, pages 1-19. Springer.
visit publisher  
2023
abstracts off (turn on)
R. Braga da Costa and J.C. Campos (2023)
Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design. In Human-Computer Interaction - INTERACT 2023, volume 14143 of Lecture Notes in Computer Science, pages 504-513. Springer.
visit publisher  
B. Teixeira and J.C. Campos (2023)
Towards Automated Load Testing Through the User Interface. In Human-Computer Interaction - INTERACT 2023, volume 14143 of Lecture Notes in Computer Science, pages 514-522. Springer.
visit publisher  
P.A. Palanque and J.C. Campos (2023)
AMAN Case Study. In Rigorous State-Based Methods - ABZ 2023, volume 14010 of Lecture Notes in Computer Science, pages 265-283. Springer.
visit publisher  
2022
abstracts off (turn on)
J. Martins, J.M. Fonseca, R. Costa, J.C. Campos, A. Cunha, N. Macedo and J.N. Oliveira (2022)
Verification of Railway Network Models with EVEREST. In MODELS '22, pages 345-355. ACM.
visit publisher  
J.C. Campos and A.N. Ribeiro (2022)
Addressing Interactive Computing Systems' concerns in Software Engineering degrees. In Feel, Sense, Design - INTERACT 2021 IFIP TC 13 Workshops, volume 13198 of Lecture Notes in Computer Science, pages 248-256. Springer.
visit publisher  
S. Caffieau, J.C. Campos, C. Martinie, L. Nigay, P. Palanque and L.D. Spano (2022)
Teaching HCI Engineering: Four Case Studies. In Feel, Sense, Design - INTERACT 2021 IFIP TC 13 Workshops, volume 13198 of Lecture Notes in Computer Science, pages 195-210. Springer.
visit publisher  
2021
abstracts off (turn on)
C. Machado and J.C. Campos (2021)
Towards the integration of user interface prototyping and model-based development. In 2021 International Conference on Graphics and Interaction (ICGI), pages 1-8. IEEE.
visit publisher  
K. Baumann, J.C. Campos, A. Dix, L. Nigay, P. Palanque, J. Vanderdonckt, G. van der Veer and B. Weyers (2021)
HCI-E2 : HCI Engineering Education - For Developers, Designers and More. In C. Ardito et al., editor, Human-Computer Interaction - INTERACT 2021, volume 12936 of Lecture Notes in Computer Science, pages 542-547. Springer.
visit publisher  
M.D. Harrison, P. Masci and J.C. Campos (2021)
Balancing the formal and the informal in user centred design. Interacting with Computers, 33(1):55-72, January.
visit publisher  
C. Silva, J. Vieira, J.C. Campos, R. Couto and A.N. Ribeiro (2021)
Development and validation of a Descriptive Cognitive Model for a Low Code Development Platform. Human Factors, 63(6):1012-1032.
visit publisher   visit publisher  
2020
abstracts off (turn on)
J.C. Campos, C. Fayollas, M.D. Harrison, C. Martinie, P. Masci and P. Palanque (2020)
Supporting the analysis of safety critical user interfaces: an exploration of three formal tools. ACM Transactions on Computer-Human Interaction, 27(5), August.
visit publisher   download  
A. Canny, D. Navarre, J.C. Campos and P. Palanque (2020)
Model-Based Testing of Post-WIMP Interactions Using Petri-nets. In E. Sekerinski et al., editor, Formal Methods. FM 2019 International Workshops, volume 12232 of Lecture Notes in Computer Science, pages 486-502. Springer.
visit publisher   download  
2019
abstracts off (turn on)
J. Araújo, R. Couto and J.C. Campos (2019)
A Generator of User Interface Prototypes for the IVY Workbench. In ICGI 2019 -- International Conference on Graphics and Interaction, pages 32-39. IEEE.
visit publisher   download  
M.D. Harrison, P. Masci and J.C. Campos (2019)
Verification Templates for the Analysis of User Interface Software Design. IEEE Transactions on Software Engineering, 45(8):802-822, August.
visit publisher   download  
C. Silva, P. Masci, Y. Zhang, P. Jones and J.C. Campos (2019)
A Use Error Taxonomy for Improving Human-Machine Interface Design in Medical Devices. ACM SIGBED Review (Special Issue on Medical Cyber Physical Systems - MCPS'18), 16(2):24-30, July.
visit publisher   download  
R. Couto and J.C. Campos (2019)
High assurance on Cyber-Physical Interactive Systems. In HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, pages 46-50.
download  
J.C. Campos and M.D. Harrison (2019)
Formal verification of interactive computing systems: opportunities and challenges. In HCI Engineering 2019 - Methods and Tools for Advanced Interactive Systems and Integration of Multiple Stakeholder Viewpoints, volume 2503 of CEUR Workshop Proceedings, pages 69-75.
download  
R. Couto and J.C. Campos (2019)
IVY 2 - A model-based analysis tool. In The 11th ACM SIGCHI Symposium on Engineering Interactive Computing Systems - EICS 2019, pages 5:1--5:6. ACM.
visit publisher  
D. Distante, M. Winckler, R. Bernhaupt, J. Bowen, J.C. Campos, F. Müller, P. Palanque, J. Van den Bergh, B. Weyers and A. Voit (2019)
Trends on Engineering Interactive Systems: An Overview of Works Presented in Workshops at EICS 2019. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 22:1--22:6. ACM.
visit publisher  
M.D. Harrison, L. Freitas, M. Drinnan, J.C. Campos, P. Masci, C. di Maria and M. Whitaker (2019)
Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine. Science of Computer Programming, 175:17-34, April.
visit publisher   visit publisher  
2018
abstracts off (turn on)
R. Couto, J.C. Campos, N. Macedo and A. Cunha (2018)
Improving the Visualization of Alloy Instances. In Integrated Development Environment 2018 (F-IDE 2018), volume 284 of Electronic Proceedings in Theoretical Computer Science, pages 37-52.
visit publisher   visit publisher  
M.D. Harrison, P. Masci and J.C. Campos (2018)
Formal modelling as a component of user centred design. In M. Mazzara, I. Ober and G. Salaün, editors, Software Technologies: Applications and Foundations, volume 11176 of Lecture Notes in Computer Science, pages 274-289. Springer.
visit publisher   visit publisher  
R. Couto and J.C. Campos (2018)
Improving traces visualisation through layout managers. In ICGI 2018 - 1st International Conference on Graphics and Interaction, pages 41-48. IEEE.
visit publisher   visit publisher  
C. Silva and J.C. Campos (2018)
Towards a Simulation-Based Medical Education Platform for PVSio-Web. In ICGI 2018 - 1st International Conference on Graphics and Interaction. IEEE.
visit publisher   visit publisher  
J.C. Campos and N. Sousa (2018)
The MAL Interactors Animator: Supporting model validation through animation. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 11:1--11:7. ACM.
visit publisher   visit publisher  
P Masci, Y Zhang, P Jones and JC Campos (2018)
Extending STPA to Improve the Analysis of User Interface Software in Medical Devices. STAMP Workshop 2018.
download  
2017
abstracts off (turn on)
M.D. Harrison, M. Drinnan, J.C. Campos, P. Masci, L. Freitas, C. di Maria and M. Whitaker (2017)
Safety analysis of software components of a dialysis machine using model checking. In Formal Aspects of Component Software, volume 10487 of Lecture Notes in Computer Science, pages 137-154. Springer.
visit publisher   download  
M. Pinto, M. Gonçalves, P. Masci, and J.C. Campos (2017)
TOM: a Model-Based GUI Testing framework. In Formal Aspects of Component Software, volume 10487 of Lecture Notes in Computer Science, pages 155-161. Springer.
visit publisher   download  
M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2017)
Verification of User Interface Software: the Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Transactions on Human-Machine Systems, 47(6):834-846, December.
visit publisher  
P. Masci, Y. Zhang, P. Jones and J.C. Campos (2017)
A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices. In Software Engineering and Formal Methods (SEFM'17), volume 10469 of Lecture Notes in Computer Science, pages 284-299. Springer.
visit publisher   download  
J.C. Campos, C. Fayollas, M. Gonçalves, C. Martinie, D. Navarre, P. Palanque and M. Pinto (2017)
A "More Intelligent" Test Case Generation Approach through Task Models Manipulation. Proceedings of the ACM on Human Computer Interaction, 1(EICS):9:1-9:20.
visit publisher   download  
Machado, M., Couto, R. and Campos, J.C. (2017)
MODUS: Model-based User Interfaces Prototyping. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 111--116. ACM.
visit publisher   download  
Harrison, M.D., Masci, P.M., Campos, J.C. and Curzon, P. (2017)
The specification and analysis of use properties of a nuclear control system. In Weyers, B., Palanque, P., Bowen, J. and Dix, A., editors, The Handbook on Formal Methods in Human Computer Interaction, Human-Computer Interaction Series, chapter 14. Springer.
visit publisher  
Campos, J.C., Abade, T., Silva, J.L. and Harrison, M.D. (2017)
Don't Go In There! Using the APEX framework in the design of ambient assisted living systems. Journal of Ambient Intelligence and Humanized Computing, 8(4):551-566.
visit publisher   visit publisher   download  
Fayollas, C., Martinie, C., Palanque, P., Masci, P., Harrison, M.D., Campos, J.C. and Silva, S.R. (2017)
Evaluation of formal IDEs for human-machine interface design and analysis: the case of CIRCUS and PVSio-web. In Proceedings of the Third Workshop on Formal Integrated Development Environment, volume 240 of Electronic Proceedings in Theoretical Computer Science, pages 1-19.
visit publisher  
M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2017)
Demonstrating that medical devices satisfy user related safety requirements. In Software Engineering in Healthcare (FHIES/SEHC 2014), volume 9062 of Lecture Notes in Computer Science, pages 113-128. Springer.
visit publisher   download  
P. Machado, R. Couto and J.C. Campos (2017)
Um editor tabular para modelação de interfaces. In Atas do EPCGI 2017 - 24o. Encontro Português de Computação Gráfica e Interação, pages 243-244.
R. Couto, A.N. Ribeiro and J.C. Campos (2017)
Avaliação de Usabilidade da ferramenta uCat. In Atas do EPCGI 2017 - 24o. Encontro Português de Computação Gráfica e Interação, pages 239-240.
R. Couto, A.N. Ribeiro and J.C. Campos (2017)
De Requisitos a Protótipos de UI: Uma Abordagem Semi Automatizada. In Atas do EPCGI 2017 - 24º Encontro Português de Computação Gráfica e Interação, pages 237-238.
2016
abstracts off (turn on)
Luyten, K., Palanque, P., Campos, J.C. and Schmidt, A., editor(s) (2016)
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '16. ACM.
visit publisher  
J.C. Campos, C. Fayollas, C. Martinie, D. Navarre, P. Palanque and M. Pinto (2016)
Systematic Automation of Scenario-Based Testing of User Interfaces. In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 138-148. ACM.
visit publisher   download  
M. Harrison, J.C. Campos, R. Ruksenas and P. Curzon (2016)
Modelling information resources and their salience in medical device design. In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pages 194-203. ACM.
visit publisher   download  
R. Couto, A.N. Ribeiro and J.C. Campos (2016)
Validating an approach to formalize use cases with ontologies. In Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, volume 205 of Electronic Proceedings in Theoretical Computer Science, pages 1-15. Open Publishing Association.
visit publisher  
J.C. Campos, M. Sousa, M. Alves and M.D. Harrison (2016)
Formal Verification of a Space System's User Interface with the IVY workbench. IEEE Transactions on Human-Machine Systems, 46(2):303-316.
visit publisher   download  
2015
abstracts off (turn on)
M. Harrison, J.C. Campos, P. Masci and P. Curzon (2015)
Templates as heuristics for proving properties of medical devices. In 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". ACM.
visit publisher  
J.C. Campos, J.L. Silva and M. Harrison (2015)
Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes. In Ian Cleland, Luis Guerrero and José Bravo, editors, Ambient Assisted Living. ICT-based Solutions in Real Life Situations, volume 9455 of Lecture Notes in Computer Science, pages 49-61. Springer.
visit publisher   download  
M. Machado, J.C. Campos and R. Couto (2015)
MODUS: uma metodologia de prototipagem de interfaces baseada em modelos. In Inforum 2015: Atas do 7º Simpósio Nacional de Informática, pages 17-32. UBI - Universidade da Beira Interior.
download  
T. Abade, J.C. Campos, R. Moreira, C.C.L. Silva and J.L. Silva (2015)
Immersiveness of Ubiquitous Computing Environments Prototypes: A case study. In N. Streitz and P. Markopoulos, editors, Distributed, Ambient and Pervasive Interactions, volume 9189 of Lecture Notes in Computer Science, pages 237-248. Springer.
visit publisher   visit publisher   download  
J.C. Campos, P. Masci, P. Curzon and M.D. Harrison (2015)
Layers, resources and property templates in the specification and analysis of two interactive systems. In Proceedings of the Workshop on Formal Methods in Human Computer Interaction (FoMHCI) 2015, pages 38-43. Universitätsbibliothek, RWTH Aachen University.
download  
R. Couto, A.N. Ribeiro and J.C. Campos (2015)
The Modelery: A Model-Based Software Development Repository. International Journal of Web Information Systems, 11(2):205-225.
visit publisher   visit publisher  
D. Almeida, J.C. Campos, J. Saraiva and J.C. Silva (2015)
Towards a Catalog of Usability Smells. In ACM SAC 2015 proceedings - Volume I: Artificial Intelligence and Agents, Distributed Systems, and Information Systems, pages 175-181. ACM.
visit publisher   download  
M.D. Harrison, J.C. Campos and P. Masci (2015)
Reusing models and properties in the analysis of similar interactive devices. Innovations in Systems and Software Engineering, 11(2):95-111, June.
visit publisher   visit publisher   visit publisher   download  
J. Lamas, C.C.L. Silva, M. Silva, S. Mouta, J.C. Campos, J.A. Santos (2015)
Measuring end-to-end delay in real-time auralisation systems. In Euronoise - 10th European Congress and Exposition on Noise Control Engineering, pages 791-796. EAA-NAG-ABAV.
visit publisher   download  
2014
abstracts off (turn on)
J.C. Campos, G. Doherty and M.D. Harrison (2014)
Analysing interactive devices based on information resource constraints. International Journal of Human-Computer Studies, 72(3):284-297, March.
visit publisher   visit publisher  
J.L. Silva, J.C. Campos and M.D Harrison (2014)
Prototyping and Analysing Ubiquitous Computing Environments using Multiple Layers. International Journal of Human-Computer Studies, 72(5):488-506, May.
visit publisher   visit publisher  
T. Gomes, T. Abade, J.C. Campos, M.D. Harrison and J.L. Silva (2014)
A Virtual Environment based Serious Game to Support Health Education. EAI Endorsed Transactions on Ambient Systems, 14(3):e5, March.
visit publisher   visit publisher  
C.E. Silva and J.C. Campos (2014)
Characterizing the Control Logic of Web Applications' User Interfaces. In Computational Science and Its Applications - ICCSA 2014, volume 8584 of Lecture Notes in Computer Science, pages 263-276. Springer.
visit publisher   visit publisher   download  
R. Couto, A.N. Ribeiro and J.C. Campos (2014)
A Study on the Viability of Formalizing Use Cases. In 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, pages 130-133. IEEE.
visit publisher   visit publisher  
R. Couto, A.N. Ribeiro and J.C. Campos (2014)
The Modelery: A Collaborative Web Based Repository. In Computational Science and Its Applications - ICCSA 2014, volume 8584 of Lecture Notes in Computer Science, pages 1-16. Springer.
visit publisher   visit publisher  
T. Abade, T. Gomes, J.L. Silva and J.C. Campos (2014)
Design and Evaluation of a Smart Library using the APEX Framework. In N. Streitz and P. Markopoulos, editors, Distributed, Ambient, and Pervasive Interactions, volume 8530 of Lecture Notes in Computer Science, pages 307-318. Springer.
visit publisher   visit publisher   download  
A.I. Sampaio and J.C. Campos (2014)
Towards a Framework for Adaptive Web Applications. In C. Stephanidis, editor, HCI International 2014 - Posters' Extended Abstracts, Part I, volume 434 of Communications in Computer and Information Science, pages 240-245. Springer.
visit publisher   visit publisher   download  
T. Gomes, T. Abade, J.C. Campos, M.D. Harrison and J.L. Silva (2014)
Rapid Development of First Person Serious Games using the APEX Platform: The Asthma Game. In ACM SAC 2014 proceedings - Volume I: Artificial Intelligence & Agents, Distributed Systems, and Information Systems, pages 169-174. ACM.
visit publisher   visit publisher   download  
J.C. Campos (2014)
High assurance interactive computing systems. In J. Ziegler, J. C. Campos and L. Nigay, editors, HCI Engineering: Charting the Way towards Methods and Tools for Advanced Interactive Systems, pages 39-42.
visit publisher   download  
R. Couto, A.N. Ribeiro and J.C. Campos (2014)
Application of Ontologies in Identifying Requirements Patterns in Use Cases. In 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014), volume 147 of Electronic Proceedings in Theoretical Computer Science, pages 62-76.
visit publisher   visit publisher  
M. Sousa, J.C. Campos, M. Alves and M.D. Harrison (2014)
Formal Verification of Safety-Critical User Interfaces: a space system case study. In Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium, pages 62-67. AAAI Press.
visit publisher   download  
J.C. Silva, J.C. Campos, J. Saraiva and J.L. Silva (2014)
An approach for graphical user interface external bad smells detection. In New Perspectives in Information Systems and Technologies, vol. 2, volume 276 of Advances in Intelligent Systems and Computing, pages 199-205. Springer.
visit publisher   visit publisher  
J.M. Machado and J.C. Campos (2014)
Development of Dependable Controllers in the Context of Machines Design. In Modern Methods of Construction Design, Lecture Notes in Mechanical Engineering, pages 125-131. Springer.
visit publisher   visit publisher  
J. Ziegler, J.C. Campos and L. Nigay (2014)
HCI engineering: Charting the way towards methods and tools for advanced interactive systems. In Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2014), pages 299-300. ACM.
visit publisher  
2013
abstracts off (turn on)
M.D. Harrison, P. Masci, J.C. Campos and P. Curzon (2013)
Automated theorem proving for the systematic analysis of an infusion pump. Electronic Communications of the EASST, 69: Formal Methods for Interactive Systems 2011. (ISSN: 1863-2122)
visit publisher  
C. Silva, C. Mendonça, S. Mouta, R. Silva, J.C. Campos and J. Santos (2013)
Depth cues and perceived audiovisual synchrony of biological motion. PLoS ONE, 8(11):e80096, November.
visit publisher   visit publisher  
T. Gomes, T. Abade, J.L. Silva and J.C. Campos (2013)
Desenvolvimento de Jogos Educativos na plataforma APEX: O Jogo da Asma. In Luís Magalhães and Beatriz Santos, editors, Atas da Conferência Interação 2013, pages 90-97. Universidade de Trás-os-Montes e Alto Douro.
visit publisher  
T. Abade, T. Gomes, J.L. Silva and J. C. Campos (2013)
Avaliação de Ambientes Ubíquos na Plataforma APEX. In Luís Magalhães and Beatriz Santos, editors, Atas da Conferência Interação 2013, pages 177-178. Universidade de Trás-os-Montes e Alto Douro.
visit publisher  
P.J. Cruz and J.C. Campos (2013)
Ambiente de geração, mutação e execução de casos de teste para aplicações Web. In Luís Magalhães and Beatriz Santos, editors, Atas da Conferência Interação 2013, pages 45-52. Universidade de Trás-os-Montes e Alto Douro.
visit publisher  
T. Gomes, T. Abade, M.D. Harrison, J.L. Silva and J.C. Campos (2013)
Developing Serious Games With The APEX Framework. In Proceedings of the Workshop on "Ubiquitous games and gamification for promoting behavior change and wellbeing", pages 37-40.
visit publisher  
C.E. Silva and J.C. Campos (2013)
Combining Static and Dynamic Analysis for the Reverse Engineering of Web Applications. In P. Forbrig, P. Dewan, M. Harrison, K. Luyten, C. Santoro and S.D.J. Barbosa, editors, Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2013), pages 107-112. ACM.
visit publisher   visit publisher  
J.C. Silva, J.L. Silva, J.C. Campos and J.A. Saraiva (2013)
Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos. In Sistemas e Tecnologias de Informação (CISTI 2013), volume 2, pages 142-146. AISTI.
visit publisher   visit publisher  
J.C. Campos and J. Machado (2013)
A Specification Patterns System for Discrete Event Systems' Analysis. International Journal of Advanced Robotic Systems, 10:315.
visit publisher   visit publisher  
S. Moreira, R. José and J.C. Campos (2013)
An empirical study on immersive prototyping dimensions. In M. Kurosu, editor, Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments, volume 8004 of Lecture Notes in Computer Science, pages 421-430. Springer.
visit publisher   visit publisher   download  
L. Oliveira, A.N. Ribeiro and J.C. Campos (2013)
The Mobile Context Framework: providing context to mobile applications. In N. Streitz and C. Stephanidis, editors, Distributed, Ambient and Pervasive Interactions, volume 8028 of Lecture Notes in Computer Science, pages 144-153. Springer.
visit publisher   visit publisher  
R. Couto, A.N. Ribeiro and J.C. Campos (2013)
MapIt: A model based pattern recovery tool. In R.J. Machado, R.S.P. Maciel, J. Rubin and G. Botterweck, editors, Model-Based Methodologies for Pervasive and Embedded Software, volume 7706 of Lecture Notes in Computer Science, pages 19-37. Springer.
visit publisher   visit publisher  
2012
abstracts off (turn on)
R. Couto, A.N. Ribeiro and J.C. Campos (2012)
A patterns based reverse engineering approach for Java source code. In 35th Annual IEEE Software Engineering Workshop, pages 140-147. IEEE Computer Society.
visit publisher   visit publisher  
C.E. Silva and J.C. Campos (2012)
Can GUI implementation markup languages be used for modelling?. In Marco Winckler, Peter Forbrig and Regina Bernhaupt, editors, Human Centred Software Engineering (HCSE 2012), volume 7623 of Lecture Notes in Computer Science, pages 112-129. Springer.
visit publisher  
S. Barbosa, J.C. Campos, R. Kazman, P. Palanque, M. Harrison and S. Reeves, editor(s) (2012)
Proceedings of the 4th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12. ACM, Copenhagen, Denmark.
visit publisher  
M.D. Harrison, J.C. Campos, P. Masci and N. Thomas (2012)
Modelling and systematic analysis of interactive systems. In Matthew L. Bolton, Asaf Degani and Philippe Palanque, editors, Proceedings of the Workshop on Formal Methods in Human-Machine Interaction (Formal H), pages 25-28.
visit publisher   visit publisher  
J.L. Silva, J.C. Campos and M.D. Harrison (2012)
Formal analysis of Ubiquitous Computing environments through the APEX framework. In ACM Symposium on Engineering Interactive Computing Systems (EICS2012), pages 131-140. ACM.
visit publisher  
L. Freire, P.M. Arezes and J.C. Campos (2012)
A literature review about usability evaluation methods for e-learning platforms. Work: A Journal of Prevention, Assessment and Rehabilitation, 41:1038-1044.
visit publisher  
J.C. Campos, J. Saraiva, C. Silva and J.C. Silva (2012)
GUIsurfer: A Reverse Engineering Framework for User Interface Software. In A.C. Telea, editor, Reverse Engineering - Recent Advances and Applications, chapter 2, pages 31-54. InTech.
visit publisher   visit publisher  
2011
abstracts off (turn on)
J.C. Campos and S.A. Mendes (2011)
FlexiXML - A portable user interface rendering engine for UsiXML. In User Interface Extensible Markup Language - UsiXML'2011, pages 158-168. Thales Research and Technology. (ISBN: 978-2-9536757-1-9)
visit publisher  
J.C. Campos and M.D. Harrison (2011)
Modelling and analysing the interactive behaviour of an infusion pump. Electronic Communications of the EASST, 45: Formal Methods for Interactive Systems 2011. (ISSN: 1863-2122)
visit publisher  
J.C. Campos and J. Machado (2011)
Supporting requirements formulation in software formal verification. In Ambrosio, A.M., Mattiello-Francisco, M.F., Batista, J.C., Barbosa, R. and Cancela, H., editors, Latin-American Symposium on Dependable Computing (LADC 2011) suplemental proceedings. INPE.
download  
J. Machado and J.C. Campos (2011)
Partial Plant Models in Formal Verification of Industrial Automation Discrete Systems. In Ambrosio, A.M., Mattiello-Francisco, M.F., Batista, J.C., Barbosa, R. and Cancela, H., editors, Latin-American Symposium on Dependable Computing (LADC 2011) suplemental proceedings. INPE.
download  
A. Barbosa, A. Paiva and J.C. Campos (2011)
Test case generation from mutated task models. In Fabio Paternò, Kris Luyten, Frank Maurer, Prasun Dewan and Carmen Santoro, editors, ACM Symposium on Engineering Interactive Computing Systems (EICS 2011), pages 175-184. ACM. (ISBN: 978-1-4503-0778-9)
visit publisher  
J. Machado, E. Seabra, J.C. Campos, F. Soares and C. Leão (2011)
Safe Controllers Design for Industrial Automation Systems. Computers & Industrial Engineering, 60(4):635-653, May. (ISSN: 0360-8352)
visit publisher   visit publisher  
L. Freire, P.M. Arezes and J.C. Campos (2011)
A importância das avaliações qualitativas em sistemas E-learning. In P. Arezes, J.S. Baptista, M.P. Barroso, P. Carneiro, P. Cordeiro, N. Costa, R. Melo, A.S. Miguel and G.P. Perestrelo, editors, Occupational Safety and Hygiene (SHO 2011), pages 274-278.
2010
abstracts off (turn on)
J. C. Silva, J. C. Campos and J. A. Saraiva (2010)
GUI Inspection from Source Code Analysis. Electronic Communications of the EASST, 33: Foundations and Techniques for Open Source Software Certification 2010).
download  
P. Borges, J. Machado, E. Villani and J. C. Campos (2010)
From SFC Specification to C Programming Language on the Context of Aerospace Systems Control. In Ioan Dumitrache and Catalin Buiu, editors, IFAC Workshop on Intelligent Control Systems 2010, pages 46-51. Elsevier. (ISBN: 978-1-61782-758-7)
J. L. Silva, O. R. Ribeiro, J. M. Fernandes, J. C. Campos and M. D. Harrison (2010)
The APEX framework: prototyping of ubiquitous environments based on Petri nets. In R. Bernhaupt, P. Forbrig, J. Gulliksen and M.K. Lárusdóttir, editors, Human-Centred Software Engineering, volume 6409 of Lecture Notes in Computer Science, pages 6-21. Springer.
download  
J. C. Silva, C. E. Silva, J. C. Campos and J. A. Saraiva (2010)
GUI Behavior from Source Code Analysis. In O. Mealha, J. Madeira, D. Tércio and B.S. Santos, editors, 4a. Conferência Nacional em Interacção Humano-Computador (Interacção 2010), pages 81-88. GPCG (Eurographics - Portuguese Chapter).
download  
J.L. Silva, O.R. Ribeiro, J.M. Fernandes, J.C. Campos and M.D. Harrison (2010)
Prototipagem rápida de ambientes ubíquos. In O. Mealha, J. Madeira, D. Tércio and B.S. Santos, editors, 4a. Conferência Nacional em Interacção Humano-Computador (Interacção 2010), pages 121-128. GPCG (Eurographics - Portuguese Chapter).
download  
P. Borges, E. Villani, J. Machado, J. Ferreira and J. Campos (2010)
Abordagem Sistemática para o Controlo Seguro de Sistemas aeroespaciais. In XIV International Congress on Project Engineering, pages 2666-2676. FGUPM.
J.C. Silva, C. Silva, R. Goncalo, J. Saraiva and J.C. Campos (2010)
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code. In Proceedings of the 2nd ACM SIGCHI Symposium on Engineering interactive computing systems, pages 181-186. ACM. (ISBN: 978-1-4503-0083-4)
visit publisher  
M.A. Barbosa, L.S. Barbosa and J.C. Campos (2010)
A coordination model for interactive components. In Fundamentals of Software Engineering, volume 5961 of Lecture Notes in Computer Science, pages 416-430. Springer-Verlag. (ISBN: 978-3-642-11622-3)
visit publisher  
L. Freire, P.M. Arezes and J.C. Campos (2010)
Princípios de Ergonomia e Design discutidos através de plataformas utilizadas para e-learning. In P. Arezes, J.S. Baptista, M.P. Barroso, P. Carneiro, P. Cordeiro, N. Costa, R. Melo, A.S. Miguel and G.P. Perestrelo, editors, Occupational Safety and Hygiene (SHO 2010), pages 256-260. (ISBN: 978-972-99504-6-9)
2009
abstracts off (turn on)
J. C. Campos and J. Machado (2009)
Pattern-based Analysis of Automated Production Systems. IFAC Proceedings Volumes, 42(4):972-977.
visit publisher  
J. C. Campos and S. Mendes (2009)
FlexiXML: Um animador de modelos UsiXML. In 17o. Encontro Português de Computação Gráfica (17o. EPCG), pages 185-194. GPCG (Eurographics - Portuguese Chapter). (ISBN: 978-972-98464-3-4)
download  
R. Paulo, A. Carrapatoso, M. Lemos, R. Bernardo and J. Campos (2009)
Advanced Engineering Tools for Next Generation Substation Automation Systems: The Added Value of IEC 61850 and the InPACT Project. In 20th International Conference and Exhibition on Electricity Distribution (CIRED 2009), volume PEP0550Z of IET Conference Publications, pages 0322/1-4. IET. (ISSN: 0537-9989, ISBN: 978-1-84919-126-5)
download  
J. C. Campos and M. D. Harrison (2009)
Interaction engineering using the IVY tool. In ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), pages 35-44. ACM.
visit publisher   download  
J. L. Silva, J. C. Campos and M. D. Harrison (2009)
An infrastructure for experience centered agile prototyping of ambient intelligence. In ACM Symposium on Engineering Interactive Computing Systems (EICS 2009), pages 79-84. ACM.
visit publisher   download  
J.C. Silva, J. Saraiva and J.C. Campos (2009)
A Generic Library for GUI Reasoning and Testing. In SAC '09: Proceedings of the 2009 ACM Symposium on Applied Computing, pages 121-128. ACM. (ISBN: 978-1-60558-166-8)
visit publisher  
2008
abstracts off (turn on)
J.C. Campos and M.D. Harrison (2008)
Considering context and users in interactive systems analysis. In Engineering Interactive Systems, volume 4940 of Lecture Notes in Computer Science, pages 193-209. Springer-Verlag. (ISBN: 978-3-540-92697-9)
M. Harrison and J. C. Campos (2008)
Analysing Human Aspects of Safety-Critical Software. ERCIM News, 75:18, October. (Invited paper; ISSN: 0926-4981)
visit publisher  
M. D. Harrison, J. C. Campos and K. Loer (2008)
Formal analysis of interactive systems: opportunities and weaknesses. In P. Cairns and A. Cox, editors, Research Methods in Human Computer Interaction, chapter 5, pages 88-111. Cambridge University Press.
visit publisher  
J. C. Campos, Daniel Gonçalves, T. Romão and L. Rato, editor(s) (2008)
Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina. Grupo Português de Computação Gráfica. (ISBN: 972-98464-9-9)
N. Guerreiro, S. Mendes, V. Pinheiro and J. C. Campos (2008)
AniMAL - a user interface prototyper and animator for MAL interactor models. In J.C. Campos, D. Gonçalves, T. Romão and L. Rato, editors, Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina, pages 93-102. Grupo Português de Computação Gráfica.
M. Borges, J. C. Campos and A. N. Ribeiro (2008)
Framework de distribuição assíncrona de aplicações móveis situadas. In J.C. Campos, D. Gonçalves, T. Romão and L. Rato, editors, Interacção 2008 - Actas da 3a. Conferência Nacional em Interacção Pessoa-Máquina, pages 181-186. Grupo Português de Computação Gráfica.
J. C. Campos, J. Machado and E. Seabra (2008)
Property Patterns for the Formal Verification of Automated Production Systems. In Proceedings of the 17th IFAC World Congress, pages 5107-5112. IFAC.
download  
J. C. Campos and M. D. Harrison (2008)
Systematic analysis of control panel interfaces using formal tools. In XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008), number 5136 of Lecture Notes in Computer Science, pages 72-85. Springer-Verlag.
visit publisher   download  
G. J. Doherty, J. C. Campos and M. D. Harrison (2008)
Resources for Situated Actions. In XVth International Workshop on the Design, Verification and Specification of Interactive Systems (DSV-IS 2008), number 5136 of Lecture Notes in Computer Science, pages 194-207. Springer-Verlag.
visit publisher   download  
M. D. Harrison, J. C. Campos, G. Doherty and K. Loer (2008)
Connecting rigorous system analysis to experience centred design. In E. Law, E. Hvannberg and G. Cockton, editors, Maturing Usability: Quality in Software, Interaction and Value, Human-Computer Interaction Series, chapter 3, pages 56-74. Springer. (ISSN: 1571-5035; ISBN: 978-1-84628-940-8)
visit publisher  
J. L. Silva, J. C. Campos and A. Paiva (2008)
Model-based user interface testing with Spec Explorer and ConcurTaskTrees. Electronic Notes in Theoretical Computer Science, 208:77-93.
visit publisher  
M. Harrison, C. Kray and J. C. Campos (2008)
Exploring an option space to engineer a ubiquitous computing system. Electronic Notes in Theoretical Computer Science, 208:41-55.
visit publisher  
2007
abstracts off (turn on)
J. Machado, E. Seabra, J.C. Campos, F. Soares, C.P. Leao and J.F. Silva (2007)
Simulation and Formal Verification of Industrial Systems Controllers. In 19th International Congress of Mechanical Engineering (COBEM 2007). ABCM. (ISBN: 978-85-85769-34-5)
J. Machado, E. Seabra, F. Soares and J. Campos (2007)
A New Plant Modelling Approach For Formal Verification Purposes. IFAC Proceedings Volumes, 40(9):167-172.
visit publisher  
H. Pinto, R. José and J. C. Campos (2007)
An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments. In IEEE International Conference on Pervasive Services 2007 (ICPS'07), pages 232-241. IEEE Computer Society Press. (ar: 18/64 ~.28)
visit publisher   visit publisher  
A. N. Ribeiro, J. C. Campos and F. Martins (2007)
Integrating HCI into a UML based Software Engineering course. In Proceedings HCI Educators 2007, pages 48-57. GPCG (Eurographics - Portuguese Chapter).
S. Chatty, J. C. Campos, M. P. Gonzalez, S. Lepreux, E. G. Nilsson, V. Penichet and M. Santos J. Van den Bergh (2007)
Processes: Working group report. In G. Doherty and A. Blandford, editors, Interactive Systems: Design, Specification and Verification, volume 4323 of Lecture Notes in Computer Science, pages 262-264. Springer-Verlag.
visit publisher  
J. C. Silva, J. C. Campos and J. Saraiva (2007)
Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications. In G. Doherty and A. Blandford, editors, Interactive Systems: Design, Specification and Verification, volume 4323 of Lecture Notes in Computer Science, pages 137-150. Springer-Verlag.
visit publisher   visit publisher  
M. A. Barbosa, L. S. Barbosa and J. C. Campos (2007)
Towards a coordination model for interactive systems. Electronic Notes in Theorectical Computer Science, 183:73-88.
visit publisher   visit publisher  
2006
abstracts off (turn on)
T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editor(s) (2006)
Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
J. C. Campos and G. J. Doherty (2006)
Supporting resource-based analysis of task information needs. In S.W. Gilroy and M.D. Harrison, editors, Interactive Systems: Design, Specification and Verification, volume 3941 of Lecture Notes in Computer Science, pages 188-200. Springer-Verlag. (ISSN: 0302-9743, ISBN: 3-540-34145-5)
visit publisher   visit publisher  
J. C. Campos and M. D. Harrison (2006)
Automated deduction and usability reasoning. In Claude Ghaoui, editor, Encyclopedia of Human-Computer Interaction, pages 45-54. Idea Group Reference. (ISBN: 1-59140-562-9 - hardcover / 1-59140-798-2 - ebook)
J. C. Campos and A. N. Ribeiro (2006)
UML no Desenvolvimento de Sistemas Interactivos. In T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editors, Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, pages 77-80. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
visit publisher  
A. R. Fernandes, J. R. Pereira and J. C. Campos (2006)
Accessibility and Visually Impaired Users. In I. Seruca, J. Filipe, S. Hammoudi and J. Cordeiro, editors, Enterprise Information Systems VI. Springer. (ISBN: 1-4020-3674-4). (Best papers from ICEIS 2005 - ar (ICEIS 2005): .19)
visit publisher  
A. Mano and J. C. Campos (2006)
Usabilidade em interfaces para crianças. Jornal de Ciências Cognitivas, Setembro. (ISSN: 1646-365X)
visit publisher  
A. Mano and J. C. Campos (2006)
Cognitive walkthroughs in the evaluation of user interfaces for children. In T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editors, Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, pages 195-198. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
M. Borges, A. N. Ribeiro and J. C. Campos (2006)
A Push Infrastructure for Mobile Application Deployment in Mobile Environments. In R. José and C. Baquero, editors, CSMU 2006 -- Conference on Mobile and Ubiquitous Systems, pages 175-178. Escola de Engenharia, Universidade do Minho. (ISBN: 972-8692-29-3)
S. Rodrigues, J. C. Campos and A. N. Ribeiro (2006)
Adaptação nativa de interfaces com o utilizador em dispositivos móveis. In CSMU 2006 - Conference on Mobile and Ubiquitous Systems, pages 171-174. Escola de Engenharia, Universidade do Minho. (ISBN: 972-8692-29-3)
J. C. Silva, J. C. Campos and J. Saraiva (2006)
Models for the Reverse Engineering of Java/Swing Applications. In J. M. Favre, D. Gasevic, R. Lämmel and A. Winter, editors, 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies (ateM 2006) for Reverse Engineering, number 1/2006 of Informatik-Bericht series. Johannes Gutenberg-Universität Mainz, Institut füur Informatik - FB 8. (ISSN: 0931-9972)
visit publisher   visit publisher  
J. C. Silva, J. C. Campos and J. Saraiva (2006)
Engenharia Reversa de Sistemas Interactivos Desenvolvidos em Java2/Swing. In T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editors, Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, pages 63-72. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
visit publisher  
N. M. E. Sousa and J. C. Campos (2006)
IVY Trace Visualiser. In T. Chambel, N. J. Nunes, T. Romão and J. C. Campos, editors, Interacção 2006 - Actas da 2a. Conferência Nacional em Interacção Pessoa-Máquina, pages 181-190. Grupo Português de Computação Gráfica. (ISBN: 972-98464-7-2)
visit publisher  
2005
abstracts off (turn on)
J. C. Campos (2005)
Model based web interfaces' analysis. In HCI International 2005 - 11th International Conference on Human-Computer Interaction (posters section). Laurence Erlbaum Associates, Inc. (ISBN: 0-8085-5807-5 - CD-ROM edition)
J. C. Campos and A. R. Fernandes (2005)
Testing AudioBrowser. In HCI International - 11th International Conference on Human-Computer Interaction (posters section). Laurence Erlbaum Associates, Inc.. (ISBN: 0-8085-5807-5 - CD-ROM edition)
M.Harrison, G. Doherty and J. C. Campos (2005)
Is there a role for rigorous system analysis in experience centred design?. Position paper for the Workshop on Space, Place, and Experience in Human Computer Interaction, 10th IFIP International Conference on Human Computer Interaction -- Interact 2005. September.
A. Mano and J. C. Campos (2005)
A study on usability criteria regarding interfaces for children. In Interact 2005 Workshop on Child Computer Interaction: Methodological Research, pages 32-35.
visit publisher  
L. Teixeira, ó. Costa, V. Pereira, C. P. Leão, F. O. Soares, M. T. Restivo, F. Chouzal, J. Mendes and J. C. Campos (2005)
Laboratórios virtuais: duas aplicações no ensino de engenharia. In A. Mendes, I. Pereira and R. Costa, editors, VII Simpósio Internacional de Informática Educativa -- SIIE'05 (posters section). (ISBN: 972-95207-4-7 (CD-ROM edition))
2004
abstracts off (turn on)
J. C. Campos (2004)
Interactors as Boundary Objects. Position paper at the CHI 2004 workshop: Identifying Gaps between HCI, Software Engineering, and Design, and Boundary Objects to Bridge Them. April.
J. C. Campos (2004)
The modelling gap between software engineering and human-computer interaction. In Rick Kazman, Len Bass and Bonnie John, editors, ICSE 2004 Workshop: Bridging the Gaps II, pages 54-61. The IEE. (ISBN: 0-86341-416-8)
visit publisher  
J. C. Campos (2004)
Análise de usabilidade baseada em modelos. In Interação 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, pages 171-176. Grupo Português de Computação Gráfica. (ISBN: 972-98464-4-8 (proceedings also available as a special number of the {Virtual} electronic journal, ISSN: 0873-1837))
J. C. Campos, M. D. Harrison and Karsten Loer (2004)
Verifying user interface behaviour with model checking. In J. C. Augusto and U. Ultes-Nitsche, editors, Verification and Validation of Enterprise Information Systems (VVEIS 2004), pages 87-96. INSTICC Press. (ISBN: 972-8865-03-1)
visit publisher  
A. R. Fernandes, J. R. Pereira and J. C. Campos (2004)
Accessibility and Visually Impaired Users. In I. Seruca, J. Filipe, S. Hammoudi and J. Cordeiro, editors, ICEIS 2004: Proceedings of the 6th International Conference on Enterprise Information Systems, volume 5, pages 75-80. INSTICC Press. (ISBN: 972-8865-00-7)
A. Mano and J. C. Campos (2004)
A study about usability criteria on computer interfaces for children. In First Portuguese Forum of Experimental Psychology.
A. Mano and J. C. Campos (2004)
Aplicação de um Cognitive Walkthrough - estudo de caso. In Interação 2004 - 1a. Conferência Nacional em Interacção Pessoa-Máquina, pages 256-258. Grupo Português de Computação Gráfica. (ISBN: 972-98464-4-8 (proceedings also available as a special number of the {Virtual} electronic journal, ISSN: 0873-1837))
2003
abstracts off (turn on)
J. C. Campos (2003)
Using task knowledge to guide interactor specifications analysis. In J. A. Jorge, N. J. Nunes and J. Falcão e Cunha, editors, Interactive Systems: Design, Specification and Verification, volume 2844 of Lecture Notes in Computer Science, pages 171-186. Springer-Verlag. (ISSN: 0302-9743, ISBN: 3-540-20159-9)
visit publisher   download  
J. C. Campos (2003)
Uma abordagem formal à Engenharia da Usabilidade. In Simone D. J. Barbosa and Cleotilde Gonzalez, editors, CLIHC 2003 Conference Proceedings, ACM International Conference Proceeding Series, pages 17-28. ACM. (ISBN: 85-87926-05-5)
visit publisher  
J. C. Campos and G. J. Doherty (2003)
Reasoning about Dynamic Information Displays. In J. A. Jorge, N. J. Nunes and J. Falcão e Cunha, editors, Interactive Systems: Design, Specification and Verification, volume 2844 of Lecture Notes in Computer Science, pages 288-302. Springer-Verlag. (ISSN: 0302-9743, ISBN: 3-540-20159-9)
download  
J. C. Campos and M. D. Harrison (2003)
From HCI to Software Engineering and back. In Rick Kazman, Len Bass and Jan Bosch, editors, Bridging the Gaps Between Software Engineering and Human-Computer Interaction, ICSE '2003 workshop, pages 49-56.
download  
2001
abstracts off (turn on)
J. C. Campos and G. J. Doherty (2001)
Reasoning about Time in Dynamic Information Displays. In G.J. Doherty, M. Massink and M.D. Wilson, editors, Continuity in Future Computing Systems - Proceedings of I3 Spring Days Workshop, volume RAL-CONF-2001-001 of RAL Conference Proceedings, pages 80-95. Council for the Central Laboratory of the Research Councils. (ISSN: 1362-0231)
visit publisher  
J. C. Campos and M. D. Harrison (2001)
Model Checking Interactor Specifications. Automated Software Engineering, 8(3):275-310, August. (ISSN: 0928-8910)
visit publisher   visit publisher  
2000
abstracts off (turn on)
G. J. Doherty, J. C. Campos and M. D. Harrison (2000)
Representational Reasoning and Verification. Formal Aspects of Computing, 12(4):260-277. (ISSN: 0934-5043)
visit publisher   download  
1999
abstracts off (turn on)
J. C. Campos (1999)
Automated Deduction and Usability Reasoning. DPhil thesis, Department of Computer Science, University of York. (Also available as Technical Report YCST 2000/9, Department of Computer Science, University of York)
download  
J. C. Campos and M. D. Harrison (1999)
Using automated reasoning in the design of an audio-visual communication system. In D. J. Duke and A. Puerta, editors, Design, Specification and Verification of Interactive Systems '99, Springer Computer Science, pages 167-188. Springer-Verlag/Wien. (ISSN: 0946-2767, ISBN: 3-211-83405-2)
download  
J. C. Campos and M. D. Harrison (1999)
From Interactors to SMV: A Case Study in the Automated Analysis of Interactive Systems. Technical Report YCS-99-317, Department of Computer Science, University of York.
download  
1998
abstracts off (turn on)
J. C. Campos (1998)
Integrating Automated Verification into Interactive Systems Development. In 13th IEEE International Conference: Automated Software Engineering - Doctoral Symposium Proceedings, pages 13-15.
visit publisher  
J. C. Campos and M. D. Harrison (1998)
The role of verification in interactive systems design. In P. Markopoulos and P. Johnson, editors, Design, Specification and Verification of Interactive Systems '98, Springer Computer Science, pages 155-170. Springer-Verlag/Wien. (ISSN: 0946-2767, ISBN: 3-211-83212-2)
download  
G. Doherty, J. C. Campos and M. D. Harrison (1998)
Representational Reasoning and Verification. In J. I. Siddiqi, editor, Proceedings of the BCS-FACS Workshop: Formal Aspects of the Human Computer Interaction, pages 193-212. SHU Press. (ISBN: 0-86339-7948)
1997
abstracts off (turn on)
J. C. Campos and M. D. Harrison (1997)
Formally Verifying Interactive Systems: A Review. In M. D. Harrison and J. C. Torres, editors, Design, Specification and Verification of Interactive Systems '97, Springer Computer Science, pages 109-124. Springer-Verlag/Wien. (ISSN: 0946-2767, ISBN: 3-211-83055-3)
download  
1996
abstracts off (turn on)
J. C. Campos and F. M. Martins (1996)
Context Sensitive User Interfaces. In C. R. Roast and J. I. Siddiqi, editors, Formal Aspects of the Human Computer Interface, electronic Workshops in Computing. Springer-Verlag London. (ISBN: 3-540-76105-5)
visit publisher  
1994
abstracts off (turn on)
J. C. Campos and F. M. Martins (1994)
O Sistema GAMA - Arquitectura e Implementação. In F. M. Martins, J. J. Almeida and J. G. Rocha, editors, 6o. Encontro Português de Computação Gráfica, number UMDIAR9414, pages 2-15.
visit publisher  
1993
abstracts off (turn on)
J. C. Campos (1993)
GAMA-X Geração Semi-Automática de Interfaces Sensíveis ao Contexto. MSc. thesis, Departamento de Informática, Universidade do Minho.
J. C. Campos and F. M. Martins (1993)
GAMA-X - Uma Arquitectura Software para o Desenvolvimento Semi-Automático de Interfaces Utilizador-Sistema. In 5o. Encontro Português de Computação Gráfica, number UMDIAR9310, pages 197-209.
1991
abstracts off (turn on)
J. C. Campos (1991)
IAPF - Interfaces Assistidas para Protótipos Funcionais. Relatório de Estágio, Departamento de Informática, Universidade do Minho.

Generated by mkBiblio 2.6.27