• Tokariev P and Mallet F. Real-Time CCSL: Application to the Mechanical Lung Ventilator. Rigorous State-Based Methods. (289-306).

    https://doi.org/10.1007/978-3-031-63790-2_24

  • De Maria E, Bahrami A, L’Yvonnet T, Felty A, Gaffé D, Ressouche A and Grammont F. (2022). On the use of formal methods to model and verify neuronal archetypes. Frontiers of Computer Science: Selected Publications from Chinese Universities. 16:3. Online publication date: 1-Jun-2022.

    https://doi.org/10.1007/s11704-020-0029-6

  • Winkler T, Lehmann J and Katoen J. Out of Control: Reducing Probabilistic Models by Control-State Elimination. Verification, Model Checking, and Abstract Interpretation. (450-472).

    https://doi.org/10.1007/978-3-030-94583-1_22

  • Yin B, Chen L, Liu J, Wang J and Cousot P. Verifying Numerical Programs via Iterative Abstract Testing. Static Analysis. (247-267).

    https://doi.org/10.1007/978-3-030-32304-2_13

  • Giet J, Mauborgne L, Kästner D and Ferdinand C. Towards Zero Alarms in Sound Static Analysis of Finite State Machines. Computer Safety, Reliability, and Security. (3-18).

    https://doi.org/10.1007/978-3-030-26601-1_1

  • Kim S, Rival X and Ryu S. (2018). A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework. ACM Transactions on Programming Languages and Systems. 40:3. (1-44). Online publication date: 30-Sep-2018.

    https://doi.org/10.1145/3230624

  • De Maria E, L'Yvonnet T, Gaffé D, Ressouche A and Grammont F. Modelling and Formal Verification of Neuronal Archetypes Coupling. Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics. (3-10).

    https://doi.org/10.1145/3156346.3156348

  • Miné A. (2017). Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation. Foundations and Trends in Programming Languages. 4:3-4. (120-372). Online publication date: 5-Dec-2017.

    https://doi.org/10.1561/2500000034

  • Altisen K and Moy M. (2016). Causality problem in real-time calculus. Formal Methods in System Design. 48:1-2. (1-45). Online publication date: 1-Apr-2016.

    https://doi.org/10.1007/s10703-016-0250-y

  • Petrenko A, Timo O and Ramesh S. Model-based testing of automotive software. Proceedings of the 52nd Annual Design Automation Conference. (1-6).

    https://doi.org/10.1145/2744769.2747935

  • Champion A, Delmas R and Dierkes M. (2015). Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework. Science of Computer Programming. 103:C. (71-87). Online publication date: 1-Jun-2015.

    https://doi.org/10.1016/j.scico.2014.10.004

  • Henry J, Monniaux D and Moy M. Succinct representations for abstract interpretation. Proceedings of the 19th international conference on Static Analysis. (283-299).

    https://doi.org/10.1007/978-3-642-33125-1_20

  • Kalyon G, Gall T, Marchand H and Massart T. (2012). Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. Discrete Event Dynamic Systems. 22:2. (121-161). Online publication date: 1-Jun-2012.

    https://doi.org/10.1007/s10626-011-0101-3

  • Monniaux D and Bodin M. Modular abstractions of reactive nodes using disjunctive invariants. Proceedings of the 9th Asian conference on Programming Languages and Systems. (19-33).

    https://doi.org/10.1007/978-3-642-25318-8_5

  • Schrammel P and Jeannet B. Logico-numerical abstract acceleration and application to the verification of data-flow programs. Proceedings of the 18th international conference on Static analysis. (233-248).

    /doi/10.5555/2041552.2041571

  • Kalyon G, Gall T, Marchand H and Massart T. (2011). Decentralized Control of Infinite Systems. Discrete Event Dynamic Systems. 21:3. (359-393). Online publication date: 1-Sep-2011.

    https://doi.org/10.1007/s10626-011-0106-y

  • Beyer M and Glesner S. Static run-time mode extraction by state partitioning in synchronous process networks. Proceedings of the 14th International Workshop on Software and Compilers for Embedded Systems. (28-37).

    https://doi.org/10.1145/1988932.1988938

  • Gamatie A and Gonnord L. (2011). Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems. ACM SIGPLAN Notices. 46:5. (71-80). Online publication date: 11-Apr-2011.

    https://doi.org/10.1145/2016603.1967688

  • Gamatie A and Gonnord L. Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systems. Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems. (71-80).

    https://doi.org/10.1145/1967677.1967688

  • Briand X and Jeannet B. (2010). Combining control and data abstraction in the verification of hybrid systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 29:10. (1481-1494). Online publication date: 1-Oct-2010.

    https://doi.org/10.1109/TCAD.2010.2066010

  • Girault A and Rutten É. (2009). Automating the addition of fault tolerance with discrete controller synthesis. Formal Methods in System Design. 35:2. (190-225). Online publication date: 1-Oct-2009.

    https://doi.org/10.1007/s10703-009-0084-y

  • Briand X and Jeannet B. Combining control and data abstraction in the verification of hybrid systems. Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign. (141-150).

    /doi/10.5555/1715759.1715778

  • Monniaux D. (2009). Automatic modular abstractions for linear constraints. ACM SIGPLAN Notices. 44:1. (140-151). Online publication date: 21-Jan-2009.

    https://doi.org/10.1145/1594834.1480899

  • Monniaux D. Automatic modular abstractions for linear constraints. Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. (140-151).

    https://doi.org/10.1145/1480881.1480899

  • Hagen G and Tinelli C. Scaling up the formal verification of Lustre programs with SMT-based techniques. Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design. (1-9).

    /doi/10.5555/1517424.1517439

  • Gall T and Jeannet B. Lattice automata. Proceedings of the 14th international conference on Static Analysis. (52-68).

    /doi/10.5555/2391451.2391457

  • Rival X and Mauborgne L. (2007). The trace partitioning abstract domain. ACM Transactions on Programming Languages and Systems. 29:5. (26-es). Online publication date: 2-Aug-2007.

    https://doi.org/10.1145/1275497.1275501

  • Jeannet B, Jéron T and Rusu V. Model-based test selection for infinite-state reactive systems. Proceedings of the 5th international conference on Formal methods for components and objects. (47-69).

    /doi/10.5555/1777707.1777711

  • Franzén A. (2006). Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs. Electronic Notes in Theoretical Computer Science (ENTCS). 144:1. (19-33). Online publication date: 1-Jan-2006.

    https://doi.org/10.1016/j.entcs.2005.07.017

  • Rival X. Understanding the origin of alarms in ASTRÉE. Proceedings of the 12th international conference on Static Analysis. (303-319).

    https://doi.org/10.1007/11547662_21

  • Rusu V, Marchand H and Jéron T. Automatic verification and conformance testing for validating safety properties of reactive systems. Proceedings of the 2005 international conference on Formal Methods. (189-204).

    https://doi.org/10.1007/11526841_14

  • Kang E. Parametric Analysis of Real-Time Embedded Systems with Abstract Approximation Interpretation. Proceedings of the 26th International Conference on Software Engineering. (39-41).

    /doi/10.5555/998675.999400

  • IEEE IRI 2014 message from program co-chairs. Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014). (xv-xvi).

    https://doi.org/10.1109/IRI.2014.7051723