Bibliography listing for J. C. Campos
References to my work
2011
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
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 SimpoĢ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-SysteĢme , 1(1):20--22.
2009
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 AntoĢ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, UniversitaĢ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
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 SimpoĢ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, MaĢrcio JoseĢ 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 SeminaĢrio de Andamento do Programa de PoĢs-graduacĢ§aĢo em CieĢncia da ComputacĢ§aĢo . Universidade Federal do Par\'{a}.
2007
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 AiĢt-Ameur, Yamine (2007) Contribution aĢ la Validation Formelle des SysteĢ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.
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
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
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
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 modeĢlisation de la navigation des applications Web . PhD thesis, UniversiteĢ Toulouse 1.
2003
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
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
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, UniversiteĢ 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
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
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
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
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.26