Publications of J.F. Groote

List of publications (J.F. Groote)

(Updated February 16, 2024) J.F.Groote@tue.nl, home page

Publications in 2024

J.F. Groote and M. Huisman. Formal Methods for Industrial Critical Systems. International Journal on Software Tools for Technology Transfer, 2024.
Y. Hafidi, J.J.A. Keiren and J.F. Groote. Fair Mutual Exclusion for N Processes. In: R. Yavorskiy, A.R. Cavalli, and A. Kalenkova, (eds), Tools and Methods of Program Analysis. TMPA 2021. Communications in Computer and Information Science, pp. 149-160, vol 1559. Springer, Cham. 2024.

Publications in 2023

T.T.P. Franken, T. Neele, J.F. Groote. An autonomous data language. E. Ábrahám, C. Dubslaff, and S.L.T. Tarifa, editors, Theoretical Aspects of Computing - ICTAC 2023. ICTAC 2023. Lecture Notes in Computer Science, vol 14446. Springer, Cham. 2023.
R.J. van Glabbeek, J.F. Groote, and E.P. de Vink. A Cancellation Law for Probabilistic Processes. G. Caltais and C.A. Mezzina (Eds): Combined Workshop on Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2023), 2023.
J.J.M. Martens, J.F. Groote L.B. van den Haak, P. Hijma and A.J. Wijs. Linear parallel algorithms to compute strong and branching bisimilarity. Software and Systems Modeling 22(2):521-545, 2023.
J.J.M. Martens and J.F. Groote. Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard, but Variants are Tractable. Guillermo A. Pérez and Jean-François Raskin, editors, proceedings of the 34th International Conference on Concurrency Theory (CONCUR 2023), Leibniz International Proceedings in Informatics (LIPIcs) 279, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, pp. 32:1-32:17. 2023.
J.F. Groote and T.A.C. Willemse. Real Equation Systems with Alternating Fixed-Points. Guillermo A. Pérez and Jean-François Raskin, editors, proceedings of the 34th International Conference on Concurrency Theory (CONCUR 2023), Leibniz International Proceedings in Informatics (LIPIcs) 279, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl, Germany, pp. 28:1-28:17. 2023.
J.F. Groote and T.A.C. Willemse. Real Equation Systems with Alternating Fixed-points (full version with proofs). ArXiv: 2307.07455. July 2023.
J.J.M. Martens and J.F. Groote. Computing minimal distinguishing Hennessy-Milner formulas is NP-hard, but variants are tractable. ArXiv: 2307.05265. July 2023.
J.F. Groote, J.J.M. Martens, and E.P. de Vink. Lowerbounds for Bisimulation by Partition Refinement. LMCS:9212 - Logical Methods in Computer Science, May 11, Volume 19, Issue 2, 2023.
F. Labbaf. J.F. Groote, H. Hojjat, and M.R. Mousavi. Compositional Learning for Interleaving Parallel Automata. In O. Kuperman and P. Sobocinski (eds.), Proceedings of the 26th International Conference on the Foundation of Computer Science and Compuatation Structure, Paris, France, LNCS 13992, pp. 413-435, 2023.
K.H.J. Jilissen, P. Dieleman, and J.F. Groote. A formal analysis of Dutch Generic Integral Tunnel Design models. Proceedings of the 38th ACM/SIGAPP Symposium On Applied Computing, IEEE, Talinn Estonia, pages 1681-1684, 2023.
V. Ciancia, J.F. Groote, D. Latella, M. Massink, E.P. de Vink. Minimisation of Spatial Models Using Branching Bisimilarity. In: M. Chechik, J.P. Katoen, M. Leucker (eds) Formal Methods. FM 2023. Lecture Notes in Computer Science, vol 14000. Springer. 2023
M. Atif and J.F. Groote. Understanding behaviour of distributed systems using mCRL2. Studies in Systems, Decision and Control (SSDC, volume 458), Springer-Verlag, 2023.
S. Thuijsman, G. Kahraman, A. Mohamadkhani, F. Timmers, L. Cleophas, M. Geilen, J.F. Groote, M. Reniers, R. Schiffelers, J. Voeten. Tool interoperability for model-based systems engineering. ArXiv: 2302.03503, February 7, 2023.
J. van Eerd, J.F. Groote, H.P. Hijma, J.J.M. Martens, M. Osama, and A.J. Wijs. Innermost many-sorted term rewriting on GPUs. Science of Computer Programming 225 - 10920. 2023.
G. Alberts and J.F. Groote. Tales of Electrologica. Computers, software and people. History of Computing. Springer Nature. 2023.

Publications in 2022

J.J.M. Martens, J.F. Groote, L.B. van den Haak, H.P. Hijma, and A.J. Wijs. Linear parallel algorithms to compute strong and branching bisimilarity. Software and Systems Modeling. 2022.
J.F. Groote, M. Laveaux, and P.H.M. van Spaendonck. A thread-safe term library (with a new fast mutual exclusion protocol). In T. Margaria and B. Steffen (eds.): ISoLA 2022, LNCS 13701, pp. 422-459, 2022.
J.F. Groote, K.H.J. Jilissen, M. Laveaux, P.H.M. van Spaendonck, and T.A.C. Willemse. Using the parallel ATerm library for parallel model checking and state space generation. In: N. Jansen, M. Stoelinga, and P. van den Bosch (editors), A Journey from Process Algebra via Timed Automata to Model Learning. Essays Dedicated to Frits Vaandrager on the Occasion of his 60th birthday, LNCS 13560, Springer, pp. 306-320, 2022.
J.F. Groote and M. Huisman (editors). Formal Methods for Industrial Critical Systems. Proceedings of the 27th International Conference, FMICS 2022, Warsaw, Poland, LNCS 13487, Springer, 2022.
B. Hooimeijer, M. Geilen, J.F. Groote, D. Hendriks and R. Schiffelers. Constructive Model Inference: Model Learning for Component-based Software Architectures. In: Hans-Georg Fill, Marten van Sinderen and Leszek Maciaszek, editors, proceedings of ICSOFT 2022, 17th International Conference on Software Technologies, Lisbon, Portugal, pp. 146-158, 2022.
Y. Fu, A. Terechko, J.F. Groote A. Khabbaz Saberi. A formally verified fail-operational safety concept for automated driving. SAE Int. J. of CAV 5(1), 2022.
J.J.M. Martens, J.F. Groote, E.P. de Vink. Lowerbounds for Bisimulation by Partition Refinement. ArXiv:2203.07158. March/December 2022.

Publications in 2021

J.F. Groote, M. Laveaux and P.H.M. van Spaendonck. A thread-safe Term Library. ArXiv: 2111.02706. November 5, 2021.
Y. Hafidi, J.J.A. Keiren and J.F. Groote. Fair Mutual Exclusion for N Processes (extended version). November 5, 2021.
J.F. Groote. Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel. In V. Castiglioni and O. Dardha (Eds.): Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational Semantics, Paris, France (online event), 23rd August 2021. EPTCS 339, pp. 2-8, 2021.
J.J.M. Martens, J.F. Groote, L.B. van den Haak. H.P. Hijma, and A.J. Wijs. A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions. In G. Salaün and A.J. Wijs, editors, Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, Lecture Notes in Computer Science 13077, 115-133, Springer, 2021.
R. Erkens and J.F. Groote. Set Automaton to Locate All Pattern Matches in a Term. In A. Cerone and Peter Csaba Ölveczky, editors, Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings. Lecture Notes in Computer Science 12819, pp. 67-85, Springer, 2021.
J. van Eerd, J.F. Groote, P. Hijma, J.J.M. Martens and A. Wijs. Term Rewriting on GPUs. In H. Hojjat and M. Massink, editors, Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers, Lecture Notes in Computer Science 12818, pp. 175-189, Springer, 2021.
J.F. Groote, R. Morel, J. Schmaltz, and A.J. Watkins. Logic Gates, Circuits, Processors, Compilers and Computers. Springer International Publishing. 2021.
J.F. Groote, J.J.M. Martens, and E.P. de Vink. Bisimulation by partitioning is Omega((m+n)log n). In: S. Haddad, and D. Varacca, editors, proceedings of the 32nd International Conference on Concurrency Theory (CONCUR 2021), Leibniz International Proceedings in Informatics (LIPIcs), volume 203, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, pp. 31:1-31:16, 2021.
R. Erkens, J.F. Groote. A Set Automaton to Locate All Pattern Matches in a Term. ArXiv:2106.15311. June 29, 2021.
J.J.M. Martens, J.F. Groote, L. van den Haak, P. Hijma, A.J. Wijs. A linear parallel algorithm to compute bisimulation and relational coarsest partitions. ArXiv:2105.11788. May 25, 2021.
J.F. Groote and J.J.A. Keiren. Tutorial: Designing Distributed Software in mCRL2. In: K. Peters and T.A.C. Willemse, editors, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings, Lecture Notes in Computer Science 12719, pp. 226-243, Springer, 2021.
J.F. Groote, J.J.A. Keiren. Tutorial: Designing Distributed Software in mCRL2. ArXiv: 2104.10542. April 21, 2021.
M. Laveaux, J.F. Groote and T.A.C. Willemse. Correct and efficient antichain algorithms for refinement checking. Logical Methods in Computer Science 17(1): 2021.
J.F. Groote and K.G. Larsen. Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I. Lecture Notes in Computer Science 12651, Springer 2021.
J.F. Groote and K.G. Larsen. Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. Lecture Notes in Computer Science 12652, Springer 2021.

Publications in 2020

A. Khabbaz Saberi, J. Hegge, T. Fruehling, J.F. Groote. Beyond SOTIF: Black Swans and Formal Methods. In 2020 IEEE International Systems Conference (Syscon), Montreal, GC, Canada, August 24 - September 20. Pages 1-5, 2020. DOI: 10.1109/SysCon47679.2020.9275888.
Y. Fu, A. Terechko, J.F. Groote, and A. Khabbaz Saberi. A formally verified fail-operational safety concept for automated driving. ArXiv: 2011.00892. November 2, 2020.
J.F. Groote and Tim A.C. Willemse. A symmetric protocol to establish service level agreements . Logical Methods in Computer Science 16(3), 19 pages, 2020.
J. van Eerd, J.F. Groote, P. Hijma, J.J.M. Martens, and A.J. Wijs. Term Rewriting on GPUs. ArXiv: 2009.07174. September 15, 2020.
F. Timmers, J.F. Groote. Complete Axiomatisation for Probabilistic Trace Equivalence. Scientific Annals of Computer Science 30(1):69-104, Alexandru Ioan Cuza University Press, Iaçsi, 2020.
D.N. Jansen, J.F. Groote, F. Timmers, and P. Yang. A near-linear-time algorithm for weak bisimilarity on Markov chains. In: Igor Konnov and Laura Kovács (eds.), 31st International Conference on Concurrency Theory (CONCUR2020), Leibniz International Proceedings on Informatics, Schloss Dagstuhl, Dagstuhl Publishing, Germany. Article No. 8; pp. 8:1-8:20, 2020. You can watch the Concur presentation on YouTube.
O. al Duhaiby and J.F. Groote. Active learning of decomposable systems. In 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE), ACM, New York, pages 1-10, Seoul, Republic of Korea, 2020.
D.N. Jansen, J.F. Groote, J.J.A. Keiren and A.J. Wijs. An O(m log n) algorithm for branching bisimilarity on labelled transition systems. In: A. Biere and D. Parker (eds.): TACAS 2020, LNCS 12079, Springer-Verlag, pp. 3-20, 2020.
J.F. Groote, J.J.A. Keiren, S.P. Luttik, E.P. de Vink and T.A.C. Willemse. Modelling and analysing software in mCRL2. In: F. Arbab, S.-S. Jongmans (eds), Formal Aspects of Component Software. FACS 2019. Lecture Notes in Computer Science, vol 12018. Springer, Cham. pp. 25-48, 2020. Also published as Computer Science Report 19-05.
J.F. Groote and T.A.C. Willemse. A symmetric protocol to establish service level agreements ArXiv: 2001.07658. January 2020.
T.S. Neele, T.A.C. Willemse and J.F. Groote. Finding compact proofs for infinite-data parameterised Boolean equation systems. Science of Computer Programming 188:102389, 2020.

Publications in 2019

J.F. Groote, J.J.A. Keiren, S.P. Luttik, E.P. de Vink, and T.A.C. Willemse. Modelling and analysing software in mCRL2. Computer Science Report 19-05. 24 p. Eindhoven University of Technology, Eindhoven, The Netherlands. 2019.
R.J. van Glabbeek, J.F. Groote, and E.P. de Vink. A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice (Extended Abstract). In M.S. Alvim, Kostas Chatzikokolakis, Carlos Olarte and Frank Valencia. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Lecture Notes in Computer Science 11760. Springer, pp. 139-162, 2019. A publicly available version.
J.F. Groote and E.P. de Vink. An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice. In: Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.), : From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, pages 449-463, Springer 2019. Publicly available version.
T.S. Neele, M. Rol and J.F. Groote. Verifying system-wide properties of industrial component-based software. In H. Hojjat and M. Massink (eds.), proceedings of FSEN 2019, LNCS 11761, pages 158-175, Springer, Cham, 2019. The version from the preproceedings. In H. Hojjat and M. Massink. Preproceedings of Fundamentals of Software Engineering 2019. Teheran, Iran. IPM School of Computer Science. Pages 5-20, 2019.
L. Sanchez, J.F. Groote and R.R.H. Schiffelers. Active learning of industrial software with data. In: H. Hojjat, M. Massink (eds), Fundamentals of Software Engineering. FSEN 2019. Lecture Notes in Computer Science, vol 11761, pages 95-110. Springer. 2019. The version from the preproceedings. In H. Hojjat and M. Massink. Preproceedings of Fundamentals of Software Engineering 2019. Teheran, Iran. IPM School of Computer Science. Pages 51-65, 2019.
D.N. Jansen, J.F. Groote, J.J.A. Keiren and A.J. Wijs. A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems. Computer Science Report 19-03. Eindhoven University of Technology. 2019. Also available on arxiv.org.
O. al Duhaiby and J.F. Groote. Distribution of Behaviour into Parallel Communicating Subsystems. In: J.A. Perez and J. Rot, editors, Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, Amsterdam, The Netherlands, 26th August 2019, Electronic Proceedings in Theoretical Computer Science 300, pages 54-68, Open Publishing Association, 2019. Doi: 10.4204/EPTCS.300.4.
O. Bunte, J.F. Groote, J.J.A. Keiren, M. Laveaux, T.S. Neele, E.P. de Vink, J.W. Wesselink, A.J. Wijs, T.A.C. Willemse. The mCRL2 Toolset for Analysing Concurrent Systems. In T. Vojnar and L. Zhang (eds), Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. Lecture Notes in Computer Science, vol 11428. Springer, pp 21-39, 2019.
M. Laveaux, J.F. Groote and T.A.C. Willemse. Correct and efficient antichain algorithms for refinement checking. In J.A. Perez and N. Yoshida (eds.), FORTE 2019, LNCS 11535, Springer, pp. 195-203, 2019. Also appeared as Computer Science Report 19/01. Eindhoven University of Technology, Eindhoven, The Netherlands, 2019, and on archiv.com.
D.A. Zaitsev, T.R. Shmeleva, J.F. Groote. Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra. IEEE/CAA Journal of Automatica Sinica 6(3):733-742, 2019.

Publications in 2018

O. al Duhaiby, A. Mooij, H. van Wezep, and J.F. Groote. Pitfalls in applying model learning to industrial legacy software. In T. Margaria and B. Steffen, eds., Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018. LNCS 11247, Springer, pp. 121-138, 2018.
T.S. Neele, T.A.C. Willemse and J.F. Groote. Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. In Kyungmin Bae and Peter Csaba Ölveczky, editors, FACS, volume 11222 of Lecture Notes in Computer Science, Springer, pp. 216-236, 2018. Best Paper award. This publication also appeared as Computer Science Report 18-3, Eindhoven University of Technology, 2018.
J.F. Groote, H.J. Rivera Verduzco, and E.P. de Vink. An efficient algorithm to determine probabilistic bisimulation. Algorithms. Published online September 2018. MDPI 2018. DOI:10.3390/a11090131.

Publications in 2017

J.F. Groote and E.P. de Vink. Problem solving using process algebra considered insightful. In ModelEd, TestEd, TrustEd, J.-P. Katoen, R. Langerak, A. Rensink, editors, Lecture Notes in Computer Science 10500, Springer, pages 48-63, 2017. This paper also appeared as Computing Science Report CSR 17-02.
R. van Beusekom, J.F. Groote, P. Hoogendijk, R. Howe, W.J. Wesselink, R. Wieringa, T.A.C. Willemse. Formalising the Dezyne Modelling Language in mCRL2. In: L. Petrucci, C. Seceleanu, A. Cavalcanti (eds), Critical Systems: Formal Methods and Automated Verification. FMICS 2017, AVoCS 2017. pages 217-233, Lecture Notes in Computer Science 10471. Springer, 2017. DOI: 10.1007/978-3-319-67113-0_14. Best paper award.
A.A.H. Osaiweran, J. Marincic and J.F. Groote. Assessing the quality of tabular state machines through metrics. In the proceedings of the 2017th IEEE International Conferenence on Software Quality, Reliability and Security. Prague, Czech Republic, pages 426-433, IEEE, 2017. doi:10.1109/QRS.2017.52. This article also appeared as Computing Science Report CSR 17-01. Department of Mathematics and Computer Science. Eindhoven University of Technology, 2017.
J.F. Groote, D.N. Jansen, J.J.A. Keiren and A. Wijs. An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation. ACM Transactions on Computational Logic 18(2): 13:1-13:34, 2017. DOI: doi.acm.org/10.1145/3060140.
M. Talebi, J.F. Groote, and C. Dandelski. Modelling and verification of a cluster-tree formation protocol implementation for the IEEE 802.15.4 TSCH MAC operation mode. In H. Hermanns and P. Höfner, editors, proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, pp. 117-128, 2017. DOI: 10.4204/EPTCS.244.5.
M. Talebi, J.F. Groote and J.-P. Linnartz. The mean drift: Tailoring the mean field theory of markov processes for real-world applications. In proceedings of Analytical and Stochastic Modelling Techniques and Applications. 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, pp. 196-211, 2017. DOI: doi.org/10.1007/978-3-319-61428-1_14.
J.F. Groote and E.P. de Vink. Problem solving using process algebra considered insightful. Computing Science Report CSR 17-02. Department of Mathematics and Computer Science. Eindhoven University of Technology, 2017.
A.A.H. Osaiweran, J. Marincic and J.F. Groote. Assessing the quality of tabular state machines through metrics. Computing Science Report CSR 17-01. Department of Mathematics and Computer Science. Eindhoven University of Technology, 2017.

Publications in 2016

M. Huisman, H. Bos, S. Brinkkemper, A. van Deursen, J.F. Groote, P. Lago, J.C. van de Pol, and E. Visser. Software that meets its intent. In proceedings of ISoLA2016, B. Steffen, editor, Lecture Notes in Computer Science 9953, pp. 609-625, Springer-Verlag, 2016.
S. Keshiszadeh and J.F. Groote. Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness. Proceedings Thirteenth International Conference on Computability and Complexity in Analysis, pages 24-26, 2016. A full version appeared as technical report CSR-15-05.pdf.
J.F. Groote, R.W. van der Hofstad, and M. Raffelsieper. On the random structure of behavioural transition systems. Science of Computer Programming 128:51-67, 2016. doi:10.1016/j.scico.2016.02.006. Also published as Computing Science Report CSR 14-01.
J.F. Groote and A.J. Wijs. An O(m log n) algorithm for stuttering equivalence and branching bisimulation. In M. Chechik and J.-F. Raskin (eds). TACAS 2016, LNCS 9636, pp. 607-624, 2016. DOI: 10.1007/978-3-662-49674-9_40.
J.F. Groote, F. Wiedijk, and H. Zantema. A probabilistic analysis of the Game of the Goose. SIAM Reviews 58(1):143-155, 2016. DOI:10.1137/140983781. This article also appeared as Computing Science Report CS-R1404. Department of Mathematics and Computer Science. Eindhoven University of Technology, 2014.
A.A.H. Osaiweran. M. Schuts, J. Hooman, J.F. Groote and B. van Rijnsoever. Evaluating the effect a lightweight formal technique in industry. International Journal on Software Tools for Technology Transfer 18(1):93-108, 2016. DOI: 10.1007/s10009-015-0374-1. This paper was also published as Technical report 12-13.

Publications in 2015

M. Talebi, J.F. Groote and J.-P. Linnartz. Continuous approximation of stochastic models for wireless sensor networks. 2015 IEEE Symposium on Communications and Vehicular Technology in the Benelux (SCVT), Luxembourg-Kirchberg, pp. 1-6, 2015. DOI: 10.1109/SCVT.2015.7374240.
J.F. Groote and A.J. Wijs. An O(m log n) algorithm for stuttering equivalence and branching bisimulation. Computing Science Report CS-Report 15-06. Department of Mathematics and Computer Science. Eindhoven University of Technology, 2015. This article also appeared as arXiv publication 1601.01478.
S. Keshishzadeh and J.F. Groote. Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness. Computing Science Report CS-Report 15-05. Department of Mathematics and Computer Science. Eindhoven University of Technology, 2015.
A. Osaiweran, M. Schuts, J. Hooman, J.F. Groote, and B. van Rijnsoever. Evaluating the effect of a lightweight formal technique in industry. International Journal on Software Tools for Technology Transfer. Published online, DOI: 10.1007/s10009-015-0374-1, 2015. An earlier version of this articles appeared as Technical report 12-13.
M.G.J. van den Brand and J.F. Groote. Software Engineering: Redundancy is Key. Science of Computer programming 97:75-81, DOI: 10.1016/j.scico.2013.11.020, 2015.
J.F. Groote, T.W.D.M. Kouters and A.A.H. Osaiweran. Specification guidelines to avoid the state space explosion problem. Journal of Software: Testing, Verification and Reliability 25(1):4-33, 2015 (published online in 2014). See also report Technical Report 10-14.

Publications in 2014

J.F. Groote and M.R. Mousavi. Modeling and analysis of communicating systems. The MIT press. 2014. Also appeared at PHI Learning. Private Limited. Delhi. 2016. Doi: 10.7551/mitpress/9946.001.0001.
J.F. Groote and H. Zantema. De kans om Ganzenbord te winnen. Nieuw Archief voor de Wiskunde 5/15(4):234-239, 2014.
J.F. Groote, R.W. van der Hofstad, and M. Raffelsieper. On the random structure of behavioural transition systems. Post-proceedings of the 14th international workshop on automated verification of critical systems (AVOCS14), M. Huisman and J.C. van de Pol, editors, Electronic Communications of the EASST 70, 2014. An extended version appeared as Computing Science Report CSR 14-01.
M.G.J. van den Brand and J.F. Groote. Redundancy in the software design process is essential for designing correct software. ERCIM news 99:34-35, 2014.
J.F. Groote and H. Zantema. A probabilistic analysis of the Game of the Goose. Computing Science Report CS-R1404. Department of Mathematics and Computer Science. Eindhoven University of Technology, 2014.
M. Leemans, R.P.J. Koolen, S. Cranen, S.E. Jurgens and J.F. Groote. Analyse van besturingssystemen voor beweegbare bruggen (analysis of the control system for movable bridges). Technical report for Rijkswaterstaat. Delivered on May 12, 2014 (confidential).
J.F. Groote, R. van der Hofstad and M. Raffelsieper. On the Random Structure of Behavioural Transition Systems. Computing Science Report CS-R1401. Department of Mathematics and Computer Science. Eindhoven University of Technology, 2014.

Publications in 2013

M.G.J. van den Brand and J.F. Groote. Software Engineering: Redundancy is Key. J.J. Vinju editor, preprint Science of Computer Programming, special issue in Honour of Paul Klint, pp. 75-82, 2013.
M.G.J. van den Brand and J.F. Groote. Software Engineering: Redundancy is Key. Computer Science Report 13/08, Eindhoven University of Technology, 2013.
A. Khabbaz Saberi, J.F. Groote and S. Keshishzadeh. Analysis of path planning algorithms: a formal verification-based approach. In P. Lio, O. Miglino, G. Nicosia, S. Nolfi and M. Pavone, editors, proceedings in Artificial Life, ECAL 2013, pp. 232-239, 2013. Full proceedings.
S. Cranen, J.F. Groote, J.J.A. Keiren, F.P.M. Stappers, E.P. de Vink, J.W. Wesselink, and T.A.C. Willemse. An overview of the mCRL2 toolset and its recent advances. Proceedings TACAS 2013, editors N. Piterman, S.A. Smolka, Lecture Notes in Computer Science 7795, pp. 199-213, Springer, 2013.
F.P.M. Stappers, M.A. Reniers, S. Weber and J.F. Groote. Dogfooding the formal semantics of mCRL2. In the proceedings of the 2012, 35th Annual IEEE Software Engineering Workshop, Heraclion, Crete, Greece, 2012. Download .pdf. A full version appeared as Computer Science Report 11/18.
J.F. Groote, J. Keiren, A. van Rooij, V. Saralaya and A.J. Wijs. Verificatie van de correctheid van de PLC-software van de Algerabrug. Technical report for Rijkswaterstaat. Delivered April 2013, 2013 (confidential).

Publications in 2012

M.G.J. van den Brand and J.F. Groote. Advances in model driven software engineering. ERCIM News, 91:23-24, 2012.
A.A.H. Osaiweran, J.F. Groote, M. Schuts, J. Hooman, B. van Rijnsoever. Evaluating the effect of formal techniques in industry. Computer Science Report 12/13, Department of Mathematics and Computer Science, Eindhoven University of Technology. 2012.
A.A.H. Osaiweran, T. Fransen, J.F. Groote, B. van Rijnsoever. Experience report on designing and developing control components using formal methods. In D. Giannakopoulou and D. Mery, FM 2012, LNCS 7436, pp. 341-355, 2012.
A.A.H. Osaiweran, T. Fransen, J.F. Groote, B. van Rijnsoever. Experience report on designing and developing control components using formal methods. Computer Science Report 12/04, Department of Mathematics and Computer Science, Eindhoven University of Technology. 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. 420-428). 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. 112-127, 2012. A more complete version 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, 2009.
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 of Technology, 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. This article also appeared as: J.F. Groote. A short proof of the decidability of bisimulation for normed BPA-processes. Report CS-R9151, CWI, Amsterdam, 1991.
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 International 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 of Technology, 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. The journal version is also available.
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 (open access). 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 of Technology, 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.

Back to my home page