News from CONVECS

C O N V E C S
Construction of Verified Concurrent Systems

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

More news can be found on Twitter.

[ 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 ]

2 0 2 4

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.

2 0 2 3

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.

2 0 2 2

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.

2 0 2 1

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.

2 0 2 0

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.

2 0 1 9

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.

2 0 1 8

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.

2 0 1 7

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.

2 0 1 6

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.

2 0 1 5

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.

2 0 1 4

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.

2 0 1 3

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.

2 0 1 2

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.

Last modified: 2013/04/22 16:45:30.