Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaurice H. ter Beek
Person information
- affiliation: National Research Council, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j40]Alessio Ferrari
, Maurice H. ter Beek:
Formal Methods in Railways: A Systematic Mapping Study. ACM Comput. Surv. 55(4): 69:1-69:37 (2023)- [j39]Maurice H. ter Beek, Ina Schaefer:
Systems and software product lines of the future. J. Syst. Softw. 199: 111622 (2023) - [c114]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 - [c113]Davide Basile, Maurice H. ter Beek:
A Runtime Environment for Contract Automata. FM 2023: 550-567 - 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) - [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 - [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] - [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
- [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) - [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 - [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) - 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) - [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 - [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]
2010 – 2019
- 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) - [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 - [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] - [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
- [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) - [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 - [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
- [j17]Maurice H. ter Beek, Alberto Lluch-Lafuente:
Automated specification and verification of Web-based applications. J. Log. Algebraic Methods Program. 87: 51 (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 - [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] - [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) - 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) - [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 - [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
- [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 - [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] - [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
- [j13]Maurice H. ter Beek, Jetty Kleijn:
On Distributed Cooperation and Synchronised Collaboration. J. Autom. Lang. Comb. 19(1-4): 17-32 (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]