Rabea Ameur-Boulifa
Ana Cavalli
Stephane Maag
2020
From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems
Marten van Sinderen
Leszek A. Maciaszek
Software Technologies
Springer International Publishing
Cham
156–178
10.1007/978-3-030-52991-8_8
Stefan Blom
Jaco van de Pol
Michael Weber
2010
LTSmin: Distributed and Symbolic Reachability
Tayssir Touili
Byron Cook
Paul Jackson
Proceedings of the 22nd International conference on Computer Aided Verification CAV 2010 (Edinburgh, UK)
Lecture Notes in Computer Science
6174
Springer
354–359
10.1007/978-3-642-14295-6_31
Eckard Böde
Marc Herbstritt
Holger Hermanns
Sven Johr
Thomas Peikenkamp
Reza Pulungan
Ralf Wimmer
Bernd Becker
2006
Compositional Performability Evaluation for Statemate
Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems (QUEST'06), Riverside, California, USA
IEEE Computer Society Press
167–178
10.1109/QEST.2006.10
Aymane Bouzafour
Marc Renaudin
Hubert Garavel
Radu Mateescu
Wendelin Serwe
2018
Model-checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits
Milos Krstic
Ian W. Jones
Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'18), Vienna, Austria
IEEE
34–42
10.1109/ASYNC.2018.00021
Josip Bozic
Lina Marsso
Radu Mateescu
Franz Wotawa
2018
A Formal TLS Handshake Model in LNT
Rob van Glabbeek
Wendelin Serwe
Proceedings of the 3nd Workshop on Models for Formal Analysis of Real Systems (MARS'18), Thessaloniki, Greece
Electronic Proceedings in Theoretical Computer Science
268
1–40
10.4204/EPTCS.268.1
David Champelovier
Xavier Clerc
Hubert Garavel
Yves Guerte
Christine McKinty
Vincent Powazny
Frédéric Lang
Wendelin Serwe
Gideon Smeding
2021
Reference Manual of the LNT to LOTOS Translator (Version 7.0)
http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html
INRIA, Grenoble, France
Ghassan Chehaibar
Meriem Zidouni
Radu Mateescu
2009
Modeling Multiprocessor Cache Protocol Impact on MPI Performance
Proceedings of the 2009 IEEE International Workshop on Quantitative Evaluation of Large-Scale Systems and Technologies QuEST'09 (Bradford, UK)
IEEE Computer Society Press
1073–1078
10.1109/WAINA.2009.117
Valentin Chimisliu
Franz Wotawa
2013
Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies
2013 13th International Conference on Quality Software
125–134
10.1109/QSIC.2013.48
Nicolas Coste
Holger Hermanns
Etienne Lantreibecq
Wendelin Serwe
2009
Towards Performance Prediction of Compositional Models in Industrial GALS Designs
Ahmed Bouajjani
Oded Maler
Proceedings of the 21th International Conference on Computer Aided Verification (CAV'09), Grenoble, France
Lecture Notes in Computer Science
5643
Springer
204–218
10.1007/978-3-642-02658-4_18
Pepijn Crouzen
Frédéric Lang
2011
Smart Reduction
Dimitra Giannakopoulou
Fernando Orejas
Proceedings of Fundamental Approaches to Software Engineering (FASE'11), Saarbrücken, Germany
Lecture Notes in Computer Science
6603
Springer
111–126
10.1007/978-3-642-19811-3_9
Pepijn Crouzen
Jaco van de Pol
Arend Rensink
2008
Applying Formal Methods to Gossiping Networks with mCRL and Groove
SIGMETRICS Performance Evaluation Review
36
3
7–16
10.1145/1481506.1481510
Lydie du Bousquet
Solofo Ramangalahy
Séverine Simon
César Viho
Axel Belinfante
René G. de Vries
2000
Formal Test Automation: the Conference Protocol with TGV/TorX
Hasan Ural
Robert L. Probert
Gregor v. Bochmann
Proceedings of the 13th IFIP International Conference on Testing of Communicating Systems (TestCom'00), Ottawa, Canada
University of Ottawa
Kluwer Academic Publishers
221–228
10.1007/978-0-387-35516-0_14
Alessio Ferrari
Franco Mazzanti
Davide Basile
Maurice H. ter Beek
2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design
https://arxiv.org/abs/2101.11303
Submitted to IEEE Transactions on Software Engineering
Sahar Foroutan
Yvain Thonnart
Richard Hersemeule
Ahmed Jerraya
2010
A Markov chain based method for NoC end-to-end latency evaluation
IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum (IPDPSW), (Atlanta, Georgia, USA)
IEEE
1–8
10.1109/IPDPSW.2010.5470788
Hubert Garavel
1998
OPEN/CÆSAR: An Open Software Architecture for Verification, Simulation, and Testing
Bernhard Steffen
Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), Lisbon, Portugal
Lecture Notes in Computer Science
1384
Springer
68–84
10.1007/BFb0054165
Full version available as INRIA Research Report RR-3352
Hubert Garavel
Maurice H. ter Beek
Jaco van de Pol
2020
The 2020 Expert Survey on Formal Methods
Maurice H. ter Beek
Dejan Nickovic
Proceedings of the 25th International Conference Formal Methods for Industrial Critical Systems (FMICS'20), Vienna, Austria
Lecture Notes in Computer Science
12327
Springer
3–69
10.1007/978-3-030-58298-2_1
Hubert Garavel
Susanne Graf
2013
Formal Methods for Safe and Secure Computers Systems
BSI Study
875
Bundesamt für Sicherheit in der Informationstechnik
Bonn, Germany
https://www.bsi.bund.de/SharedDocs/Downloads/DE/BSI/Publikationen/Studien/formal_methods_study_875/formal_methods_study_875.html
Hubert Garavel
Holger Hermanns
2002
On Combining Functional Verification and Performance Evaluation using CADP
Lars-Henrik Eriksson
Peter A. Lindsay
Proceedings of the 11th International Symposium of Formal Methods Europe (FME'02), Copenhagen, Denmark
Lecture Notes in Computer Science
2391
Springer
410–429
10.1007/3-540-45614-7_23
Full version available as INRIA Research Report 4492
Hubert Garavel
Frédéric Lang
2001
SVL: a Scripting Language for Compositional Verification
Myungchul Kim
Byoungmoon Chin
Sungwon Kang
Danhyung Lee
Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01), Cheju Island, Korea
Kluwer Academic Publishers
377–392
10.1007/0-306-47003-9_24
Full version available as INRIA Research Report RR-4223
Hubert Garavel
Frédéric Lang
Radu Mateescu
2015
Compositional Verification of Asynchronous Concurrent Systems Using CADP
Acta Informatica
52
4
337–392
10.1007/s00236-015-0226-1
Hubert Garavel
Frédéric Lang
Radu Mateescu
Wendelin Serwe
2013
CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes
Springer International Journal on Software Tools for Technology Transfer (STTT)
15
2
89–107
10.1007/s10009-012-0244-z
Hubert Garavel
Frédéric Lang
Wendelin Serwe
2017
From LOTOS to LNT
Joost-Pieter Katoen
Rom Langerak
Arend Rensink
ModelEd, TestEd, TrustEd – Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Lecture Notes in Computer Science
10500
Springer
3–26
10.1007/978-3-319-68270-9_1
Hubert Garavel
Radu Mateescu
Damien Bergamini
Adrian Curic
Nicolas Descoubes
Christophe Joubert
Irina Smarandache-Sturm
Gilles Stragier
2006
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation
Holger Hermanns
Jens Palberg
Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'06), Vienna, Austria
Lecture Notes in Computer Science
3920
Springer
445–449
10.1007/11691372_30
Hubert Garavel
Radu Mateescu
Wendelin Serwe
2013
Large-scale Distributed Verification using CADP: Beyond Clusters to Grids
Electronic Notes in Theoretical Computer Science
296
145–161
10.1016/j.entcs.2013.07.010
Hubert Garavel
Gwen Salaün
Wendelin Serwe
2009
On the Semantics of Communicating Hardware Processes and their Translation into LOTOS for the Verification of Asynchronous Circuits with CADP
Science of Computer Programming
74
3
100–127
10.1016/j.scico.2008.09.011
Hubert Garavel
Wendelin Serwe
2017
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark
Holger Hermanns
Peter Höfner
Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS'17), Uppsala, Sweden
Electronic Proceedings in Theoretical Computer Science
244
230–270
10.4204/EPTCS.244.10
Hubert Garavel
Damien Thivolle
2009
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi
Corina Pasareanu
Proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN'09), Grenoble, France
Lecture Notes in Computer Science
5578
Springer
241–260
10.1007/978-3-642-02652-2_20
Hubert Garavel
César Viho
Massimo Zendri
2001
System Design of a CC-NUMA Multiprocessor Architecture using Formal Specification, Model-Checking, Co-Simulation, and Test Generation
Springer International Journal on Software Tools for Technology Transfer (STTT)
3
3
314–331
10.1007/s100090100044
Also available as INRIA Research Report RR-4041
Alexander Graf-Brill
Holger Hermanns
Hubert Garavel
2014
A Model-based Certification Framework for the EnergyBus Standard
Erika Abraham
Catuscia Palamidessi
Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15), Berlin, Germany
Lecture Notes in Computer Science
8461
Springer
84–99
10.1007/978-3-662-43613-4_6
Dennis Guck
Jip Spel
Marielle Stoelinga
2015
DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis
Michael Butler
Sylvain Conchon
Fatiha Zaïdi
Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM'15), Paris, France
Lecture Notes in Computer Science
9407
Springer
304–311
10.1007/978-3-319-25423-4_19
ISO/IEC
1989
LOTOS – A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour
International Standard
8807
International Organization for Standardization – Information Processing Systems – Open Systems Interconnection
Geneva
https://www.iso.org/standard/16258.html
Christophe Joubert
Radu Mateescu
2004
Distributed On-the-Fly Equivalence Checking
Lubos Brim
Martin Leucker
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification (PDMC'04), London, UK
Electronic Notes in Theoretical Computer Science
128
Elsevier
47–62
10.1016/j.entcs.2004.10.018
Hakim Kahlouche
César Viho
Massimo Zendri
1999
Hardware-Testing using a Communication Protocol Conformance Testing Tool
Rance Cleaveland
Proceedings of the 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), Amsterdam, The Netherlands
Springer
315–329
10.1007/3-540-49059-0_22
Jean-Pierre Krimm
Laurent Mounier
1997
Compositional State Space Generation from LOTOS Programs
Ed Brinksma
Proceedings of the 3rd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), University of Twente, Enschede, The Netherlands
Lecture Notes in Computer Science
1217
Springer
239–258
10.1007/BFb0035392
Extended version with proofs available as Research Report VERIMAG RR97-01
Abderahman Kriouile
Wendelin Serwe
2015
Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip
Christel Baier
Cesare Tinelli
Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), London, United Kingdom
Lecture Notes in Computer Science
9035
Springer
708–722
10.1007/978-3-662-46681-0_62
Frédéric Lang
2005
EXP.OPEN 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods
Judi Romijn
Graeme Smith
Jaco van de Pol
Proceedings of the 5th International Conference on Integrated Formal Methods (IFM'05), Eindhoven, The Netherlands
Lecture Notes in Computer Science
3771
Springer
70–88
10.1007/11589976_6
Full version available as INRIA Research Report RR-5673
Frédéric Lang
2006
Refined Interfaces for Compositional Verification
Elie Najm
Jean-François Pradat-Peyre
Véronique Viguié Donzeau-Gouge
Proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'06), Paris, France
Lecture Notes in Computer Science
4229
Springer
159–174
10.1007/11888116_13
Full version available as INRIA Research Report RR-5996
Frédéric Lang
Radu Mateescu
2013
Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems
Logical Methods in Computer Science
9
4
1–32
10.1007/978-3-642-28756-5_11
Frédéric Lang
Radu Mateescu
Franco Mazzanti
2019
Compositional Verification of Concurrent Systems by Combining Bisimulations
Annabelle McIver
Maurice ter Beek
Proceedings of the 23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods FM 2019 (Porto, Portugal)
Lecture Notes in Computer Science
11800
Springer
196–213
10.1007/s10703-021-00360-w
Frédéric Lang
Radu Mateescu
Franco Mazzanti
2020
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
Armin Biere
David Parker
Proceedings of the 26th International Confrence on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2020 (Dublin, Ireland), held online in 2021
Lecture Notes in Computer Science
12079
Springer
57–76
10.1007/978-3-030-45237-7_4
Etienne Lantreibecq
Wendelin Serwe
2014
Formal Analysis of a Hardware Dynamic Task Dispatcher with CADP
Science of Computer Programming
80
Part A
130–149
10.1016/j.scico.2013.01.003
Lina Marsso
Radu Mateescu
Wendelin Serwe
2018
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
Dirk Beyer
Marieke Huisman
Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), Thessaloniki, Greece
Lecture Notes in Computer Science
10806
Springer
211–228
10.1007/978-3-319-89963-3_13
Fabio Martinelli
Francesco Mercaldo
Vittoria Nardone
Albina Orlando
Antonella Santone
Gigliola Vaglini
2019
Model Checking Based Approach for Compliance Checking
Inf. Technol. Control.
48
2
278–298
10.5755/j01.itc.48.2.21724
Radu Mateescu
Gwen Salaün
2013
PIC2LNT: Model Transformation for Model Checking and Applied Pi-Calculus
Nir Piterman
Scott A. Smolka
Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), Rome, Italy
Lecture Notes in Computer Science
7795
Springer
192–198
10.1007/978-3-642-36742-7_14
Radu Mateescu
Wendelin Serwe
2013
Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols
Science of Computer Programming
78
7
843–861
10.1016/j.scico.2012.01.003
Radu Mateescu
Damien Thivolle
2008
A Model Checking Language for Concurrent Value-Passing Systems
Jorge Cuellar
Tom Maibaum
Kaisa Sere
Proceedings of the 15th International Symposium on Formal Methods (FM'08), Turku, Finland
Lecture Notes in Computer Science
5014
Springer
148–164
10.1007/978-3-540-68237-0_12
Franco Mazzanti
Alessio Ferrari
2018
Ten Diverse Formal Models for a CBTC Automatic Train Supervision System
John P. Gallagher
Rob van Glabbeek
Wendelin Serwe
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), Thessaloniki, Greece
Electronic Proceedings in Theoretical Computer Science
268
104–149
10.4204/EPTCS.268.4
Hana Mkaouar
Bechir Zalila
Jérôme Hugues
Mohamed Jmaiel
2020
A Formal Approach to AADL Model-Based Software Engineering
Springer International Journal on Software Tools for Technology Transfer (STTT)
22
2
219–247
10.1007/s10009-019-00513-7
Gwen Salaün
Jeff Kramer
Frédéric Lang
Jeff Magee
2007
Translating FSP into LOTOS and Networks of Automata
Jim Davies
Wolfram Schulte
Jin Song Dong
Proceedings of the 6th International Conference on Integrated Formal Methods (IFM'07), Oxford, United Kingdom
Lecture Notes in Computer Science
4591
Springer
558–578
10.1007/s00165-009-0133-8
Pierre de Saqui-Sannes
Ludovic Apvrille
2009
Making Formal Verification Amenable to Real-Time UML Practitioners
Hélène Waeselynck
Proceedings of the 12th European Workshop on Dependable Computing (EWDC'09), Toulouse, France
IEEE Computer Society Press
1–2
https://oatao.univ-toulouse.fr/2107/
Giuseppe Scollo
Silvia Zecchini
2005
Architectural Unit Testing
Proceedings of the International Workshop on Model Based Testing (MBT'04), Barcelona, Spain
Electronic Notes in Theoretical Computer Science
111
27–52
10.1016/j.entcs.2004.12.006
Wendelin Serwe
2015
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
Rob van Glabbeek
Jan Friso Groote
Peter Höfner
Proceedings of the International Workshop on Models for Formal Analysis of Real Systems (MARS'15), Suva, Fiji
Electronic Proceedings in Theoretical Computer Science
196
61–147
10.4204/EPTCS.196.6
Li Su
Howard Bowman
Philip Barnard
Brad Wyble
2009
Process Algebraic Modelling of Attentional Capture and Human Electrophysiology in Interactive Systems
Formal Aspects of Computing
21
6
513–539
10.1007/s00165-008-0094-3
Kenneth J. Turner
2005
Test generation for radiotherapy accelerators
Int. J. Softw. Tools Technol. Transf.
7
4
361–375
10.1007/s10009-004-0148-7
Hao Wu
Xiaoxiao Yang
Joost-Pieter Katoen
2016
Performance Evaluation of Concurrent Data Structures
Martin Fränzle
Deepak Kapur
Naijun Zhan
Proceedings of the Symposium on Dependable Software Engineering (SETTA'16), Beijing, China
Lecture Notes in Computer Science
9984
Springer
38–49
10.1007/978-3-319-47677-3_3