dblp.uni-trier.dewww.uni-trier.de

Maurice H. ter Beek

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
33EEMaurice H. ter Beek, Franco Mazzanti, Stefania Gnesi: CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC 2009: 2111-2117
32EEPatrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76
31EEAlessandro Aldini, Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009)
2008
30EEMaurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti: Formal verification of an automotive scenario in service-oriented computing. ICSE 2008: 613-622
29EEMieke 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
28EEMaurice H. ter Beek, Fabio Gadducci, Dirk Janssens: A Calculus for Team Automata. Electr. Notes Theor. Comput. Sci. 195: 41-55 (2008)
2007
27EEMaurice H. ter Beek, Corrado Moiso, Marinella Petrocchi: Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. AICT 2007: 31
26EEMaurice 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
25EEMaurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15
24EEMaurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 168: 1-3 (2007)
23EEMaurice 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)
22EEMaurice H. ter Beek, Jetty Kleijn: Infinite unfair shuffles and associativity. Theor. Comput. Sci. 380(3): 401-410 (2007)
2006
21EEMaurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso: Formal Modelling and Verification of an Asynchronous Extension of SOAP. ECOWS 2006: 287-296
20EEMaurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 142: 1-3 (2006)
19 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)
2005
18EEMaurice H. ter Beek, Mieke Massink, Diego Latella: Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50
17EEMaurice 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
16EEMaurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi: Team Automata for Security: - A Survey -. Electr. Notes Theor. Comput. Sci. 128(5): 105-119 (2005)
15EEMaurice 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)
14EEMaurice H. ter Beek, Jetty Kleijn: Modularity for teams of I/O automata. Inf. Process. Lett. 95(5): 487-495 (2005)
13EEMaurice H. ter Beek, Carlos Martín-Vide, Victor Mitrana: Synchronized shuffles. Theor. Comput. Sci. 341(1-3): 263-275 (2005)
2004
12 Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi: Model Checking Groupware Protocols. COOP 2004: 179-194
11EEMaurice 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
10EEMaurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana: Teams of pushdown automata. Int. J. Comput. Math. 81(2): 141-156 (2004)
2003
9EEMaurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana: Teams of Pushdown Automata. Ershov Memorial Conference 2003: 329-337
8EEMaurice H. ter Beek, Jetty Kleijn: Team Automata Satisfying Compositionality. FME 2003: 381-400
7 Maurice H. ter Beek: Animal Farm: An Eco-Grammar System. Grammars and Automata for String Processing 2003: 9-16
6 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)
2002
5EEMaurice H. ter Beek, H. C. M. Kleijn: Petri Net Control for Grammar Systems. Formal and Natural Computing 2002: 220-243
2001
4 Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg: Team automata for spatial access control. ECSCW 2001: 59-78
1999
3 Maurice H. ter Beek: Simple Eco-Grammar Systems with Prescribed Teams. Grammatical Models of Multi-Agent Systems 1999: 113-135
1997
2 Maurice H. ter Beek: Teams in Grammar Systems: Sub-Context-Free Cases. New Trends in Formal Languages 1997: 197-216
1996
1EEMaurice H. ter Beek: Teams in Grammar Systems: Hybridity and Weak Rewriting. Acta Cybern. 12(4): 427-444 (1996)

Coauthor Index

1Alessandro Aldini [31]
2Patrizia Asirelli [32]
3Antonio Bucchiarone [25]
4Erzsébet Csuhaj-Varjú [9] [10] [11] [23]
5Clarence A. Ellis [4] [6]
6Alessandro Fantechi [26] [32]
7Alessandro Forghieri [15] [17]
8Fabio Gadducci [20] [24] [28] [31]
9Stefania Gnesi [12] [15] [17] [21] [25] [26] [30] [32] [33]
10Michael D. Harrison [29]
11Markus Holzer [11] [23]
12Dirk Janssens [28]
13Jetty Kleijn (H. C. M. Kleijn) [4] [5] [6] [8] [14] [22]
14Nora Koch [30]
15Diego Latella [12] [15] [17] [18] [29]
16Gabriele Lenzini [16] [19]
17Michele Loreti [29]
18Carlos Martín-Vide [13]
19Mieke Massink [12] [15] [17] [18] [29]
20Franco Mazzanti [21] [26] [30] [33]
21Victor Mitrana [9] [10] [13]
22Corrado Moiso [21] [27]
23Marinella Petrocchi [16] [19] [27]
24Grzegorz Rozenberg [4] [6]
25Maurizio Sebastianis [15] [17]
26György Vaszil [11] [23]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)