Maurice H. ter Beek
Orcid: 0000-0002-2930-6367Affiliations:
- National Research Council, Italy
According to our database1,
Maurice H. ter Beek
authored at least 193 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
J. Log. Algebraic Methods Program., 2024
J. Log. Algebraic Methods Program., 2024
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
Proceedings of the Coordination Models and Languages, 2024
2023
Int. J. Softw. Tools Technol. Transf., December, 2023
Formal Aspects Comput., September, 2023
Dataset, August, 2023
Dataset, August, 2023
Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material.
Dataset, June, 2023
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance - Supplementary Material.
Dataset, February, 2023
Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance.
Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023
Proceedings of the iFM 2023 - 18th International Conference, 2023
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
Dataset, November, 2022
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design.
IEEE Trans. Software Eng., 2022
Int. J. Softw. Tools Technol. Transf., 2022
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods.
Int. J. Softw. Tools Technol. Transf., 2022
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.
Sci. Comput. Program., 2022
Empir. Softw. Eng., 2022
Empir. Softw. Eng., 2022
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods.
CoRR, 2022
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.
Dataset, November, 2021
Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction.
Dataset, July, 2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.
Dataset, April, 2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.
Dataset, April, 2021
Formal Methods Syst. Des., 2021
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design.
CoRR, 2021
Static analysis and family-based model checking of featured transition systems with VMC.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021
Proceedings of the Formal Methods for Industrial Critical Systems, 2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts.
Proceedings of the Coordination Models and Languages, 2021
2020
A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems.
IEEE Trans. Software Eng., 2020
Sci. Comput. Program., 2020
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services.
Log. Methods Comput. Sci., 2020
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios.
Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020
Proceedings of the Formal Methods for Industrial Critical Systems, 2020
Proceedings of the Fundamental Approaches to Software Engineering, 2020
Proceedings of the Coordination Models and Languages, 2020
2019
Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios".
Dataset, June, 2019
Int. J. Softw. Tools Technol. Transf., 2019
Sci. Comput. Program., 2019
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC.
Proceedings of the Formal Methods for Industrial Critical Systems, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies.
Proceedings of the Coordination Models and Languages, 2019
From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST).
ACM Trans. Model. Comput. Simul., 2018
Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems".
ACM Trans. Model. Comput. Simul., 2018
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the Formal Methods - 22nd International Symposium, 2018
Proceedings of the Models, Mindsets, 2018
2017
J. Log. Algebraic Methods Program., 2017
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Proceedings of the Fundamental Approaches to Software Engineering, 2017
Proceedings of the Coordination Models and Languages, 2017
2016
J. Log. Algebraic Methods Program., 2016
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints.
J. Log. Algebraic Methods Program., 2016
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering.
J. Log. Algebraic Methods Program., 2016
Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2015
ERCIM News, 2015
Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking.
Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015
Statistical analysis of probabilistic models of software product lines with quantitative constraints.
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the 19th International Conference on Software Product Line, 2015
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems.
Proceedings of the 19th International Conference on Software Product Line, 2015
Proceedings of the Software Engineering and Formal Methods, 2015
From Featured Transition Systems to Modal Transition Systems with Variability Constraints.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015
Proceedings of the Software, 2015
2014
J. Autom. Lang. Comb., 2014
ERCIM News, 2014
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities.
ERCIM News, 2014
Proceedings of the 18th International Software Product Lines Conference, 2014
Proceedings of the 18th International Software Product Lines Conference, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014
Proceedings of the Perspectives of System Informatics, 2014
Shuffles and Synchronized Shuffles: A Survey.
Proceedings of the Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., 2014
2013
ERCIM News, 2013
Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series.
Proceedings of the 17th International Software Product Line Conference, 2013
Combining declarative and procedural views in the specification and analysis of product families.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013
2012
Proceedings of the 16th International Software Product Line Conference, 2012
Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series.
Proceedings of the 16th International Software Product Line Conference, 2012
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the FM 2012: Formal Methods, 2012
2011
A state/event-based model-checking approach for the analysis of abstract system properties.
Sci. Comput. Program., 2011
Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011
Proceedings of the Software Product Lines - 15th International Conference, 2011
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011
Proceedings of the Software Engineering for Resilient Systems, 2011
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, 2011
Proceedings of the Formal Techniques for Distributed Systems, 2011
Proceedings of the Computation, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
Proceedings of the FM+AM 2010, 2010
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research).
Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010
2009
Fundam. Informaticae, 2009
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Proceedings of the Human-Computer Interaction, 2009
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems.
Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009
2008
ERCIM News, 2008
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008
Proceedings of the Engineering Interactive Systems, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
2007
Int. J. Found. Comput. Sci., 2007
Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2007), 2007
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications.
Proceedings of the Formal Methods for Industrial Critical Systems, 2007
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks.
Proceedings of the Third Advanced International Conference on Telecommunications (AICT 2007), 2007
2006
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols.
J. Autom. Lang. Comb., 2006
Proceedings of the Brazilian Symposium on Formal Methods, 2006
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006
2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the Interactive Systems, 2005
2004
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004
Proceedings of the Developments in Language Theory, 2004
Proceedings of the Cooperative Systems Design, 2004
2003
Team Automata: A Formal Approach to the Modeling of Collaboration Between System Components.
PhD thesis, 2003
Comput. Support. Cooperative Work., 2003
Proceedings of the FME 2003: Formal Methods, 2003
Animal Farm: An Eco-Grammar System.
Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003
2002
Proceedings of the Formal and Natural Computing, 2002
2001
Proceedings of the Seventh European Conference on Computer Supported Cooperative Work, 2001
1999
Simple Eco-Grammar Systems with Prescribed Teams.
Proceedings of the Grammatical Models of Multi-Agent Systems, 1999
1997
Proceedings of the New Trends in Formal Languages, 1997
1996