Maurice H. ter Beek

Sci. Comput. Program., 2025

2024

The Role of Formal Methods in Computer Science Education.

[BibT_eX]

[DOI]

Manfred Broy

Brijesh Dongol

Inroads, December, 2024

Product lines of dataflows.

[BibT_eX]

[DOI]

Michael Lienhardt

J. Syst. Softw., April, 2024

Coherent modal transition systems refinement.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2024

Advancing orchestration synthesis for contract automata.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2024

Advanced Integrated Evaluation of Railway Systems .

[BibT_eX]

[DOI]

Laura Carnevali

ERCIM News, 2024

Sustainable Mobility: Increase of Capacity and Digitisation of Railway Transport.

[BibT_eX]

[DOI]

ERCIM News, 2024

Formal Methods and Tools Applied in the Railway Domain.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2024

Can AI Help with the Formalization of Railway Cybersecurity Requirements?

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

X-by-Construction Meets AI.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

An Integrated Perspective on the Evaluation of Complex Railway Systems.

[BibT_eX]

[DOI]

Gloria Gori

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

Team Automata: Overview and Roadmap.

[BibT_eX]

[DOI]

José Proença

Proceedings of the Coordination Models and Languages, 2024

2023

A toolchain for strategy synthesis with spatial properties.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., December, 2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact).

[BibT_eX]

[DOI]

Dataset, November, 2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact).

[BibT_eX]

[DOI]

Dataset, November, 2023

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, November, 2023

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, November, 2023

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, November, 2023

Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, November, 2023

Introduction to the Special Collection from iFM 2022.

[BibT_eX]

[DOI]

Rosemary Monahan

Formal Aspects Comput., September, 2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact).

[BibT_eX]

[DOI]

Dataset, August, 2023

A Toolchain for Strategy Synthesis with Spatial Properties - Complementary Material.

[BibT_eX]

[DOI]

Dataset, August, 2023

Assessing the Understandability of Attack-Defense Trees: an Empirical Study - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, June, 2023

Systems and software product lines of the future.

[BibT_eX]

[DOI]

J. Syst. Softw., May, 2023

Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance - Supplementary Material.

[BibT_eX]

[DOI]

Dataset, February, 2023

Formal Methods in Railways: A Systematic Mapping Study.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2023

Research Challenges in Orchestration Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023

Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Program Comprehension, 2023

Formal Modelling and Analysis of a Self-Adaptive Robotic System.

[BibT_eX]

[DOI]

Proceedings of the iFM 2023 - 18th International Conference, 2023

Realisability of Global Models of Interaction.

[BibT_eX]

[DOI]

José Proença

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Mutant Equivalence as Monotonicity in Parametric Timed Games.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Can We Communicate? Using Dynamic Logic to Verify Team Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

A Runtime Environment for Contract Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Can we Communicate? Using Dynamic Logic to Verify Team Automata.

[BibT_eX]

[DOI]

Dataset, November, 2022

Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Formal methods and tools for industrial critical systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2022

Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2022

FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Contract Automata Library.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Efficient static analysis and verification of featured transition systems.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Static detection of equivalent mutants in real-time model-based mutation testing.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Empirical Software Engineering and Formal Methods for IoT Systems.

[BibT_eX]

[DOI]

ERCIM News, 2022

Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods.

[BibT_eX]

[DOI]

CoRR, 2022

Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

X-by-Construction Meets Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

An Experimental Toolchain for Strategy Synthesis with Spatial Properties.

[BibT_eX]

[DOI]

Vincenzo Ciancia

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.

[BibT_eX]

[DOI]

Dataset, November, 2021

Formal Methods in Railways: a Systematic Mapping Study - List of Primary Studies and Data Extraction.

[BibT_eX]

[DOI]

Dataset, July, 2021

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.

[BibT_eX]

[DOI]

Dataset, April, 2021

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design - Technical Annexes.

[BibT_eX]

[DOI]

Dataset, April, 2021

Formal methods: practical applications and foundations.

[BibT_eX]

[DOI]

Annabelle McIver

Formal Methods Syst. Des., 2021

Editorial.

[BibT_eX]

[DOI]

Annabelle McIver

Formal Aspects Comput., 2021

Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design.

[BibT_eX]

[DOI]

CoRR, 2021

Quantitative Security Risk Modeling and Analysis with RisQFLan.

[BibT_eX]

[DOI]

Comput. Secur., 2021

Static analysis and family-based model checking of featured transition systems with VMC.

[BibT_eX]

[DOI]

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Static analysis and family-based model checking with VMC.

[BibT_eX]

[DOI]

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Supervisory Synthesis of Configurable Behavioural Contracts with Modalities.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

Spatial Model Checking for Smart Stations - Research Challenges.

[BibT_eX]

[DOI]

Giorgio Oronzo Spagnolo

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Featured Team Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2021

2020

A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

Controller synthesis of service contracts with variability.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2020

Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services.

[BibT_eX]

[DOI]

Rosario Pugliese

Log. Methods Comput. Sci., 2020

Timed service contract automata.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2020

Preface.

[BibT_eX]

[DOI]

Maciej Koutny

Grzegorz Rozenberg

Fundam. Informaticae, 2020

Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

X-by-Construction - Correctness Meets Probability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Giorgio Oronzo Spagnolo

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Compositionality of Safe Communication in Systems of Team Automata.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

Comparing formal tools for system design: a judgment study.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

The 2020 Expert Survey on Formal Methods.

[BibT_eX]

[DOI]

Hubert Garavel

Jaco van de Pol

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

Family-Based SPL Model Checking Using Parity Games with Variability.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2020

Team Automata@Work: On Safe Communication.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2020

2019

Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios".

[BibT_eX]

[DOI]

Christian Bach

Christian Toftemann Bæk

Dataset, June, 2019

Quantitative variability modelling and analysis.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2019

On the expressiveness of modal transition systems with variability constraints.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Quantitative Variability Modeling and Analysis.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019

Textual variability modeling languages: an overview and considerations.

[BibT_eX]

[DOI]

Klaus Schmid

Holger Eichelberger

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Static analysis of featured transition systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Survey on Formal Methods and Tools in Railways: The ASTRail Approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

Adopting Formal Methods in an Industrial Setting: The Railways Case.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Rosario Pugliese

Proceedings of the Coordination Models and Languages, 2019

From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Laura Semini

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).

[BibT_eX]

[DOI]

Michele Loreti

ACM Trans. Model. Comput. Simul., 2018

Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems".

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2018

Formal methods and automated verification of critical systems.

[BibT_eX]

[DOI]

Alexander Knapp

Int. J. Softw. Tools Technol. Transf., 2018

Formal methods for transport systems.

[BibT_eX]

[DOI]

Alexander Knapp

Int. J. Softw. Tools Technol. Transf., 2018

Formal Methods for the Railway Sector.

[BibT_eX]

[DOI]

ERCIM News, 2018

Orchestration Synthesis for Real-Time Service Contracts.

[BibT_eX]

[DOI]

Louis-Marie Traonouez

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.

[BibT_eX]

[DOI]

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Modelling and analysis with featured modal contract automata.

[BibT_eX]

[DOI]

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

X-by-Construction.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Vincenzo Ciancia

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.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

States and Events in KandISTI - A Retrospective.

[BibT_eX]

[DOI]

Proceedings of the Models, Mindsets, 2018

2017

Automated specification and verification of Web-based applications.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Family-Based Model Checking with mCRL2.

[BibT_eX]

[DOI]

Tim A. C. Willemse

Proceedings of the Fundamental Approaches to Software Engineering, 2017

Communication Requirements for Team Automata.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2017

2016

Automated verification of programs and Web systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2016

Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering.

[BibT_eX]

[DOI]

Dave Clarke

J. Log. Algebraic Methods Program., 2016

Towards a Feature mu-Calculus Targeting SPL Verification.

[BibT_eX]

[DOI]

Tim A. C. Willemse

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.

[BibT_eX]

[DOI]

Michel A. Reniers

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Statistical Model Checking for Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Correctness-by-Construction and Post-hoc Verification: Friends or Foes?

[BibT_eX]

[DOI]

Reiner Hähnle

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Variability-Based Design of Services for Smart Transportation Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Josep Carmona

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.

[BibT_eX]

[DOI]

Josep Carmona

ERCIM News, 2015

Coherent branching feature bisimulation.

[BibT_eX]

[DOI]

Tessa Belder

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Using FMC for family-based analysis of software product lines.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Applying the product lines paradigm to the quantitative analysis of collective adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Towards Automatic Decision Support for Bike-Sharing System Design.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2015

From Featured Transition Systems to Modal Transition Systems with Variability Constraints.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

2014

On Distributed Cooperation and Synchronised Collaboration.

[BibT_eX]

[DOI]

J. Autom. Lang. Comb., 2014

KandISTI: A Family of Model Checkers for the Analysis of Software Designs.

[BibT_eX]

[DOI]

ERCIM News, 2014

A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities.

[BibT_eX]

[DOI]

ERCIM News, 2014

Software product line analysis with mCRL2.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Lines Conference, 2014

VMC: recent advances and challenges ahead.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Lines Conference, 2014

Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

Model Checking Value-Passing Modal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2014

Shuffles and Synchronized Shuffles: A Survey.

[BibT_eX]

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.

[BibT_eX]

[DOI]

ERCIM News, 2013

Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series.

[BibT_eX]

[DOI]

Proceedings of the 17th International Software Product Line Conference, 2013

Combining declarative and procedural views in the specification and analysis of product families.

[BibT_eX]

[DOI]

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Validating reconfigurations of reo circuits in an e-Banking scenario.

[BibT_eX]

[DOI]

Francesco Santini

Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013

2012

Vector team automata.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Guaranteeing Correct Evolution of Software Product Lines.

[BibT_eX]

[DOI]

Henry Muccini

Patrizio Pelliccione

ERCIM News, 2012

Demonstration of a model checker for the analysis of product variability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

Assume-Guarantee Testing of Evolving Software Product Line Architectures.

[BibT_eX]

[DOI]

Henry Muccini

Patrizio Pelliccione

Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

A Compositional Framework to Derive Product Line Behavioural Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

VMC: A Tool for Product Variability Analysis.

[BibT_eX]

[DOI]

Aldi Sulova

Proceedings of the FM 2012: Formal Methods, 2012

2011

A state/event-based model-checking approach for the analysis of abstract system properties.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Product Lines for Service Oriented Applications - PL for SOA

[BibT_eX]

[DOI]

Mercy N. Njima

Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011

Formal Description of Variability in Product Families.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

Variability and Rigour in Service Computing Engineering.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem.

[BibT_eX]

[DOI]

Henry Muccini

Patrizio Pelliccione

Proceedings of the Software Engineering for Resilient Systems, 2011

Design and validation of variability in product lines.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Product Line Approaches in Software Engineering, 2011

A Model-Checking Tool for Families of Services.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2011

Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence.

[BibT_eX]

[DOI]

Markus Holzer

György Vaszil

Proceedings of the Computation, 2011

Analysing Robot Movement Using the Sensoria Methods.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

Sensoria Results Applied to the Case Studies.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

A Deontic Logical Framework for Modelling Product Families.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

A Logical Framework to Deal with Variability.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

An Experience on Formal Analysis of a High-Level Graphical SOA Design.

[BibT_eX]

[DOI]

Aldi Sulova

Proceedings of the FM+AM 2010, 2010

Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research).

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications, 2010

2009

Assisting the design of a groupware system.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

Associativity of Infinite Synchronized Shuffles and Team Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Deontic Logics for Modeling Behavioural Variability.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Human-Computer Interaction, 2009

Detecting policy conflicts by model checking UML state machines.

[BibT_eX]

[DOI]

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

Dynamic Software Architecture Development: Towards an Automated Process.

[BibT_eX]

[DOI]

Antonio Bucchiarone

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ERCIM News, 2008

Preface.

[BibT_eX]

[DOI]

Alessandro Aldini

Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2008

A Fluid Flow Approach to Usability Analysis of Multi-user Systems.

[BibT_eX]

[DOI]

Proceedings of the Engineering Interactive Systems, 2008

Formal verification of an automotive scenario in service-oriented computing.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Infinite unfair shuffles and associativity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2007

On Competence in CD Grammar Systems with Parallel Rewriting.

[BibT_eX]

[DOI]

György Vaszil

Markus Holzer

Int. J. Found. Comput. Sci., 2007

Formal Modelling and Verification in Service-Oriented Computing.

[BibT_eX]

[DOI]

ERCIM News, 2007

Web Service Composition Approaches: From Industrial Standards to Formal Methods.

[BibT_eX]

[DOI]

Antonio Bucchiarone

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks.

[BibT_eX]

[DOI]

Corrado Moiso

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.

[BibT_eX]

[DOI]

Gabriele Lenzini

J. Autom. Lang. Comb., 2006

A Calculus for Team Automata.

[BibT_eX]

[DOI]

Dirk Janssens

Proceedings of the Brazilian Symposium on Formal Methods, 2006

Preface.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

Formal Modelling and Verification of an Asynchronous Extension of SOAP.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

2005

Synchronized shuffles.

[BibT_eX]

[DOI]

Carlos Martín-Vide

Victor Mitrana

Theor. Comput. Sci., 2005

Modularity for teams of I/O automata.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2005

A case study on the automated verification of groupware protocols.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Towards Model Checking Stochastic Aspects of the thinkteam User Interface.

[BibT_eX]

[DOI]

Mieke Massink

Diego Latella

Proceedings of the Interactive Systems, 2005

2004

Teams of pushdown automata.

[BibT_eX]

[DOI]

Victor Mitrana

Int. J. Comput. Math., 2004

Model Checking Publish/Subscribe Notification for thinkteam<sup>®</sup>.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Team Automata for Security: - A Survey -.

[BibT_eX]

[DOI]

Gabriele Lenzini

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004

On Competence in CD Grammar Systems.

[BibT_eX]

[DOI]

Markus Holzer

György Vaszil

Proceedings of the Developments in Language Theory, 2004

Model Checking Groupware Protocols.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Systems Design, 2004

2003

Team Automata: A Formal Approach to the Modeling of Collaboration Between System Components.

[BibT_eX]

[DOI]

PhD thesis, 2003

Synchronizations in Team Automata for Groupware Systems.

[BibT_eX]

[DOI]

Comput. Support. Cooperative Work., 2003

Team Automata Satisfying Compositionality.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

Animal Farm: An Eco-Grammar System.

[BibT_eX]

Proceedings of the Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, 2003

2002

Petri Net Control for Grammar Systems.

[BibT_eX]

[DOI]

H. C. M. Kleijn

Proceedings of the Formal and Natural Computing, 2002

2001

Team automata for spatial access control.

[BibT_eX]

[DOI]

Proceedings of the Seventh European Conference on Computer Supported Cooperative Work, 2001

1999

Simple Eco-Grammar Systems with Prescribed Teams.

[BibT_eX]

Proceedings of the Grammatical Models of Multi-Agent Systems, 1999

1997

Teams in Grammar Systems: Sub-Context-Free Cases.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Formal Languages, 1997

1996

Teams in Grammar Systems: Hybridity and Weak Rewriting.

[BibT_eX]

[DOI]