, Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems, Proc. 12th Int. Conf. Computer Aided Verification, pp.419-434, 2000.
DOI : 10.1007/10722167_32
, Perturbed Turing machines and hybrid systems, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, pp.269-278, 2001.
DOI : 10.1109/LICS.2001.932503
, An implementation of three algorithms for timing verification based on automata emptiness, [1992] Proceedings Real-Time Systems Symposium, pp.157-166, 1992.
DOI : 10.1109/REAL.1992.242667
, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8
, TIMES b??? A Tool for Modelling and Implementation of Embedded Systems, Proc. 8th Int. Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), volume 2280 of Lecture Notes In Computer Science, pp.460-464, 2002.
DOI : 10.1007/3-540-46002-0_32
, Code synthesis for timed automata, Nordic Journal of Computing, vol.9, 2003.
, Generating embedded software from hierarchical hybrid models, Proc. 2003 Conf. Languages, Compilers, and Tools for Embedded Systems (LCTES'03), pp.171-182, 2003.
, Perturbed Timed Automata, Proc. 8th Int. Workshop Hybrid Systems: Computation and Control (HSCC'05), pp.70-85, 2005.
DOI : 10.1007/978-3-540-31954-2_5
, Controller synthesis for timed automata Lazy rectangular hybrid automata, Proc. System Structure and Control Proc. of HSCC 04: Hybrid Systems?Computation and Control, pp.1-15, 1998.
, Implementation of timed automata: an issue of semantics or modeling? Formal Modelling and Analysis of Timed Systems (FORMATS'05), Lecture Notes in Computer Science On conciseness of extensions of timed automata, Proc. 3rd Int. Conf, 2005.
, Uppaal 4.0 An enumerative approach for analyzing time Petri nets, QEST Information Processing 83 ? Proceedings of the 9th IFIP World Computer Congress, pp.125-126, 1983.
, Robust Model-Checking of Linear-Time Properties in Timed Automata, Proceedings of the 7th Latin American Symposium on Theoretical INformatics, pp.238-249, 2006.
DOI : 10.1007/11682462_25
URL : https://hal.archives-ouvertes.fr/hal-01194610
, Robust Analysis of Timed Automata Via Channel Machines, Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'08), 2008.
DOI : 10.1007/978-3-540-78499-9_12
URL : https://hal.archives-ouvertes.fr/hal-01194593
, Model Checking, 1999.
, A calculus of durations, Information Processing Letters, vol.40, issue.5, pp.269-276, 1991.
DOI : 10.1016/0020-0190(91)90122-X
, A comparison of control problems for timed and hybrid systems Decidability and undecidability results for duration calculus [CY91] Costas Courcoubetis and Mihalis Yannakakis. Minimum and maximum delay problems in real-time systems, Proc. 5th Int. Workshop Hybrid Systems: Computation and Control (HSCC'02), volume 2289 of Lecture Notes in Computer Science Proc. of STACS 93: Symposium on Theoretical Aspects of Computer Science Proc. 3rd Int. Workshop Computer Aided Verification (CAV'91), pp.134-148, 1991.
, Robustness and Implementability of Timed Automata, Proceedings of the Joint Conferences, pp.118-133, 2004.
DOI : 10.1007/978-3-540-30206-3_10
, Almost ASAP semantics: from timed models to timed implementations, Formal Aspects of Computing, vol.17, issue.3, pp.319-341, 2005.
DOI : 10.1007/s00165-005-0067-8
, Specification and Verification of Polling Real-Time Systems, 1999.
DOI : 10.1007/978-3-322-84823-9_3
, PLC-automata: a new class of implementable real-time automata, Theoretical Computer Science, vol.253, issue.1, pp.61-93, 2001.
DOI : 10.1016/S0304-3975(00)00089-X
, Timing assumptions and verification of finite-state concurrent systems Workshop Automatic Verification Methods for Finite State Systems (CAV'89), volume 407 of Lecture Notes in Computer Science Dynamical properties of timed automata revisited, Proc. 1st IntDim07] C? at? alin Dima Proc. of FORMATS 07: Formal Modeling and Analysis of Timed SystemsDK06] Conrado Daws and Piotr Kordy, pp.197-212, 1990.
, Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States, CSL, Lecture Notes in Computer Science 1683, pp.126-140, 1999.
DOI : 10.1007/3-540-48168-0_10
, Robust timed automata, Proc. Int. Workshop Hybrid and Real-Time Systems (HART'97), volume 1201 of Lecture Notes in Computer Science, pp.331-345
DOI : 10.1007/BFb0014736
, From control models to real-time code using Giotto, IEEE Control Systems Magazine, vol.23, issue.1, pp.50-64, 2003.
DOI : 10.1109/MCS.2003.1172829
, Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.394-406, 1992.
DOI : 10.1109/LICS.1992.185551
, Linear parametric model checking of timed automata, Proc. 7th Int. Conf. Tools and Algorithms for Construction and Analysis of Systems (TACAS'01)Mil80] Robin Milner. A Calculus of Communicating Systems, pp.189-203, 1980.
, On the synthesis of discrete controllers for timed systems (an extended abstract), STACS, pp.229-242, 1995.
, Dynamical properties of timed automata, Proc. 5th Int. Symposium Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), volume 1486 of Lecture Notes in Computer Science, pp.210-227, 1998.
DOI : 10.1007/BFb0055349
, Dynamical properties of timed automata. Discrete Event Dynamic Systems, pp.87-113, 2000.
, A Symbolic Decision Procedure for Robust Safety of Timed Systems, 14th International Symposium on Temporal Representation and Reasoning (TIME'07), p.192, 2007.
DOI : 10.1109/TIME.2007.39
, Model checking timed automata, European Educational Forum: School on Embedded Systems, pp.114-152, 1996.
DOI : 10.1007/3-540-65193-4_20