Search Results - "ter Beek, Maurice H"

Product lines of dataflows by Lienhardt, Michael, ter Beek, Maurice H., Damiani, Ferruccio

“…Data-centric parallel programming models such as dataflows are well established to implement complex concurrent software. However, in a context of a…”
Get full text

Formal methods for transport systems by ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

“…Formal methods and verification tools have been in use in the engineering of safety-critical transport systems for well over 30 years. In both the railway and…”
Get full text

Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design by Ferrari, Alessio, Mazzanti, Franco, Basile, Davide, ter Beek, Maurice H.

“…Formal methods and supporting tools have a long record of success in the development of safety-critical systems. However, no single tool has emerged as the…”
Get full text

A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems by Ter Beek, Maurice H., Legay, Axel, Lafuente, Alberto Lluch, Vandin, Andrea

“…This paper presents our approach to the quantitative modeling and analysis of highly (re)configurable systems, such as software product lines. Different…”
Get full text

A toolchain for strategy synthesis with spatial properties by Basile, Davide, ter Beek, Maurice H., Bussi, Laura, Ciancia, Vincenzo

“…We present an application of strategy synthesis to enforce spatial properties. This is achieved by implementing a toolchain that enables the tools CATLib and…”
Get full text

Static detection of equivalent mutants in real-time model-based mutation testing: An Empirical Evaluation by Basile, Davide, Beek, Maurice H. ter, Lazreg, Sami, Cordy, Maxime, Legay, Axel

“…Model-based mutation testing has the potential to effectively drive test generation to reveal faults in software systems. However, it faces a typical…”
Get full text

Formal methods: practical applications and foundations: Editorial by Ter Beek, Maurice H, McIver, Annabelle

Get full text

Quantitative Security Risk Modeling and Analysis with RisQFLan by ter Beek, Maurice H., Legay, Axel, Lluch Lafuente, Alberto, Vandin, Andrea

“…Domain-specific quantitative modeling and analysis approaches are fundamental in scenarios in which qualitative approaches are inappropriate or unfeasible. In…”
Get full text

Formal methods: practical applications and foundations: Editorial by ter Beek, Maurice H., McIver, Annabelle

Get full text

Quantitative variability modelling and analysis by ter Beek, Maurice H., Legay, Axel

“…Over the last decade, the explicit introduction and management of variability in the development cycle of (software) systems has led to a plethora of modelling…”
Get full text

Efficient static analysis and verification of featured transition systems by ter Beek, Maurice H., Damiani, Ferruccio, Lienhardt, Michael, Mazzanti, Franco, Paolini, Luca

“…A Featured Transition System (FTS) models the behaviour of all products of a Software Product Line (SPL) in a single compact structure, by associating…”
Get full text

Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods by Basile, Davide, ter Beek, Maurice H., Ferrari, Alessio, Legay, Axel

“…Shift2Rail is a joint undertaking funded by the EU via its Horizon 2020 program and by main railway stakeholders. Several Shift2Rail projects aim to…”
Get full text

Comparing Formal Tools for System Design: a Judgment Study by Ferrari, Alessio, Mazzanti, Franco, Basile, Davide, ter Beek, Maurice H., Fantechi, Alessandro

“…Formal methods and tools have a long history of successful applications in the design of safety-critical railway products. However, most of the experiences…”
Get full text

Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services by Davide Basile, Maurice H. ter Beek, Rosario Pugliese

“…We present a number of contributions to bridging the gap between supervisory control theory and coordination of services in order to explore the frontiers…”
Get full text

Timed service contract automata by Basile, Davide, ter Beek, Maurice H., Legay, Axel

“…We equip a recently developed model for the specification of service contracts with real-time constraints. Service contracts offer a means to define the…”
Get full text

Formal methods and tools for industrial critical systems by ter Beek, Maurice H., Larsen, Kim G., Ničković, Dejan, Willemse, Tim A. C.

“…Formal methods and tools have become well established and widely applied to ensure the correctness of fundamental components of industrial critical systems in…”
Get full text

Formal methods and automated verification of critical systems by ter Beek, Maurice H., Gnesi, Stefania, Knapp, Alexander

“…Critical (software) systems are all around us. These systems are typically characterised by stringent dependability requirements and demand elevated levels of…”
Get full text

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking by ter Beek, Maurice H., Legay, Axel, Lluch Lafuente, Alberto, Vandin, Andrea

“…We investigate the suitability of statistical model checking techniques for analysing quantitative properties of software product line models with…”
Get full text

Formal verification of an automotive scenario in service-oriented computing by ter Beek, M., Gnesi, S., Koch, N., Mazzanti, F.

“…We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the…”
Get full text

Towards a Feature mu-Calculus Targeting SPL Verification by ter Beek, Maurice H., de Vink, Erik P., Willemse, Tim A. C.

“…The modal mu-calculus mu-L is a well-known fixpoint logic to express and model check properties interpreted over labeled transition systems. In this paper, we…”
Get full text