Lustre: A declarative language for programming synchronous systems, POPL, pp.178-188, 1987. ,
DOI : 10.1145/41625.41641
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
URL : https://doi.org/10.1016/0304-3975(94)90010-8
Symbolic model checking for real-time systems, Information and Computation, vol.111, issue.2, pp.192-244, 1994. ,
DOI : 10.1006/inco.1994.1045
URL : https://doi.org/10.1006/inco.1994.1045
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010
Uppaal 4.0, " in QEST, pp.125-126, 2006. ,
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach, 2000. ,
DOI : 10.1007/3-540-45416-0_21
Analysis of a biphase mark protocol with Uppaal and PVS, Formal Aspects of Computing, vol.21, issue.2, pp.433-458, 2006. ,
DOI : 10.1007/s00165-006-0008-1
Z??lus, Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC '13, pp.113-118, 2013. ,
DOI : 10.1145/2461328.2461348
Timing assumptions and verification of finite-state concurrent systems, pp.197-212, 1990. ,
DOI : 10.1007/3-540-52148-8_17
Clocks, DBMs and states in timed systems, 2002. ,
Divide and recycle: types and compilation for a hybrid synchronous language, LCTES, USA, pp.61-70, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00654112
Formal verification of hybrid systems, Proceedings of the ninth ACM international conference on Embedded software, EMSOFT '11, pp.273-278, 2011. ,
DOI : 10.1145/2038642.2038685
URL : http://www.cis.upenn.edu/~alur/EmsoftSurvey11.pdf
Lutin: A Language for Specifying and Executing Reactive Scenarios, EURASIP Journal on Embedded Systems, vol.9, issue.1, 2008. ,
DOI : 10.1007/s10009-006-0023-9
URL : https://doi.org/10.1155/2008/753821
Symbolic simulation of interpreted automata, SYN- CHRON, 1996. ,
Symbolic simulation of synchronous programs, Electronic Notes in Theoretical Computer Science, vol.65, issue.5, pp.11-18, 2002. ,
DOI : 10.1016/S1571-0661(05)80436-0
URL : https://doi.org/10.1016/s1571-0661(05)80436-0
Verifying quantitative realtime properties of synchronous programs, CAV, Greece, 1993. ,
DOI : 10.1007/3-540-56922-7_29
URL : http://arpont.imag.fr//PEOPLE/Florence.Maraninchi/ArgosCAV93.ps.gz
KRONOS: a??verification tool for real-time systems, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.123-133, 1997. ,
DOI : 10.1007/s100090050009
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), pp.2875-2880, 2001. ,
DOI : 10.1109/CDC.2001.980712
Extending synchronous languages for generating abstract real-time models, Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition, 2002. ,
DOI : 10.1109/DATE.2002.998390
URL : http://www.cecs.uci.edu/~papers/compendium94-03/papers/2002/date02/pdffiles/08b_3.pdf
From synchronous programs to symbolic representations of hybrid systems, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.41-50, 2010. ,
DOI : 10.1145/1755952.1755960
Delay analysis in synchronous programs, CAV, Greece, pp.333-346, 1993. ,
DOI : 10.1007/3-540-56922-7_28
URL : ftp://ftp.imag.fr/imag/labo-VERIMAG/LUSTRE/PAPERS/linearverif.ps.gz
A synchronous approach to quasi-periodic systems, 2017. ,
URL : https://hal.archives-ouvertes.fr/tel-01545630
Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques, 2008 Formal Methods in Computer-Aided Design, pp.109-117, 2008. ,
DOI : 10.1109/FMCAD.2008.ECP.19
Timed Automata Verification via IC3 with Zones, ICFEM, ser. LNCS, pp.203-218, 2014. ,
DOI : 10.1007/978-3-319-11737-9_14