


default search action
Maurice H. ter Beek
Person information
- affiliation: National Research Council, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j48]Giovanna Broccia
, Maurice H. ter Beek
, Alberto Lluch-Lafuente
, Paola Spoletini
, Alessandro Fantechi
, Alessio Ferrari
:
Evaluating the understandability and user acceptance of Attack-Defense Trees: Original experiment and replication. Inf. Softw. Technol. 178: 107624 (2025) - [j47]Juliane Päßler
, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
A Configurable Software Model of a Self-Adaptive Robotic System. Sci. Comput. Program. 240: 103221 (2025) - [c127]Maurice H. ter Beek
, Alessandro Fantechi
, Stefania Gnesi
:
Formal Methods for Industrial Critical Systems - 30 Years of Railway Applications. The Combined Power of Research, Education, and Dissemination 2025: 327-344 - 2024
- [j46]Maurice H. ter Beek, Manfred Broy, Brijesh Dongol:
The Role of Formal Methods in Computer Science Education. Inroads 15(4): 58-66 (2024) - [j45]Davide Basile
, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Coherent modal transition systems refinement. J. Log. Algebraic Methods Program. 138: 100954 (2024) - [j44]Davide Basile
, Maurice H. ter Beek:
Advancing orchestration synthesis for contract automata. J. Log. Algebraic Methods Program. 141: 100998 (2024) - [j43]Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani:
Product lines of dataflows. J. Syst. Softw. 210: 111928 (2024) - [c126]Maurice H. ter Beek
, Rolf Hennicker, José Proença
:
Team Automata: Overview and Roadmap. COORDINATION 2024: 161-198 - [c125]Maurice H. ter Beek
, Loek Cleophas
, Clemens Dubslaff
, Ina Schaefer
:
X-by-Construction Meets AI. ISoLA (4) 2024: 155-161 - [c124]Maurice H. ter Beek
, Alessandro Fantechi
, Stefania Gnesi
, Gabriele Lenzini
, Marinella Petrocchi
:
Can AI Help with the Formalization of Railway Cybersecurity Requirements? ISoLA (1) 2024: 186-203 - [c123]Davide Basile
, Maurice H. ter Beek
, Laura Carnevali
, Silvano Chiaradonna
, Felicita Di Giandomenico
, Alessandro Fantechi
, Gloria Gori
:
An Integrated Perspective on the Evaluation of Complex Railway Systems. ISoLA (5) 2024: 190-207 - [c122]Giovanna Broccia
, Maurice H. ter Beek
, Alberto Lluch-Lafuente
, Paola Spoletini
, Alessio Ferrari
:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. REFSQ 2024: 39-56 - [c121]Michael Lienhardt
, Maurice H. ter Beek
, Ferruccio Damiani
:
Product lines of dataflows. SPLC (A) 2024: 218 - [c120]Maurice H. ter Beek
:
Formal Methods and Tools Applied in the Railway Domain. ABZ 2024: 3-21 - [e23]Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [e22]Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [i21]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. CoRR abs/2404.06386 (2024) - [i20]Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi:
Advanced Integrated Evaluation of Railway Systems . ERCIM News 2024(137) (2024) - [i19]Davide Basile, Maurice H. ter Beek, Alessio Ferrari:
Sustainable Mobility: Increase of Capacity and Digitisation of Railway Transport. ERCIM News 2024(138) (2024) - 2023
- [j42]Alessio Ferrari
, Maurice H. ter Beek
:
Formal Methods in Railways: A Systematic Mapping Study. ACM Comput. Surv. 55(4): 69:1-69:37 (2023) - [j41]Rosemary Monahan
, Maurice H. ter Beek
:
Introduction to the Special Collection from iFM 2022. Formal Aspects Comput. 35(3): 17 (2023) - [j40]Maurice H. ter Beek, Ina Schaefer
:
Systems and software product lines of the future. J. Syst. Softw. 199: 111622 (2023) - [j39]Davide Basile
, Maurice H. ter Beek
, Laura Bussi
, Vincenzo Ciancia
:
A toolchain for strategy synthesis with spatial properties. Int. J. Softw. Tools Technol. Transf. 25(5): 641-658 (2023) - [c119]Maurice H. ter Beek
, Guillermina Cledou
, Rolf Hennicker, José Proença
:
Can We Communicate? Using Dynamic Logic to Verify Team Automata. FM 2023: 122-141 - [c118]Davide Basile
, Maurice H. ter Beek
:
A Runtime Environment for Contract Automata. FM 2023: 550-567 - [c117]Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau:
Mutant Equivalence as Monotonicity in Parametric Timed Games. FormaliSE 2023: 55-65 - [c116]Maurice H. ter Beek
, Rolf Hennicker, José Proença
:
Realisability of Global Models of Interaction. ICTAC 2023: 236-255 - [c115]Juliane Päßler
, Maurice H. ter Beek
, Ferruccio Damiani
, Silvia Lizeth Tapia Tarifa
, Einar Broch Johnsen
:
Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM 2023: 343-363 - [c114]Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Walter Cazzola, Luca Favalli
, Francesco Bertolotti
:
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance. ICPC 2023: 54-58 - [c113]Davide Basile, Maurice H. ter Beek:
Research Challenges in Orchestration Synthesis. ICE 2023: 73-90 - [e21]Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - [e20]Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Ivan Machado, Silvia Regina Vergilio, Rick Rabiser, Tao Yue, Xavier Devroey, Mónica Pinto, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - [e19]Maurice H. ter Beek, Clemens Dubslaff:
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023. EPTCS 392, 2023 [contents] - [d16]Davide Basile
, Maurice H. ter Beek
, Laura Bussi
, Vincenzo Ciancia
:
A Toolchain for Strategy Synthesis with Spatial Properties - Complementary Material. Zenodo, 2023 - [d15]Giovanna Broccia
, Maurice H. ter Beek
, Alberto Lluch-Lafuente
, Paola Spoletini
, Alessio Ferrari
:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. Version 1. Zenodo, 2023 [all versions] - [d14]Giovanna Broccia
, Maurice H. ter Beek
, Alberto Lluch-Lafuente
, Paola Spoletini
, Alessio Ferrari
:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. Version 2. Zenodo, 2023 [all versions] - [d13]Giovanna Broccia
, Maurice H. ter Beek
, Alberto Lluch-Lafuente
, Paola Spoletini
, Alessio Ferrari
:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material. Version 3. Zenodo, 2023 [all versions] - [d12]Giovanna Broccia, Alessio Ferrari
, Maurice H. ter Beek
, Walter Cazzola
, Luca Favalli
, Francesco Bertolotti:
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance - Supplementary Material. Zenodo, 2023 - [d11]Giovanna Broccia
, Alessio Ferrari
, Maurice H. ter Beek
, Alberto Lluch-Lafuente
, Paola Spoletini
:
Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. Version 1.0. Zenodo, 2023 [all versions] - [d10]Giovanna Broccia
, Alessio Ferrari
, Maurice H. ter Beek
, Alberto Lluch-Lafuente
, Paola Spoletini
:
Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material. Version 3. Zenodo, 2023 [all versions] - [d9]Juliane Päßler
, Maurice H. ter Beek
, Ferruccio Damiani
, Silvia Lizeth Tapia Tarifa
, Einar Broch Johnsen
:
Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). Version 1.0.0. Zenodo, 2023 [all versions] - [d8]Juliane Päßler
, Maurice H. ter Beek
, Ferruccio Damiani
, Silvia Lizeth Tapia Tarifa
, Einar Broch Johnsen
:
Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). Version 1.1.0. Zenodo, 2023 [all versions] - [d7]Juliane Päßler
, Maurice H. ter Beek
, Ferruccio Damiani
, Silvia Lizeth Tapia Tarifa
, Einar Broch Johnsen
:
Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). Version 1.1.1. Zenodo, 2023 [all versions] - [i18]Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Formal Modelling and Analysis of a Self-Adaptive Robotic System. CoRR abs/2308.14663 (2023) - 2022
- [j38]Maurice H. ter Beek
, Ferruccio Damiani
, Michael Lienhardt, Franco Mazzanti
, Luca Paolini
:
Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. 27(1): 10 (2022) - [j37]Davide Basile
, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay:
Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. 27(7): 160 (2022) - [j36]Davide Basile
, Maurice H. ter Beek:
Contract Automata Library. Sci. Comput. Program. 221: 102841 (2022) - [j35]Maurice H. ter Beek
, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
, Giordano Scarso:
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. Sci. Comput. Program. 224: 102879 (2022) - [j34]Maurice H. ter Beek, Kim G. Larsen
, Dejan Nickovic
, Tim A. C. Willemse:
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24(3): 325-330 (2022) - [j33]Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay:
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Int. J. Softw. Tools Technol. Transf. 24(3): 351-370 (2022) - [j32]Alessio Ferrari
, Franco Mazzanti
, Davide Basile
, Maurice H. ter Beek
:
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. IEEE Trans. Software Eng. 48(11): 4675-4691 (2022) - [c112]Maurice H. ter Beek
, Loek Cleophas
, Martin Leucker
, Ina Schaefer
:
X-by-Construction Meets Runtime Verification. ISoLA (1) 2022: 141-148 - [c111]Davide Basile
, Maurice H. ter Beek
, Vincenzo Ciancia
:
An Experimental Toolchain for Strategy Synthesis with Spatial Properties. ISoLA (3) 2022: 142-164 - [c110]Monika Seisenberger
, Maurice H. ter Beek
, Xiuyi Fan
, Alessio Ferrari
, Anne E. Haxthausen
, Phillip James
, Andrew Lawrence, Bas Luttik
, Jaco van de Pol
, Simon Wimmer
:
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) 2022: 246-268 - [e18]Maurice H. ter Beek
, Marjan Sirjani
:
Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. Lecture Notes in Computer Science 13271, Springer 2022, ISBN 978-3-031-08145-3 [contents] - [e17]Maurice H. ter Beek
, Rosemary Monahan
:
Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Lecture Notes in Computer Science 13274, Springer 2022, ISBN 978-3-031-07726-5 [contents] - [d6]Maurice H. ter Beek
, Guillermina Cledou
, Rolf Hennicker, José Proença
:
Can we Communicate? Using Dynamic Logic to Verify Team Automata. Zenodo, 2022 - [i17]Davide Basile, Maurice H. ter Beek:
A Runtime Environment for Contract Automata. CoRR abs/2203.14122 (2022) - [i16]Maurice H. ter Beek, Alessio Ferrari:
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. CoRR abs/2208.05266 (2022) - [i15]Davide Basile, Maurice H. ter Beek, Giovanna Broccia, Alessio Ferrari:
Empirical Software Engineering and Formal Methods for IoT Systems. ERCIM News 2022(131) (2022) - 2021
- [j31]Maurice H. ter Beek
, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109: 102381 (2021) - [j30]Annabelle McIver
, Maurice H. ter Beek:
Editorial. Formal Aspects Comput. 33(4-5): 459-460 (2021) - [j29]Maurice H. ter Beek
, Annabelle McIver
:
Formal methods: practical applications and foundations. Formal Methods Syst. Des. 58(1-2): 1-4 (2021) - [c109]Davide Basile
, Maurice H. ter Beek
:
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. COORDINATION 2021: 225-238 - [c108]Maurice H. ter Beek
, Guillermina Cledou
, Rolf Hennicker, José Proença
:
Featured Team Automata. FM 2021: 483-502 - [c107]Maurice H. ter Beek
, Vincenzo Ciancia
, Diego Latella
, Mieke Massink
, Giorgio Oronzo Spagnolo
:
Spatial Model Checking for Smart Stations - Research Challenges. FMICS 2021: 39-47 - [c106]Davide Basile
, Maurice H. ter Beek
, Pierpaolo Degano
, Axel Legay
, Gian-Luigi Ferrari
, Stefania Gnesi
, Felicita Di Giandomenico
:
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE 2021: 177-181 - [c105]Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini
, Giordano Scarso, Michele Valfrè, Michael Lienhardt:
Static analysis and family-based model checking of featured transition systems with VMC. SPLC (B) 2021: 24-27 - [c104]Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini
, Giordano Scarso, Michael Lienhardt:
Static analysis and family-based model checking with VMC. SPLC (A) 2021: 214 - [d5]Alessio Ferrari
, Maurice H. ter Beek
:
Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction. Zenodo, 2021 - [d4]Franco Mazzanti
, Alessio Ferrari
, Davide Basile
, Maurice H. ter Beek
:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. Version 1.0. Zenodo, 2021 [all versions] - [d3]Franco Mazzanti
, Alessio Ferrari
, Davide Basile
, Maurice H. ter Beek
:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. Version 2.0. Zenodo, 2021 [all versions] - [d2]Franco Mazzanti
, Alessio Ferrari
, Davide Basile
, Maurice H. ter Beek
:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes. Version 3.0. Zenodo, 2021 [all versions] - [i14]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR abs/2101.08677 (2021) - [i13]Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. CoRR abs/2101.11303 (2021) - [i12]Alessio Ferrari, Maurice H. ter Beek:
Formal Methods in Railways: a Systematic Mapping Study. CoRR abs/2107.05413 (2021) - [i11]Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença:
Featured Team Automata. CoRR abs/2108.01784 (2021) - 2020
- [j28]Maurice H. ter Beek, Maciej Koutny, Grzegorz Rozenberg:
Preface. Fundam. Informaticae 175(1-4) (2020) - [j27]Davide Basile
, Maurice H. ter Beek
, Axel Legay:
Timed service contract automata. Innov. Syst. Softw. Eng. 16(2): 199-214 (2020) - [j26]Davide Basile, Maurice H. ter Beek, Rosario Pugliese:
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. Log. Methods Comput. Sci. 16(2) (2020) - [j25]Davide Basile
, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari
, Stefania Gnesi, Felicita Di Giandomenico:
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187: 102344 (2020) - [j24]Maurice H. ter Beek
, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. 46(3): 321-345 (2020) - [c103]Maurice H. ter Beek
, Rolf Hennicker, Jetty Kleijn
:
Team Automata@Work: On Safe Communication. COORDINATION 2020: 77-85 - [c102]Maurice H. ter Beek
, Sjef van Loo, Erik P. de Vink
, Tim A. C. Willemse
:
Family-Based SPL Model Checking Using Parity Games with Variability. FASE 2020: 245-265 - [c101]Hubert Garavel, Maurice H. ter Beek
, Jaco van de Pol
:
The 2020 Expert Survey on Formal Methods. FMICS 2020: 3-69 - [c100]Davide Basile
, Maurice H. ter Beek
, Axel Legay
:
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. FORTE 2020: 3-21 - [c99]Alessio Ferrari
, Franco Mazzanti, Davide Basile
, Maurice H. ter Beek, Alessandro Fantechi:
Comparing formal tools for system design: a judgment study. ICSE 2020: 62-74 - [c98]Maurice H. ter Beek
, Rolf Hennicker, Jetty Kleijn
:
Compositionality of Safe Communication in Systems of Team Automata. ICTAC 2020: 200-220 - [c97]Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson:
X-by-Construction - Correctness Meets Probability. ISoLA (1) 2020: 211-215 - [c96]Davide Basile
, Maurice H. ter Beek
, Felicita Di Giandomenico
, Alessandro Fantechi
, Stefania Gnesi
, Giorgio Oronzo Spagnolo
:
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) 2020: 368-384 - [c95]Davide Basile
, Maurice H. ter Beek
, Alessandro Fantechi
, Alessio Ferrari
, Stefania Gnesi
, Laura Masullo, Franco Mazzanti
, Andrea Piattino, Daniele Trentini:
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) 2020: 467-485 - [c94]Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay:
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. SPLC (A) 2020: 30:1-30:11 - [c93]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS 2020: 11:1-11:9 - [e16]Maurice H. ter Beek
, Dejan Nickovic
:
Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. Lecture Notes in Computer Science 12327, Springer 2020, ISBN 978-3-030-58297-5 [contents]
2010 – 2019
- 2019
- [j23]Maurice H. ter Beek
, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
:
On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169: 1-17 (2019) - [j22]Maurice H. ter Beek, Axel Legay:
Quantitative variability modelling and analysis. Int. J. Softw. Tools Technol. Transf. 21(6): 607-612 (2019) - [c92]Maurice H. ter Beek
, Alessandro Fantechi
, Laura Semini
:
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back. From Software Engineering to Formal Methods and Tools, and Back 2019: 1-11 - [c91]Stefania Gnesi
, Maurice H. ter Beek
:
From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 219-235 - [c90]Davide Basile
, Maurice H. ter Beek
, Rosario Pugliese
:
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. COORDINATION 2019: 129-147 - [c89]Maurice H. ter Beek
, Arne Borälv, Alessandro Fantechi
, Alessio Ferrari
, Stefania Gnesi
, Christer Löfving, Franco Mazzanti
:
Adopting Formal Methods in an Industrial Setting: The Railways Case. FM 2019: 762-772 - [c88]Davide Basile
, Maurice H. ter Beek
, Alessio Ferrari
, Axel Legay:
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. FMICS 2019: 1-21 - [c87]Maurice H. ter Beek
, Ferruccio Damiani
, Stefania Gnesi
, Franco Mazzanti
, Luca Paolini
:
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM 2019: 542-546 - [c86]Maurice H. ter Beek
, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. IFM 2019: 547-551 - [c85]Alessio Ferrari
, Maurice H. ter Beek
, Franco Mazzanti
, Davide Basile
, Alessandro Fantechi
, Stefania Gnesi
, Andrea Piattino, Daniele Trentini:
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail 2019: 226-241 - [c84]Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
:
Static analysis of featured transition systems. SPLC (A) 2019: 9:1-9:13 - [c83]Maurice H. ter Beek, Klaus Schmid
, Holger Eichelberger:
Textual variability modeling languages: an overview and considerations. SPLC (B) 2019: 82:1-82:7 - [c82]Maurice H. ter Beek, Axel Legay:
Quantitative Variability Modeling and Analysis. VaMoS 2019: 13:1-13:2 - [e15]Maurice H. ter Beek, Alessandro Fantechi, Laura Semini:
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, Springer 2019, ISBN 978-3-030-30984-8 [contents] - [e14]