Maurice H. ter Beek

According to our database1, Maurice H. ter Beek authored at least 110 papers between 1996 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

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


  Loading...