José Creissac Campos

Recent Publications / Publicações Recentes

2011

abstracts on (turn off)

Giannakopoulou, Dimitra, Pecheur, Charles and Feary, Michael (2011)
A Formal Framework for Design and Analysis of Human-Machine Interaction. In IEEE International Conference on Systems, Man, and Cybernetics. IEEE.

Bonsangue, Marcello, Clarke, Dave and Silva, Alexandra (2011)
A model of context-dependent component connectors. Science of Computer Programming:(in press).
   

Silva, Alexandra (2011)
A specification language for Reo connectors. In Fundamentals of Software Engineering (FSEN 2011), LNCS (to appear).

Bolton, Matthew L, Siminiceanu, Radu I and Bass, Ellen J (2011)
A Systematic Approach to Model Checking Human-Automation Interaction Using Task Analytic Models. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 41(5):961--976.

Aho, Pekka, Menz, Nadja, R\"aty, Tomi and Schieferdecker, Ina (2011)
Automated Java GUI Modeling for Model-Based Testing Purposes. Eighth International Conference on Information Technology: New Generations:268--273.
   

Arlt, Stephan, Bertolini, Cristiano and Sch\"af, Martin (2011)
Behind the Scenes: An Approach to Incorporate Context in GUI Test Case Generation. 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops:222--231.
   

Gimblett, Andy, Thimbleby, Harold and Cauchi, Abigail (2011)
Buffer Automata: A UI Architecture Prioritising HCI Concerns for Interactive Devices. In 3rd ACM SIGCHI symposium on Engineering interactive computing systems, pages 73--78.
�

Aho, Pekka, Menz, Nadja and R\"aty, Tomi (2011)
Enhancing Generated Java GUI Models with Valid Test Data. In IEEE Conference on Open Systems (ICOS2011), pages 310--315.

Wahba, Ayaman M and El-Araby, Nahla A. (2011)
Formal Verification of Real Time Distributed Systems Using B Method. International Journal of Engineering Science and Technology, 3(4):3427--3436.

Comb\'efis, S\'ebastien, Giannakopoulou, Dimitra, Pecheur, Charles, Feary, Michael, Combefis, Sebastien and Field, Moffett (2011)
Learning System Abstractions for Human Operators Categories and Subject Descriptors. In International Workshop on Machine Learning Technologies in Software Engineering (MALETS 2011). ACM.

Roscoe, Jonathan Francis (2011)
Looking Forwards to Going Backwards : An Assessment of Current Reverse Engineering. Technical Report, Current Issues in Software Engineering, 2010-2011 Aberystwyth University, UK.

Masci, Paolo, Curzon, Paul, Blandford, Ann and Furniss, Dominic (2011)
Modelling Distributed Cognition Systems in PVS Modelling Distributed Cognition Systems in PVS. Electronic Communications of the EASST (Fourth International Workshop on Formal Methods for Interactive Systems - FMIS 2011 ), 45.

Poguntke, Mark and Mauser, Daniel (2011)
New Apps, New Challenges: Quality Matters in Automotive HMI Development. In Adjunct Proceedings of the 3rd International Conference on Automotive User Interfaces and Interactive Vehicular Applications, pages 45--46.

Han, Seungwok and Youn, Hee Yong (2011)
Petri net-based context modeling for context-aware systems. Artificial Intelligence Review.
   

Kokash, Natallia, Krause, Christian and Vink, Erik De (2011)
Reo + mCRL2 : A Framework for Model-Checking Dataflow in Service Compositions. Formal Aspects of Computing, in press:1--30.

Morgado, In\^es Coimbra, Paiva, Ana C R and Faria, Jo\~ao Pascoal (2011)
Reverse Engineering of Graphical User Interfaces. In ICSEA 2011, The Sixth International Conference on Software Engineering Advances, number c, pages 293--298.

Couix, Stanislas and Burkhardt, Jean-marie (2011)
Task Descriptions Using Academic Oriented Modelling Languages : A Survey of Actual Practices across the SIGCHI community. In INTERACT 2011, Part III, LNCS 6948, pages 555--570.

Subramanian, Selvakumar and Natarajan, Ramaraj (2011)
Test Case Generation using GOM Algorithm. Internetworking Indonesia Journal, 3(1):11--17.

Nardi, Paulo Augusto (2011)
Test oracles associated with dynamical systems models. Technical Report, RT 362, Instituto de Ci\^{e}ncias Matem\'{a}ticas e de Computaç\~{a}o, Uviversidade de S\~{a}o Paulo.

Fraga, David Iglesias and Souto, Laura M Castro (2011)
Verificaci\'on de Interfaces Gr\'aficas de Usuario Utilizando Pruebas Basadas en Propiedades. In XI Jornadas de PROgramaci\'{o}n y LEnguajes (PROLE).

2010

abstracts on (turn off)

Sinnig, Daniel, Khendek, Ferhat and Chalin, Patrice (2010)
A Formal Model for Generating Integrated Functional and User Interface Test Cases. In 2010 Third International Conference on Software Testing, Verification and Validation, pages 255--264. Ieee.
   

Madeira, Rui Neves and Correia, Nuno (2010)
An Infrastructure for Real Objects Augmentation with Additional Personalized Information Services. In Ubiquitous Intelligence and Computing, LNCS 6406, pages 282--296.

Rasool, Ghulam, Philippow, Ilka and M\"ader, Patrick (2010)
Design pattern recovery based on annotations. Advances in Engineering Software, 41(4):519--526.
   

Chen, Woei-kae and Shen, Zheng-wen (2010)
GUI Test-Case Generation with Macro-Event Contracts. In 2nd International Conference on Software Engineering and Data Mining (SEDM 2010), pages 145--151. IEEE.

Shen, Zheng-Wen (2010)
Gui testing with component abstraction. PhD thesis, National Taipei University of Technology..
 

da Silva, Jo\~ao Carlos Cardoso (2010)
GUIsurfer: A Generic Framework for Reverse Engineering of Graphical User Interfaces. PhD thesis, Universidade do Minho.

Hulshof, Ana Vitoria Joly (2010)
Interactive Television for Young Children : Developing Design Principles. PhD thesis, University of Brighton.

Li, Jiao, Liying, Feng, Qing, Xue, Shi, Zhang and Xu Yiliu (2010)
Interface Generation Technology Based on Concur Task Tree. In 20I0 International Conference on Information, Networking and Automation (ICINA), pages 350--354.

Claeys, Wim (2010)
Medische gegevensuitwisseling met mobiele applicaties. MSc thesis, Gent University.

Madeira, Rui Neves (2010)
Public displays and mobile devices in an augmented objects framework for Ubiquitous Learning. In IEEE Education Engineering (EDUCON 2010) Conference, pages 1671--1679. Ieee.
   

Silva, Carlos Eduardo (2010)
Reverse Engineering of Rich Internet Applications. MSc thesis, Universidade do Minho.

England, David, Randles, Martin and Taleb-Bendiab, A. (2010)
Situation Calculus for HCI Design. In Developments in E-systems Engineering (DESE), pages 155--159. IEEE.
   

Kokash, N., Krause, C. and de Vink, E.P. (2010)
Time and Data-Aware Analysis of Graphical Service Models in Reo. 8th IEEE International Conference on Software Engineering and Formal Methods:125--134.
   

Gimblett, Andy and Thimbleby, Harold (2010)
User Interface Model Discovery : Towards a Generic Approach. In 2nd ACM SIGCHI symposium on Engineering interactive computing systems (EICS '10), pages 145--154. ACM.

Bolton, Matthew L. (2010)
Using Task Analytic Behavior Modeling, Erroneous Human Behavior Generation, and Formal Methods to Evaluate the Role of Human-automation Interaction in System Failure. DPhil thesis, University of Virginia.

Bolton, Matthew L. and Bass, Ellen J. (2010)
Using Task Analytic Models and Phenotypes of Erroneous Human Behavior to Discover System Failures Using Model Checking. In Proceedings of the Human Factors and Ergonomics Society Annual Meeting, pages 992--996.

da Silva, Tiago Silva and Silveira, Milene Selbach (2010)
Validaç\~ao de um M\'etodo para Identificaç\~ao de Problemas de Usabilidade a partir de Diagramas UML. In IHC 2010 – IX Simpósio de Fatores Humanos em Sistemas Computacionais., pages 179--188. Sociedade Brasileira de Computaç\~{a}o.

A\"\it-Ameur, Yamine, Ait-sadoune, Idir and Baron, Mickael (2010)
V\'erification et validation formelles de syst\`emes interactifs fond\'ees sur la preuve: application aux syst\`emes multi-modaux. Journal d’Interaction Personne-Système, 1(1):20--22.

2009

abstracts on (turn off)

Comb\'efis, S\'ebastien and Pecheur, Charles (2009)
A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction. In 1st ACM SIGCHI symposium on Engineering interactive computing systems - EICS '09, pages 101--110. ACM Press.

Gonz\'alez-Calleros, Juan Manuel, Vanderdonckt, Jean and Mu\~noz-Arteaga, Jaime (2009)
A Structured Approach to Support 3D User Interface Development. In Second International Conference on Advances in Computer-Human Interactions, pages 75--81. IEEE Comput. Soc. Press.
   

Santos, Arlindo and Rodrigues, Helena (2009)
An Application Framework for a Situation-aware System Support for Smart Spaces. In On the Move to Meaningful Internet Systems: OTM 2009 Workshops, LNCS 5872, pages 810--814.

Bonsangue, Marcello, Clarke, Dave and Silva, Alexandra (2009)
Automata for Context-Dependent Connectors. In Coordination Models and Languages, LNCS 5521, pages 184--203. Springer.

Yatim, Maizatul Hayati Binti Mohamad (2009)
Children, Computer and Creativity: Usability Guidelines for Designing a Game Authoring Tool for Children. PhD thesis, Otto‐Von‐Guericke University Magdeburg.

Thimbleby, Harold (2009)
Contributing to Safety and Due Dilig ence in Safety-critical Interactive Systems Development by Generating and Analyzing Finite State Models. In EICS'09, pages 221--230. ACM.

A\"\it-Ameur, Yamine, Baron, Mickael, Kamel, Nadjet and Mota, Jean-Marc (2009)
Encoding a process algebra using the Event B method. International Journal on Software Tools for Technology Transfer, 11(3):239--253.
   

Distefano, A., Grillo, A., Lentini, A., Me, G. and Galbani, R. (2009)
Exploitation of Secrets Injected in Java Midlets. In Jahankhani, H., Hessami, A.G. and Hsu, F., editors, Global Security, Safety, and Sustainability, ICGS3 2009, pages 166--173. Springer.
 

Mendes, Sandrine Alves (2009)
FlexiXML: Um animador de modelos de interfaces com o utilizador. MSc thesis, Universidade do Minho.

Chinnapongse, Vivien, Lee, Insup, Wang, Shaohui and Jones, Paul L (2009)
Model-Based Testing of GUI-Driven Applications. In Lee, Sunggu and Narasimhan, Priya, editors, The Seventh IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009), LNCS 5860, volume 5860, number Seus of Lecture Notes in Computer Science, pages 203--214. Springer Berlin Heidelberg.
   

Comb\'efis, S\'ebastien (2009)
Operational Model : Integrating User Tasks and Environment Information with System Model. In FMIS 2009.

Barbosa, Marco António de Castro (2009)
Specification and refinement of software connectors. PhD thesis, University of Minho.
 

Calder, Muffy, Gray, Phil and Unsworth, Chris (2009)
Tightly coupled verification of pervasive systems. Electronic Communications of the EASST (Third International Workshop on Formal Methods for Interactive Systems - FMIS 2009), 22.

Gerdes Jr., John (2009)
User Interface Migration of Microsoft Windows. J. Softw. Maint. Evol.: Res. Pract., 21(February):171--187.
 

Memmel, Thomas (2009)
User Interface Specification for Interactive Software Systems. PhD thesis, Universität Konstanz.

Ruk\vsėnas, Rimvydas, Back, Jonathan, Curzon, Paul and Blandford, Ann (2009)
Verification-guided modelling of salience and cognitive load. Formal Aspects of Computing, 21(6):541--569.
   

2008

abstracts on (turn off)

Kamel, Nadjet, Selouani, Sid Ahmed and Hamam, Habib (2008)
A modal logic for the CARE usability properties for Multimodal User Interfaces. In Proceedings of Software Engineering Research and Practice (SERP 2008), pages 39--45. CSREA Press.

Zou, Ying, Lerner, Michael, Leung, Alex, Morisson, Scott and Wringe, Matt (2008)
Adapting the User Interface of Integrated Development Environments (IDEs) for Novice Users. Journal of Object Technology, 7(7):55--74.

Almendros-Jimenez, J and Iribarne, L (2008)
An extension of UML for the modeling of WIMP user interfaces. Journal of Visual Languages \& Computing, 19(6):695--720. (Juntar DohertyCH98/00?!)
   

Silva, Tiago and Silveira, Milene Selbach (2008)
Antecipando a avaliaç\~ao de IHC: verificaç\~ao de diretrizes a partir de modelos. In IHC 2008 – VIII Simpósio Sobre Fatores Humanos em Sistemas Computacionais, pages 248--251. Sociedade Brasileira de Computaç\~{a}o.

Eschner, Lisa and Hinze, Annika (2008)
Design and Formal Model of an Event-driven and Service-oriented Architecture for the Mobile Tourist Information System TIP, Working Paper series: 14/2008. Technical Report December, Department of Computer Science, The University of Waikato.

Nagy, Tam\'as and Nagyn\'e Víg, Anik\'o (2008)
Erlang testing and tools survey. In Proceedings of the 7th ACM SIGPLAN workshop on ERLANG - ERLANG '08, pages 21--28. ACM Press.
   

Comb\'efis, S\'ebastien (2008)
Formal Analysis of Human-Automation Interaction. In Summer school on MOdeling and VErifying parallel Processes (MOVEP 2008).

Memmel, Thomas, Bock, Carsten and Reiterer, Harald (2008)
Model-driven prototyping for corporate software specification. In Engineering Interactive Systems, LNCS 4940, pages 158--174. Springer.

Dix, Alan, Ghazali, Masitah, Gill, Steve, Hare, Joanna and Ramduny-Ellis, Devina (2008)
Physigrams: modelling devices for natural interaction. Formal Aspects of Computing, 21(6):613--641.
   

Cairns, Paul and Cox, Anna L., editor(s) (2008)
Research Methods for Human-Computer Interaction. Cambridge University Press.

Merino, Pedro and Schoitsch, Erwin (2008)
Safety-Critical Software. ERCIM News, 75:12--13.

Susana G\'omez Carnero (2008)
Sistematizaci\'on de la validaci\'on de Interaccci\'on del usuario dobre la visualizaci\'on en Interfaces de Usauario usando Expecificaci\'on Abstracta. PhD thesis, Universidad de Vigo.

da Ponte, Márcio José Moutinho and da Silveira, Antonio Morais (2008)
Uma metodologia para avaliaç\~ao da usabilidade de softwares de automaç\~ao industrial utilizando redes neurais artificiais : Um estudo de caso Eletrobr\'as. In III Seminário de Andamento do Programa de Pós-graduação em Ciência da Computação. Universidade Federal do Par\'{a}.

2007

abstracts on (turn off)

Memmel, Thomas, Reiterer, Harald and Holzinger, Andreas (2007)
Agile Methods and Visual Specification in Software Development : A Chance to Ensure Universal Access. In Universal Acess in Human Computer Interaction. Coping with Diversity, LNCS 4554, pages 453--462. Springer.

Curzon, Paul, Ruk\vsėnas, Rimvydas and Blandford, Ann (2007)
An approach to formal verification of human–computer interaction. Formal Aspects of Computing, 19(4):513--550.
   

Xiong, Joseph, Diouf, Mouhamed, Farenc, Christelle and Winckler, Marco (2007)
Automating Guidelines Inspection: From Web Site Specification to Deployment. In Calvary, G., Pribeanu, C., Santucci, G. and Vanderdonckt, J., editors, Computer-Aided Design of User Interfaces V (CADUI 2006), chapter 23, pages 273--286. Springer.

Cortier, Alexandre, D’Ausbourg, Bruno and Aït-Ameur, Yamine (2007)
Contribution à la Validation Formelle des Systèmes Interactifs. In Actes de la 8e conf ́erence AFADL, pages 21--38.

Heymann, Michael and Degani, Asaf (2007)
Formal analysis and automatic generation of user interfaces: approach, methodology, and an algorithm.. Human Factors, 49(2):311--30.
We present a formal approach and methodology for the analysis and generation of user interfaces, with special emphasis on human-automation interaction.
 

Ruksenas, Rimvydas, Curzon, Paul, Back, Jonathan and Blandford, Ann (2007)
Formal Modelling of Cognitive Interpretation. In Design, Specification, and Verification of Interactive Systems - DSV-IS 2006, LNCS 4323, pages 123--136.
 

Cortier, Alexandre, Ausbourg, Bruno and A\"\it-ameur, Yamine (2007)
Formal Validation of Java / Swing User Interfaces with the Event B method. In Jacko, J., editor, HCI International 2007, Part I, LNCS 4550, pages 1062--1071. Springer.
 

Cortier, Alexandre, Ausbourg, Bruno and A\"\it-ameur, Yamine (2007)
R\'etro-Ing\'enierie et Validation Formelle des Syst\`emes Interactifs : Application au Langage Java / Swing. In Formalisation des Activit\'{e}s Concurrentes - FAC 2007. SVF / F\'{e}RIA.

2006

abstracts on (turn off)

Nedel, Luciana P and Freitas, Carla M D S (2006)
3D User Interfaces : from Pragmatics to Formal Description. In Research in Interactive Design - Proceedings of Virtual Concept 2005, volume 2006, pages 1--13. Springer.

Navarre, D, Palanque, P, Dragicevic, P and Bastide, R (2006)
An approach integrating two complementary model-based environments for the construction of multimodal interactive applications☆. Interacting with Computers, 18(5):910--941.
   

Paiva, Ana Cristina Ramada (2006)
Automated Specification-Based Testing of Graphical User Interfaces. PhD thesis, FEUP.

Leung, Alex, Morisson, Scott, Wringe, Matt and Zou, Ying (2006)
Developing an Adaptive User Interface in Eclipse. In Eclipse Technology eXchange Workshop at European Conference on Object Oriented Programming, pages 1--7.

A\"\it-Ameur, Yamine, Sadoune, Idir Ait and Baron, Mickael (2006)
Etude et comparaison de sc\'enarios de d\'eeveloppements formels d'interfaces multi-modales fond\'ees sur la preuve et le raffinement. In 6e Conf\'{e}rence Francophone de MOd\'{e}lisation et SIMulation - MOSIM’06.

A\"\it-Ameur, Yamine and Baron, Mickael (2006)
Formal and experimental validation approaches in HCI systems design based on a shared event B model. International Journal on Software Tools for Technology Transfer, 8(6):547--563.
   

Chong, Victor Vui-kiat (2006)
Heuristics for Mitigating Mode Confusion in Digital Cameras by Heuristics for Mitigating Mode Confusion in Digital Cameras by. MSc thesis, University of Victoria.

Silva, J C (2006)
M\'etodos Formais e Engenharia Reversa aplicados a Manutenç\~ao e Usabilidade de Sistemas Interactivos. In SDDI’2006: III Simp\'{o}sio Doutoral do DI. Departamento de Inform\'{a}atica, Universidade do Minho.
 

Kamel, Nadjet (2006)
Un cadre formel g\'en\'erique pour la mod\'elisation d ' IHM Multi-modales . Cas de la multi-modalit\'e en entr\'ee. PhD thesis, Universite de Poitiers.

Winckler, Marco, Barboni, Eric, Palanque, Philippe and Farenc, Christelle (2006)
What Kind of Verification of Formal Navigation Modelling for Reliable and Usable Web Applications?. Electronic Notes in Theoretical Computer Science, 157:207--211.
 

2005

abstracts on (turn off)

Navarre, David, Palanque, Philippe, Bastide, R\'emi, Schyn, Am\'elie and Sabatier, Liihs-irit Universit\'e Paul (2005)
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications. In Interact 2005, LNCS 3585, pages 170 -- 183. Springer.

Berstel, Jean, Reghizzi, Stefano Crespi, Roussel, Gilles and Pietro, Pierluigi San (2005)
A scalable formal method for design and automatic checking of user interfaces. ACM Transactions on Software Engineering and Methodology, 14(2):124--167.
   

Santoro, Carmen (2005)
A Task Model-Based Approach for the Design and Evaluation of Innovative User Interfaces.

Basnyat, Sandra, Navarre, David and Palanque, Philippe (2005)
Complexity of Design in Safety Critical Interactive Systems: Gathering, Refining, Formalizing Multi-Type and Multi-Source Information while Ensuring Consistency, Reliability, Efficiency and Error-Tolerance. In Johnson, Chris, editor, 2nd Workshop on Complexity in Design and Engineering, GIST Technical Report G2005-1, pages 45--58.

Curzon, Paul and Blandford, Ann (2005)
Justifying Usability Design Rules Based on a Formal Cognitive Model. Technical Report December, Queen Mary, University of London.

Bredereke, Jan (2005)
Maintaining Families of Rigorous Requirements for Embedded Software Systems. Habilitation thesis, University of Bremen.
 

Bredereke, J and Lankenau, A (2005)
Safety-relevant mode confusions - modelling and reducing them. Reliability Engineering \& System Safety, 88(3):229--245.
   

Singh, Awadhesh Kumar, Ghanekar, Umesh and Bandyopadhyay, Anup Kumar (2005)
Specifying Mobile Network using a wp-like Formal Approach. Revista Colombiana de Computaci\'{o}n, 6(2).

Shiffman, Smadar and Heymann, Michael (2005)
UIVerify - a Web-Based Tool for Verification and Automatic Generation of User Interfaces. In 8th Annual Applied Ergonomics Conference, pages 8--11.
 

2004

abstracts on (turn off)

Nickerson, J.V. and Reilly, R.R. (2004)
A model for investigating the effects of machine autonomy on human behavior. In 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the, volume 00, number C, pages 10 pp.. IEEE.
   

Dwyer, Matthew B, Robby, Tkachuk, Oksana and Visser, Willem (2004)
Analyzing Interaction Orderings with Model Checking. In 19th IEEE International Conference on Automated Software Engineering (ASE'04), pages 154--163. IEEE Computer Society.

Paiva, Ana C R, Faria, Jo\~ao C P and Vidal, Raul F A M (2004)
Automated Specification-based Testing of Interactive Components with AsmL. In 5th edition of the QUATIC (Quality: the bridge to the future in ICT) international conference, pages 1--8.

A\"\it-Ameur, Yamine and Baron, Micka\"el (2004)
Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique. In International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004 (Preliminary proceedings), pages 74--80.

Curzon, Paul and Blandford, Ann (2004)
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. In INTEGRATED FORMAL METHODS, LNCS 2999, pages 461--480.

Blandford, Ann, Butterworth, Richard and Curzon, Paul (2004)
Models of interactive systems: a case study on programmable user modelling. International Journal of Human-Computer Studies, 60:149--200.
   

Winckler, Marco Antonio Alba (2004)
StateWebCharts : une notation formelle pour la modélisation de la navigation des applications Web. PhD thesis, Université Toulouse 1.

2003

abstracts on (turn off)

Curzon, Paul and Blandford, Ann (2003)
A Formal Justication of a Design Rule for Avoiding Post-completion Errors. Technical Report December, IDC, School of Computing Science, Middlesex University.
 

Schooten, Boris Van (2003)
Development and Specification of Virtual Environments. PhD thesis, University of Twente.

A\"\it-Ameur, Yamine, Baron, Mickael and Girard, Patrick (2003)
Formal validation of HCI user tasks. In Ban, Al-Ani, H.R, Arabnia and Youngsong, Mum, editors, The 2003 International Conference on Software Engineering Research and Practice - SERP 2003, pages 732--738. CSREA Press.

Loer, Karsten (2003)
Model-based Automated Analysis for Dependable Interactive Systems. DPhil thesis, University of York.
 

Winckler, Marco and Palanque, Philippe (2003)
StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications. In Jorge, Joaquim, {Jardim Nunes}, Nuno and e Cunha, Jo\~{a}o, editors, Interactive Systems. Design, Specification, and Verification (DSV-IS 2003), volume 2844 of Lecture Notes in Computer Science, pages 61--76. Springer Berlin / Heidelberg. (10.1007/978-3-540-39929-2\_5)
 

Paterno, F. (2003)
Support for Reasoning about Interactive Systems through Human-Computer Interaction Designers' Representations. The Computer Journal, 46(4):340--357.
   

2002

abstracts on (turn off)

Arteaga, Jaime Mu\~noz (2002)
A taxonomy of visual feedback for interactive systems. In Zemliak, Alexander and Mastorakis, Nikos, editors, Proceedings of the 2002 WSEAS International Conferences, number 1, pages 1741--1746. WSEAS.
 

Arteaga, Jaime Mu\~noz (2002)
A Visual Feedback Taxonomy For Interactive Systems. In Pribeanu, Costin and Vanderdonckt, Jean, editors, TAMODIA '02 Proceedings of the First International Workshop on Task Models and Diagrams for User Interface Design, pages 49--54. INFOREC Publishing House Bucharest.

Luzayisu, Efrem Mbaki and Vanderdonckt, Jean (2002)
Window Transitions: A Graphical Notation for Specifying Mid-level Dialogue. In Pribeanu, Costin and Vanderdonckt, Jean, editors, 1st International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2002, pages 55--63. INFOREC Publishing House Bucharest.

2001

abstracts on (turn off)

Curzon, Paul and Blandford, Ann (2001)
A User Model for Avoiding Design Induced Errors in Soft-Key Interactive Systems. In Bolton, RJ and Jackson, PB, editors, TPHOLs 2001 Supplementary Proceedings, number ED-INF-RR-0046 in Informatics Research Report, pages 33--48.

Fields, Robert E (2001)
Analysis of erroneous actions in the design of critical systems. University of York.
 

Navarre, David (2001)
Contribution \`a l ' ing\'enierie en Interaction Homme-Machine. PhD thesis, Université Toulouse I.
 

Sage, Meurig (2001)
Declarative Support for Prototyping Interactive Systems. PhD Thesis, University of Glasgow.

Willans, James Stephen (2001)
Integrating behavioural design into the virtual environment development process. DPhil thesis, University of York.

Jambon, Francis, Girard, Patrick and A\"\it-Ameur, Yamine (2001)
Interactive System Safety and Usability Enforced with the Development Process. In Little, Murray Reed and Nigay, Laurence, editors, Engineering for Human-Computer Interaction, 8th IFIP International Conference, EHCI 2001, LNCS 2254, pages 39--56. Springer.

Navarre, David, Palanque, Philippe, Bastide, R\'emi and Ousmane, Sy (2001)
Structuring Interactive Systems Specifications for Executability and Prototypability. In Palanque, P. and Paterno, F., editors, DSV-IS 2000, LNCS 1946, pages 97--119. Springer.

Doherty, G, Massink, M and Faconti, G (2001)
Using Hybrid Automata to Support Human Factors. Formal Methods in System Design, 19(2):143--164.

2000

abstracts on (turn off)

Girard, Patrick (2000)
Ing\'enierie des syst\`emes interactifs: vers des m\'ethodes formelles int\'egrant l ’ utilisateur. Habilitation thesis, \'{E}cole Nationale Sup\'{e}rieure de M\'{e}chanique et d'A\'{e}rotechnique.
 

Jambon, Francis, Girard, Patrick and A\"\it-Ameur, Yamine (2000)
Interactive System Safety and Usability Enforced with the Development Process: the FADEC User Interface Case Study. In Safety and Usability Concerns in Aeronautics (SUCA 2000) IFIP WG 13.5 Workshop within HCI-Aero'2000.

Tr\ae tteberg, Hallvard (2000)
Model based design patterns. In Workshop on User Interface Design Patterns (CHI 2000).

Loer, Karsten (2000)
Model-based Automated Analysis for the Development of Dependable Interactive Systems. In Automated Software Engineering (ASE 200) Doctoral Symposium, pages 1--8. Technical report number PI-1353, IRISA.

Curzon, Paul and Blandford, Ann (2000)
Reasoning about Order Errors in Interaction. In Aagaard, M., Harrison, J. and Schubert, T., editors, Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000), pages 33--48. Oregon Graduate Institute.
 

Curzon, Paul and Blandford, Ann (2000)
Using a Verication System to Reason about Post-Completion Errors. In DSV-IS 2000: 7th International Workshop on Design, Specification and Verification of Interactive Systems, pages 293--308.

1999

abstracts on (turn off)

Bastide, R. and Palanque, P. (1999)
A Visual and Formal Glue between Application and Interaction. Journal of Visual Languages and Computing, 10:481--507.

Rowson, Jon, Johnson, Peter and White, Graham (1999)
Cross-contextual reference in human-computer interaction. In Design, Specification and Verification of Interactive Systems'99, pages 254--261. Springer.

Jambon, Francis, Girard, Patrick and Boisdron, Yohann (1999)
Dialogue Validation from Task Analysis. In Duke, D.J. and Puerta, A., editors, Design, Specification, and Verification of Interactive Systems (DSV-IS'99), number June, pages 205--224. Springer.

1998

abstracts on (turn off)

A\"\it-Ameur, Yamine, Girard, Patrick and Jambon, Francis (1998)
A Uniform Approach for Specification and Design of Interactive Systems : the B Method. In Design, Specification, and Verification of Interactive Systems - DSV-IS 98, pages 51--67. Springer.

Bastide, R\'emi, Palanque, Philippe, Le, Duc-hoa, Mu\~noz, Jaime and Frogis, L I S (1998)
Integrating rendering specifications into a formalism for the design of interactive systems. In Design Specification and verification of Interactive Systems '98, pages 171--191. Springer.

Sage, Meurig and Johnson, Chris (1998)
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. In DSV-IS'1998, pages 134--154. Springer.

Fekete, Jean-daniel, Richard, Martin and Dragicevic, Pierre (1998)
Specification and Verification of Interactors : A Tour of Esterel. In Formal Aspects of Human Computer Interaction Workshop (FAHCI’98), pages 25--32. Sheffield Hallam University.

A\"\it-Ameur, Yamine, Girard, Patrick and Jambon, Francis (1998)
Using the B formal approach for incremental specification design of interactive systems. In IFIP Working Conference on Engineering for Human-Computer Interaction (EHCI'98), number September, pages 91--109.

1997

abstracts on (turn off)

Palanque, Philippe and Bastide, R\'emi (1997)
Synergistic modelling of tasks, users and systems using formal specification techniques. Interacting with Computers, 9(2):129--153.
   

Generated by mkBiblio 2.6.28