Maurice H. ter Beek

	2012
56		Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Guaranteeing Correct Evolution of Software Product Lines. ERCIM News 2012(88): (2012)
	2011
55		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
54		Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Model-Checking Tool for Families of Services. FMOODS/FORTE 2011: 44-58
53		Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione: Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. SERENE 2011: 100-105
52		Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Formal Description of Variability in Product Families. SPLC 2011: 130-139
51		Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima: Product Lines for Service Oriented Applications - PL for SOA WWV 2011: 34-48
50		Maurice H. ter Beek: Sensoria Results Applied to the Case Studies. Results of the SENSORIA Project 2011: 655-677
49		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
48		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)
	2010
47		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
46		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
45		Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi: A Logical Framework to Deal with Variability. IFM 2010: 43-58
44		Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: A Deontic Logical Framework for Modelling Product Families. VaMoS 2010: 37-44
	2009
43		Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek: Architecting Dependable Systems VI Springer 2009
42		Maurice H. ter Beek: Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, (YR-SOC 2009), Pisa, Italy, 17-19th June 2009 YR-SOC 2009
41		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
40		Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Dynamic Software Architecture Development: Towards an Automated Process. EUROMICRO-SEAA 2009: 105-108
39		Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini: Detecting policy conflicts by model checking UML state machines. ICFI 2009: 59-74
38		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
37		Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi: CMC-UMC: a framework for the verification of abstract service-oriented properties. SAC 2009: 2111-2117
36		Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi: Deontic Logics for Modeling Behavioural Variability. VaMoS 2009: 71-76
35		Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 236: 1-3 (2009)
34		Maurice H. ter Beek, Jetty Kleijn: Associativity of Infinite Synchronized Shuffles and Team Automata. Fundam. Inform. 91(3-4): 437-461 (2009)
33		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)
	2008
32		Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti: Formal verification of an automotive scenario in service-oriented computing. ICSE 2008: 613-622
31		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
30		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)
29		Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens: A Calculus for Team Automata. Electr. Notes Theor. Comput. Sci. 195: 41-55 (2008)
	2007
28		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
27		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
26		Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi: Web Service Composition Approaches: From Industrial Standards to Formal Methods. ICIW 2007: 15
25		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)
24		Maurice H. ter Beek, Fabio Gadducci: Preface. Electr. Notes Theor. Comput. Sci. 168: 1-3 (2007)
23		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		Maurice H. ter Beek, Jetty Kleijn: Infinite unfair shuffles and associativity. Theor. Comput. Sci. 380(3): 401-410 (2007)
	2006
21		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		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		Maurice H. ter Beek, Mieke Massink, Diego Latella: Towards Model Checking Stochastic Aspects of the thinkteam User Interface. DSV-IS 2005: 39-50
17		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		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		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		Maurice H. ter Beek, Jetty Kleijn: Modularity for teams of I/O automata. Inf. Process. Lett. 95(5): 487-495 (2005)
13		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		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		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		Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana: Teams of Pushdown Automata. Ershov Memorial Conference 2003: 329-337
8		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		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		Maurice H. ter Beek: Teams in Grammar Systems: Hybridity and Weak Rewriting. Acta Cybern. 12(4): 427-444 (1996)

Coauthor Index

1	Alessandro Aldini	[35]
2	Patrizia Asirelli	[36] [44] [45] [52] [54]
3	Antonio Bucchiarone	[26] [40]
4	Erzsébet Csuhaj-Varjú	[9] [10] [11] [23] [55]
5	Clarence A. Ellis	[4] [6]
6	Jean-Charles Fabre	[43]
7	Giorgio P. Faconti (Giorgio Faconti)	[38] [41]
8	Alessandro Fantechi	[27] [36] [44] [45] [47] [48] [52] [54]
9	Alessandro Forghieri	[15] [17]
10	Cristina Gacek	[43]
11	Fabio Gadducci	[20] [24] [29] [35] [43]
12	Stefania Gnesi	[12] [15] [17] [21] [25] [26] [27] [30] [32] [33] [36] [37] [39] [40] [44] [45] [47] [48] [51] [52] [54]
13	Michael D. Harrison	[31]
14	Markus Holzer	[11] [23] [55]
15	Dirk Janssens	[29]
16	Jetty Kleijn (H. C. M. Kleijn)	[4] [5] [6] [8] [14] [22] [34]
17	Nora Koch	[32]
18	Jean-François Ladry	[41]
19	Alessandro Lapadula	[49]
20	Diego Latella	[12] [15] [17] [18] [30] [31] [33]
21	Rogério de Lemos	[43]
22	Gabriele Lenzini	[16] [19]
23	Michele Loreti	[31] [49]
24	Carlos Martín-Vide	[13]
25	Fabio Martinelli	[25]
26	Mieke Massink	[12] [15] [17] [18] [30] [31] [33] [38] [41]
27	Franco Mazzanti	[21] [25] [27] [32] [37] [46] [48]
28	Victor Mitrana	[9] [10] [13]
29	Corrado Moiso	[21] [28]
30	Carlo Montangero	[39]
31	Henry Muccini	[53] [56]
32	Mercy N. Njima	[51]
33	Philippe A. Palanque	[38] [41]
34	Claudio Palasciano	[49]
35	Patrizio Pelliccione	[53] [56]
36	Marinella Petrocchi	[16] [19] [25] [28]
37	Grzegorz Rozenberg	[4] [6]
38	Maurizio Sebastianis	[15] [17] [30] [33]
39	Laura Semini	[39]
40	Aldi Sulova	[46]
41	Gianluca Trentanni	[30] [33]
42	György Vaszil	[11] [23] [55]
43	Marco Winckler	[38] [41]
44	Gianluigi Zavattaro	[47]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page