Maurice H. ter Beek
According to our database1,
Maurice H. ter Beek
authored at least 110 papers
between 1996 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:
-
at orcid.org
-
at dl.acm.org
On csauthors.net:
Bibliography
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
Formal methods and automated verification of critical systems.
STTT, 2018
Formal methods for transport systems.
STTT, 2018
Formal Methods for the Railway Sector.
ERCIM News, 2018
Orchestration Synthesis for Real-Time Service Contracts.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018
Product line models of large cyber-physical systems: the case of ERTMS/ETCS.
Proceedings of the Proceeedings of the 22nd International Conference on Systems and Software Product Line, 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
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems.
Proceedings of the Formal Methods - 22nd International Symposium, 2018
2017
Automated specification and verification of Web-based applications.
J. Log. Algebr. Meth. Program., 2017
A framework for quantitative modeling and analysis of highly (re)configurable systems.
CoRR, 2017
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Family-Based Model Checking with mCRL2.
Proceedings of the Fundamental Approaches to Software Engineering, 2017
Communication Requirements for Team Automata.
Proceedings of the Coordination Models and Languages, 2017
2016
Automated verification of programs and Web systems.
J. Log. Algebr. Meth. Program., 2016
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints.
J. Log. Algebr. Meth. Program., 2016
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering.
J. Log. Algebr. Meth. Program., 2016
Towards a Feature mu-Calculus Targeting SPL Verification.
Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016
Supervisory Controller Synthesis for Product Lines Using CIF 3.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Statistical Model Checking for Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Variability-Based Design of Services for Smart Transportation Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Conditions for Compatibility of Components - The Case of Masters and Slaves.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2015
Communication and Compatibility in Systems of Systems: Correctness-by-Construction.
ERCIM News, 2015
Coherent branching feature bisimulation.
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
Using FMC for family-based analysis of software product lines.
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
Towards Automatic Decision Support for Bike-Sharing System Design.
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
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI.
Proceedings of the Software, 2015
2014
On Distributed Cooperation and Synchronised Collaboration.
Journal of Automata, Languages and Combinatorics, 2014
KandISTI: A Family of Model Checkers for the Analysis of Software Designs.
ERCIM News, 2014
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities.
ERCIM News, 2014
Software product line analysis with mCRL2.
Proceedings of the 18th International Software Product Lines Conference, 2014
VMC: recent advances and challenges ahead.
Proceedings of the 18th International Software Product Lines Conference, 2014
Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Towards Modular Verification of Software Product Lines with mCRL2.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Using mCRL2 for the analysis of software product lines.
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014
Model Checking Value-Passing Modal Specifications.
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
VMC: A Tool for the Analysis of Variability in Software Product Lines.
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
Validating reconfigurations of reo circuits in an e-Banking scenario.
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013
2012
Vector team automata.
Theor. Comput. Sci., 2012
Guaranteeing Correct Evolution of Software Product Lines.
ERCIM News, 2012
Demonstration of a model checker for the analysis of product variability.
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
Assume-Guarantee Testing of Evolving Software Product Line Architectures.
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012
A Compositional Framework to Derive Product Line Behavioural Descriptions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
VMC: A Tool for Product Variability Analysis.
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
Product Lines for Service Oriented Applications - PL for SOA
Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011
Formal Description of Variability in Product Families.
Proceedings of the Software Product Lines - 15th International Conference, 2011
Variability and Rigour in Service Computing Engineering.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011
Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem.
Proceedings of the Software Engineering for Resilient Systems, 2011
Design and validation of variability in product lines.
Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, 2011
A Model-Checking Tool for Families of Services.
Proceedings of the Formal Techniques for Distributed Systems, 2011
Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence.
Proceedings of the Computation, 2011
Analysing Robot Movement Using the Sensoria Methods.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
Sensoria Results Applied to the Case Studies.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011
2010
A Deontic Logical Framework for Modelling Product Families.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010
A Logical Framework to Deal with Variability.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
An Experience on Formal Analysis of a High-Level Graphical SOA Design.
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
Assisting the design of a groupware system.
J. Log. Algebr. Program., 2009
Associativity of Infinite Synchronized Shuffles and Team Automata.
Fundam. Inform., 2009
Preface.
Electr. Notes Theor. Comput. Sci., 2009
Deontic Logics for Modeling Behavioural Variability.
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009
CMC-UMC: a framework for the verification of abstract service-oriented properties.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach.
Proceedings of the Human-Computer Interaction, 2009
Detecting policy conflicts by model checking UML state machines.
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009
Dynamic Software Architecture Development: Towards an Automated Process.
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
Assisting the Design of an Industrial Groupware System by Model Checking.
ERCIM News, 2008
A Calculus for Team Automata.
Electr. Notes Theor. Comput. Sci., 2008
A Fluid Flow Approach to Usability Analysis of Multi-user Systems.
Proceedings of the Engineering Interactive Systems, 2008
Formal verification of an automotive scenario in service-oriented computing.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
2007
Infinite unfair shuffles and associativity.
Theor. Comput. Sci., 2007
On Competence in CD Grammar Systems with Parallel Rewriting.
Int. J. Found. Comput. Sci., 2007
Formal Modelling and Verification in Service-Oriented Computing.
ERCIM News, 2007
Preface.
Electr. Notes Theor. Comput. Sci., 2007
Web Service Composition Approaches: From Industrial Standards to Formal Methods.
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.
Journal of Automata, Languages and Combinatorics, 2006
Preface.
Electr. Notes Theor. Comput. Sci., 2006
Formal Modelling and Verification of an Asynchronous Extension of SOAP.
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006
2005
Synchronized shuffles.
Theor. Comput. Sci., 2005
Modularity for teams of I/O automata.
Inf. Process. Lett., 2005
Model Checking Publish/Subscribe Notification for thinkteam®.
Electr. Notes Theor. Comput. Sci., 2005
Team Automata for Security: - A Survey -.
Electr. Notes Theor. Comput. Sci., 2005
A case study on the automated verification of groupware protocols.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Towards Model Checking Stochastic Aspects of the thinkteam User Interface.
Proceedings of the Interactive Systems, 2005
2004
Teams of pushdown automata.
Int. J. Comput. Math., 2004
On Competence in CD Grammar Systems.
Proceedings of the Developments in Language Theory, 2004
Model Checking Groupware Protocols.
Proceedings of the Cooperative Systems Design, 2004
2003
Team Automata: A Formal Approach to the Modeling of Collaboration Between System Components.
PhD thesis, 2003
Synchronizations in Team Automata for Groupware Systems.
Computer Supported Cooperative Work, 2003
Team Automata Satisfying Compositionality.
Proceedings of the FME 2003: Formal Methods, 2003
Teams of Pushdown Automata.
Proceedings of the Perspectives of Systems Informatics, 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
Petri Net Control for Grammar Systems.
Proceedings of the Formal and Natural Computing, 2002
2001
Team automata for spatial access control.
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
Teams in Grammar Systems: Sub-Context-Free Cases.
Proceedings of the New Trends in Formal Languages, 1997
1996
Teams in Grammar Systems: Hybridity and Weak Rewriting.
Acta Cybern., 1996