, php in the case of the Model Checking Contest, vol.22
The FMICS View on the Verified Software Repository, Journal of Integrated Design and Process Science (IDPT), vol.10, issue.4, pp.47-54, 2006. ,
Developing UPPAAL over 15 Years. Software Practice and Experience, vol.41, pp.133-142, 2011. ,
, Handbook of Process Algebra, 2001.
The Verified Software Repository: A Step Towards the Verifying compiler, Formal Aspects of Computing, vol.18, issue.2, pp.143-151, 2006. ,
A Formally Verified Compiler for Lustre, Proceedings of the 38th ACM SIG-PLAN Conference on Programming Language Design and Implementation (PLDI'17), pp.586-601, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01512286
Model-checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits, Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'18), pp.34-42, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01777093
The ETI Online Service in Action, Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'99), vol.1579, pp.439-443, 1999. ,
Integrating Tools in the ETI Platform, Springer International Journal on Software Tools for Technology Transfer (STTT), issue.1, pp.31-48, 1997. ,
Process Algebra and Model Checking, Handbook of Model Checking, pp.1149-1195, 2018. ,
Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous, Journal of Logical and Algebraic Methods in Programming, vol.88, pp.121-153, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01412911
, Mathematical Notation in Formal Specification: Too Difficult for the Masses? IEEE Transactions on Software Engineering, vol.22, pp.158-159, 1996.
Compilation of LOTOS Abstract Data Types, Proceedings of the 2nd International Conference on Formal Description Techniques FORTE'89, pp.147-162, 1989. ,
An Open Software Architecture for Verification, Simulation, and Testing, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), vol.1384, pp.68-84, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00073337
Formal Methods for Safe and Secure Computers Systems, Bundesamt für Sicherheit in der Informationstechnik, vol.875, 2013. ,
SVL: a Scripting Language for Compositional Verification, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01), pp.377-392, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00072396
Compiler Construction using LOTOS NT, Proceedings of the 11th International Conference on Compiler Construction (CC'02), vol.2304, pp.9-13, 2002. ,
CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.15, issue.2, pp.89-107, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00715056
-Essays Dedicated to Susanne Graf at the Occasion of Her 60th Birthday, Proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS'18), vol.11119, pp.189-210, 2018. ,
From LOTOS to LNT, ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, vol.10500, pp.3-26, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01621670
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark, Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS'17), vol.244, pp.230-270, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01511847
Benchmarking Implementations of Term Rewriting and Pattern Matching in Algebraic, Functional, and Object-Oriented Languages -The 4th Rewrite Engines Competition, Proceedings of the 12th International Workshop on Rewriting Logic and its Applications (WRLA'18), vol.11152, pp.1-25, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01883212
Parameterised Boolean Equation Systems, Theoretical Computer Science, vol.343, pp.332-369, 2005. ,
, the Quantitative Automata Zoo, vol.112, pp.3-23, 2015.
The Open-Source Learn-Lib -A Framework for Active Automata Learning, Proceedings (Part I) of the 27th International Conference on Computer Aided Verification (CAV'15), vol.9206, pp.487-495, 2015. ,
Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, International Organization for Standardization -Information Processing Systems -Open Systems Interconnection, 1989. ,
, Lightweight Formal Methods. IEEE Computer, pp.21-22, 1996.
A Formally-Verified C Static Analyzer, Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'15), pp.247-259, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01078386
LTSmin: High-Performance Language-Independent Model Checking, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), vol.9035, pp.692-707, 2015. ,
MCC'2017 -The Seventh Model Checking Contest. Transactions on Petri Nets and Other Models of Concurrency, vol.XIII, pp.181-209, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01917492
, Artifact Evaluation for Software Conferences. SIG-PLAN Notices, vol.48, pp.17-21, 2013.
PRISM 4.0: Verification of Probabilistic Real-Time Systems, Proceedings of the 23rd International Conference on Computer Aided Verification (CAV'11), vol.6806, pp.585-591, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00648035
Automated Theorem Proving: A Quarter Century Review, Automated Theorem Proving -After 25 Years, vol.29, pp.1-45, 1984. ,
Verification of Modal Properties Using Boolean Equation Systems, vol.8, 1997. ,
Interacting with ETI: a User Session, Springer International Journal on Software Tools for Technology Transfer (STTT), issue.1, pp.49-63, 1997. ,
jETI: A Tool for Remote Tool Integration, Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), vol.3440, pp.557-562, 2005. ,
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI, Proceedings of the 31st IEEE/NASA Software Engineering Workshop (SEW'07), pp.214-226, 2007. ,
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation, Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), vol.10806, pp.211-228, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01777861
Local Model-Checking of an Alternation-Free Value-Based Modal Mu-Calculus, Proceedings of the 2nd International Workshop on Verification, Model Checking and Abstract Interpretation (VMCAI'98), 1998. ,
XTL: A Meta-Language and Tool for Temporal Logic Model-Checking, Proceedings of the International Workshop on Software Tools for Technology Transfer (STTT'98), pp.33-42, 1998. ,
Ten Diverse Formal Models for a CBTC Automatic Train Supervision System, Proceedings of the 3rd Workshop on Models for Formal Analysis of Real Systems and the 6th International Workshop on Verification and Program Transformation (MARS/VPT'18), vol.268, pp.104-149, 2018. ,
Towards Formal Methods Diversity in Railways: An Experience Report with Seven Frameworks, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.20, issue.3, pp.263-288, 2018. ,
Next Generation LearnLib, Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), vol.6605, pp.220-223, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00647749
CINCO: A Simplicity-driven Approach to Full Generation of Domainspecific Graphical Modeling Tools, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.20, issue.3, pp.327-354, 2018. ,
LearnLib: A Framework for Extrapolating Behavioral Models, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.11, pp.393-407, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00459959
Reachability Analysis of Deep Neural Networks with Provable Guarantees, Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJ-CAI'18), pp.2651-2659, 2018. ,
Automated Protocol Validation: One Chain of Development, Computer Networks, vol.2, pp.373-380, 1978. ,
Disappearing Formal Methods, Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE'00), pp.95-96, 2000. ,
System Design in the Era of IoT -Meeting the Autonomy Challenge, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD'18), vol.272, pp.1-22, 2018. ,
The Physics of Software Tools: SWOT Analysis and Vision, Springer International Journal on Software Tools for Technology Transfer (STTT), vol.19, issue.1, pp.1-7, 2017. ,
The Electronic Tool Integration Platform: Concepts and Design, Springer International Journal on Software Tools for Technology Transfer (STTT), issue.1, pp.9-30, 1997. ,
, An Account of Implementing Applicative Term Rewriting. Electronic Notes in Theoretical Computer Science, vol.174, issue.10, pp.139-155, 2007.
General Technique for Communications Protocol Validation, IBM Journal of Research and Development, vol.22, issue.4, pp.393-404, 1978. ,