This is the list of the most recently added pages on the CONVECS Web server.

• Jan. 2026 [CADP newsletter]: CADP Newsletter - Nr. 19.


• Apr. 2026 [announcement]: From April 1st, 2026, the CONVECS project-team is replaced by the new ARMADHA project-team.

• Feb. 2025 [CADP newsletter]: CADP Newsletter - Nr. 18.


• Apr. 2025 [CADP case study]: Performance Evaluation of the Erlangen Mainframe.


• Apr. 2025 [CADP case study]: Quantitative Analysis of an IEC 61499 Manufacturing Application.


• Apr. 2025 [CADP-based tool]: PSS2LNT Translator for Hardware Testing.


• Apr. 2025 [CADP-based tool]: Probabilistic Runtime Enforcement for BPMN.


• Jun. 2025 [CADP case study]: Application for Managing Sensitive Health Data.


• Aug. 2025 [announcement]: TRAIAN 3.17 compiler released.


• Oct. 2025 [announcement]: VLPN (Very Large Petri Nets) benchmark suite released.


• Dec. 2025 [PhD thesis]: Analysis, Optimisation and Debugging of BPMN Processes.

• Feb. 2024 [CADP newsletter]: CADP Newsletter - Nr. 17.


• Feb. 2024 [CADP case study]: Generation of Scenarios for Autonomous Vehicles.


• Feb. 2024 [CADP case study]: Object-oriented Design Integrating Ubiquitous Specifications.


• Feb. 2024 [CADP case study]: Formal Modelling and Analysis of the 4SECURail Case Study.


• Feb. 2024 [CADP-based tool]: Probabilistic Analysis of Industrial IoT Applications.


• Feb. 2024 [CADP-based tool]: Probabilistic Model Checking of BPMN Processes at Runtime.


• Feb. 2024 [CADP case study]: Vulnerability Identification of Operational Technology Protocols.


• Feb. 2024 [CADP case study]: Verification and Validation of UML Statecharts using Process Algebra.


• Feb. 2024 [CADP case study]: Verification of Circuits for Systolic Array Parallel Computation.


• Mar. 2024 [CADP-based tool]: UML Model Checker.


• Mar. 2024 [announcement]: TRAIAN 3.13 compiler released.


• Apr. 2024 [PhD thesis]: Modelling, Runtime Analysis and Quantitative Verification of Business Processes.


• May 2024 [PhD thesis]: Ingénierie de l'instrumentation pour la vérification de l'exécution.


• Jun. 2024 [announcement]: TRAIAN 3.14 compiler released.


• Sep. 2024 [announcement]: TRAIAN 3.15 compiler released.


• Oct. 2024 [PhD thesis]: Formal Modeling for Testing of System-on-Chip Resource Isolation.


• Dec. 2024 [PhD thesis]: Quantitative Verification and Runtime Techniques for Industrial Automation Systems.


• Dec. 2024 [announcement]: TRAIAN 3.16 compiler released.

• Jan. 2023 [CADP newsletter]: CADP Newsletter - Nr. 15.


• Feb. 2023 [announcement]: TRAIAN 3.9 compiler released.


• Apr. 2023 [announcement]: CADP won the Test of Time Tool Award at ETAPS'2023.


• Jun. 2023 [announcement]: TRAIAN 3.10 compiler released.


• Jul. 2023 [CADP newsletter]: CADP Newsletter - Nr. 16.


• Sep. 2023 [announcement]: TRAIAN 3.11 compiler released.


• Oct. 2023 [PhD thesis]: Systèmes concurrents hiérarchiques : équivalence, analyse et structuration.


• Dec. 2023 [PhD thesis]: Modélisation formelle et validation pour des véhicules automatisés.


• Dec. 2023 [announcement]: TRAIAN 3.12 compiler released.

• Feb. 2022 [CADP newsletter]: CADP Newsletter - Nr. 14.


• Feb. 2022 [announcement]: TRAIAN 3.6 compiler released.


• Feb. 2022 [CADP-based tool]: Verification of Formal Requirements in the Context of ISO-26262.


• Mar. 2022 [CADP-based tool]: Debugging and Verification Tools for LINGUA FRANCA in GEMOC Studio.


• Mar. 2022 [CADP-based tool]: Explaining Safety Violations in Real-Time Systems.


• Mar. 2022 [CADP-based tool]: Quantifying the Similarity of Non-bisimilar Labelled Transition Systems.


• Jun. 2022 [announcement]: TRAIAN 3.7 compiler released.


• Oct. 2022 [announcement]: TRAIAN 3.8 compiler released.

• Jan. 2021 [announcement]: Frédéric Lang, Franco Mazzanti, and Wendelin Serwe have won the RERS'2020 "Parallel CTL" challenge. Slides of Frédéric Lang's presentation at RERS'2020.


• Feb. 2021 [CADP newsletter]: CADP Newsletter - Nr. 13.


• Feb. 2021 [announcement]: TRAIAN 3.3 compiler released.


• Jun. 2021 [announcement]: TRAIAN 3.4 compiler released.


• Sep. 2021 [announcement]: VLSAT-2 benchmark suite released.


• Sep. 2021 [announcement]: VLSAT-3 benchmark suite released.


• Oct. 2021 [announcement]: TRAIAN 3.5 compiler released.


• Nov. 2021 [announcement]: CONVECS researchers were awarded the Inria - Académie des Sciences - Dassault Systèmes Innovation Prize.

• Feb. 2020 [announcement]: TRAIAN 3.0 compiler released.


• Mar. 2020 [CADP case study]: Autonomic Resilience of Distributed IoT Applications in the Fog.


• Mar. 2020 [CADP case study]: Probabilistic Collision Risk Estimation for Autonomous Driving.


• Apr. 2020 [CADP case study]: Model Checking Based Approach for Compliance Checking.


• Apr. 2020 [CADP case study]: Finding Conservative Schema Evolutions by Analysing API Changes.


• Apr. 2020 [CADP case study]: Verifying Complex Software Control Systems from Test Objectives.


• Apr. 2020 [CADP case study]: Designing Safe Synchronous Reactive Systems.


• Apr. 2020 [CADP case study]: Selection of Model Checking Strategies using Machine Learning.


• Apr. 2020 [CADP-based tool]: IoT Composer Tool for Building and Designing IoT Applications.


• May 2020 [CADP case study]: Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks.


• Jun. 2020 [CADP-based tool]: MOZART Tool for Designing and Deploying Advanced IoT Applications.


• Jun. 2020 [announcement]: TRAIAN 3.1 compiler released.


• Oct. 2020 [announcement]: TRAIAN 3.2 compiler released.


• Nov. 2020 [announcement]: VLSAT-1 benchmark suite released.


• Dec. 2020 [CADP-based tool]: SLiVER Tool for Modeling and Analyzing Multi-agent Systems.


• Dec. 2020 [PhD thesis]: Models and Verification for Composition and Reconfiguration of Web of Things Applications.

• Jan. 2019 [CADP newsletter]: CADP Newsletter - Nr. 11.


• Jan. 2019 [CADP case study]: Asynchronous Circuit Implementing a Memory Protection Unit.


• Jan. 2019 [CADP-based tool]: Product-Line Approach for Families of Program Translators.


• Feb. 2019 [CADP case study]: Formal Modeling and Verification of an Automatic Train Supervision System.


• Feb. 2019 [CADP case study]: Detection of Data Breaches in Banking Transaction Processes.


• Feb. 2019 [CADP case study]: Experimental Analysis of Compositional State Space Generation Strategies.


• Mar. 2019 [CADP-based tool]: FTRES (Fault Tree Rare Event Simulator).


• Mar. 2019 [CADP-based tool]: Formal Analysis of Security Guidelines for Program Certification.


• Apr. 2019 [presentation]: Slides of H. Garavel's presentation at the Lorentz workshop on Advancing Verification Competitions as a Scientific Method.


• Apr. 2019 [CADP-based tool]: Adaptive Service Composition Based on Runtime Verification of Formal Properties.


• Apr. 2019 [CADP-based tool]: Equivalence Checker for the Papyrus-RT Framework.


• Apr. 2019 [CADP-based tool]: The aZiZa Tool for Heterogeneous Behavioural Models.


• Apr. 2019 [CADP newsletter]: CADP Newsletter - Nr. 12: Frédéric Lang and Franco Mazzanti Have Won the RERS'2019 Parallel Challenges.


• Apr. 2019 [CADP-based tool]: Meta-Modeling Tool [εm] for Analysis of Process Models.


• Apr. 2019 [CADP-based tool]: The RichTest Tool for Message-Passing Concurrent Programs.


• May 2019 [CADP case study]: Model-Based Diagnosis using LNT.


• May 2019 [CADP case study]: Formal Modeling and Analysis of the TLS Handshake Model.


• Jul. 2019 [event]: Séminaire CONVECS 2019.


• Jul. 2019 [presentation]: Slides of F. Lang's presentation at FMICS'2018.


• Aug. 2019 [CADP-based tool]: LFD-MPI Tool for Lightweight Formal Development of MPI Applications.


• Dec. 2019 [PhD thesis]: On Model-based Testing of GALS Systems.


• Dec. 2019 [PhD thesis]: Autonomic Resilience of Distributed IoT Applications in the Fog.

• Jan. 2018 [CADP newsletter]: CADP Newsletter - Nr. 10.


• Jan. 2018 [CADP case study]: Heuristic Search for Equivalence Checking.


• Jan. 2018 [CADP case study]: Computing Maximal Weak and Other Bisimulations.


• Jan. 2018 [CADP-based tool]: Formal Specification of Web Services Composition Using LOTOS.


• Jan. 2018 [CADP-based tool]: Tools and Methods for RTCP-nets Modeling and Verification.


• Jan. 2018 [CADP-based tool]: Availability Analysis of Software Architecture Decomposition Alternatives.


• Feb. 2018 [job offer]: IRT Saint-Exupéry and CONVECS are seeking a research engineer (job #2018-IRT).


• Apr. 2018 [presentation]: Slides of H. Garavel's presentation at the Lorentz workshop on Safety of Future Systems.


• Apr. 2018 [presentation]: Slides of H. Garavel's invited lecture at WRLA'2018.


• Apr. 2018 [presentation]: Slides of J. Bozic and L. Marsso presentation at MARS'2018.


• Apr. 2018 [presentation]: Slides of L. Marsso presentation at TACAS'2018.


• Apr. 2018 [presentation]: Slides of H. Garavel presentation at MARS'2018.


• Jul. 2018 [event]: Séminaire CONVECS 2018.


• Sep. 2018 [presentation]: Slides of F. Wotawa presentation at DX'2018.


• Dec. 2018 [PhD thesis]: Debugging of Behavioural Models using Counterexample Analysis.

• Jan. 2017 [CADP newsletter]: CADP Newsletter - Nr. 9.


• Jun. 2017 [CADP case study]: Formal Specification of the Raft Consensus Algorithm.


• Jun. 2017 [CADP case study]: Performance Evaluation of Concurrent Data Structures.


• Jun. 2017 [event]: Forum 5i.


• Jun. 2017 [CADP-based tool]: VBPMN Tool for Checking Business Process Evolution.


• Jun. 2017 [CADP case study]: Distributed Controller for the Production Cell Benchmark.


• Jun. 2017 [CADP case study]: Modeling, Verification, and Testing for the EnergyBus Standard.


• Jun. 2017 [job offer]: IRT Saint-Exupéry and CONVECS are seeking a post-doctorate researcher (job #2017-IRT).


• Jun. 2017 [job offer]: Inria Grenoble and Nokia Bell Labs are seeking a PhD candidate (job #2017A).


• Jun. 2017 [CADP-based tool]: GROOVE Tool for Verification Based on Graph Rewriting.


• Jun. 2017 [CADP-based tool]: MIstRAL Tool for Middleware Reconfiguration Based on Formal Methods.


• Sep. 2017 [presentation]: Slides of H. Garavel's presentation at OPCT'2017.


• Oct. 2017 [job offer]: CONVECS is seeking a software engineer.


• Oct. 2017 [CADP case study]: Proving Linearizability via Branching Bisimulation.


• Oct. 2017 [CADP case study]: Specification and Verification of TCP extended with the Window Scale Option.

• Jan. 2016 [CADP newsletter]: CADP Newsletter - Nr. 8.


• Feb. 2016 [CADP case study]: Verification of Models Reverse Engineered from Smart-card Readers.


• Feb. 2016 [CADP case study]: Formal Description and Validation of Graphical User Interfaces.


• Feb. 2016 [CADP-based tool]: IMCReo tool for Reasoning about QoS in Stochastic Reo Connectors.


• Feb. 2016 [CADP-based tool]: ELOTON Eclipse-based Editor to Support LOTOS Newcomers.


• Feb. 2016 [tool]: A new release of the compiler TRAIAN 2.8 is available.


• Mar. 2016 [CADP case study]: Improving Design Pattern Finder Precision Using Model Checking.


• Mar. 2016 [CADP case study]: Applying Automata Learning to Embedded Control Software.


• Mar. 2016 [CADP case study]: Testing Autonomous Systems Using Communicating Extended FSMs.


• Mar. 2016 [CADP case study]: Verification of Plastic User Interfaces Exploiting Domain Ontologies.


• Mar. 2016 [CADP-based tool]: PIC2LNT Translator from Applied Pi-Calculus to LNT.


• Apr. 2016 [job offer]: Orange Labs and CONVECS are seeking a PhD student (job #2016-OL).


• Apr. 2016 [job offer]: CONVECS and CTSYS are seeking a PhD student (job #2016C).


• Jun. 2016 [CADP-based tool]: DLC Compiler from LNT to Distributed C Code.


• Jun. 2016 [CADP-based tool]: GRL2LNT Translator from GALS Representation Language to LNT.


• Sep. 2016 [PhD thesis]: Formal Framework for Modelling and Verifying Globally Asynchronous Locally Synchronous Systems.


• Sep. 2016 [CADP-based tool]: OCARINA Tool for Analysing AADL Descriptions.


• Sep. 2016 [CADP case study]: Fully Asynchronous Model of the Data Encryption Standard.

• Jan. 2015 [CADP newsletter]: CADP Newsletter - Nr. 7.


• Jan. 2015 [CADP case study]: Dynamic Management Protocol for Cloud Applications.


• Jan. 2015 [CADP case study]: Compatibility Checking for Asynchronous Communication.


• May 2015 [report]: Positive HCERES Evaluation Report of the LIG laboratory and CONVECS team in 2015.


• May 2015 [event]: Séminaire CONVECS 2015.


• Jun. 2015 [job offer]: CONVECS is seeking a PhD student (job #2015A).


• Jul. 2015 [CADP-based tool]: Refiner Tool for Checking Model Refinements.


• Jul. 2015 [CADP case study]: Model-based Development and Testing of a Software Bus.


• Jul. 2015 [PhD thesis]: Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones.


• Sep. 2015 [PhD thesis]: Formal Methods for Functional Verification of Cache-Coherent System-on-Chip.


• Nov. 2015 [job offer]: Orange Labs and CONVECS are seeking an internship student (job #2016A).


• Nov. 2015 [job offer]: CONVECS is seeking an internship student (job #2016B).


• Dec. 2015 [PhD thesis]: Formal Specification and Verification of Interactive Systems with Plasticity: Applications to Nuclear-Plant Supervision.


• Dec. 2015 [PhD thesis]: Coordination and Reconfiguration of Distributed Cloud Applications.

• Jan. 2014 [CADP-based tool]: Automata Learning through Counterexample-guided Abstraction Refinement.


• Jan. 2014 [CADP-based tool]: Reo Tool for Model-Checking Dataflow in Service Compositions.


• Jan. 2014 [CADP-based tool]: IDCM Tool for Incremental Component-based Architectures.


• Jan. 2014 [CADP-based tool]: DFTCalc Tool for Computing Failure Probability of Dynamic Fault Trees.


• Jan. 2014 [job offer]: CONVECS is seeking a post-doctoral scientist (job #2014A).


• Feb. 2014 [CADP-based tool]: Modeling Robot Behavior with CCL.


• Feb. 2014 [CADP case study]: Hypermanager for Reconfigurable Component-Based Systems.


• Feb. 2014 [report]: CONVECS Activity Report 2013.


• Mar. 2014 [CADP case study]: Assisting Refinement in System-on-Chip Design.


• Apr. 2014 [presentation]: Slides of R. Mateescu's keynote lecture at GRAPHITE'2014.


• Apr. 2014 [presentation]: Slides of H. Garavel's lecture at 20 years of TACAS workshop of ETAPS'2014.


• Jun. 2014 [event]: Séminaire CONVECS 2014.


• Jun. 2014 [presentation]: Slides of H. Garavel's lecture at OPCT'2014.


• Aug. 2014 [job offer]: CONVECS is seeking a post-doctoral scientist (job #2014B).


• Sep. 2014 [presentation]: Slides of R. Mateescu's lecture at WS-FMDS'2014.


• Sep. 2014 [presentation]: Slides of F. Jebali's lecture at LASER'2014 Summer School.


• Oct. 2014 [presentation]: Slides of A. Kriouile's lecture at FMF'2014.


• Oct. 2014 [presentation]: Slides of R. Mateescu's lecture at FMF'2014.


• Oct. 2014 [presentation]: Slides of R. Mateescu's presentation at ERCIM 25th Anniversary.


• Nov. 2014 [presentation]: Slides of F. Jebali's presentation at ICFEM'2014.

• Feb. 2013 [report]: CONVECS Activity Report 2012.


• Feb. 2013 [CADP case study]: Verification of a Key Chain Based TTP Transparent CEM Protocol.


• Feb. 2013 [CADP case study]: Scalably Verifiable Cache Coherence.


• Feb. 2013 [CADP case study]: Behavior Analysis of Malware by Rewriting-Based Abstraction.


• Feb. 2013 [CADP case study]: Safety Verification of Fault-Tolerant Distributed Components.


• Feb. 2013 [CADP case study]: Verification of Mobile Ad Hoc Networks.


• Feb. 2013 [CADP case study]: Semantics Tuning of UML/SysML.


• Feb. 2013 [CADP case study]: Atomicity Maintenance in EPCReport of ALE.


• Apr. 2013 [CADP case study]: Rigorous Development of Prompting Dialogs.


• Apr. 2013 [CADP case study]: SYNERGY Reconfiguration Protocol.


• Apr. 2013 [CADP case study]: Self-configuration Protocol for the Cloud.


• May 2013 [software]: PMC 1.0 is now available.


• May 2013 [CADP case study]: Learning and Testing the Bounded Retransmission Protocol.


• May 2013 [CADP case study]: Real-Time Parallel Kernel for Dependable Distributed Systems.


• May 2013 [CADP case study]: Model Checking of Scenario-Aware Dataflow.


• May 2013 [software]: PIC2LNT 3.0 is now available.


• Aug. 2013 [presentation]: Slides of H. Garavel's invited lecture at WS25CCC.


• Oct. 2013 [CADP case study]: Formal Development of Control Software in the Medical Systems Domain.


• Oct. 2013 [CADP-based tool]: DAMASCO Framework for Composition and Adaptation Based on Model Transformation.


• Oct. 2013 [CADP-based tool]: SCOOP Tool for Symbolic Optimizations of Probabilistic Processes.


• Oct. 2013 [CADP-based tool]: SLCO Language Transformation Environment.


• Oct. 2013 [CADP-based tool]: Formal Modeling and Validation of BPEL-based Web Service Composition.


• Nov. 2013 [CADP-based tool]: Design Tool for FPGA-based Image and Video Processing.


• Nov. 2013 [CADP-based tool]: Quantitative Timed Analysis of Interactive Markov Chains.


• Nov. 2013 [CADP-based tool]: Synchronizability and Realizability of Asynchronous Systems.


• Nov. 2013 [CADP-based tool]: Formal Analysis of Choreography Specifications.


• Nov. 2013 [event]: Séminaire CONVECS 2013.

• Jan. 2012 [tutorial]: CADP Tutorial (CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués).


• May 2012 [job offer]: CONVECS is seeking a PhD candidate (job #2012A).


• May 2012 [job offer]: CONVECS is seeking a post-doctoral scientist (job #2012B).


• May 2012 [job offer]: CONVECS is seeking a software engineer (job #2012C).


• Jun. 2012 [job offer]: CONVECS is seeking a post-doctoral scientist (job #2012D).


• Jul. 2012 [job offer]: CONVECS is seeking a PhD candidate (job #2012E).


• Sep. 2012 [press]: Matthias Güdemann receives the Software Engineering Award of the Ernst Denert Association in 2012.


• Oct. 2012 [tutorial]: CADP Tutorial.


• Oct. 2012 [software]: PIC2LNT 2.0 is now available.


• Nov. 2012 [event]: Séminaire CONVECS 2012.


• Nov. 2012 [press]: La fiabilité des systèmes devient un défi majeur.


• Nov. 2012 [software]: TRAIAN 2.7 is now available.