Structuring the space of interactive system properties, Proc. IFIP EHCI'92, pp.113-129, 1992. ,
Encoding a process algebra using the Event B method, International Journal on Software Tools for Technology Transfer, vol.1, issue.2, pp.239-253, 2009. ,
DOI : 10.1145/363235.363259
A brief history of process algebra, Theoretical Computer Science, vol.335, issue.2-3, pp.2-3, 2005. ,
DOI : 10.1016/j.tcs.2004.07.036
ESTEREL: a formal method applied to avionic software development, Science of Computer Programming, vol.36, issue.1, pp.5-25, 2000. ,
DOI : 10.1016/S0167-6423(99)00015-5
URL : https://hal.archives-ouvertes.fr/hal-00579632
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software, LNCS 2566, pp.85-108, 2002. ,
DOI : 10.1007/3-540-36377-7_5
URL : https://hal.archives-ouvertes.fr/inria-00528442
Validating Properties of Component-based Graphical User Interfaces, Proc. DSV-IS96, pp.347-365, 1996. ,
DOI : 10.1007/978-3-7091-7491-3_18
Interprocedural dependence analysis and parallelization, Proc. SIGPLAN'86, pp.162-175, 1986. ,
The role of verification in interactive systems design, Proc. DSV-IS98, pp.155-170, 1998. ,
DOI : 10.1007/978-3-7091-3693-5_11
A framework for the measurement of software quality, Software quality assurance workshop on functional and performance issues, pp.133-139, 1978. ,
Multiple Input Support in a Model-Based Interaction Framework, Second Annual IEEE International Workshop on Horizontal Interactive Human-Computer Systems (TABLETOP'07), pp.179-186, 2007. ,
DOI : 10.1109/TABLETOP.2007.27
URL : https://hal.archives-ouvertes.fr/hal-01022134
Supporting Multidisciplinary Software Composition for Interactive Applications, Proc. of the 7th international symposium on software composition, pp.173-189, 2008. ,
DOI : 10.1007/978-3-540-78789-1_14
URL : https://hal.archives-ouvertes.fr/hal-01022139
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590
Abstract Interaction Objects, Computer Graphics Forum, vol.12, issue.3, pp.25-36, 1993. ,
DOI : 10.1111/1467-8659.1230025
Interactive computation -the new paradigm Advanced human-machine interface automatic evaluation, Universal Access in the Information Society, vol.15, issue.4, pp.387-401, 2006. ,
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter, ESOP 2002, pp.209-212, 2002. ,
DOI : 10.1007/3-540-45927-8_15
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
Specifying a Web Browser Interface Using Object-Z, pp.157-174, 1998. ,
Optimizing Compilers for Modern Architectures: A Dependence-based Approach, 2002. ,
Abstract Interpretation and Application to Interactive System Verification, Proc. DSV-IS'96, pp.46-72, 1996. ,
DOI : 10.1007/978-3-7091-7491-3_3
Maximizing parallelism and minimizing synchronization with affine transforms, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, pp.201-214, 1997. ,
DOI : 10.1145/263699.263719
What should adaptivity mean to interactive software programmers?, Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems, EICS '14, pp.13-22, 2014. ,
DOI : 10.1145/2607023.2607028
URL : https://hal.archives-ouvertes.fr/hal-01011095
Factors in Software Quality: Preliminary Handbook on Software Quality for an Acquisiton Manager, 1977. ,
DOI : 10.21236/ADA049055
Object-Oriented Software Construction, 1988. ,
Multifeature Systems: The CARE Properties and Their Impact on Software Design, 1997. ,
A model-based approach for supporting engineering usability evaluation of interaction techniques, Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, EICS '11, pp.21-30, 2011. ,
DOI : 10.1145/1996461.1996490
Formal reasoning about dialogue properties with automatic support, Interacting with Computers, vol.9, issue.2, pp.173-196, 1997. ,
DOI : 10.1016/S0953-5438(97)00015-5
The SSA Representation Framework: Semantics, Analyses and GCC Implementation, 2006. ,
URL : https://hal.archives-ouvertes.fr/pastel-00002281
Applying Graph Theory to Interaction Design, Proc. EICS2007, J. Gulliksen, pp.501-518, 2008. ,
DOI : 10.1038/30918