José Creissac Campos

Recent Publications / Publicações Recentes

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 and others, editors, Engineering Interactive Computer Systems, volume 15518 of Lecture Notes in Computer Science. Springer. (in press)

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.
 

2024

abstracts off (turn on)

E. Moreira and J.C. Campos (2024)
A language for explaining counterexamples. In 13th Symposium on Languages, Applications and Technologies (SLATE 2024), volume 120 of OpenAccess Series in Informatics (OASIcs), pages 11:1-11:14. Schloss Dagstuhl - LZI.
 

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.
 

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.
 

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.
 

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.
 

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.
 

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.
 

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.
 

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.
 

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.
 

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.
 

K. Baumann, J.C. Campos, A. Dix, L. Nigay, P. Palanque, J. Vanderdonckt, G. van der Veer and B. Weyers (2021)
HCI-E² : 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.
 

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.
 

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.
   

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.
   

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.
   

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.
   

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.
   

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.
   

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.
 

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.
 

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.
 

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.
 

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.
   

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.
   

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.
   

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.
   

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.
   

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.
   

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.
 

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.
   

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.
   

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.
 

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.
   

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.
   

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.
   

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.
 

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.
     

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.
 

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.
   

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.
 

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.
   

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.
   

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.
 

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.
   

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.
 

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.
   

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.
 

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.
     

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.
 

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.
   

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.
   

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.
       

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.
   

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.
   

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.
   

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.
   

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.
     

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.
   

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.
   

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.
     

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.
     

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.
     

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.
   

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.
   

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.
   

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.
   

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.
   

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.
 

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)
 

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.
   

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.
 

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.
 

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.
 

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.
 

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.
   

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.
   

J.C. Campos and J. Machado (2013)
A Specification Patterns System for Discrete Event Systems' Analysis. International Journal of Advanced Robotic Systems, 10:315.
   

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.
     

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.
   

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.
   

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.
   

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.
 

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.
 

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.
   

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.
 

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.
 

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.
   

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)
 

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)
 

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.
 

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.
 

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)
 

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)
   

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).
 

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.
 

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).
 

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).
 

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)
 

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)
 

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.
 

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)
 

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)
 

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.
   

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.
   

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)
 

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)
 

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.
 

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.
 

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.
   

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.
   

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)
 

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.
 

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.
 

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.
 

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)
   

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.
 

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.
   

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.
   

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)
   

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)
 

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)
 

A. Mano and J. C. Campos (2006)
Usabilidade em interfaces para crian�as. Jornal de Ci�ncias Cognitivas, Setembro. (ISSN: 1646-365X)
 

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)
   

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)
 

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)
 

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.
 

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)
 

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)
 

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)
   

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)
 

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)
 

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.
 

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 I³ 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)
 

J. C. Campos and M. D. Harrison (2001)
Model Checking Interactor Specifications. Automated Software Engineering, 8(3):275-310, August. (ISSN: 0928-8910)
   

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)
   

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)
 

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)
 

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.
 

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.
 

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)
 

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)
 

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)
 

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.
 

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