prof.dr.ir. J.F. (Jan Friso) Groote - Publications

Groote, prof.dr.ir. J.F.
Address :
Technische Universiteit Eindhoven
P.O. Box 513
5600 MB EINDHOVEN
Chair :
Embedded Systems
Department :
Department of Mathematics and Computer Science
Section :
Model Driven Software Engineering W&I
Positioncategory :
Professor (HGL)
Position :
Full Professor
Room :
MF 6.079b
Tel :
+31 40-247 5003
Tel (internal) :
5003
Email :
j.f.groote@tue.nl

Publications

Article

Scientific peer reviewed
2017
2016
2015
2014
2011
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1997
1994
Professional
2014
2007
Scientific not peer reviewed
2004
Popular
2010
2006
2005
1999

Editorial

Scientific peer reviewed
2015

Chapter

Scientific peer reviewed
2001
2000
Scientific not peer reviewed
2008
2002

Conference contribution

Scientific peer reviewed
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
  • Groote, J.F., Mathijssen, A.H.J., Reniers, M.A., Usenko, Y.S. & Weerdenburg, van, M.J. (2007). The formal specification language mCRL2. In D. Harel, A. Mader, R. Wieringa, E. Brinksma & P. Stevens (Eds.), Proceedings of the 2007 Methods for Modelling Software Systems (MMOSS 2007) 27 August - 1 September 2007, Schloss Dagstuhl, Germany (pp. 1/34). (Dagstuhl Seminar Proceedings, No. 06351). Schloss Dagstuhl, Germany: Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI).

  • Hojjat, H., Sirjani, M., Mousavi, M. & Groote, J.F. (2007). Sarir: a Rebeca to mCRL2 translator. Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD '07) 10-13 July 2007, Bratislava, Slovak Republic (pp. 216-222). IEEE Computer Society Press. In Scopus Cited 4 times.

  • Raedts, I.G.J., Petkovic, M., Usenko, Y.S., Werf, van der, J.M.E.M., Groote, J.F. & Somers, L.J.A.M. (2007). Transformation of BPMN models for behaviour analysis. In J. Barjis, U. Ultes-Nitsche & J.C. Augusto (Eds.), Proceedings of the 5th International Workshop in conjunction with the 9th International Conference on Enterprise Information Systems (MSVVEIS 2007) 12-13 June 2007, Funchal, Madeira, Portugal (pp. 126-137). INSTICC Press. In Scopus Cited 45 times.

2006
2005
2004
2003
2001
2000
1999
1998
1997
1995
  • Bezem, M.A., Bol, R.N. & Groote, J.F. (1995). Formalizing process algebraic specifications in COQ. In A.J. Ponse, S.F.M. Vlijmen, van & C. Verhoef (Eds.), Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995) (pp. 105-120). (Computing Science Reports, No. 95-14). Eindhoven: Technische Universiteit Eindhoven.

  • Groote, J.F., Fredlund, L. & Korver, H.P. (1995). Formal verification of a leader election protocol in process algebra. In A.J. Ponse, S.F.M. Vlijmen, van & C. Verhoef (Eds.), Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995) (pp. 285-308). (Computing Science Reports, No. 95-14). Eindhoven: Technische Universiteit Eindhoven.

1992
1991
1990
1989
Scientific not peer reviewed
2005
  • Groote, J.F., Mathijssen, A.H.J., Weerdenburg, van, M.J. & Usenko, Y.S. (2005). From µCRL to mCRL2 : motivation and outline. In A.D. Gordon & L. Aceto (Eds.), Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005) (pp. 126-131). (BRICS Notes Series, No. NS-05-3). Aarhus, Denmark: BRICS, University of Aarhus.

  • Groote, J.F., Reniers, M.A. & Usenko, Y.S. (2005). Discretization of timed automata in Timed µCRL à la regions and zones. In A.D. Gordon & L. Aceto (Eds.), Algebraic Process Calculi: The First Twenty Five Years and Beyond (Short contributions from the workshop, Bertinoro, Forli, Italy, August 1-5, 2005), BRICS Notes Series NS-05-3 (pp. 132-136). Aarhus, Denmark: BRICS, University of Aarhus.

2004
2002
2001
Professional
2009

Book

Scientific
2014

Book editing

Scientific peer reviewed
1998
Scientific not peer reviewed
1994
Professional
1991

Report

Scientific
2017
2015
2014
2013
2012
2011
2010
2009
2008
2007
2005
2004
2003
2002
2001
2000
1999
1998
1997
1995
1990
1988

Inaugural speech

Other research output
1999

Software

Other research output
1999

Phd Thesis 1 (Research TU/e / Graduation TU/e)

Scientific
2016
2015
2014
2013
2012
2011
2009
2008
2007
2006
2005
2004
2003

Phd Thesis 2 (Research NOT TU/e / Graduation TU/e)

Scientific
2002
  • Usenko, Y.S. (2002). Linearization in muCRL. Eindhoven: Technische Universiteit Eindhoven. ((Co-)promot.: Jan Friso Groote & Wan Fokkink).

1999