A formal technique for automated dialogue development, Proceedings of the conference on Designing interactive systems processes, practices, methods, & techniques, DIS '95, pp.219-226, 1995. ,
DOI : 10.1145/225434.225459
Modeling in Event-B: System and Software Engineering, 2010. ,
DOI : 10.1017/CBO9781139195881
Vérification et validation formelles de systèmes interactifs fondées sur la preuve : application aux systèmes Multi-Modaux, JIPS, vol.1, issue.1, pp.1-30, 2010. ,
Volta: the first all-electric conventional helicopter, MEA 2017, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01609233
A survey on reactive programming, ACM Computing Surveys, vol.45, issue.4, pp.1-5234, 2013. ,
DOI : 10.1145/2501654.2501666
URL : http://soft.vub.ac.be/Publications/2012/vub-soft-tr-12-13.pdf
Modelling safety properties of interactive medical systems, Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems, EICS '13, pp.91-100, 2013. ,
DOI : 10.1145/2494603.2480314
Validating Properties of Component-based Graphical User Interfaces, Design, Specification and Verification of Interactive Systems '96, pp.347-365, 1996. ,
DOI : 10.1007/978-3-7091-7491-3_18
Systems and Software Verification: Model-Checking Techniques and Tools, 2010. ,
DOI : 10.1007/978-3-662-04558-9
Verification of properties of interactive components from their executable code, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '15, pp.276-285, 2015. ,
DOI : 10.1007/978-3-540-92698-6_30
URL : https://hal.archives-ouvertes.fr/hal-01619784
Designing, developing and verifying interactive components iteratively with djnn, ERTS 2016, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01292291
Model Checking, 1999. ,
Interprétation abstraite. Technique et science informatiques, pp.155-164, 2000. ,
Object-Oriented Programming; An Evolutionary Approach, 1991. ,
Using model checking for the automatic validation of user interface systems, 1998. ,
A Discipline of Programming, 1997. ,
An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969. ,
DOI : 10.1145/363235.363259
A survey of object oriented programming languages, 2009. ,
Formal Verification of Medical Device User Interfaces Using PVS, Fundamental Approaches to Software Engineering, pp.200-214, 2014. ,
DOI : 10.1007/978-3-642-54804-8_14
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications, Proceedings of the 2005 IFIP TC13, INTERACT'05, pp.170-183, 2005. ,
DOI : 10.1006/ijhc.2001.0474
Object-oriented concepts, databases, and applications. chapter A Survey of Object-oriented Concepts, pp.3-21, 1989. ,
Towards support for verification of adaptative systems with djnn, Proceedings of Cognitive 2015, pp.191-194, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01888093
Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies, 2013. ,
DOI : 10.1007/978-3-642-33278-4
Debugging for reactive programming, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, pp.796-807, 2016. ,
DOI : 10.1145/2635868.2635895
, Concepts, Techniques, and Models of Computer Programming, 2004.