2009 |
33 | EE | Maurice H. ter Beek,
Franco Mazzanti,
Stefania Gnesi:
CMC-UMC: a framework for the verification of abstract service-oriented properties.
SAC 2009: 2111-2117 |
32 | EE | Patrizia Asirelli,
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi:
Deontic Logics for Modeling Behavioural Variability.
VaMoS 2009: 71-76 |
31 | EE | Alessandro Aldini,
Maurice H. ter Beek,
Fabio Gadducci:
Preface.
Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009) |
2008 |
30 | EE | Maurice H. ter Beek,
Stefania Gnesi,
Nora Koch,
Franco Mazzanti:
Formal verification of an automotive scenario in service-oriented computing.
ICSE 2008: 613-622 |
29 | EE | 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 |
28 | EE | Maurice H. ter Beek,
Fabio Gadducci,
Dirk Janssens:
A Calculus for Team Automata.
Electr. Notes Theor. Comput. Sci. 195: 41-55 (2008) |
2007 |
27 | EE | 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 |
26 | EE | 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 |
25 | EE | Maurice H. ter Beek,
Antonio Bucchiarone,
Stefania Gnesi:
Web Service Composition Approaches: From Industrial Standards to Formal Methods.
ICIW 2007: 15 |
24 | EE | Maurice H. ter Beek,
Fabio Gadducci:
Preface.
Electr. Notes Theor. Comput. Sci. 168: 1-3 (2007) |
23 | EE | 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) |
22 | EE | Maurice H. ter Beek,
Jetty Kleijn:
Infinite unfair shuffles and associativity.
Theor. Comput. Sci. 380(3): 401-410 (2007) |
2006 |
21 | EE | Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
Corrado Moiso:
Formal Modelling and Verification of an Asynchronous Extension of SOAP.
ECOWS 2006: 287-296 |
20 | EE | Maurice 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 |
18 | EE | Maurice H. ter Beek,
Mieke Massink,
Diego Latella:
Towards Model Checking Stochastic Aspects of the thinkteam User Interface.
DSV-IS 2005: 39-50 |
17 | EE | 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 |
16 | EE | Maurice H. ter Beek,
Gabriele Lenzini,
Marinella Petrocchi:
Team Automata for Security: - A Survey -.
Electr. Notes Theor. Comput. Sci. 128(5): 105-119 (2005) |
15 | EE | 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) |
14 | EE | Maurice H. ter Beek,
Jetty Kleijn:
Modularity for teams of I/O automata.
Inf. Process. Lett. 95(5): 487-495 (2005) |
13 | EE | Maurice 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 |
11 | EE | 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 |
10 | EE | Maurice H. ter Beek,
Erzsébet Csuhaj-Varjú,
Victor Mitrana:
Teams of pushdown automata.
Int. J. Comput. Math. 81(2): 141-156 (2004) |
2003 |
9 | EE | Maurice H. ter Beek,
Erzsébet Csuhaj-Varjú,
Victor Mitrana:
Teams of Pushdown Automata.
Ershov Memorial Conference 2003: 329-337 |
8 | EE | Maurice 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 |
5 | EE | Maurice 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 |
1 | EE | Maurice H. ter Beek:
Teams in Grammar Systems: Hybridity and Weak Rewriting.
Acta Cybern. 12(4): 427-444 (1996) |