Maurice H. ter Beek

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)

Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Guaranteeing Correct Evolution of Software Product Lines. ERCIM News 2012(88) (2012)

Maurice H. ter Beek, Jetty Kleijn: Vector team automata. Theor. Comput. Sci. 429: 21-29 (2012)

Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova: VMC: A Tool for Product Variability Analysis. FM 2012: 450-454

Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Compositional Framework to Derive Product Line Behavioural Descriptions. ISoLA (1) 2012: 146-161

Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Assume-Guarantee Testing of Evolving Software Product Line Architectures. SERENE 2012: 91-105

Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti: Demonstration of a model checker for the analysis of product variability. SPLC (2) 2012: 242-245

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

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)

Maurice H. ter Beek: Sensoria Results Applied to the Case Studies. Results of the SENSORIA Project 2011: 655-677

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

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

Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Model-Checking Tool for Families of Services. FMOODS/FORTE 2011: 44-58

Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. SERENE 2011: 100-105

Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro: Variability and Rigour in Service Computing Engineering. SEW 2011: 122-127

Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Formal Description of Variability in Product Families. SPLC 2011: 130-139

Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima: Product Lines for Service Oriented Applications - PL for SOA. WWV 2011: 34-48

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

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

Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Logical Framework to Deal with Variability. IFM 2010: 43-58

Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: A Deontic Logical Framework for Modelling Product Families. VaMoS 2010: 37-44

Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009)

Maurice H. ter Beek, Jetty Kleijn: Associativity of Infinite Synchronized Shuffles and Team Automata. Fundam. Inform. 91(3-4): 437-461 (2009)

Maurice H. ter Beek, Stefania Gnesi, Diego Latella, Mieke Massink, Maurizio Sebastianis, Gianluca Trentanni: Assisting the design of a groupware system. J. Log. Algebr. Program. 78(4): 191-232 (2009)

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

Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Dynamic Software Architecture Development: Towards an Automated Process. EUROMICRO-SEAA 2009: 105-108

Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini: Detecting policy conflicts by model checking UML state machines. ICFI 2009: 59-74

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

Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi: CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC 2009: 2111-2117

Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76

Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek (Eds.): Architecting Dependable Systems VI. Lecture Notes in Computer Science 5835, Springer 2009, isbn 978-3-642-10247-9

Maurice H. ter Beek (Ed.): Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, (YR-SOC 2009), Pisa, Italy, 17-19th June 2009. EPTCS 2, 2009

Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens: A Calculus for Team Automata. Electr. Notes Theor. Comput. Sci. 195: 41-55 (2008)

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)

Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti: Formal verification of an automotive scenario in service-oriented computing. ICSE 2008: 613-622

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

Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 168: 1-3 (2007)

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)

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)

Maurice H. ter Beek, Jetty Kleijn: Infinite unfair shuffles and associativity. Theor. Comput. Sci. 380(3): 401-410 (2007)

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

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

Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15

Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 142: 1-3 (2006)

Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi: A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols. Journal of Automata, Languages and Combinatorics 11(4): 345-374 (2006)

Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso: Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS 2006: 287-296

Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi: Team Automata for Security: - A Survey -. Electr. Notes Theor. Comput. Sci. 128(5): 105-119 (2005)

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis: Model Checking Publish/Subscribe Notification for thinkteam^®. Electr. Notes Theor. Comput. Sci. 133: 275-294 (2005)

Maurice H. ter Beek, Jetty Kleijn: Modularity for teams of I/O automata. Inf. Process. Lett. 95(5): 487-495 (2005)

Maurice H. ter Beek, Carlos Martín-Vide, Victor Mitrana: Synchronized shuffles. Theor. Comput. Sci. 341(1-3): 263-275 (2005)

Maurice H. ter Beek, Mieke Massink, Diego Latella: Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50

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

Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana: Teams of pushdown automata. Int. J. Comput. Math. 81(2): 141-156 (2004)

Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi: Model Checking Groupware Protocols. COOP 2004: 179-194

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

Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg: Synchronizations in Team Automata for Groupware Systems. Computer Supported Cooperative Work 12(1): 21-69 (2003)

Maurice H. ter Beek: Animal Farm: An Eco-Grammar System. Grammars and Automata for String Processing 2003: 9-16

Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana: Teams of Pushdown Automata. Ershov Memorial Conference 2003: 329-337

Maurice H. ter Beek, Jetty Kleijn: Team Automata Satisfying Compositionality. FME 2003: 381-400

Maurice H. ter Beek, H. C. M. Kleijn: Petri Net Control for Grammar Systems. Formal and Natural Computing 2002: 220-243

Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg: Team automata for spatial access control. ECSCW 2001: 59-78

Maurice H. ter Beek: Simple Eco-Grammar Systems with Prescribed Teams. Grammatical Models of Multi-Agent Systems 1999: 113-135

Maurice H. ter Beek: Teams in Grammar Systems: Sub-Context-Free Cases. New Trends in Formal Languages 1997: 197-216

Maurice H. ter Beek: Teams in Grammar Systems: Hybridity and Weak Rewriting. Acta Cybern. 12(4): 427-444 (1996)