References

  1. Rabea Ameur-Boulifa, Ana Cavalli & Stephane Maag (2020): From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems. In: Marten van Sinderen & Leszek A. Maciaszek: Software Technologies. Springer International Publishing, Cham, pp. 156–178, doi:10.1007/978-3-030-52991-8_8.
  2. Stefan Blom, Jaco van de Pol & Michael Weber (2010): LTSmin: Distributed and Symbolic Reachability. In: 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, pp. 354–359, doi:10.1007/978-3-642-14295-6_31.
  3. Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer & Bernd Becker (2006): Compositional Performability Evaluation for Statemate. In: Proceedings of the 3rd International Conference on the Quantitative Evaluation of Systems (QUEST'06), Riverside, California, USA. IEEE Computer Society Press, pp. 167–178, doi:10.1109/QEST.2006.10.
  4. Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu & Wendelin Serwe (2018): Model-checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits. In: Milos Krstic & Ian W. Jones: Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'18), Vienna, Austria. IEEE, pp. 34–42, doi:10.1109/ASYNC.2018.00021.
  5. Josip Bozic, Lina Marsso, Radu Mateescu & Franz Wotawa (2018): A Formal TLS Handshake Model in LNT. In: 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, pp. 1–40, doi:10.4204/EPTCS.268.1.
  6. 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). Available at http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html. INRIA, Grenoble, France.
  7. Ghassan Chehaibar, Meriem Zidouni & Radu Mateescu (2009): Modeling Multiprocessor Cache Protocol Impact on MPI Performance. In: Proceedings of the 2009 IEEE International Workshop on Quantitative Evaluation of Large-Scale Systems and Technologies QuEST'09 (Bradford, UK). IEEE Computer Society Press, pp. 1073–1078, doi:10.1109/WAINA.2009.117.
  8. Valentin Chimisliu & Franz Wotawa (2013): Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies. In: 2013 13th International Conference on Quality Software, pp. 125–134, doi:10.1109/QSIC.2013.48.
  9. Nicolas Coste, Holger Hermanns, Etienne Lantreibecq & Wendelin Serwe (2009): Towards Performance Prediction of Compositional Models in Industrial GALS Designs. In: 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, pp. 204–218, doi:10.1007/978-3-642-02658-4_18.
  10. Pepijn Crouzen & Frédéric Lang (2011): Smart Reduction. In: Dimitra Giannakopoulou & Fernando Orejas: Proceedings of Fundamental Approaches to Software Engineering (FASE'11), Saarbrücken, Germany, Lecture Notes in Computer Science 6603. Springer, pp. 111–126, doi:10.1007/978-3-642-19811-3_9.
  11. 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), pp. 7–16, doi:10.1145/1481506.1481510.
  12. 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. In: 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, pp. 221–228, doi:10.1007/978-0-387-35516-0_14.
  13. Alessio Ferrari, Franco Mazzanti, Davide Basile & Maurice H. ter Beek (2021): Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. Available at https://arxiv.org/abs/2101.11303. Submitted to IEEE Transactions on Software Engineering.
  14. Sahar Foroutan, Yvain Thonnart, Richard Hersemeule & Ahmed Jerraya (2010): A Markov chain based method for NoC end-to-end latency evaluation. In: IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum (IPDPSW), (Atlanta, Georgia, USA). IEEE, pp. 1–8, doi:10.1109/IPDPSW.2010.5470788.
  15. Hubert Garavel (1998): OPEN/CÆSAR: An Open Software Architecture for Verification, Simulation, and Testing. In: 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, pp. 68–84, doi:10.1007/BFb0054165. Full version available as INRIA Research Report RR-3352.
  16. Hubert Garavel, Maurice H. ter Beek & Jaco van de Pol (2020): The 2020 Expert Survey on Formal Methods. In: 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, pp. 3–69, doi:10.1007/978-3-030-58298-2_1.
  17. 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. Available at https://www.bsi.bund.de/SharedDocs/Downloads/DE/BSI/Publikationen/Studien/formal_methods_study_875/formal_methods_study_875.html.
  18. Hubert Garavel & Holger Hermanns (2002): On Combining Functional Verification and Performance Evaluation using CADP. In: 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, pp. 410–429, doi:10.1007/3-540-45614-7_23. Full version available as INRIA Research Report 4492.
  19. Hubert Garavel & Frédéric Lang (2001): SVL: a Scripting Language for Compositional Verification. In: 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, pp. 377–392, doi:10.1007/0-306-47003-9_24. Full version available as INRIA Research Report RR-4223.
  20. Hubert Garavel, Frédéric Lang & Radu Mateescu (2015): Compositional Verification of Asynchronous Concurrent Systems Using CADP. Acta Informatica 52(4), pp. 337–392, doi:10.1007/s00236-015-0226-1.
  21. 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), pp. 89–107, doi:10.1007/s10009-012-0244-z.
  22. Hubert Garavel, Frédéric Lang & Wendelin Serwe (2017): From LOTOS to LNT. In: 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, pp. 3–26, doi:10.1007/978-3-319-68270-9_1.
  23. 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. In: 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, pp. 445–449, doi:10.1007/11691372_30.
  24. Hubert Garavel, Radu Mateescu & Wendelin Serwe (2013): Large-scale Distributed Verification using CADP: Beyond Clusters to Grids. Electronic Notes in Theoretical Computer Science 296, pp. 145–161, doi:10.1016/j.entcs.2013.07.010.
  25. 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), pp. 100–127, doi:10.1016/j.scico.2008.09.011.
  26. Hubert Garavel & Wendelin Serwe (2017): The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark. In: 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, pp. 230–270, doi:10.4204/EPTCS.244.10.
  27. Hubert Garavel & Damien Thivolle (2009): Verification of GALS Systems by Combining Synchronous Languages and Process Calculi. In: 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, pp. 241–260, doi:10.1007/978-3-642-02652-2_20.
  28. 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), pp. 314–331, doi:10.1007/s100090100044. Also available as INRIA Research Report RR-4041.
  29. Alexander Graf-Brill, Holger Hermanns & Hubert Garavel (2014): A Model-based Certification Framework for the EnergyBus Standard. In: 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, pp. 84–99, doi:10.1007/978-3-662-43613-4_6.
  30. Dennis Guck, Jip Spel & Marielle Stoelinga (2015): DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis. In: 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, pp. 304–311, doi:10.1007/978-3-319-25423-4_19.
  31. 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. Available at https://www.iso.org/standard/16258.html.
  32. Christophe Joubert & Radu Mateescu (2004): Distributed On-the-Fly Equivalence Checking. In: 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, pp. 47–62, doi:10.1016/j.entcs.2004.10.018.
  33. Hakim Kahlouche, César Viho & Massimo Zendri (1999): Hardware-Testing using a Communication Protocol Conformance Testing Tool. In: 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, pp. 315–329, doi:10.1007/3-540-49059-0_22.
  34. Jean-Pierre Krimm & Laurent Mounier (1997): Compositional State Space Generation from LOTOS Programs. In: 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, pp. 239–258, doi:10.1007/BFb0035392. Extended version with proofs available as Research Report VERIMAG RR97-01.
  35. Abderahman Kriouile & Wendelin Serwe (2015): Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip. In: 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, pp. 708–722, doi:10.1007/978-3-662-46681-0_62.
  36. Frédéric Lang (2005): EXP.OPEN 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods. In: 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, pp. 70–88, doi:10.1007/11589976_6. Full version available as INRIA Research Report RR-5673.
  37. Frédéric Lang (2006): Refined Interfaces for Compositional Verification. In: 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, pp. 159–174, doi:10.1007/11888116_13. Full version available as INRIA Research Report RR-5996.
  38. 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), pp. 1–32, doi:10.1007/978-3-642-28756-5_11.
  39. Frédéric Lang, Radu Mateescu & Franco Mazzanti (2019): Compositional Verification of Concurrent Systems by Combining Bisimulations. In: 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, pp. 196–213, doi:10.1007/s10703-021-00360-w.
  40. Frédéric Lang, Radu Mateescu & Franco Mazzanti (2020): Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. In: 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, pp. 57–76, doi:10.1007/978-3-030-45237-7_4.
  41. Etienne Lantreibecq & Wendelin Serwe (2014): Formal Analysis of a Hardware Dynamic Task Dispatcher with CADP. Science of Computer Programming 80(Part A), pp. 130–149, doi:10.1016/j.scico.2013.01.003.
  42. Lina Marsso, Radu Mateescu & Wendelin Serwe (2018): TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. In: 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, pp. 211–228, doi:10.1007/978-3-319-89963-3_13.
  43. 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), pp. 278–298, doi:10.5755/j01.itc.48.2.21724.
  44. Radu Mateescu & Gwen Salaün (2013): PIC2LNT: Model Transformation for Model Checking and Applied Pi-Calculus. In: 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, pp. 192–198, doi:10.1007/978-3-642-36742-7_14.
  45. 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), pp. 843–861, doi:10.1016/j.scico.2012.01.003.
  46. Radu Mateescu & Damien Thivolle (2008): A Model Checking Language for Concurrent Value-Passing Systems. In: 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, pp. 148–164, doi:10.1007/978-3-540-68237-0_12.
  47. Franco Mazzanti & Alessio Ferrari (2018): Ten Diverse Formal Models for a CBTC Automatic Train Supervision System. In: 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, pp. 104–149, doi:10.4204/EPTCS.268.4.
  48. 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), pp. 219–247, doi:10.1007/s10009-019-00513-7.
  49. Gwen Salaün, Jeff Kramer, Frédéric Lang & Jeff Magee (2007): Translating FSP into LOTOS and Networks of Automata. In: 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, pp. 558–578, doi:10.1007/s00165-009-0133-8.
  50. Pierre de Saqui-Sannes & Ludovic Apvrille (2009): Making Formal Verification Amenable to Real-Time UML Practitioners. In: Hélène Waeselynck: Proceedings of the 12th European Workshop on Dependable Computing (EWDC'09), Toulouse, France. IEEE Computer Society Press, pp. 1–2. Available at https://oatao.univ-toulouse.fr/2107/.
  51. Giuseppe Scollo & Silvia Zecchini (2005): Architectural Unit Testing. In: Proceedings of the International Workshop on Model Based Testing (MBT'04), Barcelona, Spain, Electronic Notes in Theoretical Computer Science 111, pp. 27–52, doi:10.1016/j.entcs.2004.12.006.
  52. Wendelin Serwe (2015): Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard. In: 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, pp. 61–147, doi:10.4204/EPTCS.196.6.
  53. 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), pp. 513–539, doi:10.1007/s00165-008-0094-3.
  54. Kenneth J. Turner (2005): Test generation for radiotherapy accelerators. Int. J. Softw. Tools Technol. Transf. 7(4), pp. 361–375, doi:10.1007/s10009-004-0148-7.
  55. Hao Wu, Xiaoxiao Yang & Joost-Pieter Katoen (2016): Performance Evaluation of Concurrent Data Structures. In: 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, pp. 38–49, doi:10.1007/978-3-319-47677-3_3.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org