| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione |
Guaranteeing Correct Evolution of Software Product Lines.  |
ERCIM News  |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Mercy N. Njima |
Product Lines for Service Oriented Applications - PL for SOA |
WWV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Alessandro Lapadula, Michele Loreti, Claudio Palasciano |
Analysing Robot Movement Using the Sensoria Methods. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek |
Sensoria Results Applied to the Case Studies. |
Results of the SENSORIA Project |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
A Model-Checking Tool for Families of Services. |
FMOODS/FORTE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi |
Formal Description of Variability in Product Families. |
SPLC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione |
Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem. |
SERENE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova |
An Experience on Formal Analysis of a High-Level Graphical SOA Design. |
FM+AM |
2010 |
DBLP BibTeX RDF |
|
| 1 | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
A Logical Framework to Deal with Variability. |
IFM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi |
A Deontic Logical Framework for Modelling Product Families. |
VaMoS |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Jetty Kleijn |
Associativity of Infinite Synchronized Shuffles and Team Automata. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek (eds.) |
Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, (YR-SOC 2009), Pisa, Italy, 17-19th June 2009 |
YR-SOC |
2009 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
performance evaluation, human computer interaction, interruptions, formal description techniques, model-based approaches |
| 1 | Maurice H. ter Beek, Stefania Gnesi, Carlo Montangero, Laura Semini |
Detecting policy conflicts by model checking UML state machines. |
ICFI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Franco Mazzanti, Stefania Gnesi |
CMC-UMC: a framework for the verification of abstract service-oriented properties. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
model checking, service-oriented computing |
| 1 | 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 |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek (eds.) |
Architecting Dependable Systems VI |
WADS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi |
Dynamic Software Architecture Development: Towards an Automated Process. |
EUROMICRO-SEAA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi |
Deontic Logics for Modeling Behavioural Variability. |
VaMoS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Fabio Gadducci, Dirk Janssens |
A Calculus for Team Automata. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
Model-based usability analysis, Performance Evaluation Process Algebra, Formal Methods, Ordinary Differential Equations, Groupware Systems |
| 1 | Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti |
Formal verification of an automotive scenario in service-oriented computing. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
model checking, service-oriented computing, automotive systems |
| 1 | Maurice H. ter Beek, Jetty Kleijn |
Infinite unfair shuffles and associativity. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Fabio Gadducci |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi |
Formal Modelling and Verification in Service-Oriented Computing. |
ERCIM News |
2007 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Antonio Bucchiarone, Stefania Gnesi |
Web Service Composition Approaches: From Industrial Standards to Formal Methods. |
ICIW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Corrado Moiso, Marinella Petrocchi |
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks. |
AICT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Fabio Gadducci |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso |
Formal Modelling and Verification of an Asynchronous Extension of SOAP. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Jetty Kleijn |
Modularity for teams of I/O automata. |
Inf. Process. Lett. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Carlos Martín-Vide, Victor Mitrana |
Synchronized shuffles. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi |
Team Automata for Security: - A Survey -. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
publish/subscribe notification, thinkteam, model checking, groupware |
| 1 | Maurice H. ter Beek, Mieke Massink, Diego Latella |
Towards Model Checking Stochastic Aspects of the thinkteam User Interface. |
DSV-IS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana |
Teams of pushdown automata. |
Int. J. Comput. Math. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Markus Holzer, György Vaszil |
On Competence in CD Grammar Systems. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi |
Model Checking Groupware Protocols. |
COOP |
2004 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg |
Synchronizations in Team Automata for Groupware Systems. |
Computer Supported Cooperative Work |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Erzsébet Csuhaj-Varjú, Victor Mitrana |
Teams of Pushdown Automata. |
Ershov Memorial Conference |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Jetty Kleijn |
Team Automata Satisfying Compositionality. |
FME |
2003 |
DBLP DOI BibTeX RDF |
team automata, synchronizations, computations, compositionality, behaviour, shuffles |
| 1 | Maurice H. ter Beek |
Animal Farm: An Eco-Grammar System. |
Grammars and Automata for String Processing |
2003 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek, H. C. M. Kleijn |
Petri Net Control for Grammar Systems. |
Formal and Natural Computing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg |
Team automata for spatial access control. |
ECSCW |
2001 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek |
Simple Eco-Grammar Systems with Prescribed Teams. |
Grammatical Models of Multi-Agent Systems |
1999 |
DBLP BibTeX RDF |
|
| 1 | Maurice H. ter Beek |
Teams in Grammar Systems: Sub-Context-Free Cases. |
New Trends in Formal Languages |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek |
Teams in Grammar Systems: Hybridity and Weak Rewriting. |
Acta Cybern. |
1996 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")