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