![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Maurice H. ter Beek
Person information
- affiliation: National Research Council, Italy
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2003
- [b1]Maurice H. ter Beek:
Team Automata: A Formal Approach to the Modeling of Collaboration Between System Components. Leiden University, 2003
Journal Articles
- 2024
- [j45]Davide Basile
, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Coherent modal transition systems refinement. J. Log. Algebraic Methods Program. 138: 100954 (2024) - [j44]Davide Basile
, Maurice H. ter Beek:
Advancing orchestration synthesis for contract automata. J. Log. Algebraic Methods Program. 141: 100998 (2024) - [j43]Michael Lienhardt, Maurice H. ter Beek, Ferruccio Damiani:
Product lines of dataflows. J. Syst. Softw. 210: 111928 (2024) - 2023
- [j42]Alessio Ferrari
, Maurice H. ter Beek
:
Formal Methods in Railways: A Systematic Mapping Study. ACM Comput. Surv. 55(4): 69:1-69:37 (2023) - [j41]Rosemary Monahan
, Maurice H. ter Beek
:
Introduction to the Special Collection from iFM 2022. Formal Aspects Comput. 35(3): 17 (2023) - [j40]Maurice H. ter Beek, Ina Schaefer:
Systems and software product lines of the future. J. Syst. Softw. 199: 111622 (2023) - [j39]Davide Basile
, Maurice H. ter Beek
, Laura Bussi
, Vincenzo Ciancia
:
A toolchain for strategy synthesis with spatial properties. Int. J. Softw. Tools Technol. Transf. 25(5): 641-658 (2023) - 2022
- [j38]Maurice H. ter Beek
, Ferruccio Damiani
, Michael Lienhardt, Franco Mazzanti
, Luca Paolini
:
Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. 27(1): 10 (2022) - [j37]Davide Basile
, Maurice H. ter Beek, Sami Lazreg, Maxime Cordy, Axel Legay:
Static detection of equivalent mutants in real-time model-based mutation testing. Empir. Softw. Eng. 27(7): 160 (2022) - [j36]Davide Basile
, Maurice H. ter Beek:
Contract Automata Library. Sci. Comput. Program. 221: 102841 (2022) - [j35]Maurice H. ter Beek
, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
, Giordano Scarso:
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. Sci. Comput. Program. 224: 102879 (2022) - [j34]Maurice H. ter Beek, Kim G. Larsen
, Dejan Nickovic
, Tim A. C. Willemse:
Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transf. 24(3): 325-330 (2022) - [j33]Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay:
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Int. J. Softw. Tools Technol. Transf. 24(3): 351-370 (2022) - [j32]Alessio Ferrari
, Franco Mazzanti
, Davide Basile
, Maurice H. ter Beek
:
Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design. IEEE Trans. Software Eng. 48(11): 4675-4691 (2022) - 2021
- [j31]Maurice H. ter Beek
, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
Quantitative Security Risk Modeling and Analysis with RisQFLan. Comput. Secur. 109: 102381 (2021) - [j30]Annabelle McIver
, Maurice H. ter Beek:
Editorial. Formal Aspects Comput. 33(4-5): 459-460 (2021) - [j29]Maurice H. ter Beek
, Annabelle McIver
:
Formal methods: practical applications and foundations. Formal Methods Syst. Des. 58(1-2): 1-4 (2021) - 2020
- [j28]Maurice H. ter Beek, Maciej Koutny, Grzegorz Rozenberg:
Preface. Fundam. Informaticae 175(1-4) (2020) - [j27]Davide Basile
, Maurice H. ter Beek
, Axel Legay:
Timed service contract automata. Innov. Syst. Softw. Eng. 16(2): 199-214 (2020) - [j26]Davide Basile, Maurice H. ter Beek, Rosario Pugliese:
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. Log. Methods Comput. Sci. 16(2) (2020) - [j25]Davide Basile
, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari
, Stefania Gnesi, Felicita Di Giandomenico:
Controller synthesis of service contracts with variability. Sci. Comput. Program. 187: 102344 (2020) - [j24]Maurice H. ter Beek
, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems. IEEE Trans. Software Eng. 46(3): 321-345 (2020) - 2019
- [j23]Maurice H. ter Beek
, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
:
On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169: 1-17 (2019) - [j22]Maurice H. ter Beek, Axel Legay:
Quantitative variability modelling and analysis. Int. J. Softw. Tools Technol. Transf. 21(6): 607-612 (2019) - 2018
- [j21]Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Formal methods for transport systems. Int. J. Softw. Tools Technol. Transf. 20(3): 237-241 (2018) - [j20]Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Formal methods and automated verification of critical systems. Int. J. Softw. Tools Technol. Transf. 20(4): 355-358 (2018) - [j19]Maurice H. ter Beek
, Michele Loreti
:
Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Trans. Model. Comput. Simul. 28(2): 8:1-8:4 (2018) - [j18]Maurice H. ter Beek
:
Replicated Computations Results (RCR) Report for "Design and Verification of Trusted Collective Adaptive Systems". ACM Trans. Model. Comput. Simul. 28(2): 10:1-10:3 (2018) - 2017
- [j17]Maurice H. ter Beek
, Alberto Lluch-Lafuente
:
Automated specification and verification of Web-based applications. J. Log. Algebraic Methods Program. 87: 51 (2017) - 2016
- [j16]Maurice H. ter Beek
, Dave Clarke, Ina Schaefer:
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering. J. Log. Algebraic Methods Program. 85(1): 123-124 (2016) - [j15]Maurice H. ter Beek
, Alessandro Fantechi
, Stefania Gnesi, Franco Mazzanti:
Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints. J. Log. Algebraic Methods Program. 85(2): 287-315 (2016) - [j14]Maurice H. ter Beek
, Alexei Lisitsa, Andrei P. Nemytykh, António Ravara
:
Automated verification of programs and Web systems. J. Log. Algebraic Methods Program. 85(5): 653-654 (2016) - 2014
- [j13]Maurice H. ter Beek, Jetty Kleijn:
On Distributed Cooperation and Synchronised Collaboration. J. Autom. Lang. Comb. 19(1-4): 17-32 (2014) - 2012
- [j12]Maurice H. ter Beek
, Jetty Kleijn:
Vector team automata. Theor. Comput. Sci. 429: 21-29 (2012) - 2011
- [j11]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
, Franco Mazzanti
:
A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76(2): 119-135 (2011) - 2009
- [j10]Maurice H. ter Beek
, Jetty Kleijn:
Associativity of Infinite Synchronized Shuffles and Team Automata. Fundam. Informaticae 91(3-4): 437-461 (2009) - [j9]Maurice H. ter Beek
, Stefania Gnesi
, Diego Latella
, Mieke Massink
, Maurizio Sebastianis, Gianluca Trentanni:
Assisting the design of a groupware system. J. Log. Algebraic Methods Program. 78(4): 191-232 (2009) - 2007
- [j8]Maurice H. ter Beek
, Erzsébet Csuhaj-Varjú, György Vaszil, Markus Holzer
:
On Competence in CD Grammar Systems with Parallel Rewriting. Int. J. Found. Comput. Sci. 18(6): 1425-1439 (2007) - [j7]Maurice H. ter Beek
, Jetty Kleijn:
Infinite unfair shuffles and associativity. Theor. Comput. Sci. 380(3): 401-410 (2007) - 2006
- [j6]Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi:
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols. J. Autom. Lang. Comb. 11(4): 345-374 (2006) - 2005
- [j5]Maurice H. ter Beek
, Jetty Kleijn:
Modularity for teams of I/O automata. Inf. Process. Lett. 95(5): 487-495 (2005) - [j4]Maurice H. ter Beek
, Carlos Martín-Vide, Victor Mitrana:
Synchronized shuffles. Theor. Comput. Sci. 341(1-3): 263-275 (2005) - 2004
- [j3]Maurice H. ter Beek
, Erzsébet Csuhaj-Varjú, Victor Mitrana:
Teams of pushdown automata. Int. J. Comput. Math. 81(2): 141-156 (2004) - 2003
- [j2]Maurice H. ter Beek
, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg:
Synchronizations in Team Automata for Groupware Systems. Comput. Support. Cooperative Work. 12(1): 21-69 (2003) - 1996
- [j1]Maurice H. ter Beek:
Teams in Grammar Systems: Hybridity and Weak Rewriting. Acta Cybern. 12(4): 425-444 (1996)
Conference and Workshop Papers
- 2024
- [c123]Maurice H. ter Beek
, Rolf Hennicker, José Proença
:
Team Automata: Overview and Roadmap. COORDINATION 2024: 161-198 - [c122]Giovanna Broccia
, Maurice H. ter Beek
, Alberto Lluch-Lafuente
, Paola Spoletini
, Alessio Ferrari
:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. REFSQ 2024: 39-56 - [c121]Michael Lienhardt
, Maurice H. ter Beek
, Ferruccio Damiani
:
Product lines of dataflows. SPLC (A) 2024: 218 - [c120]Maurice H. ter Beek
:
Formal Methods and Tools Applied in the Railway Domain. ABZ 2024: 3-21 - 2023
- [c119]Maurice H. ter Beek
, Guillermina Cledou
, Rolf Hennicker, José Proença
:
Can We Communicate? Using Dynamic Logic to Verify Team Automata. FM 2023: 122-141 - [c118]Davide Basile
, Maurice H. ter Beek
:
A Runtime Environment for Contract Automata. FM 2023: 550-567 - [c117]Davide Basile, Maurice H. ter Beek, Hendrik Göttmann, Malte Lochau:
Mutant Equivalence as Monotonicity in Parametric Timed Games. FormaliSE 2023: 55-65 - [c116]Maurice H. ter Beek
, Rolf Hennicker, José Proença
:
Realisability of Global Models of Interaction. ICTAC 2023: 236-255 - [c115]Juliane Päßler
, Maurice H. ter Beek
, Ferruccio Damiani
, Silvia Lizeth Tapia Tarifa
, Einar Broch Johnsen
:
Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM 2023: 343-363 - [c114]Giovanna Broccia, Alessio Ferrari, Maurice H. ter Beek, Walter Cazzola, Luca Favalli
, Francesco Bertolotti
:
Evaluating a Language Workbench: from Working Memory Capacity to Comprehension to Acceptance. ICPC 2023: 54-58 - [c113]Davide Basile, Maurice H. ter Beek:
Research Challenges in Orchestration Synthesis. ICE 2023: 73-90 - 2022
- [c112]Maurice H. ter Beek
, Loek Cleophas
, Martin Leucker
, Ina Schaefer:
X-by-Construction Meets Runtime Verification. ISoLA (1) 2022: 141-148 - [c111]Davide Basile
, Maurice H. ter Beek
, Vincenzo Ciancia
:
An Experimental Toolchain for Strategy Synthesis with Spatial Properties. ISoLA (3) 2022: 142-164 - [c110]Monika Seisenberger
, Maurice H. ter Beek
, Xiuyi Fan
, Alessio Ferrari
, Anne E. Haxthausen
, Phillip James
, Andrew Lawrence, Bas Luttik
, Jaco van de Pol
, Simon Wimmer
:
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. ISoLA (4) 2022: 246-268 - 2021
- [c109]Davide Basile
, Maurice H. ter Beek
:
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts. COORDINATION 2021: 225-238 - [c108]Maurice H. ter Beek
, Guillermina Cledou
, Rolf Hennicker, José Proença
:
Featured Team Automata. FM 2021: 483-502 - [c107]Maurice H. ter Beek
, Vincenzo Ciancia
, Diego Latella
, Mieke Massink
, Giorgio Oronzo Spagnolo
:
Spatial Model Checking for Smart Stations - Research Challenges. FMICS 2021: 39-47 - [c106]Davide Basile
, Maurice H. ter Beek
, Pierpaolo Degano
, Axel Legay
, Gian-Luigi Ferrari
, Stefania Gnesi
, Felicita Di Giandomenico
:
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. FORTE 2021: 177-181 - [c105]Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini
, Giordano Scarso, Michele Valfrè, Michael Lienhardt:
Static analysis and family-based model checking of featured transition systems with VMC. SPLC (B) 2021: 24-27 - [c104]Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini
, Giordano Scarso, Michael Lienhardt:
Static analysis and family-based model checking with VMC. SPLC (A) 2021: 214 - 2020
- [c103]Maurice H. ter Beek
, Rolf Hennicker, Jetty Kleijn
:
Team Automata@Work: On Safe Communication. COORDINATION 2020: 77-85 - [c102]Maurice H. ter Beek
, Sjef van Loo, Erik P. de Vink
, Tim A. C. Willemse
:
Family-Based SPL Model Checking Using Parity Games with Variability. FASE 2020: 245-265 - [c101]Hubert Garavel, Maurice H. ter Beek
, Jaco van de Pol
:
The 2020 Expert Survey on Formal Methods. FMICS 2020: 3-69 - [c100]Davide Basile
, Maurice H. ter Beek
, Axel Legay
:
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego. FORTE 2020: 3-21 - [c99]Alessio Ferrari
, Franco Mazzanti, Davide Basile
, Maurice H. ter Beek, Alessandro Fantechi:
Comparing formal tools for system design: a judgment study. ICSE 2020: 62-74 - [c98]Maurice H. ter Beek
, Rolf Hennicker, Jetty Kleijn
:
Compositionality of Safe Communication in Systems of Team Automata. ICTAC 2020: 200-220 - [c97]Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson:
X-by-Construction - Correctness Meets Probability. ISoLA (1) 2020: 211-215 - [c96]Davide Basile
, Maurice H. ter Beek
, Felicita Di Giandomenico
, Alessandro Fantechi
, Stefania Gnesi
, Giorgio Oronzo Spagnolo
:
30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC. ISoLA (1) 2020: 368-384 - [c95]Davide Basile
, Maurice H. ter Beek
, Alessandro Fantechi
, Alessio Ferrari
, Stefania Gnesi
, Laura Masullo, Franco Mazzanti
, Andrea Piattino, Daniele Trentini:
Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers. ISoLA (3) 2020: 467-485 - [c94]Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay:
Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. SPLC (A) 2020: 30:1-30:11 - [c93]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
Variability meets security: quantitative security modeling and analysis of highly customizable attack scenarios. VaMoS 2020: 11:1-11:9 - 2019
- [c92]Maurice H. ter Beek
, Alessandro Fantechi
, Laura Semini
:
The Legacy of Stefania Gnesi - From Software Engineering to Formal Methods and Tools, and Back. From Software Engineering to Formal Methods and Tools, and Back 2019: 1-11 - [c91]Stefania Gnesi
, Maurice H. ter Beek
:
From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 219-235 - [c90]Davide Basile
, Maurice H. ter Beek
, Rosario Pugliese
:
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. COORDINATION 2019: 129-147 - [c89]Maurice H. ter Beek
, Arne Borälv, Alessandro Fantechi
, Alessio Ferrari
, Stefania Gnesi
, Christer Löfving, Franco Mazzanti
:
Adopting Formal Methods in an Industrial Setting: The Railways Case. FM 2019: 762-772 - [c88]Davide Basile
, Maurice H. ter Beek
, Alessio Ferrari
, Axel Legay:
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. FMICS 2019: 1-21 - [c87]Maurice H. ter Beek
, Ferruccio Damiani
, Stefania Gnesi
, Franco Mazzanti
, Luca Paolini
:
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM 2019: 542-546 - [c86]Maurice H. ter Beek
, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
Summary of: A Framework for Quantitative Modeling and Analysis of Highly (re)configurable Systems. IFM 2019: 547-551 - [c85]Alessio Ferrari
, Maurice H. ter Beek
, Franco Mazzanti
, Davide Basile
, Alessandro Fantechi
, Stefania Gnesi
, Andrea Piattino, Daniele Trentini:
Survey on Formal Methods and Tools in Railways: The ASTRail Approach. RSSRail 2019: 226-241 - [c84]Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
:
Static analysis of featured transition systems. SPLC (A) 2019: 9:1-9:13 - [c83]Maurice H. ter Beek, Klaus Schmid
, Holger Eichelberger:
Textual variability modeling languages: an overview and considerations. SPLC (B) 2019: 82:1-82:7 - [c82]Maurice H. ter Beek, Axel Legay:
Quantitative Variability Modeling and Analysis. VaMoS 2019: 13:1-13:2 - 2018
- [c81]Maurice H. ter Beek
, Alessandro Fantechi
, Stefania Gnesi
, Franco Mazzanti
:
States and Events in KandISTI - A Retrospective. Models, Mindsets, Meta 2018: 110-128 - [c80]Andrea Vandin
, Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente
:
QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems. FM 2018: 329-337 - [c79]Davide Basile
, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari
:
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. IFM 2018: 20-29 - [c78]Maurice H. ter Beek, Loek Cleophas
, Ina Schaefer, Bruce W. Watson:
X-by-Construction. ISoLA (1) 2018: 359-364 - [c77]Davide Basile
, Maurice H. ter Beek, Vincenzo Ciancia:
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. ISoLA (2) 2018: 372-391 - [c76]Davide Basile
, Maurice H. ter Beek, Stefania Gnesi:
Modelling and analysis with featured modal contract automata. SPLC (2) 2018: 11-16 - [c75]Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Product line models of large cyber-physical systems: the case of ERTMS/ETCS. SPLC 2018: 208-214 - [c74]Davide Basile
, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez:
Orchestration Synthesis for Real-Time Service Contracts. VECoS 2018: 31-47 - 2017
- [c73]Maurice H. ter Beek, Josep Carmona
, Rolf Hennicker, Jetty Kleijn:
Communication Requirements for Team Automata. COORDINATION 2017: 256-277 - [c72]Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
:
Family-Based Model Checking with mCRL2. FASE 2017: 387-405 - [c71]Davide Basile
, Maurice H. ter Beek, Felicita Di Giandomenico, Stefania Gnesi:
Orchestration of Dynamic Service Product Lines with Featured Modal Contract Automata. SPLC (B) 2017: 117-122 - 2016
- [c70]Maurice H. ter Beek
, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
Statistical Model Checking for Product Lines. ISoLA (1) 2016: 114-133 - [c69]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi, Laura Semini
:
Variability-Based Design of Services for Smart Transportation Systems. ISoLA (2) 2016: 465-481 - [c68]Maurice H. ter Beek
, Reiner Hähnle
, Ina Schaefer:
Correctness-by-Construction and Post-hoc Verification: Friends or Foes? ISoLA (1) 2016: 723-729 - [c67]Maurice H. ter Beek
, Josep Carmona
, Jetty Kleijn:
Conditions for Compatibility of Components - The Case of Masters and Slaves. ISoLA (1) 2016: 784-805 - [c66]Maurice H. ter Beek
, Michel A. Reniers
, Erik P. de Vink:
Supervisory Controller Synthesis for Product Lines Using CIF 3. ISoLA (1) 2016: 856-873 - [c65]Maurice H. ter Beek
, Erik P. de Vink, Tim A. C. Willemse
:
Towards a Feature mu-Calculus Targeting SPL Verification. FMSPLE 2016: 61-75 - 2015
- [c64]Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti:
From EU Projects to a Family of Model Checkers - From Kandinsky to KandISTI. Software, Services, and Systems 2015: 312-328 - [c63]Maurice H. ter Beek
, Stefania Gnesi, Diego Latella
, Mieke Massink
:
Towards Automatic Decision Support for Bike-Sharing System Design. SEFM Workshops 2015: 266-280 - [c62]Maurice H. ter Beek
, Ferruccio Damiani
, Stefania Gnesi
, Franco Mazzanti
, Luca Paolini
:
From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM 2015: 344-359 - [c61]Maurice H. ter Beek
, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
Statistical analysis of probabilistic models of software product lines with quantitative constraints. SPLC 2015: 11-15 - [c60]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi:
Applying the product lines paradigm to the quantitative analysis of collective adaptive systems. SPLC 2015: 321-326 - [c59]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti:
Using FMC for family-based analysis of software product lines. SPLC 2015: 432-439 - [c58]Tessa Belder, Maurice H. ter Beek
, Erik P. de Vink:
Coherent branching feature bisimulation. FMSPLE 2015: 14-30 - [c57]Maurice H. ter Beek
, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking. FMSPLE 2015: 56-70 - 2014
- [c56]Maurice H. ter Beek, Jetty Kleijn:
Shuffles and Synchronized Shuffles: A Survey. Discrete Mathematics and Computer Science 2014: 37-50 - [c55]Maurice H. ter Beek
, Stefania Gnesi
, Franco Mazzanti
:
Model Checking Value-Passing Modal Specifications. Ershov Memorial Conference 2014: 304-319 - [c54]Maurice H. ter Beek
, Erik P. de Vink:
Using mCRL2 for the analysis of software product lines. FormaliSE 2014: 31-37 - [c53]Ina Schaefer, Maurice H. ter Beek:
Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary). ISoLA (1) 2014: 253-256 - [c52]Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Challenges in Modelling and Analyzing Quantitative Aspects of Bike-Sharing Systems. ISoLA (1) 2014: 351-367 - [c51]Maurice H. ter Beek, Erik P. de Vink:
Towards Modular Verification of Software Product Lines with mCRL2. ISoLA (1) 2014: 368-385 - [c50]Maurice H. ter Beek
, Franco Mazzanti
:
VMC: recent advances and challenges ahead. SPLC Workshops 2014: 70-77 - [c49]Maurice H. ter Beek
, Erik P. de Vink:
Software product line analysis with mCRL2. SPLC Workshops 2014: 78-85 - 2013
- [c48]Maurice H. ter Beek
, Fabio Gadducci
, Francesco Santini
:
Validating reconfigurations of reo circuits in an e-Banking scenario. ISARCS 2013: 39-48 - [c47]Maurice H. ter Beek
, Alberto Lluch-Lafuente
, Marinella Petrocchi:
Combining declarative and procedural views in the specification and analysis of product families. SPLC Workshops 2013: 10-17 - [c46]Dave Clarke, Ina Schaefer, Maurice H. ter Beek
, Sven Apel
, Joanne M. Atlee:
Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. SPLC 2013: 266-267 - 2012
- [c45]Maurice H. ter Beek
, Franco Mazzanti
, Aldi Sulova:
VMC: A Tool for Product Variability Analysis. FM 2012: 450-454 - [c44]Patrizia Asirelli, Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
:
A Compositional Framework to Derive Product Line Behavioural Descriptions. ISoLA (1) 2012: 146-161 - [c43]Maurice H. ter Beek
, Henry Muccini
, Patrizio Pelliccione
:
Assume-Guarantee Testing of Evolving Software Product Line Architectures. SERENE 2012: 91-105 - [c42]Maurice H. ter Beek
, Stefania Gnesi
, Franco Mazzanti
:
Demonstration of a model checker for the analysis of product variability. SPLC (2) 2012: 242-245 - [c41]Maurice H. ter Beek
, Martin Becker, Andreas Classen, Fabricia Roos-Frantz
, Ina Schaefer, Peter Y. H. Wong:
Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. SPLC (1) 2012: 286-287 - 2011
- [c40]Maurice H. ter Beek
, Erzsébet Csuhaj-Varjú, Markus Holzer
, György Vaszil:
Cooperating Distributed Grammar Systems: Components with Nonincreasing Competence. Computation, Cooperation, and Life 2011: 70-89 - [c39]Patrizia Asirelli, Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
:
A Model-Checking Tool for Families of Services. FMOODS/FORTE 2011: 44-58 - [c38]Patrizia Asirelli, Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
, Franco Mazzanti
:
Design and validation of variability in product lines. PLEASE@ICSE 2011: 25-30 - [c37]Maurice H. ter Beek
, Henry Muccini
, Patrizio Pelliccione
:
Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. SERENE 2011: 100-105 - [c36]Maurice H. ter Beek
, Stefania Gnesi
, Alessandro Fantechi, José Luiz Fiadeiro:
Variability and Rigour in Service Computing Engineering. SEW 2011: 122-127 - [c35]Patrizia Asirelli, Maurice H. ter Beek
, Stefania Gnesi
, Alessandro Fantechi:
Formal Description of Variability in Product Families. SPLC 2011: 130-139 - [c34]Maurice H. ter Beek
, Stefania Gnesi, Mercy N. Njima:
Product Lines for Service Oriented Applications - PL for SOA. WWV 2011: 34-48 - 2010
- [c33]Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro:
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). ACoTA 2010: 14-19 - [c32]Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova:
An Experience on Formal Analysis of a High-Level Graphical SOA Design. FM+AM 2010: 79-98 - [c31]Patrizia Asirelli, Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
:
A Logical Framework to Deal with Variability. IFM 2010: 43-58 - [c30]Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
A Deontic Logical Framework for Modelling Product Families. VaMoS 2010: 37-44 - 2009
- [c29]Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek
, Giorgio P. Faconti, Mieke Massink
:
A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems. EICS 2009: 211-220 - [c28]Maurice H. ter Beek
, Antonio Bucchiarone
, Stefania Gnesi
:
Dynamic Software Architecture Development: Towards an Automated Process. EUROMICRO-SEAA 2009: 105-108 - [c27]Maurice H. ter Beek
, Stefania Gnesi
, Carlo Montangero, Laura Semini
:
Detecting policy conflicts by model checking UML state machines. ICFI 2009: 59-74 - [c26]Maurice H. ter Beek
, Giorgio P. Faconti, Mieke Massink
, Philippe A. Palanque, Marco Winckler:
Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. INTERACT (1) 2009: 494-509 - [c25]Maurice H. ter Beek
, Franco Mazzanti
, Stefania Gnesi
:
CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC 2009: 2111-2117 - [c24]Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi:
Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76 - 2008
- [c23]Maurice H. ter Beek
, Stefania Gnesi
, Nora Koch
, Franco Mazzanti
:
Formal verification of an automotive scenario in service-oriented computing. ICSE 2008: 613-622 - [c22]Mieke Massink
, Diego Latella
, Maurice H. ter Beek, Michael D. Harrison, Michele Loreti:
A Fluid Flow Approach to Usability Analysis of Multi-user Systems. TAMODIA/HCSE 2008: 166-180 - [c21]Alessandro Aldini
, Maurice H. ter Beek
, Fabio Gadducci
:
Preface. VODCA@FOSAD 2008: 1-3 - 2007
- [c20]Maurice H. ter Beek
, Corrado Moiso, Marinella Petrocchi:
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. AICT 2007: 31 - [c19]Maurice H. ter Beek
, Alessandro Fantechi, Stefania Gnesi
, Franco Mazzanti
:
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. FMICS 2007: 133-148 - [c18]Maurice H. ter Beek
, Antonio Bucchiarone
, Stefania Gnesi
:
Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15 - 2006
- [c17]Maurice H. ter Beek
, Stefania Gnesi
, Franco Mazzanti
, Corrado Moiso:
Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS 2006: 287-296 - [c16]Maurice H. ter Beek
, Fabio Gadducci
:
Preface. VODCA@FOSAD 2006: 1-3 - [c15]Maurice H. ter Beek
, Fabio Gadducci
, Dirk Janssens:
A Calculus for Team Automata. SBMF 2006: 41-55 - 2005
- [c14]Maurice H. ter Beek, Mieke Massink
, Diego Latella:
Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50 - [c13]Maurice H. ter Beek, Mieke Massink
, Diego Latella
, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis:
A case study on the automated verification of groupware protocols. ICSE 2005: 596-603 - 2004
- [c12]Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi:
Model Checking Groupware Protocols. COOP 2004: 179-194 - [c11]Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Markus Holzer
, György Vaszil:
On Competence in CD Grammar Systems. Developments in Language Theory 2004: 76-88 - [c10]Maurice H. ter Beek
, Fabio Gadducci
:
Preface. VODCA@FOSAD 2004: 1-3 - [c9]Maurice H. ter Beek
, Gabriele Lenzini, Marinella Petrocchi:
Team Automata for Security: - A Survey -. SecCo 2004: 105-119 - [c8]Maurice H. ter Beek
, Mieke Massink
, Diego Latella
, Stefania Gnesi
, Alessandro Forghieri, Maurizio Sebastianis:
Model Checking Publish/Subscribe Notification for thinkteam®. FMICS 2004: 275-294 - 2003
- [c7]Maurice H. ter Beek:
Animal Farm: An Eco-Grammar System. Grammars and Automata for String Processing 2003: 9-16 - [c6]Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana:
Teams of Pushdown Automata. Ershov Memorial Conference 2003: 329-337 - [c5]Maurice H. ter Beek, Jetty Kleijn:
Team Automata Satisfying Compositionality. FME 2003: 381-400 - 2002
- [c4]Maurice H. ter Beek
, H. C. M. Kleijn:
Petri Net Control for Grammar Systems. Formal and Natural Computing 2002: 220-243 - 2001
- [c3]Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg:
Team automata for spatial access control. ECSCW 2001: 59-78 - 1999
- [c2]Maurice H. ter Beek:
Simple Eco-Grammar Systems with Prescribed Teams. Grammatical Models of Multi-Agent Systems 1999: 113-135 - 1997
- [c1]Maurice H. ter Beek:
Teams in Grammar Systems: Sub-Context-Free Cases. New Trends in Formal Languages 1997: 197-216
Parts in Books or Collections
- 2011
- [p2]Maurice H. ter Beek
:
Sensoria Results Applied to the Case Studies. Results of the SENSORIA Project 2011: 655-677 - [p1]Maurice H. ter Beek
, Alessandro Lapadula, Michele Loreti
, Claudio Palasciano:
Analysing Robot Movement Using the Sensoria Methods. Results of the SENSORIA Project 2011: 678-697
Editorship
- 2024
- [e23]Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - [e22]Maxime Cordy, Daniel Strüber, Mónica Pinto, Iris Groher, Deepak Dhungana, Jacob Krüger, Juliana Alves Pereira, Mathieu Acher, Thomas Thüm, Maurice H. ter Beek, Jessie Galasso-Carbonnel, Paolo Arcaini, Mohammad Reza Mousavi, Xhevahire Tërnava, José A. Galindo, Tao Yue, Lidia Fuentes, José Miguel Horcas:
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2024, Dommeldange, Luxembourg, September 2-6, 2024. ACM 2024, ISBN 979-8-4007-0593-9 [contents] - 2023
- [e21]Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - [e20]Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Ivan Machado, Silvia Regina Vergilio, Rick Rabiser, Tao Yue, Xavier Devroey, Mónica Pinto, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - [e19]Maurice H. ter Beek, Clemens Dubslaff:
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023. EPTCS 392, 2023 [contents] - 2022
- [e18]Maurice H. ter Beek
, Marjan Sirjani
:
Coordination Models and Languages - 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings. Lecture Notes in Computer Science 13271, Springer 2022, ISBN 978-3-031-08145-3 [contents] - [e17]Maurice H. ter Beek
, Rosemary Monahan
:
Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Lecture Notes in Computer Science 13274, Springer 2022, ISBN 978-3-031-07726-5 [contents] - 2020
- [e16]Maurice H. ter Beek
, Dejan Nickovic
:
Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings. Lecture Notes in Computer Science 12327, Springer 2020, ISBN 978-3-030-58297-5 [contents] - 2019
- [e15]Maurice H. ter Beek, Alessandro Fantechi, Laura Semini:
From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, Springer 2019, ISBN 978-3-030-30984-8 [contents] - [e14]Maurice H. ter Beek, Annabelle McIver, José N. Oliveira:
Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Lecture Notes in Computer Science 11800, Springer 2019, ISBN 978-3-030-30941-1 [contents] - 2017
- [e13]Maurice H. ter Beek, Walter Cazzola, Oscar Díaz, Marcello La Rosa, Roberto E. Lopez-Herrejon, Thomas Thüm, Javier Troya, Antonio Ruiz Cortés, David Benavides:
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017. ACM 2017, ISBN 978-1-4503-5119-5 [contents] - [e12]Maurice H. ter Beek, Norbert Siegmund, Ina Schaefer:
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2017, Eindhoven, Netherlands, February 1-3, 2017. ACM 2017, ISBN 978-1-4503-4811-9 [contents] - 2016
- [e11]Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp:
Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings. Lecture Notes in Computer Science 9933, Springer 2016, ISBN 978-3-319-45942-4 [contents] - [e10]Maurice H. ter Beek
, Michele Loreti
:
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. EPTCS 217, 2016 [contents] - 2015
- [e9]Maurice H. ter Beek, Alberto Lluch-Lafuente
:
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015. EPTCS 188, 2015 [contents] - 2014
- [e8]Stefania Gnesi, Alessandro Fantechi, Maurice H. ter Beek, Goetz Botterweck, Martin Becker:
18th International Software Product Lines Conference - Companion Volume for Workshop, Tools and Demo papers, SPLC '14, Florence, Italy, September 15-19, 2014. ACM 2014, ISBN 978-1-4503-2739-8 [contents] - [e7]Maurice H. ter Beek, António Ravara:
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014. EPTCS 163, 2014 [contents] - 2013
- [e6]Maurice H. ter Beek, Niels Lohmann
:
Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7843, Springer 2013, ISBN 978-3-642-38229-1 [contents] - 2009
- [e5]Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek:
Architecting Dependable Systems VI. Lecture Notes in Computer Science 5835, Springer 2009, ISBN 978-3-642-10247-9 [contents] - [e4]Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008. Electronic Notes in Theoretical Computer Science 236, Elsevier 2009 [contents] - [e3]Maurice H. ter Beek:
Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, YR-SOC 2009, Pisa, Italy, 17-19th June 2009. EPTCS 2, 2009 [contents] - 2007
- [e2]Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September 16-17, 2006. Electronic Notes in Theoretical Computer Science 168, Elsevier 2007 [contents] - 2006
- [e1]Maurice H. ter Beek, Fabio Gadducci:
Proceedings of the First International Workshop on Views on Designing Complex Architectures, VODCA@FOSAD 2004, Bertinoro, Italy, September 11-12, 2004. Electronic Notes in Theoretical Computer Science 142, Elsevier 2006 [contents]
Data and Artifacts
- 2019
- [d1]Christian Bach, Christian Toftemann Bæk, Maurice H. ter Beek
, Axel Legay, Alberto Lluch-Lafuente
, Andrea Vandin
:
Supplementary material for "BADGraph: Quantitative Modeling and Analysis of Probabilistic Attack Scenarios". Zenodo, 2019
Informal and Other Publications
- 2024
- [i20]Giovanna Broccia, Maurice H. ter Beek, Alberto Lluch-Lafuente, Paola Spoletini, Alessio Ferrari:
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements. CoRR abs/2404.06386 (2024) - [i19]Davide Basile, Maurice H. ter Beek, Felicita Di Giandomenico, Laura Carnevali, Alessandro Fantechi:
Advanced Integrated Evaluation of Railway Systems . ERCIM News 2024(137) (2024) - 2023
- [i18]Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Formal Modelling and Analysis of a Self-Adaptive Robotic System. CoRR abs/2308.14663 (2023) - 2022
- [i17]Davide Basile, Maurice H. ter Beek:
A Runtime Environment for Contract Automata. CoRR abs/2203.14122 (2022) - [i16]Maurice H. ter Beek, Alessio Ferrari:
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods. CoRR abs/2208.05266 (2022) - [i15]Davide Basile, Maurice H. ter Beek, Giovanna Broccia, Alessio Ferrari:
Empirical Software Engineering and Formal Methods for IoT Systems. ERCIM News 2022(131) (2022) - 2021
- [i14]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
Quantitative Security Risk Modeling and Analysis with RisQFLan. CoRR abs/2101.08677 (2021) - [i13]Alessio Ferrari, Franco Mazzanti, Davide Basile, Maurice H. ter Beek:
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design. CoRR abs/2101.11303 (2021) - [i12]Alessio Ferrari, Maurice H. ter Beek:
Formal Methods in Railways: a Systematic Mapping Study. CoRR abs/2107.05413 (2021) - [i11]Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença:
Featured Team Automata. CoRR abs/2108.01784 (2021) - 2019
- [i10]Davide Basile, Maurice H. ter Beek, Rosario Pugliese:
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services. CoRR abs/1910.00849 (2019) - 2018
- [i9]Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno:
Formal Methods for the Railway Sector. ERCIM News 2018(112) (2018) - 2017
- [i8]Maurice H. ter Beek, Axel Legay, Alberto Lluch-Lafuente, Andrea Vandin:
A framework for quantitative modeling and analysis of highly (re)configurable systems. CoRR abs/1707.08411 (2017) - 2015
- [i7]Maurice H. ter Beek, Josep Carmona, Jetty Kleijn:
Communication and Compatibility in Systems of Systems: Correctness-by-Construction. ERCIM News 2015(102) (2015) - 2014
- [i6]Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink:
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News 2014(98) (2014) - [i5]Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti:
KandISTI: A Family of Model Checkers for the Analysis of Software Designs. ERCIM News 2014(99) (2014) - 2013
- [i4]Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti:
VMC: A Tool for the Analysis of Variability in Software Product Lines. ERCIM News 2013(93) (2013) - 2012
- [i3]Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione:
Guaranteeing Correct Evolution of Software Product Lines. ERCIM News 2012(88) (2012) - 2008
- [i2]Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni:
Assisting the Design of an Industrial Groupware System by Model Checking. ERCIM News 2008(73) (2008) - 2007
- [i1]Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi:
Formal Modelling and Verification in Service-Oriented Computing. ERCIM News 2007(70) (2007)
Coauthor Index
aka: H. C. M. Kleijn
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-07 02:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint