The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, issue.1, pp.3-34, 1995. ,
DOI : 10.1016/0304-3975(94)00202-T
The algorithmic analysis of hybrid systems, International Conference on Analysis and Optimization of Systems?Discrete-Event Systems, Lecture Notes in Control and Information Sciences, pp.331-351, 1994. ,
Concurrent Systems: An Integrated Approach to Operating Systems, Distributed Systems and Database, 2002. ,
The foundations of Esterel, 2000. ,
Systems engineering and analysis, 1998. ,
Modelling of complex systems: Systems as dataow machines, Fundamenta Informaticae, vol.91, pp.1-24, 2009. ,
New computational paradigms. changing conceptions of what is computable, New Computational Paradigms. Changing Conceptions of What is Computable, pp.383-423, 2008. ,
The algebra of stream processing functions, Theoretical Computer Science, vol.258, issue.1-2, pp.99-129, 2001. ,
DOI : 10.1016/S0304-3975(99)00322-9
Specification and development of interactive systems: focus on streams, interfaces, and refinement, 2001. ,
DOI : 10.1007/978-1-4613-0091-5
Fundamentals of Modeling and Analysing Engineering Systems, 2000. ,
The Algebraic Theory of Semigroups, Math. Surveys Amer. Math. Soc., R.I, vol.7, 1961. ,
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77 ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, volume 79. [17] J. Harthong, ´ eléments pour une théorie du continu, pp.110-235, 1983. ,
DOI : 10.1109/5.97300
The semantics of a simple language for parallel programming Information processing, pp.471-475, 1974. ,
Timed rewriting logic with an application to object-based specification, Science of Computer Programming, vol.28, issue.2-3, pp.225-246, 1997. ,
DOI : 10.1016/S0167-6423(96)00024-X
Modelling of Complex Software Systems: A Reasoned Overview, Formal Techniques for Networked and Distributed Systems -FORTE 2006, pp.1-22, 2006. ,
DOI : 10.1007/978-3-662-10778-2
Lecture notes on hybrid systems, in: Notes for an ENSIETA Workshop ,
The art of system architecturing, 2002. ,
A method for synthesizing sequential circuits, The Bell System Technical Journal, vol.34, issue.5, 1955. ,
DOI : 10.1002/j.1538-7305.1955.tb03788.x
Internal set theory: A new approach to nonstandard analysis, Bulletin of the American Mathematical Society, vol.83, issue.6, pp.1165-1198, 1977. ,
DOI : 10.1090/S0002-9904-1977-14398-X
Automata over continuous time, Theoretical Computer Science, vol.300, issue.1-3, pp.331-363, 2003. ,
DOI : 10.1016/S0304-3975(02)00331-6
Les systèmes dynamiques discrets, Mathématiques et Applications, vol.19, 1994. ,
Non-standard analysis, 1974. ,
Introduction to system engineering, 2000. ,
A new applied approach for executing computations with infinite and infinitesimal quantities, Informatica, vol.19, pp.567-596, 2008. ,
Mathematical Control Theory: Deterministic Finite Dimensional Systems, Textbooks in Applied Mathematics, vol.6, 1998. ,
Understanding basic automata theory in the continuous time setting, Fundam, Inform, vol.62, 2003. ,
Theory of Modeling and Simulation ? Integrating Discrete Event and Continuous Complex Dynamic Systems, 2000. ,