List of publications (J.F. Groote)

Publications in 2012

• J.F. Groote, A.A.H. Osaiweran and J.H. Wesselius. Analyzing a controller of a power distribution unit using formal methods. Proceedings of the Fifth International Conference on Software Testing, Verification and Validation (ICST 2012, Montreal, Canada, April 18-20, 2012), (pp. ...-...). IEEE, 2012. Also appeared as technical report CSR 11/14.
• J.F. Groote, A.A.H. Osaiweran and J.H. Wesselius. Experience report on developing the Front-end Client unit under the control of formal methods. Proceedings of the 27th ACM Symposium on Applied Computing, The Software Engineering Track (ACM SAC-SE 2012, Riva del Garda, Italy, March 25-29, 2012), (pp. 1640-1647), 2012. Also appeared as technical report CSR 11/13.
• J.F. Groote, T.W.D.M. Kouters, and A.A.H. Osaiweran. Specification guidelines to avoid the state space explosion problem. Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Teheran, Iran, April 20-22, 2011. Proceedings), Lecture Notes in Computer Science 7141, Springer Verlag, pp. 166-185, 2012. Also appeared as technical report CSR 10/14.

Publications in 2011

• F.P.M. Stappers, M.A. Reniers, J.F. Groote and S. Weber. Dogfooding the structural operational semantics of mCRL2. Computer Science Report 11/18, Department of Mathematics and Computer Science, Eindhoven University of Technology. 2011.
• J.F. Groote. A.A.H. Osaiweran. M.T.W. Schuts and J.H. Wesselius. Investigating the effects of designing industrial control software using push and poll strategies. Computer Science Report 11/16, Department of Mathematics and Computer Science, Eindhoven University of Technology. 2011.
• J.F. Groote, A. Osaiweran, and J.H. Wesselius. Analyzing the effects of formal methods on the development of industrial control software. In proceedings of the IEEE ICSM 2011, Williamsburg, VA, USA, September 25-30, pp. 467-472, 2011.
• J.F. Groote, A.A.H. Osaiweran, J.H. Wesselius. Analyzing a Controller of a Power Distribution Unit using Formal Methods. Computer Science Report 11/14, Department of Mathematics and Computer Science, Eindhoven University of Technology. 2011.
• J.F. Groote, A.A.H. Osaiweran, J.H. Wesselius. Experience report on developing the Front-end Client unit under the control of formal methods. Computer Science Report 11/13, Department of Mathematics and Computer Science, Eindhoven University of Technology. 2011.
• E. Brandt, A. Di Bucchianico, J. van Ekris, J.F. Groote, W. Geurts, G. Heslinga and G. Kolk. TOPAAS. Een structurele aanpak voor faalkansanalyse van software intensieve systemen. Technisch rapport (versie 2.0, 1 april 2011). Rijkswaterstaat. Ministerie van Verkeer en Waterstaat. 2011.
• J.F. Groote and J. Lanik. Semantics, bisimulation and congruence results for a general stochastic process operator. Computer Science Report 11/05, Department of Mathematics and Computer Science, Eindhoven University of Technology. 2011.
• J.F. Groote, A.A.H. Osaiweran and J.H. Wesselius. Benefits of applying formal methods to industrial control software. Computer Science Report 11/04, Department of Mathematics and Computer Science, Eindhoven University of Technology. 2011.
• C. Brandt, F. Hermann and J.F. Groote. Generation and evaluation of business continuity processes using algebraic graph transformation and the mCRL2 process algebra. Journal of Research and Practice in Information Technology, Vol 43(1):65-86, 2011. This article is a revised version of Bericht-Nr 2010-11, Technische Universitaet Berlin.
• S. Cranen, J.F. Groote and M.A. Reniers. A linear translation from CTL* to the first-order modal mu-calculus. Theoretical Computer Science 412(28):3129-3139, 2011. An early version of this article appeared as Technical Report 10-09, Computer Science Reports, Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 2010.
• J.F. Groote, J.J.A. Keiren, F.P.M. Stappers, J.W. Wesselink, and T.A.C. Willemse. Experiences in developing the mCRL2 toolset. Software: Practice and Experience, 41(2), 143-153, 2011.

Publications in 2010

• F.P.M. Stappers, M.A. Reniers, J.F. Groote. Suitability of mCRL2 for Concurrent-System Design: A 2 x 2 Switch Case Study. Post-proceedings of FMCO 2009, LNCS 6286, Springer Verlag, pp. 166-185, 2010. DOI: 10.1007/978-3-642-17071-3_9.
• J.F. Groote, F.P.M. Stappers, M.A. Reniers. Grip op ontwikkelen van correcte software ( First two pages, Last two pages). Vakblad voor software architectuur, pp. 18-20, December 2010.
• J.F. Groote, T.W.D.M. Kouters, and A.A.H. Osaiweran. Specification Guidelines to avoid the State Space Explosion Problem. Technical Report 10-14, Computer Science Reports, Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 2010.
• J. Bots, J.F. Groote, J. Bosman. Een minister voor onze nationale ICT. Binnenlands Bestuur. Pag. 43, oktober, 2010.
• S. Cranen, J.F. Groote, and M.A. Reniers. A linear translation from LTL to the first-order modal mu-calculus. Technical Report 10-09, Computer Science Reports, Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 2010.
• C. Brandt, F. Hermann and J.F. Groote. Modeling and reconfiguration of critical Business Processes for the purpose of a Business Continuity Management respecting Security, Risk and Compliance requirements at Credit Suisse using Algebraic Graph Transformations. Extended Version. Bericht-Nr 2010-11, Technische Universitaet Berlin, Fakultaet IV, 2010.

Publications in 2009

• Y.L. Hwong, A. Racz, B. Beccati, C. Deldicque, C. Schwick, D. Gigi, E. Cano, E. Meschi, F. Glege, F. Meijers, H. Sakulin, J.A. Coarasa, J.F. Laurens, J. Gutleber, L. Orsini, M. Ciganek, M. Simon, M. Zanetti, R. Gomez-Reino, R. Moser, S. Cittolin, J.F. Groote, T. Willemse, A. Meyer, D. Hatton, U. Behrens, D. Shpakov, H. Cheung, J.A. Lopez-Perez, K. Biery, R.K. Mommsen, V.O. Dell, A.S. Yoon, C. Loizides, C. Paus, F. Ma, G. Bauer, J.F. Serrano Margaleff, K. Sumorok, S. Erhan, A. Petrucci, J. Branson, M. Pieri, M. Sani. Analysis of the Control Hierarchy Modelling of the CMS Detector Control System, in ICALEPCS 2009, Kobe, Japan.
• G.J.M. Smit, G.F. van der Hoeven, J.F. Groote, R.H.J.M. Otten, H. Tonino, B.H.H. Juurlink, B.R.H.M. Haverkort. The 3TU embedded systems master in the Netherlands. International Conference on Compilers, Architecture and Synthesis for Embedded Systems. Proceedings of the 2009 Workshop on Embedded Systems Education, Grenoble, France. Pages: 8-12. 2009.
• T.A.N. Engels, J.F. Groote, M.J. van Weerdenburg and T.A.C. Willemse. Search algorithms for automated validation. Journal of Logic and Algebraic Programming 78(4), 274-287, 2009. This article did also appear as CS-Report 07-24, Department of Computer Science, Eindhoven University of Technology, 2007.
• J.F. Groote and B. Ploeger. Switching graphs. International Journal of Foundations of Computer Science 20(5):869-886, 2009. Similar versions have been published as In V. Hlava and I. Potapov, editors, Proceedings of the Second Workshop on Reachability Problems in Computational Models (RP2008), Electronic Notes in Theoretical Computer Science 223, pp. 119-135, 2008. CS-Report 08-28, Department of Computer Science, Eindhoven University of Technology, 2008.
• W. Boehmer, C. Brandt and J.F. Groote. Evaluation of a business continuity plan using process algebra and modal logic. Computer Science Report CSR-09-12, Eindhoven University of Technology, 2009.
• J.F. Groote, S. Orzan. Parameterised Anonymity. In P. Degano, J.D. Guttman and F. Martinelli, editors, proceeding of the 5th international workshop on Formal Aspects in Security and Trust (FAST), pages 177-191, LNCS 5491, 2009. See also CS Report 08-22 Department of Computer Science, Eindhoven University of Technology.
• J.F. Groote, A.H.J. Mathijssen, M.A. Reniers, Y.S. Usenko, and M.J. van Weerdenburg. Analysis of distributed systems with mCRL2. In M. Alexander, W. Gardner, editors, Process Algebra for Parallel and Distributed Processing. Chapman Hall, pp. 99-128, 2009. Direct download of our chapter.

Publications in 2008

• J.F. Groote, M.A. Reniers and Y.S. Usenko. Verification of networks of timed automata using mCRL2. IPDPS pp. 1-8, 2008.
• J.F. Groote and B. Ploeger. Switching graphs. In V. Hlava and I. Potapov, editors, Proceedings of the Second Workshop on Reachability Problems in Computational Models (RP2008), Electronic Notes in Theoretical Computer Science 223, pp. 119-135, 2008. Also available as CS-Report 08-28, Department of Computer Science, Eindhoven University of Technology, 2008.
• J.F. Groote and S.M. Orzan. Parameterised anonymity. CS-Report 08-22, Department of Computer Science, Eindhoven University of Technology, 2008.
• J.F. Groote, P. Klint and F.W. Vaandrager. ICT onderwijs moet een forse impuls krijgen. NRC. 5 april, 2008.
• J.F. Groote. Honderduizend maal excuus voorkomt geen ramp (text). Het Brabants Dagblad. Zaterdag, 1 maart 2008. Newspaper pages: page 14 and page 15. Also appeared as: Excuus van de fiscus en dan doormodderen. Eindhovens Dagblad. Maandag, 4 maart 2008.
• A. Di Bucchianico, J.F. Groote, K.M. van Hee and R. Kruidhof. Statistical certification of software systems. Communications in Statistics. Part B, Simulation and Computation, 37(2), 346-359, 2008. See also Computer Science Report CSR-05-23.

Publications in 2007

• T.A.N. Engels, J.F. Groote, M.J. van Weerdenburg and T.A.C. Willemse. Search algorithms for automated validation. CS-Report 07-24, Department of Computer Science, Eindhoven University of Technology, 2007.
• J.F. Groote. Toezicht nodig op softwareprojecten. Het Financieele Dagblad. Pagina 7. Donderdag 2 augustus 2007.
• H. Hojjat, M. Sirjani, M.R. Mousavi, J.F. Groote, Sarir: A Rebeca to mCRL2 Translator (Tool Paper). Proceedings of the 7th International Conference on Application of Concurrency to System Design (ACSD'07), Bratislava, Slovak Republic, IEEE CS, July 2007.
• J.F. Groote and M. Voorhoeve. Operational semantics for Petri Net components. Theoretical Computer Science, 379:1--19, 2007. This article did also appear as Operational semantics for Petri Net components. Technical Report 03-08, Computer Science Reports, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 2003.
• I. Raedts, M. Petkovic, Y.S. Usenko, J.M. van der Werf, J.F. Groote, L. Somers. Transformation of BPMN models for Behaviour Analysis. In J.C. Augusto, J. Barjis, U. Ultes-Nitsche, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2007, pp. 126-137, 2007.
• J.F. Groote, A.H.J. Mathijssen, M.A. Reniers, Y.S. Usenko, M.J. van Weerdenburg. The Formal Specification Language mCRL2. In: E. Brinksma, D. Harel, A. Mader, P. Stevens and R. Wieringa, editors, Methods for Modelling Software Systems (MMOSS), Dagstuhl Seminar Proceedings 06351, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007.
• M.R. Mousavi, M.A. Reniers, J.F. Groote. SOS formats and meta-theory: 20 years after. Theoretical Computer Science, 373:238-272, 2007. The preprint submitted to TCS is available also.
• H. Gao, J.F. Groote and W.H. Hesselink. Lock-free parallel and concurrent garbage collection by mark and sweep. Science of computer programming 64(3), 341-374, 2007. See also Lock-free parallel garbage collection by Mark&Sweep. Computer Science Report CSR-04-31, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.

Publications in 2006

• J.F. Groote, M.R. Mousavi, M.A. Reniers. A Hierarchy of SOS Rule Formats. Electronic Notes Theoretical Computer Science 156(1):3--25, 2006. See also: A hierarchy of SOS Rule formats (preliminary abstract). In P.D. Mosses and I. Ulidowski, editors, Preliminary proceedings of the 2nd workshop on Structural Operational Semantics, pp. 1-18, Lisbon, Portugal, 2005.
• J.C. Perrenet, J.F. Groote and E.J.S. Kaasenbrood. De realiteit van denkniveaus bij algoritmen. Tijdschrift voor informaticaonderwijs (TINFON), 15de jaargang, nr. 2, pp. 32-36, 2006.
• J.F. Groote, M.A. Reniers, Y.S. Usenko. Time Abstraction in Timed muCRL a la Regions. 14th Int. Workshop on Parallel and Distributed Real-Time Systems (WPDRTS'06), April 25-26, Island of Rhodes, Greece, 2006.
• J.F. Groote and C. Verhoef. Hoe betrouwbaar is de Maeslantkering? Automatisering Gids. April 7, 2006.
• J.F. Groote and F.J.J. van Ham. Interactive visualization of large state spaces. International Journal on Software Tools for Technology Transfer 8:77-91, 2006. An early version of this article has been published as State Space Visualisation Eindhoven University of Technology, Department of Computer Science, CS-Report 02-14, 2002.
• J.F. Groote and C. Verhoef. `Informatica komt niet met strik om de haven van Rotterdam binnen'. Automatisering Gids 10, 10 maart 2006.
• J.F. Groote, A.H.J. Mathijssen, M.J. van Weerdenburg, Y.S. Usenko. From muCRL to mCRL2: Motivation and Outline. In: Proc. Workshop Essays on Algebraic Process Calculi (APC 25). ENTCS 162, pp 191-196, 2006.

Publications in 2005

• S.C.C. Blom, J.F. Groote, S. Mauw and A. Serebrenik. Analysing the BKE-security protocol with mCRL. Electronic Notes in Theoretical Computer Science 139(1):49-90, 2005. An earlier version of this paper appeared as J.F. Groote, S. Mauw and A. Serebrenik. Analysing the BKE-security protocol with mCRL. Computer Science Report CSR-04-30, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.
• J.F. Groote and T.A.C. Willemse. Parameterised Boolean Equation Systems. Theoretical Computer Science 343:332-369, 2005. An earlier version of this paper appeared as Parameterised boolean equation systems. Computer Science Report 04/09, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.
• J.F. Groote and F.J.J. van Ham. Interactive visualization of large state spaces. International Journal on Software Tools for Technology Transfer. Published online, 2005. An early version of this article has been published as State Space Visualisation Eindhoven University of Technology, Department of Computer Science, CS-Report 02-14, 2002.
• B. Badban, W. Fokkink, J.F. Groote, J. Pang and J.C. van de Pol. Verification of a sliding window protocol in muCRL and PVS. Formal Aspects of Computing 17(3):342-388, 2005. See also Technical report SEN-R0308, CWI, Amsterdam, 2003.
• H. Gao, J.F. Groote and W.H. Hesselink. Lock-free dynamic hash tables with open addressing. Distributed Computing 17:21--42, 2005. See also Efficient almost wait-free parallel accessible dynamic hashtables. Technical Report CS-Report 03-03, 2003, below.
• H. Gao. J.F. Groote and W.H. Hesselink. Lock-Free Parallel Garbage Collection. In Y. Pan e.a., editors, Proceedings of ISPA2005, LNCS 3758, pp. 263-274, 2005. See also Lock-free parallel garbage collection by Mark&Sweep. Computer Science Report CSR-04-31, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.
• J.C. Perrenet, J.F. Groote and E.J.S. Kaasenbrood. Exploring Students' Understanding of the Concept of Algorithm: Levels of Abstraction. In ITiCSE 2005, Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, pp. 64-68, 2005.
• J.F. Groote and M. Keinanen. A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. In D.V. Hung and M. Wirsing, editors, Proceedings of International Colloquium on Theoretical Aspects of Computing (ICTAC'2005)}, volume 3722 of Lecture Notes in Computer Science, pages 545-558. Springer-Verlag, 2005. See also A sub-quadratic algorithm for conjunctive and disjunctive BESs. Computer Science Report 04/13, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004, below.
• A. Di Bucchianico, J.F. Groote, K.M. van Hee and R. Kruidhof. Statistical certification of software systems. Computer Science Report CSR-05-23, Eindhoven University of Technology, 2005.
• J.F. Groote, F. Monin and J. Springintveld. A computer checked algebraic verification of a distributed summation algorithm. Formal Aspects of Computing 17:19-37. Springer-Verlag, 2005. See also A computer checked algebraic verification of a distributed summing protocol. Computer Science Report 97/14, Department of Mathematics and Computer Science, Eindhoven University of Technology. 1997, below.
• J.F. Groote, M. Mousavi, M.A. Reniers. A hierarchy of SOS Rule formats (preliminary abstract). In P.D. Mosses and I. Ulidowski, editors, Preliminary proceedings of the 2nd workshop on Structural Operational Semantics, pp. 1-18, Lisbon, Portugal, 2005.
• M. Mousavi, M.A. Reniers and J.F. Groote. Notions of bisimulation and congruence formats for SOS with data. Information and Computation 200:107-147, 2005. Also appeared as Computer Science Report CSR-04-25, Eindhoven University of Technology, 2004.
• J.F. Groote and T.A.C. Willemse. Model-checking processes with data. Science of Computer Programming 56:251-273, 2005. See also A Checker for Modal Formulas for Processes with Data, Eindhoven University of Technology, Department of Computer Science, CSR 02-16, 2002.
• M. Mousavi, M.A. Reniers and J.F. Groote. A syntactic commutativity format for SOS. Information Processing Letters, 93(5):217-223, 2005. This article also appeared as A Syntactic Commutativity Format for SOS. Computer Science Report CSR-04-25, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.

Publications in 2004

• M.R.V. Chaudron, J.F. Groote, K.M. van Hee, C. Hemerik, L.J.A.M. Somers and T. Verhoeff. Software Engineering Reference Framework. Technical Report CS-Report 04-039, Computer Science Reports, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 2004.
• J.F. Groote and T.A.C. Willemse. A checker for modal formulae for processes with data. In F.S. de Boer, M.M. Bonsangue, S. Graf, W.-P. de Roever, editors, in revised lectures of Formal Methods for Components and Objects, Leiden, Lecture Notes in Computer Science 3188, pp. 223-239, 2004. The full version appeared as A Checker for Modal Formulas for Processes with Data, Eindhoven University of Technology, Department of Computer Science, CSR 02-16, 2002.
• J.C. Perrenet, J.F. Groote and E.J.S. Kaasenbrood. Denkniveaus bij algoritmen (levels in algoritmic thinking). Tijdschrift voor informatica-onderwijs (TINFON), 13e jaargang, nr. 4, pp. 116-118, 2004.
• H. Gao, J.F. Groote and W.H. Hesselink. Lock-free parallel garbage collection by Mark&Sweep. Computer Science Report CSR-04-31, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.
• J.F. Groote, S. Mauw and A. Serebrenik. Analysing the BKE-security protocol with mCRL. Computer Science Report CSR-04-30, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.
• A. Di Bucchianico, J.F. Groote, K.M. van Hee, R. Kruidhof. Statistical certification of software systems, CONQUEST 2004 proceedings, 163-171, ASQF, Erlangen, 2004.
• N.J.M. van den Nieuwelaar, M.M.H. Driessen and J.F. Groote. A dedicated verification approach for scheduling in complex manufacturing machines. Computer Science Report CSR-04-27, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.
• M. Mousavi, M.A. Reniers and J.F. Groote. A Syntactic Commutativity Format for SOS. Computer Science Report CSR-04-25, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.
• J.F. Groote and T.A.C. Willemse. Parameterised Boolean Equation Systems (Extended Abstract). In Philippa Gardner and Nobuko Yoshida, editors, Proceedings of CONCUR 2004, London, Lecture Notes in Computer Science 3170, pp. 308-324, 2004. The full version of this paper appeared as Parameterised boolean equation systems. Computer Science Report 04/09, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.
• M. Mousavi, M.A. Reniers and J.F. Groote. Congruence for SOS with data. In proceedings of the 19th annual IEEE symposium on Logic in Computer Science, pp. 303-312, Turku, Finland, 2004. This paper also appeared as Computer Science Report 04/05, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.
• W. Fokkink, J.F. Groote, J. Pang, B. Badban and J.C. van de Pol. Verifying a sliding window protocol in mCRL. In C. Rattray, S. Maharaj and C. Shankland (eds), proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, Stirling, Scotland, pp. 148-163, LNCS 3116, Springer-Verlag, 2004. See also technical report SEN-R0308 below.
• J.F. Groote and M.K. Keinanen. A sub-quadratic algorithm for conjunctive and disjunctive BESs. Computer Science Report 04/13, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.
• H. Gao, J.F. Groote and W.H. Hesselink. Almost Wait-free Resizable Hashtables In Proceedings of 18th International Parallel and Distributed Processing Symposium, IEEE, Santa Fe, New Mexico, 2004. A full version of this articles appeared as H. Gao, J.F. Groote and W.H. Hesselink. Efficient almost wait-free parallel accessible dynamic hashtables. Technical Report CS-Report 03-03, Computer Science Reports, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 2003.
• J.F. Groote and M.K. Keinanen. Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. In K. Jensen and A. Podelski, editors, Proc. 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004), volume 2988 of Lecture Notes in Computer Science, pages 436-450. Springer, 2004. Did also appear as Solving disjunctive/conjunctive boolean equation systems with alternating fixed points. Technical Report SEN-R0310, CWI, Amsterdam, 2003.
• W.J. Fokkink, J.F. Groote and M.A. Reniers. Process algebra needs proof methodology. In the concurrency column, L. Aceto, editor, Bulletin of the EATCS no 82, pp. 108--125, February, 2004. This article did also appear as Computer Science Report 04/04, Department of Mathematics and Computer Science, Eindhoven University of Technology, 2004.

Publications in 2003

• S.C. Borst, O.J. Boxma, J.F. Groote and S. Mauw. Task allocation in a multi-server system. Journal of Scheduling 6, 6(5):423-436, 2003. This article also appeared as Report PNA-R0122, CWI, Amsterdam, 2001.
• S.C.C. Blom, J.F. Groote, I.A. van Langevelde, B. Lisser and J.C. van de Pol. New developments around the mCRL tool set. Electronic Notes in Theoretical Computer Science 80, Proceedings of FMICS'03, editors T. Arts and W.J. Fokkink, Elsevier 2003.
• J.F. Groote and O. Tveretina. Binary decision diagrams for first-order predicate logic. Journal of Logic and Algebraic Programming 57(1-2):1-22, 2003.
• J.F. Groote and H. Zantema. Resolution and binary decision diagrams cannot simulate each other polynomially.Journal of Discrete Applied Mathematics, volume 130, issue 2, pages 157-171, 2003. This article also appeared as Technical Report UU-CS-2000-14. Department of Computer Science, Utrecht University, 2000, and as Technical Report SEN-R0009 , Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands, 2000.
• W.J. Fokkink, J.F. Groote, J. Pang, B. Badban, J.C. van de Pol. Verifying a Sliding Window Protocol in mCRL. Technical report SEN-R0308, CWI, Amsterdam, 2003.
• H. Zantema and J. F. Groote, Transforming equality logic to propositional logic. Electronic Notes in Theoretical Computer Science, Volume 86, Issue 1, 2003. Also appeared in Proceedings of the 4th International Workshop on First-order Theorem Proving (FTP), 2003. Also appeared as Technical Report CS-Report03-05. Eindhoven University of Technology, Department of Mathematics and Computer Science, 2003.
• J.F. Groote and M. Voorhoeve. Operational semantics for Petri Net components. Technical Report 03-08, Computer Science Reports, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 2003.
• J.F. Groote, J. Pang and A.G. Wouters. Analysis of a distributed system for lifting trucks. The Journal of Logic and Algebraic Programming 55:21-56, 2003. This article also appeared as Technical report SEN-R0111, CWI, Amsterdam, 2001.
• J.F. Groote and F.J.J. van Ham, Large State Space Visualization, Proceedings TACAS '03, pp. 585-590, LNCS 2619. Springer-Verlag, Berlin, Heidelberg, 2003. An extended version of this article has been published as State Space Visualisation Eindhoven University of Technology, Department of Computer Science, CS-Report 02-14, 2002.

Publications in 2002

• J.F. Groote and B. Lisser. Computer assisted manipulation of algebraic process specifications. ACM Sigplan Notices 37(12):98-107, 2002. This article also appeared as: J.F. Groote and B. Lisser. Computer assisted manipulation of algebraic process specifications. In M. Leuschel and U. Ultes-Nitsche, editors, proceedings of the 3rd international workshop on verification and computational logic, VCL2002, Pittsburgh, Technical Report DSSE-TR-2002-5, Department of electronics and computer science, University of Southampton, 2002. An extended version of this article appeared as J.F. Groote and B. Lisser. Computer assisted manipulation of algebraic process specifications. Technical report SEN-R0117, CWI, Amsterdam, 2001.
• J.F. Groote. Bits, trits, qits, pits of hits. In F. de Boer, M. van der Heijden, P. Klint and J. Rutten, editors, Liber Amicorem Jaco de Bakker, Centrum voor Wiskunde en Informatica, 2002.
• M.A. Reniers, J.F. Groote, M.B. van der Zwaag, J. van Wamel. Completeness of Timed mCRL. Fundamenta Informaticae, volume 50, number 3-4, pages 361-402, 2002. This is a revised version of Technical report SEN-R0034 , CWI, Amsterdam, 2000.

Publications in 2001

• J.F. Groote and J. van Wamel. The parallel composition of uniform processes with data. Theoretical Computer Science, 266:631-6, 2001. This article did also appear as Technical Report CS-Report 00-06, Department of mathematics and computing science, Eindhoven University of Technology, Eindhoven, The Netherlands, 2000. This is a revised version of Report CS-R9626, CWI, Amsterdam, 1996.
• J.F. Groote and J. Springintveld. Focus points and convergent process operators: a proof strategy for protocol verification. The Journal of Logic and Algebraic Programming 49, pages 31-60, 2001. Also appeared as technical report preprint142, Department of Philosophy, Utrecht University, Utrecht, 1993, and technical report CS-R9566, CWI, Amsterdam, 1995.
• J.F. Groote and H. Zantema. Resolution and Binary Decision Diagrams cannot simulate each other polynomially (extended abstract). In D.Bjorner, M.Broy and A.Zamulin, editors, proceedings of PSI'01, Novosibirsk, Lecture Notes in Computer Science 2244, Springer Verlag, pages 33-38, 2001.
• S.C.C. Blom, W.J. Fokkink, J.F. Groote, I. van Langevelde, B. Lisser, and J.C. van de Pol. mCRL: A Toolset for Analysing Algebraic Specifications. In proceedings CAV'01. LNCS 2102, pages 250-254, 2001.
• J.F. Groote and B. Lisser. Computer assisted manipulation of algebraic process specifications. Technical report SEN-R0117, CWI, Amsterdam, 2001.
• J.F. Groote, A. Ponse and Y.S. Usenko. Linearization in parallel pCRL. Journal of Logic and Algebraic Programming 48(1-2):39-72, 2001. Also appeared as Technical Report SEN-R0019 , Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands, 2000.
• J.F. Groote, W.H. Hesselink, S. Mauw and R. Vermeulen. An algorithm for the asynchronous Write-All problem based on process collision. Distributed Computing 14:75-81, 2001. Also appeared as Computing Science Report 99-15. Department of Computer Science. Eindhoven University, 1999.
• J.F. Groote and M.A. Reniers. Algebraic process verification. In J.A. Bergstra, A. Ponse and S.A. Smolka. Handbook of Process Algebra, pages 1151-1208, Elsevier, Amsterdam, 2001. Also appeared as: Algebraic Process Verification. Computing Science Reports 00/05, Department of Computing Science, Eindhoven University of Technology, 2000.
• W.H. Hesselink, J.F. Groote. Waitfree concurrent memory management by Create, and Read until Deletion (CaRuD). Dist. Comput. 14, pages 31--39, 2001. Also appeared as Technical report SEN-R9811, CWI, Amsterdam, 1998.
• J.F. Groote and J.J. van Wamel. Analysis of three hybrid systems in timed mCRL. Science of Computer Programming 39:215-247, 2001. Also appeared as Technical report SEN-R9815, CWI, Amsterdam, 1998.

Publications in 2000

• J.F. Groote and J.C. van de Pol. State space reduction using partial tau-confluence. In Nielsen, Mogens, and Rovan, editors, Proceedings of Mathematical Foundations of Computer Science 2000, LNCS 1893, Springer-Verlag, pages 383-393, 2000. Also appeared as Technical Report SEN-R0008 , Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands, 2000.
• J.F. Groote and J.C. van de Pol. Equational binary decision diagrams. In M. Parigot and A. Voronkov, Logic for Programming and Reasoning, LPAR2000, Lecture Notes in Artificial Intelligence, volume 1955, Springer Verlag, pages 161-178, 2000. Also appeared as: Technical Report SEN-R0006 , Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands, 2000. To appear in proceedings of LPAR 2000.
• J.F. Groote and J.P. Warners. The propositional formula checker HeerHugo. Journal of Automated Reasoning, 24:101-125, 2000. Also appeared as Technical Report SEN-R9905 , Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands, 1999.
• W. Fokkink, J.F. Groote, M. Hollenberg and S.F.M. van Vlijmen. Laris 1.0. LAnguages for Railway Interlocking Specifications. CWI publications miscellaneous. CWI, Amsterdam, 2000.
• E. Rietjens, B. Lisser, J. Springintveld and J.F. Groote. Black-Box Testing from ISpec Interface Specifications (confidential). Nat.Lab. Technical Note TN 2000/047. Philips, Eindhoven. 2000

Publications in refereed Proceedings and Journals (before 2000)

• L. Aceto and J.F. Groote. A Complete Equational Axiomatization for MPA with String Iteration. Theoretical Computer Science, 211:339-374, 1999. Also appeared as technical report SEN-R9708, CWI, Amsterdam, 1997.
• M.A. Bezem, R.N. Bol and J.F. Groote. Formalizing Process Algebraic Verifications in the Calculus of Constructions. Formal Aspects of Computing, 9:1-48, 1997.
• M.A. Bezem and J.F. Groote. Invariants in process algebra with data. In B. Jonsson and J. Parrow, editors, Proceedings Concur'94, Uppsala, Sweden, Lecture Notes in Computer Science no. 836, pages 401-416, Springer Verlag, 1994. Also appeared as technical report preprint98, Department of Philosophy, Utrecht University, Utrecht, 1993.
• M.A. Bezem and J.F. Groote. A correctness proof of a one bit sliding window protocol in mCRL. The Computer Journal, 37(4): 289-307, 1994. Also appeared as technical report preprint99, Department of Philosophy, Utrecht University, Utrecht, 1993.
• R.N. Bol and J.F. Groote. The meaning of negative premises in transition system specifications. In J. Leach Albert, B. Monien, and M. Rodriguez Artalejo, editors, Proceedings 18th ICALP, Madrid, pages 481-494, 1991.
• R.N. Bol and J.F. Groote. The meaning of negative premises in transition system specifications. In Journal of the ACM, 43(5):863-914, 1996.
• L.-A. Fredlund, J.F. Groote and H. Korver. Formal Verification of a Leader Election Protocol in Process Algebra. Theoretical Computer Science, 177:459-486, 1997.
• J.F. Groote. Transition system specifications with negative premises. In J.C.M. Baeten and J.W. Klop, editors, Proceedings CONCUR 90, Amsterdam, volume 458 of Lecture Notes in Computer Science, pages 332-341. Springer-Verlag, 1990.
• J.F. Groote. Transition system specifications with negative premises. Theoretical Computer Science, 118(2):263-299, 1993.
• J.F. Groote. A new strategy for proving omega-completeness applied to process algebra. In J.C.M. Baeten and J.W. Klop, editors, Proceedings CONCUR 90, Amsterdam, volume 458 of Lecture Notes in Computer Science, pages 314-331. Springer-Verlag, 1990.
• J.F. Groote. Specification and verification of real time systems in ACP (Extended Abstract). In L. Logrippo, R.L. Probert and H. Ural, editors, Proceedings 10th International Symposium on Protocol Specification, Testing and Verification, Ottawa, pages 261-274, 1990.
• J.F. Groote. A short proof of the decidability of bisimulation for normed BPA processes. Information Processing Letters, 42:167-171, 1992.
• J.F. Groote. Hiding Propositional Constants in BDDs. Formal Methods in System Design, Vol. 8, pages 91-96, 1996. Also appeared as technical report preprint120, Department of Philosophy, Utrecht University, Utrecht, 1994.
• J.F. Groote. Concurrency theory will set standards for description and analysis of software, Computing Surveys, 28A(4), December, http://www.acm.org/surveys/1996/\-GrootePosition/GrootePosition.html, 1996.
• J.F. Groote. Structured Operational Semantics. To appear in: J. Urban, P. Dasgupta, editors, Encyclopedia of Distributed Computing, Kluwer Academic Publishers, 1998?
• J.F. Groote. A Note on n Similar Parallel Processes. In S. Gnesi and D. Latella, editors, Second Internationa Ercim Workshop on Formal Methods for Industrial Critical Systems, pp. 65-75, Cesena, Italy, 1997. (See also Report CS-R9626, CWI, Amsterdam, 1996).
• J.F. Groote and H. Huttel. Undecidable Equivalences for Basic Process Algebra. Information and Computation, 115(2):354-371, 1994.
• J.F. Groote, J.W.C. Koorn and S.F.M. van Vlijmen. Formele analyse van het veiligheidssysteem op het station van Hoorn-Kersenboogerd. Informatie, Jaargang 36, nr. 6, pagina's 397-404, 1995.
• J.F. Groote, J.W.C. Koorn and S.F.M. van Vlijmen. The safety guaranteeing system at station Hoorn-Kersenboogerd (Extended abstract). In proceedings 10th Annual Conference on Computer Assurance (COMPASS'95), pp. 57-68, Gaithersburg, Maryland, 1995. Full version available as technical report preprint121, Department of Philosophy, Utrecht University, Utrecht, 1994.
• J.F. Groote and H. Korver. Correctness proof of the bakery protocol in mCRL. In A. Ponse, C. Verhoef and S.F.M. van Vlijmen, eds, Algebra of Communicating Processes, Workshops in Computing, pp. 63-86, 1994. Appeared also as technical report CS-R9473, CWI, Amsterdam, 1994.
• J.F. Groote, H. van Maaren. Equivalence of the Concave Optimisation method and d'Agostino's Tableaux for Propositional Logic. In V. Atalay, e.a. editors, Proceedings of the Eleventh International Symposium on Computer and Information Sciences (ISCIS-XI), pages 41-51, Antalya, Turkey, 1996.
• J.F. Groote and R. Mateescu. Verification of Temporal Properties of Processes in a Setting with Data. In Armando Martin Haeberer, editor, Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology AMAST'98 (Amazonia, Brazil), volume 1548 of Lecture Notes in Computer Science, pages 74-90. Springer Verlag, January 1999. Full version available as Technical Report SEN-R9804, CWI, Amsterdam, 1998.
• J.F. Groote and F. Moller. Verification of parallel systems via decomposition. In W.R. Cleaveland, editor, Proceedings CONCUR 92, Stony Brook, NY, USA, volume 630 of Lecture Notes in Computer Science, pages 62-76. Springer-Verlag, 1992.
• J.F. Groote, F. Monin and J.C. van de Pol. Checking verifications of protocols and distributed systems by computer . In D. Sangiorgi and R. de Simone, Proceedings of Concur'98, Sophia Antipolis, Lecture Notes in Computer Science 1466, pp. 629-655, Springer Verlag, 1998. Extended version appeared as Computer Science Report 98/13, Department of Mathematics and Computer Science, Eindhoven University, 1998.
• J.F. Groote and J.C. van de Pol. A bounded retransmission protocol for large data packets. A case study in computer checked verification. In M. Wirsing and M. Nivat, Editors, Proceedings of AMAST'96, Munich, volume 1101 of Lecture Notes in Computer Science, Springer Verlag, pages 536-550, 1996. Also appeared as technical report preprint100, Department of Philosophy, Utrecht University, Utrecht, 1993.
• J.F. Groote and A. Ponse. Process algebra with guards. Combining Hoare logic and process algebra. Formal Aspects of Computing, 6(2): 115-164, 1994.
• J.F. Groote and A. Ponse. Process algebra with guards. Combining Hoare logic and process algebra (Extended abstract). In J.C.M. Baeten and J.F. Groote, editors, Proceedings CONCUR91, Amsterdam, volume 527 of Lecture Notes in Computer Science, pages 235-249. Springer-Verlag, 1991.
• J.F. Groote and A. Ponse. Proof theory for mCRL: a language for processes with data. In Andrews et al. Proceedings of the International Workshop on Semantics of Specification Languages. Workshops in Computing, pages 231-250. Springer Verlag, 1994.
• J.F. Groote and A. Ponse. The syntax and semantics of mCRL. In A. Ponse, C. Verhoef and S.F.M. van Vlijmen, eds, Algebra of Communicating Processes, Workshops in Computing, pp. 26-62, 1994. This article also appeared as technical report CS-R9076, CWI, Amsterdam, 1990.
• J.F. Groote and M.P.A. Sellink. Confluence for Process Verification. In S.A. Smolka editor, proceedings of CONCUR'95, pp. 204-218, volume 962 of Lecture Notes in Computer Science, Springer Verlag, 1995.
• J.F. Groote and M.P.A. Sellink. Confluence for Process Verification. In Theoretical Computer Science B (Logic, semantics and theory of programming), 170(1-2):47-81, 1996. Also appeared as technical report preprint137, Department of Philosophy, Utrecht University, Utrecht, 1993.
• J.F. Groote and F.W. Vaandrager. Structured operational semantics and bisimulation as a congruence (extended abstract). In G. Ausiello, M. Dezani-Ciancaglini, and S. Ronchi Della Rocca, editors, Proceedings 16th ICALP, Stresa, volume 372 of Lecture Notes in Computer Science, pages 423-438. Springer-Verlag, 1989. Full version available as CWI Technical report CS-R8845.pdf, 1988.
• J.F. Groote and F.W. Vaandrager. Structured operational semantics and bisimulation as a congruence. Information and Computation, 100(2):202-260, October 1992. Full version available as CWI Technical report CS-R8845.pdf, 1988.
• J.F. Groote and F.W. Vaandrager. An efficient algorithm for branching bisimulation and stuttering equivalence. In M.S. Paterson, editor, Proceedings 17th ICALP, Warwick, volume 443 of Lecture Notes in Computer Science, pages 626-638. Springer-Verlag, 1990. Another version in .pdf format, also available in postscript format.
• J.F. Groote and S.F.M. van Vlijmen. A modal logic for mCRL. Modal Logic and Process Algebra, a Bisimulation Perspective A. Ponse, M. de Rijke and Y. Venema, eds. CSLI Lecture Notes No. 53, pages 131-150, Stanford, 1995. Also appeared as technical report preprint114, Department of Philosophy, Utrecht University, Utrecht, 1994.

Invited Publications

• J.F. Groote, J.W.C. Koorn and S.F.M. van Vlijmen. Formele analyse van het veiligheidssysteem op het station van Hoorn-Kersenboogerd. In Proceedings van de tweede landelijke specificatiedag Tussen Theorie en Praktijk. Technische Universiteit Eindhoven en Katholieke Universiteit Brabant, 1994.
• J.F. Groote and A. Ponse. mCRL: A base for analysing processes with data. In E. Best and G. Rozenberg, editors, Proceedings 3rd Workshop on Concurrency and Compositionality, Goslar, GMD-Studien Nr. 191, pages 125-130. Universitaet Hildesheim, 1991.
• J.F. Groote and A. Ponse. Proof theory for mCRL. A language for processes with data. In S. Brlek editor, proceedings of BMW-94, Methodes mathematiques pour la synthese des systemes informatiques, pages 105-124. Publication de laboratoire de combinatoire et d'Informatique Mathematique, Universite du Quebec a Montreal, Montreal, Canada, 1994.

Books, Proceedings and Journals

• D.J. Andrews, J.F. Groote, and C.A. Middelburg, editors. Proceedings of the International Workshop on Semantics of Specification Languages. Workshops in Computing, Springer Verlag, 1994.
• J.C.M. Baeten and J.F. Groote, editors. Proceedings CONCUR 91, Amsterdam, volume 527 of Lecture Notes in Computer Science. Springer-Verlag, 1991.
• M. Bezem and J.F. Groote, editors. Typed Lambda Calculi and Applications, volume 664 of Lecture Notes in Computer Science. Springer-Verlag. Proceedings of the 1st International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, 1993.
• J.F. Groote. Process Algebra and Structured Operational Semantics. PhD thesis, University of Amsterdam, 1991.
• J.F. Groote, S.P. Luttik, J.J. van Wamel (editors). Proceedings of the third international workshop on formal methods for industrial critical systems. CWI, Amsterdam, The Netherlands, 1998.
• J.F. Groote, S.P. Luttik, J.J. van Wamel (editors). Formal Aspects of Computing. Special Issue on FMICS'98, volume 7/8, 1998.
• J.F. Groote and M. Rem, editors. Science of Computer Programming, Methods of Software Design: Techniques and Applications. Special Issue on COST247, Verification and validation methods for formal descriptions, 1997.

Other publicaties

• M.A. Bezem and J.F. Groote. Kloof theorie/praktijk bezit redelijke kanten. Automatiseringsgids. Apr 30, 1993.
• E. Brinksma and J.F. Groote. Validatietechnieken houden complexe systemen hanteerbaar. Automatisering Gids. Jan 8, 1999.
• J.F. Groote. An optimisation problem for an AC operator. Bulletin of the European Association for Theoretical Computer Science no. 54. pp. 380-382, 1994.
• J.F. Groote. We moeten software leren beheersen. Intreerede. Technische Universiteit Eindhoven. Mar 5, 1999.
• J.F. Groote and W.H. Hesselink. Research Program Logics and Computer Science for the Onderzoekschool Logica (1994 - 1999). 1993.
• J.F. Groote and S.F.M. van Vlijmen. Wetenschappers helpen NS aan veiliger stations. Automatisering Gids. Feb 17, 1995.

Reports that have not been published elsewhere

• M.A. Bezem and J.F. Groote. A formal verification of the alternating bit protocol in the calculus of constructions. Technical Report 88, Logic Group Preprint Series, Utrecht University, March 1993.
• M.A. Bezem and J.F. Groote. Proving a Graph Well Founded using Resolution (a case study in automated verification). Technical Report 113, Logic Group Preprint Series, Department of Philosophy, Utrecht University, 1994.
• D. Dams and J.F. Groote. Specification and Implementation of Components of a mCRL Toolbox. Technical Report 152, Logic Group Preprint Series, Department of Philosophy, Utrecht University, 1995.
• A.J.P.M. Engel, L.M.G. Feijs, J.F. Groote, J.C. van de Pol and J. Springintveld. Specification, design and simulation of services and protocols for a PDA using the infra red medium (confidential). Technical report RWB-510-re-95012, Dept. of Information and Software Technology, Philips, Eindhoven, 1995.
• J.F. Groote. Implementations of events in LOTOS-specifications. Technical Report 009/88EN, Philips CFT, Eindhoven, 1988.
• J.F. Groote. Towards a formal mathematical vernacular. Technical Report, Logic Group Preprint Series No. 84, Utrecht University, December 1992.
• J.F. Groote. Binary Decision Diagrams for Predicate Logic. Technical Report, Logic Group Preprint Series No. 127, Utrecht University, 1995.
• J.F. Groote. A Note on n Similar Parallel Processes. Report CS-R9626, CWI, Amsterdam, 1996.
• J.F. Groote. The syntax and semantics of timed mCRL. Technical report SEN-R9709, CWI, Amsterdam, 1997.
• J.F. Groote, L. Helmink, R.P. Jagt, Y.M. Lau, and J. Springintveld. Analysis and PSF model of the project 50 application layer for TV and VCR. Technical Report RWB-508-re-94081. Department of Information and Software Technology. Philips Research, Eindhoven, The Netherlands, 1994. Confidential.
• J.F. Groote, W.H. Hesselink, S. Mauw and R. Vermeulen. An algorithm for the asynchronous Write-All problem based on process collision. Computing Science Report 99-15. Department of Computer Science. Eindhoven University, 1999.
• J.F. Groote, J.W.C. Koorn and S.F.M. van Vlijmen. The safety guaranteeing system at station Hoorn-Kersenboogerd. Technical Report 121, Logic Group Preprint Series, Department of Philosophy, Utrecht University, 1994.
• J.F. Groote and S.P. Luttik. Undecidability and completeness results for process algebras with alternative quantification over data. Technical report SEN-R9806, CWI, Amsterdam, 1998.
• J.F. Groote and S.P. Luttik. A Complete Axiomatisation of Branching Bisimulation for Process Algebras with Alternative Quantification over Data. Technical Report SEN-R9830, CWI, Amsterdam, 1998.
• J.F. Groote, F. Monin and J. Springintveld. A computer checked algebraic verification of a distributed summing protocol. Computer Science Report 97/14, Department of Mathematics and Computer Science, Eindhoven University of Technology. 1997.
• J.F. Groote and J. Springintveld. Algebraic verification of a Distributed Summation Algorithm. Technical Report CS-R9640, Centrum voor Wiskunde en Informatica, Amsterdam, 1996. (see also above: Groote, Monin and Springintveld, A computer checked algebraic verification of a distributed summing protocol). This report also appeared as Technical Report CSI-R9627, Department of Mathematics and Computer Science, University of Nijmegen, 1996.
• J.F. Groote and J. van Wamel. Algebraic Data Types and Induction in mCRL. Report P9409, University of Amsterdam, Amsterdam, 1994.
• J.F. Groote and J.J. van Wamel. Basic theorems for parallel processes in timed mCRL. Technical report SEN-R9808, CWI, Amsterdam, 1998.
• J.F. Groote and J.P. Warners. The propositional formula checker HeerHugo. Technical Report SEN-R9905, Centre for Mathematics and Computer Science (CWI), Amsterdam, The Netherlands, 1999.
• H. van Maaren, J.F. Groote and M. Rozema. Verification of Propositional Formulae by Means of Convex and Concave Transforms. Technical Report 95-74. Faculty of Technical Mathematics and Informatics. Delft University of Technology. 1995.