Maurice H. ter Beek
发表
Mieke Massink,
Maurice H. ter Beek,
Stefania Gnesi,
2012
.
Axel Legay,
Maurice H. ter Beek,
Axel Legay,
2019,
International Journal on Software Tools for Technology Transfer.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2015,
SEFM.
Maurice H. ter Beek,
Stefania Gnesi,
Alexander Knapp,
2016,
Lecture Notes in Computer Science.
Antonio Bucchiarone,
Maurice H. ter Beek,
Stefania Gnesi,
2009,
2009 35th Euromicro Conference on Software Engineering and Advanced Applications.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2009,
J. Log. Algebraic Methods Program..
Maurice H. ter Beek,
Alberto Lluch Lafuente,
2015
.
Fabio Gadducci,
Maurice H. ter Beek,
2007,
Electron. Notes Theor. Comput. Sci..
Annabelle McIver,
Gerhard Goos,
Juris Hartmanis,
2019,
FM.
Axel Legay,
Maurice H. ter Beek,
Bruce W. Watson,
2020,
Leveraging Applications of Formal Methods.
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi,
2018,
SPLC.
Jaco van de Pol,
Maurice H. ter Beek,
Hubert Garavel,
2020,
FMICS.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2007,
FMICS.
Fabio Gadducci,
Francesco Santini,
Maurice H. ter Beek,
2013,
ISARCS '13.
Maurice H. ter Beek,
M. T. Beek,
1996,
Acta Cybern..
Sven Apel,
Dave Clarke,
Maurice H. ter Beek,
2013,
SPLC.
Maurice H. ter Beek,
2018,
ACM Trans. Model. Comput. Simul..
Victor Mitrana,
Erzsébet Csuhaj-Varjú,
Maurice H. ter Beek,
2003,
Ershov Memorial Conference.
Mieke Massink,
Maurice H. ter Beek,
Stefania Gnesi,
2009
.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
Sci. Comput. Program..
Maurice H. ter Beek,
M. T. Beek,
2011,
Results of the SENSORIA Project.
Maurice H. ter Beek,
Davide Basile,
Rosario Pugliese,
2019,
COORDINATION.
Maurice H. ter Beek,
M. T. Beek,
1997,
New Trends in Formal Languages.
Axel Legay,
Maurice H. ter Beek,
Axel Legay,
2019,
VaMoS.
Erik P. de Vink,
Maurice H. ter Beek,
Michel A. Reniers,
2016,
ISoLA.
Maurice H. ter Beek,
Stefania Gnesi,
M. Beek,
2019,
Models, Languages, and Tools for Concurrent and Distributed Programming.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2015,
SPLC.
Josep Carmona,
Maurice H. ter Beek,
Jetty Kleijn,
2016,
ISoLA.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2011,
PLEASE '11.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2008,
ERCIM News.
Maurice H. ter Beek,
Stefania Gnesi,
Davide Basile,
2018,
SPLC.
Gabriele Lenzini,
Marinella Petrocchi,
Maurice H. ter Beek,
2006,
J. Autom. Lang. Comb..
Josep Carmona,
Maurice H. ter Beek,
Jetty Kleijn,
2017,
COORDINATION.
Maurice H. ter Beek,
Ant'onio Ravara,
2014
.
Corrado Moiso,
Maurice H. ter Beek,
Stefania Gnesi,
2006,
2006 European Conference on Web Services (ECOWS'06).
Maurice H. ter Beek,
Dejan Ničković,
2020,
FMICS.
Erik P. de Vink,
Maurice H. ter Beek,
2014,
FormaliSE 2014.
Erik P. de Vink,
Maurice H. ter Beek,
2014,
ISoLA.
Felicita Di Giandomenico,
Maurice H. ter Beek,
Stefania Gnesi,
2017,
SPLC.
Erzsébet Csuhaj-Varjú,
Markus Holzer,
György Vaszil,
2007,
Int. J. Found. Comput. Sci..
Maurice H. ter Beek,
Franco Mazzanti,
Aldi Sulova,
2010,
FM+AM.
Statistical analysis of probabilistic models of software product lines with quantitative constraints
Axel Legay,
Maurice H. ter Beek,
Alberto Lluch-Lafuente,
2015,
SPLC.
Maurice H. ter Beek,
Jetty Kleijn,
M. Beek,
2003,
FME.
Maurice H. ter Beek,
Stefania Gnesi,
Carlo Montangero,
2009,
ICFI.
Maurice H. ter Beek,
Ina Schaefer,
Norbert Siegmund,
2017,
VaMoS.
Maurice H. ter Beek,
Franco Mazzanti,
Davide Basile,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Erik P. de Vink,
Maurice H. ter Beek,
Tim A. C. Willemse,
2016,
FMSPLE.
Grzegorz Rozenberg,
Maurice H. ter Beek,
Clarence A. Ellis,
2001,
ECSCW.
Maurice H. ter Beek,
Michele Loreti,
2016,
FORECAST@STAF.
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi,
2014,
ISoLA.
Maurice H. ter Beek,
Franco Mazzanti,
Michael Lienhardt,
2019,
SPLC.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2014,
ERCIM News.
Maurice H. ter Beek,
Franco Mazzanti,
Aldi Sulova,
2012,
FM.
Axel Legay,
Maurice H. ter Beek,
Alberto Lluch-Lafuente,
2019,
IFM.
Maurice H. ter Beek,
Michele Loreti,
Alessandro Lapadula,
2011,
Results of the SENSORIA Project.
Klaus Schmid,
Maurice H. ter Beek,
Holger Eichelberger,
2019,
SPLC.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2005,
ICSE.
Josep Carmona,
Maurice H. ter Beek,
Jetty Kleijn,
2015,
ERCIM News.
Antonio Bucchiarone,
Maurice H. ter Beek,
Stefania Gnesi,
2007,
Second International Conference on Internet and Web Applications and Services (ICIW'07).
Gabriele Lenzini,
Marinella Petrocchi,
Maurice H. ter Beek,
2005,
SecCo.
Fabio Gadducci,
Alessandro Aldini,
Maurice H. ter Beek,
2009,
Electron. Notes Theor. Comput. Sci..
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2011,
2011 15th International Software Product Line Conference.
Maurice H. ter Beek,
Stefania Gnesi,
Alexander Knapp,
2018,
International Journal on Software Tools for Technology Transfer.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2011,
Sci. Comput. Program..
Maurice H. ter Beek,
2009,
YR-SOC.
Axel Legay,
Maurice H. ter Beek,
Alberto Lluch-Lafuente,
2018,
FM.
Erik P. de Vink,
Maurice H. ter Beek,
2014,
SPLC '14.
Maurice H. ter Beek,
Stefania Gnesi,
Alexander Knapp,
2018,
International Journal on Software Tools for Technology Transfer.
Victor Mitrana,
Carlos Martín-Vide,
Maurice H. ter Beek,
2005,
Theor. Comput. Sci..
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2004,
COOP.
Maurice H. ter Beek,
Jetty Kleijn,
J. Kleijn,
2014,
Discrete Mathematics and Computer Science.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2018,
IFM.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2015,
SEFM Workshops.
Fabio Gadducci,
Maurice H. ter Beek,
Dirk Janssens,
2008,
Electron. Notes Theor. Comput. Sci..
Niels Lohmann,
Maurice H. ter Beek,
2013
.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2016,
J. Log. Algebraic Methods Program..
Axel Legay,
Maurice H. ter Beek,
Davide Basile,
2019,
FMICS.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2015,
Software, Services, and Systems.
Axel Legay,
Maurice H. ter Beek,
Alberto Lluch-Lafuente,
2020,
VaMoS.
Erik P. de Vink,
Maurice H. ter Beek,
Tim A. C. Willemse,
2020,
FASE.
Axel Legay,
Felicita Di Giandomenico,
Gian Luigi Ferrari,
2020,
Sci. Comput. Program..
Erzsébet Csuhaj-Varjú,
Markus Holzer,
György Vaszil,
2004,
Developments in Language Theory.
Nora Koch,
Maurice H. ter Beek,
Stefania Gnesi,
2008,
2008 ACM/IEEE 30th International Conference on Software Engineering.
Alexei Lisitsa,
Maurice H. ter Beek,
António Ravara,
2016,
J. Log. Algebraic Methods Program..
Maurice H. ter Beek,
Stefania Gnesi,
Mercy N. Njima,
2011,
WWV.
Marco Winckler,
Philippe A. Palanque,
Mieke Massink,
2009,
EICS '09.
Fabio Martinelli,
Marinella Petrocchi,
Maurice H. ter Beek,
2007,
ERCIM News.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2010,
VaMoS.
Axel Legay,
Maurice H. ter Beek,
Alberto Lluch-Lafuente,
2015,
FMSPLE.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2010,
IFM.
Axel Legay,
Maurice H. ter Beek,
Davide Basile,
2020,
FORTE.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2014,
Ershov Memorial Conference.
Gianluigi Zavattaro,
Maurice H. ter Beek,
Stefania Gnesi,
2010,
ACoTA.
Maurice H. ter Beek,
Michele Loreti,
2018,
ACM Trans. Model. Comput. Simul..
Felicita Di Giandomenico,
Maurice H. ter Beek,
Stefania Gnesi,
2020,
ISoLA.
Maurice H. ter Beek,
Jetty Kleijn,
2007,
Theor. Comput. Sci..
José Luiz Fiadeiro,
Maurice H. ter Beek,
Stefania Gnesi,
2011,
2011 IEEE 34th Software Engineering Workshop.
Maurice H. ter Beek,
Jetty Kleijn,
2009,
Fundam. Informaticae.
Vincenzo Ciancia,
Maurice H. ter Beek,
Davide Basile,
2018,
ISoLA.
Fabio Gadducci,
Maurice H. ter Beek,
2006,
Electron. Notes Theor. Comput. Sci..
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2013,
ERCIM News.
Maurice H. ter Beek,
António Ravara,
2014
.
Maurice H. ter Beek,
Franco Mazzanti,
2014,
SPLC '14.
Maurice H. ter Beek,
Jetty Kleijn,
Rolf Hennicker,
2020,
ICTAC.
Axel Legay,
Maurice H. ter Beek,
Davide Basile,
2018,
VECoS.
Erik P. de Vink,
Maurice H. ter Beek,
Tim A. C. Willemse,
2017,
FASE.
Reiner Hähnle,
Maurice H. ter Beek,
Ina Schaefer,
2016,
ISoLA.
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi,
2015,
SPLC.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2005,
Electron. Notes Theor. Comput. Sci..
Maurice H. ter Beek,
Jetty Kleijn,
M. Beek,
2002,
Formal and Natural Computing.
Maurice H. ter Beek,
Jetty Kleijn,
2014,
J. Autom. Lang. Comb..
Grzegorz Rozenberg,
Maurice H. ter Beek,
Clarence A. Ellis,
2003,
Computer Supported Cooperative Work (CSCW).
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2018,
Models, Mindsets, Meta.
Erik P. de Vink,
Maurice H. ter Beek,
Tessa Belder,
2015,
FMSPLE.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2011,
FMOODS/FORTE.
Maurice H. ter Beek,
Alessandro Fantechi,
Laura Semini,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Gabriele Lenzini,
Marinella Petrocchi,
Maurice H. ter Beek,
2003
.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2009,
SAC '09.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2012,
SPLC '12.
Maurice H. ter Beek,
Alberto Lluch-Lafuente,
2017,
J. Log. Algebraic Methods Program..
Marco Winckler,
Philippe A. Palanque,
Mieke Massink,
2009,
INTERACT.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
FM.
Maurice H. ter Beek,
Michele Loreti,
2016
.
Gabriele Lenzini,
Marinella Petrocchi,
Maurice H. ter Beek,
2004
.
Victor Mitrana,
Erzsébet Csuhaj-Varjú,
Maurice H. ter Beek,
2004,
Int. J. Comput. Math..
Marinella Petrocchi,
Maurice H. ter Beek,
Alberto Lluch-Lafuente,
2013,
SPLC '13 Workshops.
Maurice H. ter Beek,
Jetty Kleijn,
M. Beek,
2012,
Theor. Comput. Sci..
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2020,
Leveraging Applications of Formal Methods.
Axel Legay,
Maurice H. ter Beek,
Alberto Lluch-Lafuente,
2016,
ISoLA.
Maurice H. ter Beek,
Stefania Gnesi,
Patrizia Asirelli,
2012,
ISoLA.
Fabricia Roos-Frantz,
Andreas Classen,
Maurice H. ter Beek,
2012,
SPLC '12.
Maurice H. ter Beek,
M. Beek,
M. T. Beek,
2003
.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
IFM.
Diego Latella,
Mieke Massink,
Maurice H. ter Beek,
2005,
DSV-IS.
Maurice H. ter Beek,
Stefania Gnesi,
Alessio Ferrari,
2018,
ERCIM News.
Erzsébet Csuhaj-Varjú,
Markus Holzer,
György Vaszil,
2011,
Computation, Cooperation, and Life.
Axel Legay,
Maxime Cordy,
Maurice H. ter Beek,
2020,
SPLC.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
RSSRail.
Goetz Botterweck,
Maurice H. ter Beek,
Stefania Gnesi,
2014,
SPLC 2014.
Diego Latella,
Mieke Massink,
Michael D. Harrison,
2008,
TAMODIA/HCSE.
Maurice H. ter Beek,
Bruce W. Watson,
Loek Cleophas,
2018,
ISoLA.
Axel Legay,
Maurice H. ter Beek,
Andrea Vandin,
2021,
Comput. Secur..
Maurice H. ter Beek,
Jetty Kleijn,
Rolf Hennicker,
2020,
COORDINATION.
Maurice H. ter Beek,
2009
.
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
pdf
Maurice H. ter Beek,
Davide Basile,
Rosario Pugliese,
2020,
Log. Methods Comput. Sci..
Maurice H. ter Beek,
2003,
Grammars and Automata for String Processing.
Henry Muccini,
Patrizio Pelliccione,
Maurice H. ter Beek,
2012,
SERENE.
Maurice H. ter Beek,
Ina Schaefer,
Ina Schaefer,
2014,
ISoLA.
Maurice H. ter Beek,
Stefania Gnesi,
Alessandro Fantechi,
2016,
ISoLA.
Maciej Koutny,
Grzegorz Rozenberg,
Maurice H. ter Beek,
2020,
Fundam. Informaticae.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2014,
ERCIM News.
Henry Muccini,
Patrizio Pelliccione,
Maurice H. ter Beek,
2011,
SERENE.
Maurice H. ter Beek,
Jetty Kleijn,
2005,
Inf. Process. Lett..
Dave Clarke,
Maurice H. ter Beek,
Ina Schaefer,
2016,
J. Log. Algebraic Methods Program..
Rogério de Lemos,
Fabio Gadducci,
Maurice H. ter Beek,
2009,
WADS.
Maurice H. ter Beek,
M. Beek,
1999,
Grammatical Models of Multi-Agent Systems.
Towards Security Analyses of an Identity Federation Protocol for Web Services in Convergent Networks
Corrado Moiso,
Marinella Petrocchi,
Maurice H. ter Beek,
2007,
The Third Advanced International Conference on Telecommunications (AICT'07).
Henry Muccini,
Patrizio Pelliccione,
Maurice H. ter Beek,
2012,
ERCIM News.
Maurice H. ter Beek,
Alessandro Fantechi,
Laura Semini,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Maurice H. ter Beek,
Rolf Hennicker,
José Proença,
2021,
FM.
Vincenzo Ciancia,
Diego Latella,
Mieke Massink,
2021,
FMICS.
Axel Legay,
Felicita Di Giandomenico,
Gian Luigi Ferrari,
2021,
FORTE.
Maurice H. ter Beek,
Franco Mazzanti,
Michael Lienhardt,
2021,
SPLC.
Maurice H. ter Beek,
Franco Mazzanti,
Davide Basile,
2021,
ArXiv.
Maurice H. ter Beek,
Franco Mazzanti,
Michael Lienhardt,
2021,
SPLC.
Annabelle McIver,
Maurice H. ter Beek,
2021,
Formal Aspects Comput..
Maurice H. ter Beek,
Franco Mazzanti,
Michael Lienhardt,
2021,
Empirical Software Engineering.
Maurice H. ter Beek,
Alessio Ferrari,
2021,
ArXiv.
Maurice H. ter Beek,
Davide Basile,
M. Beek,
2021,
COORDINATION.
Maurice H. ter Beek,
Stefania Gnesi,
M. Beek,
2011
.
Felicita Di Giandomenico,
Gian Luigi Ferrari,
Maurice H. ter Beek,
2017
.