Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Maurice H. ter Beek
2010 – today
- 2013
[j22]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)- [c40]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
- [c39]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
- [e3]Maurice H. ter Beek, Niels Lohmann (Eds.): 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
- 2012
- [j21]Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Guaranteeing Correct Evolution of Software Product Lines. ERCIM News 2012(88) (2012)
- [j20]
- [c38]Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova: VMC: A Tool for Product Variability Analysis. FM 2012: 450-454
- [c37]Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Compositional Framework to Derive Product Line Behavioural Descriptions. ISoLA (1) 2012: 146-161
- [c36]Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Assume-Guarantee Testing of Evolving Software Product Line Architectures. SERENE 2012: 91-105
- [c35]Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti: Demonstration of a model checker for the analysis of product variability. SPLC (2) 2012: 242-245
- [c34]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
- [j19]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)
- [c33]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
- [c32]Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Model-Checking Tool for Families of Services. FMOODS/FORTE 2011: 44-58
- [c31]Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. SERENE 2011: 100-105
- [c30]Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, José Luiz Fiadeiro: Variability and Rigour in Service Computing Engineering. SEW 2011: 122-127
- [c29]Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Formal Description of Variability in Product Families. SPLC 2011: 130-139
- [c28]Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima: Product Lines for Service Oriented Applications - PL for SOA. WWV 2011: 34-48
- [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
- 2010
- [c27]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
- [c26]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
- [c25]Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Logical Framework to Deal with Variability. IFM 2010: 43-58
- [c24]Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: A Deontic Logical Framework for Modelling Product Families. VaMoS 2010: 37-44
2000 – 2009
- 2009
- [j18]Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009)
- [j17]Maurice H. ter Beek, Jetty Kleijn: Associativity of Infinite Synchronized Shuffles and Team Automata. Fundam. Inform. 91(3-4): 437-461 (2009)
- [j16]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)
- [c23]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
- [c22]Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Dynamic Software Architecture Development: Towards an Automated Process. EUROMICRO-SEAA 2009: 105-108
- [c21]Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini: Detecting policy conflicts by model checking UML state machines. ICFI 2009: 59-74
- [c20]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
- [c19]Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi: CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC 2009: 2111-2117
- [c18]Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76
- [e2]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
- [e1]
- 2008
- [j15]Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens: A Calculus for Team Automata. Electr. Notes Theor. Comput. Sci. 195: 41-55 (2008)
- [j14]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)
- [c17]Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti: Formal verification of an automotive scenario in service-oriented computing. ICSE 2008: 613-622
- [c16]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
- 2007
- [j13]
- [j12]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)
- [j11]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)
- [j10]Maurice H. ter Beek, Jetty Kleijn: Infinite unfair shuffles and associativity. Theor. Comput. Sci. 380(3): 401-410 (2007)
- [c15]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
- [c14]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
- [c13]Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15
- 2006
- [j9]
- [j8]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)
- [c12]Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso: Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS 2006: 287-296
- 2005
- [j7]Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi: Team Automata for Security: - A Survey -. Electr. Notes Theor. Comput. Sci. 128(5): 105-119 (2005)
- [j6]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)
- [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)
- [c11]Maurice H. ter Beek, Mieke Massink, Diego Latella: Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50
- [c10]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
- [j3]Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana: Teams of pushdown automata. Int. J. Comput. Math. 81(2): 141-156 (2004)
- [c9]Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi: Model Checking Groupware Protocols. COOP 2004: 179-194
- [c8]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
- 2003
- [j2]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)
- [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]
- 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
1990 – 1999
- 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
- 1996
- [j1]Maurice H. ter Beek: Teams in Grammar Systems: Hybridity and Weak Rewriting. Acta Cybern. 12(4): 425-444 (1996)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:53 CEST by the dblp team