Mechanized reasoning and hardware design. chapter Esterel on Hardware, pp.87-104, 1992. ,
Scade suite. http://www.ansys.com/products/embedded- software/ansys-scade-suite ,
A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, pp.1045-1080, 1955. ,
DOI : 10.1002/j.1538-7305.1955.tb03788.x
The Foundations of Esterel, Proof, Language, and Interaction, Essays in Honor of Robin Milner, 2000. ,
The Constructive Semantics of Pure Esterel. Draft Book, available at: http://www.esterel-technologies, 1996. ,
Multivalued logics: a uniform approach to reasoning in artificial intelligence, Computational Intelligence, vol.3, issue.3, pp.265-316, 1988. ,
DOI : 10.1007/BF00485052
Algebraic Framework for Synchronous Language Semantics, 2013 International Symposium on Theoretical Aspects of Software Engineering, pp.51-58, 2013. ,
DOI : 10.1109/TASE.2013.15
A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955. ,
DOI : 10.2140/pjm.1955.5.285
Synchronous Automata For Activity Recognition, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01505754
Compilation modulaire d'un langage synchrone. Revue des sciences et technologies de l'information, série Théorie et, Science Informatique, vol.4, issue.30, pp.441-471, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00524499
Causal Message Sequence Charts, pp.166-180, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00173529
Model Checking of Message Sequence Charts, pp.114-129, 1999. ,
DOI : 10.1007/3-540-48320-9_10
An executable model and testing for Web software based on live sequence charts, 2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS), pp.1-6, 2016. ,
DOI : 10.1109/ICIS.2016.7550803
A framework for pathologies of message sequence charts, Information and Software Technology, vol.54, issue.11, pp.1283-1295, 2012. ,
DOI : 10.1016/j.infsof.2012.06.010
Improving Translation of Live Sequence Charts to Temporal Logic, Electronic Notes in Theoretical Computer Science, vol.250, issue.1, pp.137-152, 2009. ,
DOI : 10.1016/j.entcs.2009.08.010
Understanding Video Events: A Survey of Methods for Automatic Interpretation of Semantic Occurrences in Video, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), vol.39, issue.5, pp.489-504, 2009. ,
DOI : 10.1109/TSMCC.2009.2023380
Automatic video interpretation: A novel algorithm for temporal scenario recognition, Proceedings of the 18th International Joint Conference on Artificial Intelligence, IJCAI'03, pp.1295-1300, 2003. ,
Combining ontological and temporal formalisms for composite activity modelling and recognition in smart homes, Special Issue on Ubiquitous Computing and Future Communication Systems, pp.29-43, 2014. ,
DOI : 10.1016/j.future.2014.02.014