Maurice H. ter Beek
Maurice H. ter Beek
ISTI, CNR
Geverifieerd e-mailadres voor isti.cnr.it - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Web service composition approaches: From industrial standards to formal methods
M Ter Beek, A Bucchiarone, S Gnesi
Second International Conference on Internet and Web Applications and …, 2007
1652007
Formal methods for service composition
MH Ter Beek, A Bucchiarone, S Gnesi
Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007
1182007
Formal description of variability in product families
P Asirelli, MH Ter Beek, S Gnesi, A Fantechi
2011 15th International Software Product Line Conference, 130-139, 2011
1122011
Synchronizations in team automata for groupware systems
MH Ter Beek, CA Ellis, J Kleijn, G Rozenberg
Computer Supported Cooperative Work (CSCW) 12 (1), 21-69, 2003
1042003
A state/event-based model-checking approach for the analysis of abstract system properties
MH Ter Beek, A Fantechi, S Gnesi, F Mazzanti
Science of Computer Programming 76 (2), 119-135, 2011
80*2011
A logical framework to deal with variability
P Asirelli, MH Ter Beek, A Fantechi, S Gnesi
International Conference on Integrated Formal Methods, 43-58, 2010
722010
An action/state-based model-checking approach for the analysis of communication protocols for Service-Oriented Applications
MH Ter Beek, A Fantechi, S Gnesi, F Mazzanti
International Workshop on Formal Methods for Industrial Critical Systems …, 2007
70*2007
VMC: a tool for product variability analysis
MH Ter Beek, F Mazzanti, A Sulova
International Symposium on Formal Methods, 450-454, 2012
592012
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
MH ter Beek, A Fantechi, S Gnesi, F Mazzanti
Journal of Logical and Algebraic Methods in Programming 85 (2), 287-315, 2016
552016
Using mCRL2 for the analysis of software product lines
MH Beek, EP De Vink
Proceedings of the 2nd FME Workshop on Formal Methods in Software …, 2014
372014
Combining declarative and procedural views in the specification and analysis of product families
MH Ter Beek, AL Lafuente, M Petrocchi
Proceedings of the 17th International Software Product Line Conference co …, 2013
37*2013
Statistical analysis of probabilistic models of software product lines with quantitative constraints
MH ter Beek, A Legay, AL Lafuente, A Vandin
Proceedings of the 19th International Conference on Software Product Line, 11-15, 2015
352015
A model-checking tool for families of services
P Asirelli, MH Ter Beek, A Fantechi, S Gnesi
Formal Techniques for Distributed Systems, 44-58, 2011
342011
Formal verification of an automotive scenario in service-oriented computing
MH Ter Beek, S Gnesi, N Koch, F Mazzanti
Proceedings of the 30th international conference on Software engineering …, 2008
32*2008
A Deontic Logical Framework for Modelling Product Families.
P Asirelli, MH ter Beek, S Gnesi, A Fantechi
VaMoS 10, 37-44, 2010
302010
Family-based model checking with mCRL2
MH ter Beek, EP de Vink, TAC Willemse
International Conference on Fundamental Approaches to Software Engineering …, 2017
282017
Deontic logics for modeling behavioural variability
P Asirelli, MH Ter Beek, S Gnesi, A Fantechi
In Proceedings of the 3rd International Workshop on Variability Modelling of …, 2009
282009
Team automata: a formal approach to the modeling of collaboration between system components
MH Beek
282003
Team automata satisfying compositionality
MH Ter Beek, J Kleijn
International Symposium of Formal Methods Europe, 381-400, 2003
272003
CMC-UMC: A framework for the verification of abstract service-oriented properties
MH Ter Beek, F Mazzanti, S Gnesi
Proceedings of the 2009 ACM symposium on Applied Computing, 2111-2117, 2009
262009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20