Maurice ter Beek

Contact information

Istituto di Scienza e Tecnologie dell'Informazione
Consiglio Nazionale delle Ricerche
Area della Ricerca di Pisa
Via G. Moruzzi 1
56124 Pisa
Italy

Office phone: +39-050-3153471
Office fax: +39-050-3152810

Current projects

• Workshop Chair of SEFM 2010: 8th IEEE International Conference on Software Engineering and Formal methods, Pisa, Italy, 13-18 September 2010
• Steering Committee member of ISARCS 2010: 1st International Symposium on Architecting Critical Systems, federated with CompArch 2010, Prague, Czech Republic, 23-25 June, 2010 - feel free to submit a paper!
• PC member of SOAP 2010: 25th Annual ACM Symposium on Applied Computing - Track on Service Oriented Architectures and Programming, Sierre, Switzerland, 21-26 March, 2010
• PC member of special session on Trust and Context in Ubiquitous Computing at IMIS 2010, Krakow, Poland, 15-18 February, 2010
• Participating in the MIUR-PRIN 2007 project D-ASAP, 2008-2009
• Participating in the CNR-RSTL project XXL (Sviluppo di nuovi strumenti e tecniche per lo specifica e verifica formale di sistemi ad elevata granularità), 2008-2009
• Participating in the MIUR-FIRB project TOCAI.IT (Tecnologie Orientate alla Conoscenza per Aggrezioni di Imprese per Internet), 2006-2009
• Participating in the EU FP6-IP-IST-016004 project Sensoria (Software Engineering for Service-Oriented Overlay Computers), 2005-2010
• Promoting Team Automata - feel free to use them! (tool & tutorial written by Jonas Casanova)
• Maintaining the Bibliography of Team Automata (also available in BibTeX or postscript format)

Selected Past projects

• PC member of ASSE 2009: 10th Argentine Symposium on Software Engineering, Mar del Plata, Argentina, 27-28 August, 2009
• PC member and organising chair of YR-SOC 2009: the 4th European Young Researchers Workshop on Service-Oriented Computing, Pisa, Italy, 17-19 June, 2009
• PC member and co-organiser of VODCA 2008: the 3rd international worskhop on Views On Designing Complex Architectures, Bertinoro, Italy, 30-31 August, 2008
• PC member of CHINA 2008: Concurrency metHods: Issues aNd Applications, Xi'an, China, 24 June, 2008
• Participating in the mini-project FAERUS (Formal Analysis of Evolving Resilient Usable Systems) in the context of the EU Network of Excellence ReSIST, 2008
• PC member of ASSE 2007: the 8th Argentine Symposium on Software Engineering, Mar del Plata, Argentine, 29-30 August, 2007
• PC chair and co-organiser of VODCA 2006: the 2nd international worskhop on Views On Designing Complex Architectures
• Organising the seminar Gene Assembly in Ciliates: a Splendid Example of Natural Computing by G. Rozenberg at my institute ISTI-CNR in Pisa, Italy, on Friday 24 June at 10:00 in Aula 27
• Participating in the MIUR project "Instruments, Environments and Innovative Applications for the Information Society", subproject SP4 "Software Architecture for High Quality Services for Global Computing on Cooperative Wide Area Networks", 2003-2004
• Organising chair and PC member of VODCA 2004: the 1st international workshop on Views On Designing Complex Architectures

Short curriculum vitae (full version in or in )

General

• Born: October 7, 1972 in 's-Gravenhage, The Netherlands
  
• Citizenship: Dutch
  
• Languages: Dutch (mother language), English (excellent), Italian (very good), German (good), Hungarian (good), and French (scholastic)

Education and Employment

• Researcher at the Formal Methods && Tools Group of the Institute of Information Science and Technologies (ISTI) of the Italian National Research Council (CNR) in Pisa, Italy, as of November 2003
• Teaching assistant for Software Engineering at the Department of Computer Science of the University of Pisa in Pisa, Italy, 2007
• SegraVis fellow at the FOrmal Techniques in Software engineering research group of the Department of Mathematics and Computer Science of the University of Antwerp in Antwerp, Belgium, under the local supervision of Prof.dr. D. Janssens, January 2005 and August 2005
• Obtained Ph.D. degree in Computer Science at Leiden University, The Netherlands, with Ph.D. thesis Team Automata - A Formal Approach to the Modeling of Collaboration Between System Components with promotor Prof.dr. G. Rozenberg, copromotor Dr. H.C.M. Kleijn, and referent Prof.dr. C.A. Ellis, 2003
• ERCIM fellow at the Formal Methods && Tools Group of the Institute of Information Science and Technologies (ISTI) of the Italian National Research Council (CNR) in Pisa, Italy, under the local supervision of Dott.ssa S. Gnesi, 2003
• ERCIM fellow at the Theoretical Computer Science Research Group of the Computer and Automation Research Institute of the Hungarian Academy of Sciences in Budapest, Hungary, under the local supervision of Dr. E. Csuhaj-Varjú, 2002
• Lecturer within the LIACS at Leiden University, The Netherlands, 2001
• Research for Ph.D. thesis partly done (with a Socrates grant of 8 months from the European Union) in the Research Group on Algorithms and Data Structures at the Department of Computer Science of the University of Pisa in Pisa, Italy, 2000-2001
• Ph.D. student in the Theoretical Computer Science group of Prof.dr. G. Rozenberg within the LIACS at Leiden University, The Netherlands, 1996-2001
• Graduated in Theoretical Computer Science in the Theoretical Computer Science group within the LIACS at Leiden University, The Netherlands, with Master's thesis Teams in grammar systems under the local supervision of Prof.dr. G. Rozenberg and Dr. H.C.M. Kleijn, 1996
• Research for Master's thesis completed (with a cultural exchange scholarship of 9 months from the Hungarian Ministry of Culture and Education) in the Combinatorial Computer Science Research Group at the Computer and Automation Research Institute of the Hungarian Academy of Sciences in Budapest, Hungary, under the local supervision of Dr. E. Csuhaj-Varjú, 1995-1996
• Studied (with a cultural exchange scholarship of 9 months from the Hungarian Ministry of Culture and Education) at the Department of General Computer Science of the Eötvös Loránd University in Budapest, Hungary, 1995-1996
• Studied Computer Science within the Leiden Institute of Advanced Computer Science (LIACS) at Leiden University, The Netherlands, 1990-1996

Scientific curriculum vitae

Selected Recent Publications (all publications)

• Architecting Dependable Systems VI (R. de Lemos, J.-C. Fabre, C. Gacek, F. Gadducci, and M. ter Beek, eds.). Lecture Notes in Computer Science 5835, Springer-Verlag, Berlin, 2009.

• P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi, A deontic logical framework for modelling product families. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), Linz, Austria (D. Benavides, D. Batory, and P. Grünbacher, eds.), ICB Research Report 37, Universität Duisburg Essen, 2010, 37 - 44.
• M.H. ter Beek, A. Bucchiarone, and S. Gnesi, Dynamic Software Architecture Development: Towards an Automated Process. In Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'09), Patras, Greece, IEEE Press, 2009, 105 - 108.
• M.H. ter Beek, G.P. Faconti, M. Massink, P.A. Palanque and M. Winckler, Resilience of Interaction Techniques to Interrupts: A Formal Model-Based Approach. In Human-Computer Interaction - INTERACT 2009: Part I of the Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT'09), Uppsala, Sweden (T. Gross et al., eds.), Lecture Notes in Computer Science 5726, Springer-Verlag, Berlin, 2009, 494 - 509.
• P. Palanque, M. Winckler, J.-F. Ladry, M.H. ter Beek, G. Faconti, and M. Massink, A Formal Approach Supporting the Comparative Predictive Assessment of the Interruption-Tolerance of Interactive Systems. In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'09), Pittsburgh, PA, USA (G. Calvary, T.C.N. Graham, and P. Gray, eds.), ACM Press, 2009, 211 - 220.
• M.H. ter Beek, S. Gnesi, C. Montangero, and L. Semini, Detecting Policy Conflicts by Model Checking UML State Machines. In Feature Interactions in Software and Communication Systems X (M. Nakamura and S. Reiff-Marganiec, eds.), IOS Press, Amsterdam, 2009, 59 - 74.
• M.H. ter Beek and J. Kleijn, Associativity of Infinite Synchronized Shuffles and Team Automata. Fundamenta Informaticae 91, 3-4 (2009), 437 - 461.
• M.H. ter Beek, F. Mazzanti, and S. Gnesi, CMC-UMC: A Framework for the Verification of Abstract Service-Oriented Properties. In Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC'09), Honolulu, Hawaii, USA, ACM Press, 2009, 2111 - 2117.
• M.H. ter Beek, S. Gnesi, D. Latella, M. Massink, M. Sebastianis, and G. Trentanni, Assisting the Design of a Groupware System - Model Checking Usability Aspects of thinkteam. The Journal of Logic and Algebraic Programming 78, 4 (2009), 191 - 232.
• P. Asirelli, M.H. ter Beek, A. Fantechi, and S. Gnesi, Deontic Logics for Modeling Behavioural Variability. In Proceedings of the Third International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'09), Sevilla, Spain (D. Benavides, A. Metzger, and U. Eisenecker, eds.), ICB Research Report 29, Universität Duisburg Essen, 2009, 71 - 76.
• M. Massink, D. Latella, M.H. ter Beek, M. Harrison, and M. Loreti, A Fluid Flow Approach to Usability Analysis of Multi-user Systems. In Engineering Interactive Systems 2008 - Proceedings of the 2nd Conference on Human-Centered Software Engineering (HCSE'08), Pisa, Italy (P. Forbrig and F. Paternò, eds.), Lecture Notes in Computer Science 5247, Springer-Verlag, Berlin, 2008, 166 - 180.
• M.H. ter Beek, S. Gnesi, N. Koch, and F. Mazzanti, Formal Verification of an Automotive Scenario in Service-Oriented Computing. In Proceedings of the 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany, ACM Press, New York, 2008, 613 - 622.
• M.H. ter Beek, A. Fantechi, S. Gnesi, and F. Mazzanti, An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. In Formal Methods for Industrial Critical Systems - Revised Selected Papers of the 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'07), Berlin, Germany (S. Leue and P. Merino, eds.), Lecture Notes in Computer Science 4916, Springer-Verlag, Berlin, 2008, 133 - 148.
• M.H. ter Beek, F. Gadducci, and D. Janssens, A Calculus for Team Automata. In Proceedings of the Brazilian Symposium on Formal Methods (SBMF'06), Natal, Rio Grande do Norte, Brazil (A. Martins Moreira and L. Ribeiro, eds.), Electronic Notes in Theoretical Computer Science 195, Elsevier Science Publishers, 2008, 41 - 55.
• M.H. ter Beek, A. Bucchiarone, and S. Gnesi, Formal Methods for Service Composition. Annals of Mathematics, Computing & Teleinformatics 1, 5 (2007), 1 - 10.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, On Competence in CD Grammar Systems with Parallel Rewriting. International Journal of Foundations of Computer Science 18, 6 (2007), 1425 - 1439.
• M.H. ter Beek and J. Kleijn, Infinite Unfair Shuffles and Associativity. Theoretical Computer Science 380, 3 (2007), 401 - 410.
• M.H. ter Beek, G. Lenzini, and M. Petrocchi, A Team Automaton Scenario for the Analysis of Security Properties in Communication Protocols. Journal of Automata, Languages and Combinatorics 11, 4 (2006), 345 - 374.
• M.H. ter Beek, S. Gnesi, F. Mazzanti, and C. Moiso, Formal Modelling and Verification of an Asynchronous Extension of SOAP. In Proceedings of the 4th IEEE European Conference on Web Services (ECOWS'06), Zurich, Switzerland (A. Bernstein, T. Gschwind, and W. Zimmermann, eds.), IEEE Computer Society, Los Alamitos, CA, 2006, 287 - 296.
• M.H. ter Beek, M. Massink, and D. Latella, Towards Model Checking Stochastic Aspects of the thinkteam User Interface. In Interactive Systems: Design, Specification, and Verification - Revised papers of the 12th International Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS'05), Newcastle upon Tyne, UK (S.W. Gilroy and M.D. Harrison, eds.), Lecture Notes in Computer Science 3941, Springer, Berlin, 2006, 39 - 50.
• M.H. ter Beek, C. Martín-Vide, and V. Mitrana, Synchronized Shuffles. Theoretical Computer Science 341, 1-3 (2005), 263 - 275.
• M.H. ter Beek and J. Kleijn, Modularity for Teams of I/O Automata. Information Processing Letters 95, 5 (2005), 487 - 495.
• M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, A Case Study on the Automated Verification of Groupware Protocols. In Proceedings of the 27th International Conference on Software Engineering (ICSE'05), St. Louis, MO, U.S.A., ACM Press, New York, 2005, 596 - 603.
• M.H. ter Beek, M. Massink, D. Latella, S. Gnesi, A. Forghieri, and M. Sebastianis, Model Checking Publish/Subscribe Notification for thinkteam. In Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), Linz, Austria (J. Bicarregui, A. Butterfield, and A. Arenas, eds.), Electronic Notes in Theoretical Computer Science 133, Elsevier Science Publishers, 2005, 275 - 294.
• M.H. ter Beek, E. Csuhaj-Varjú, M. Holzer, and Gy. Vaszil, On Competence in CD Grammar Systems. In Proceedings of the Eighth International Conference on Developments in Language Theory (DLT'04), Auckland, New Zealand (C.S. Calude, E. Calude, and M.J. Dinneen, eds.), Lecture Notes in Computer Science 3340, Springer-Verlag, Berlin, 2004, 76 - 88.
• M.H. ter Beek, M. Massink, D. Latella, and S. Gnesi, Model Checking Groupware Protocols. In Cooperative Systems Design - Scenario-Based Design of Collaborative Systems (F. Darses, R. Dieng, C. Simone, and M. Zacklad, eds.), Frontiers in Artificial Intelligence and Applications 107, IOS Press, Amsterdam, 2004, 179 - 194.
• M.H. ter Beek, E. Csuhaj-Varjú, and V. Mitrana, Teams of Pushdown Automata. International Journal of Computer Mathematics 81, 2 (2004), 141 - 156.
• M.H. ter Beek and J. Kleijn, Team Automata Satisfying Compositionality. In Proceedings of FME 2003: Formal Methods - the 12th International Symposium of Formal Methods Europe, Pisa, Italy (K. Araki, S. Gnesi, and D. Mandrioli, eds.), Lecture Notes in Computer Science 2805, Springer-Verlag, Berlin, 2003, 381 - 400.
• M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg, Synchronizations in Team Automata for Groupware Systems. Computer Supported Cooperative Work - The Journal of Collaborative Computing 12, 1 (2003), 21 - 69.

Quote

Disclaimer and Acknowledgements

Most of the papers made available via my homepage have appeared in print and their copyright is often held by the publisher. Hence, while these papers can be used for personal use, their redistribution or reprinting for commercial purposes is prohibited.

The rotating images on the top of my homepage have been created with Wordle, while the rotating JavaScript has been freely provided by The JavaScript Source.