Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jan Friso Groote
@article{DBLP:journals/sttt/GrooteH24,
author = {Jan Friso Groote and
Marieke Huisman},
title = {Formal Methods for Industrial Critical Systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {26},
number = {2},
pages = {127--129},
year = {2024},
url = {https://doi.org/10.1007/s10009-024-00744-3},
doi = {10.1007/S10009-024-00744-3},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GrooteH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-18722,
author = {Kevin H. J. Jilissen and
Peter Dieleman and
Jan Friso Groote},
title = {Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a
Constrained Industrial Environment},
journal = {CoRR},
volume = {abs/2403.18722},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.18722},
doi = {10.48550/ARXIV.2403.18722},
eprinttype = {arXiv},
eprint = {2403.18722},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-18722.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/AtifG23,
author = {Muhammad Atif and
Jan Friso Groote},
title = {Understanding Behaviour of Distributed Systems Using mCRL2, 1},
volume = {458},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-23008-0},
doi = {10.1007/978-3-031-23008-0},
isbn = {978-3-031-23007-3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/AtifG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GrooteMV23,
author = {Jan Friso Groote and
Jan Martens and
Erik P. de Vink},
title = {Lowerbounds for Bisimulation by Partition Refinement},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {2},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(2:10)2023},
doi = {10.46298/LMCS-19(2:10)2023},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GrooteMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/EerdGHMOW23,
author = {Johri van Eerd and
Jan Friso Groote and
Pieter Hijma and
Jan Martens and
Muhammad Osama and
Anton Wijs},
title = {Innermost many-sorted term rewriting on GPUs},
journal = {Sci. Comput. Program.},
volume = {225},
pages = {102910},
year = {2023},
url = {https://doi.org/10.1016/j.scico.2022.102910},
doi = {10.1016/J.SCICO.2022.102910},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/EerdGHMOW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/MartensGHHW23,
author = {Jan Martens and
Jan Friso Groote and
Lars B. van den Haak and
Pieter Hijma and
Anton Wijs},
title = {Linear parallel algorithms to compute strong and branching bisimilarity},
journal = {Softw. Syst. Model.},
volume = {22},
number = {2},
pages = {521--545},
year = {2023},
url = {https://doi.org/10.1007/s10270-022-01060-7},
doi = {10.1007/S10270-022-01060-7},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/MartensGHHW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrooteW23,
author = {Jan Friso Groote and
Tim A. C. Willemse},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Real Equation Systems with Alternating Fixed-Points},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {28:1--28:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.28},
doi = {10.4230/LIPICS.CONCUR.2023.28},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GrooteW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001G23,
author = {Jan Martens and
Jan Friso Groote},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Computing Minimal Distinguishing Hennessy-Milner Formulas is NP-Hard,
but Variants are Tractable},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {32:1--32:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.32},
doi = {10.4230/LIPICS.CONCUR.2023.32},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/0001G23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CianciaGLMV23,
author = {Vincenzo Ciancia and
Jan Friso Groote and
Diego Latella and
Mieke Massink and
Erik P. de Vink},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Minimisation of Spatial Models Using Branching Bisimilarity},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {263--281},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_16},
doi = {10.1007/978-3-031-27481-7\_16},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/CianciaGLMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LabbafGHM23,
author = {Faezeh Labbaf and
Jan Friso Groote and
Hossein Hojjat and
Mohammad Reza Mousavi},
editor = {Orna Kupferman and
Pawel Sobocinski},
title = {Compositional Learning for Interleaving Parallel Automata},
booktitle = {Foundations of Software Science and Computation Structures - 26th
International Conference, FoSSaCS 2023, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2023,
Paris, France, April 22-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13992},
pages = {413--435},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30829-1\_20},
doi = {10.1007/978-3-031-30829-1\_20},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/LabbafGHM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FrankenNG23,
author = {Tom T. P. Franken and
Thomas Neele and
Jan Friso Groote},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {An Autonomous Data Language},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {158--177},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_11},
doi = {10.1007/978-3-031-47963-2\_11},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/FrankenNG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/JilissenDG23,
author = {Kevin H. J. Jilissen and
Peter Dieleman and
Jan Friso Groote},
editor = {Jiman Hong and
Maart Lanperne and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}} and
Hossain Shahriar},
title = {A formal analysis of Dutch Generic Integral Tunnel Design models},
booktitle = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2023, Tallinn, Estonia, March 27-31, 2023},
pages = {1681--1684},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3555776.3577786},
doi = {10.1145/3555776.3577786},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/JilissenDG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07306,
author = {Rob van Glabbeek and
Jan Friso Groote and
Erik P. de Vink},
editor = {Claudio Antares Mezzina and
Georgiana Caltais},
title = {A Cancellation Law for Probabilistic Processes},
booktitle = {Proceedings Combined 30th International Workshop on Expressiveness
in Concurrency and 20th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2023, and 20th Workshop on Structural Operational SemanticsAntwerp,
Belgium, 18th September 2023},
series = {{EPTCS}},
volume = {387},
pages = {42--58},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.387.5},
doi = {10.4204/EPTCS.387.5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-03503,
author = {Sander Thuijsman and
G{\"{o}}khan Kahraman and
Alireza Mohamadkhani and
Ferry Timmers and
Loek Cleophas and
Marc Geilen and
Jan Friso Groote and
Michel A. Reniers and
Ramon R. H. Schiffelers and
Jeroen Voeten},
title = {Tool interoperability for model-based systems engineering},
journal = {CoRR},
volume = {abs/2302.03503},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.03503},
doi = {10.48550/ARXIV.2302.03503},
eprinttype = {arXiv},
eprint = {2302.03503},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-03503.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05265,
author = {Jan Martens and
Jan Friso Groote},
title = {Computing minimal distinguishing Hennessy-Milner formulas is NP-hard,
but variants are tractable},
journal = {CoRR},
volume = {abs/2307.05265},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05265},
doi = {10.48550/ARXIV.2307.05265},
eprinttype = {arXiv},
eprint = {2307.05265},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05265.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-07455,
author = {Jan Friso Groote and
Tim A. C. Willemse},
title = {Real Equation Systems with Alternating Fixed-points (full version
with proofs)},
journal = {CoRR},
volume = {abs/2307.07455},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.07455},
doi = {10.48550/ARXIV.2307.07455},
eprinttype = {arXiv},
eprint = {2307.07455},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-07455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GrooteJLSW22,
author = {Jan Friso Groote and
Kevin H. J. Jilissen and
Maurice Laveaux and
P. H. M. van Spaendonck and
Tim A. C. Willemse},
editor = {Nils Jansen and
Mari{\"{e}}lle Stoelinga and
Petra van den Bos},
title = {Using the Parallel ATerm Library for Parallel Model Checking and State
Space Generation},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning
- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13560},
pages = {306--320},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15629-8\_16},
doi = {10.1007/978-3-031-15629-8\_16},
timestamp = {Sat, 24 Sep 2022 20:46:57 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GrooteJLSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/HooimeijerGGHS22,
author = {Bram Hooimeijer and
Marc Geilen and
Jan Friso Groote and
Dennis Hendriks and
Ramon R. H. Schiffelers},
editor = {Hans{-}Georg Fill and
Marten van Sinderen and
Leszek A. Maciaszek},
title = {Constructive Model Inference: Model Learning for Component-based Software
Architectures},
booktitle = {Proceedings of the 17th International Conference on Software Technologies,
{ICSOFT} 2022, Lisbon, Portugal, July 11-13, 2022},
pages = {146--158},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0011145700003266},
doi = {10.5220/0011145700003266},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icsoft/HooimeijerGGHS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrooteLS22,
author = {Jan Friso Groote and
Maurice Laveaux and
P. H. M. van Spaendonck},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {422--459},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_25},
doi = {10.1007/978-3-031-19849-6\_25},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/GrooteLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmics/2022,
editor = {Jan Friso Groote and
Marieke Huisman},
title = {Formal Methods for Industrial Critical Systems - 27th International
Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13487},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15008-1},
doi = {10.1007/978-3-031-15008-1},
isbn = {978-3-031-15007-4},
timestamp = {Wed, 07 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-07158,
author = {Jan Friso Groote and
Jan Martens and
Erik P. de Vink},
title = {Lowerbounds for Bisimulation by Partition Refinement},
journal = {CoRR},
volume = {abs/2203.07158},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.07158},
doi = {10.48550/ARXIV.2203.07158},
eprinttype = {arXiv},
eprint = {2203.07158},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-07158.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/GrooteMSW21,
author = {Jan Friso Groote and
Rolf Morel and
Julien Schmaltz and
Adam Watkins},
title = {Logic Gates, Circuits, Processors, Compilers and Computers},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-68553-9},
doi = {10.1007/978-3-030-68553-9},
isbn = {978-3-030-68552-2},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/GrooteMSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/LaveauxGW21,
author = {Maurice Laveaux and
Jan Friso Groote and
Tim A. C. Willemse},
title = {Correct and Efficient Antichain Algorithms for Refinement Checking},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7143},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/LaveauxGW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Groote0V21,
author = {Jan Friso Groote and
Jan Martens and
Erik P. de Vink},
editor = {Serge Haddad and
Daniele Varacca},
title = {Bisimulation by Partitioning Is {\(\Omega\)}((m+n)log n)},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {31:1--31:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.31},
doi = {10.4230/LIPICS.CONCUR.2021.31},
timestamp = {Fri, 13 Aug 2021 16:29:32 +0200},
biburl = {https://dblp.org/rec/conf/concur/Groote0V21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/0001GHHW21,
author = {Jan Martens and
Jan Friso Groote and
Lars B. van den Haak and
Pieter Hijma and
Anton Wijs},
editor = {Gwen Sala{\"{u}}n and
Anton Wijs},
title = {A Linear Parallel Algorithm to Compute Bisimulation and Relational
Coarsest Partitions},
booktitle = {Formal Aspects of Component Software - 17th International Conference,
{FACS} 2021, Virtual Event, October 28-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13077},
pages = {115--133},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90636-8\_7},
doi = {10.1007/978-3-030-90636-8\_7},
timestamp = {Tue, 28 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/0001GHHW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GrooteK21,
author = {Jan Friso Groote and
Jeroen J. A. Keiren},
editor = {Kirstin Peters and
Tim A. C. Willemse},
title = {Tutorial: Designing Distributed Software in mCRL2},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {12719},
pages = {226--243},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78089-0\_15},
doi = {10.1007/978-3-030-78089-0\_15},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/GrooteK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/EerdGHMW21,
author = {Johri van Eerd and
Jan Friso Groote and
Pieter Hijma and
Jan Martens and
Anton Wijs},
editor = {Hossein Hojjat and
Mieke Massink},
title = {Term Rewriting on GPUs},
booktitle = {Fundamentals of Software Engineering - 9th International Conference,
{FSEN} 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12818},
pages = {175--189},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89247-0\_12},
doi = {10.1007/978-3-030-89247-0\_12},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/EerdGHMW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ErkensG21,
author = {Rick Erkens and
Jan Friso Groote},
editor = {Antonio Cerone and
Peter Csaba {\"{O}}lveczky},
title = {A Set Automaton to Locate All Pattern Matches in a Term},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International
Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12819},
pages = {67--85},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85315-0\_5},
doi = {10.1007/978-3-030-85315-0\_5},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/ErkensG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-10489,
author = {Jan Friso Groote},
editor = {Ornela Dardha and
Valentina Castiglioni},
title = {Infinite Choice and Probability Distributions. An Open Problem: The
Real Hotel},
booktitle = {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 SemanticsParis,
France (online event), 23rd August 2021},
series = {{EPTCS}},
volume = {339},
pages = {2--8},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.339.2},
doi = {10.4204/EPTCS.339.2},
timestamp = {Sun, 12 Nov 2023 02:17:08 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-10489.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2021-1,
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {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}},
series = {Lecture Notes in Computer Science},
volume = {12651},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72016-2},
doi = {10.1007/978-3-030-72016-2},
isbn = {978-3-030-72015-5},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2021-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2021-2,
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {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}},
series = {Lecture Notes in Computer Science},
volume = {12652},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1},
doi = {10.1007/978-3-030-72013-1},
isbn = {978-3-030-72012-4},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2021-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-10542,
author = {Jan Friso Groote and
Jeroen J. A. Keiren},
title = {Tutorial: Designing Distributed Software in mCRL2},
journal = {CoRR},
volume = {abs/2104.10542},
year = {2021},
url = {https://arxiv.org/abs/2104.10542},
eprinttype = {arXiv},
eprint = {2104.10542},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-10542.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-11788,
author = {Jan Martens and
Jan Friso Groote and
Lars B. van den Haak and
Pieter Hijma and
Anton Wijs},
title = {A linear parallel algorithm to compute bisimulation and relational
coarsest partitions},
journal = {CoRR},
volume = {abs/2105.11788},
year = {2021},
url = {https://arxiv.org/abs/2105.11788},
eprinttype = {arXiv},
eprint = {2105.11788},
timestamp = {Wed, 02 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-11788.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-15311,
author = {Rick Erkens and
Jan Friso Groote},
title = {A Set Automaton to Locate All Pattern Matches in a Term},
journal = {CoRR},
volume = {abs/2106.15311},
year = {2021},
url = {https://arxiv.org/abs/2106.15311},
eprinttype = {arXiv},
eprint = {2106.15311},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-15311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-02251,
author = {Yousra Hafidi and
Jeroen J. A. Keiren and
Jan Friso Groote},
title = {Fair Mutual Exclusion for {N} Processes (extended version)},
journal = {CoRR},
volume = {abs/2111.02251},
year = {2021},
url = {https://arxiv.org/abs/2111.02251},
eprinttype = {arXiv},
eprint = {2111.02251},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-02251.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-02706,
author = {Jan Friso Groote and
Maurice Laveaux and
P. H. M. van Spaendonck},
title = {A thread-safe Term Library},
journal = {CoRR},
volume = {abs/2111.02706},
year = {2021},
url = {https://arxiv.org/abs/2111.02706},
eprinttype = {arXiv},
eprint = {2111.02706},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-02706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/TimmersG20,
author = {Ferry Timmers and
Jan Friso Groote},
title = {A Complete Axiomatisation for Probabilistic Trace Equivalence},
journal = {Sci. Ann. Comput. Sci.},
volume = {30},
number = {1},
pages = {69--104},
year = {2020},
url = {https://doi.org/10.7561/SACS.2020.1.69},
doi = {10.7561/SACS.2020.1.69},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/TimmersG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GrooteW20,
author = {Jan Friso Groote and
Tim A. C. Willemse},
title = {A symmetric protocol to establish service level agreements},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {3},
year = {2020},
url = {https://lmcs.episciences.org/6812},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/GrooteW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/NeeleWG20,
author = {Thomas Neele and
Tim A. C. Willemse and
Jan Friso Groote},
title = {Finding compact proofs for infinite-data parameterised Boolean equation
systems},
journal = {Sci. Comput. Program.},
volume = {188},
pages = {102389},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102389},
doi = {10.1016/J.SCICO.2019.102389},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/NeeleWG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JansenGTY20,
author = {David N. Jansen and
Jan Friso Groote and
Ferry Timmers and
Pengfei Yang},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {8:1--8:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.8},
doi = {10.4230/LIPICS.CONCUR.2020.8},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/JansenGTY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DuhaibyG20,
author = {Omar al Duhaiby and
Jan Friso Groote},
editor = {Kyungmin Bae and
Domenico Bianculli and
Stefania Gnesi and
Nico Plat},
title = {Active Learning of Decomposable Systems},
booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
pages = {1--10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372020.3391560},
doi = {10.1145/3372020.3391560},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/DuhaibyG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/SaberiHFG20,
author = {Arash Khabbaz Saberi and
Jos Hegge and
Terry Fruehling and
Jan Friso Groote},
title = {Beyond {SOTIF:} Black Swans and Formal Methods},
booktitle = {{IEEE} International Systems Conference, SysCon 2020, Montreal, QC,
Canada, August 24 - September 20, 2020},
pages = {1--5},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SysCon47679.2020.9275888},
doi = {10.1109/SYSCON47679.2020.9275888},
timestamp = {Mon, 14 Dec 2020 10:13:52 +0100},
biburl = {https://dblp.org/rec/conf/syscon/SaberiHFG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JansenGKW20,
author = {David N. Jansen and
Jan Friso Groote and
Jeroen J. A. Keiren and
Anton Wijs},
editor = {Armin Biere and
David Parker},
title = {An O(m log n) algorithm for branching bisimilarity on labelled transition
systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 26th International Conference, {TACAS} 2020, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12079},
pages = {3--20},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45237-7\_1},
doi = {10.1007/978-3-030-45237-7\_1},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JansenGKW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-07658,
author = {Jan Friso Groote and
Tim A. C. Willemse},
title = {A symmetric protocol to establish service level agreements},
journal = {CoRR},
volume = {abs/2001.07658},
year = {2020},
url = {https://arxiv.org/abs/2001.07658},
eprinttype = {arXiv},
eprint = {2001.07658},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-07658.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-07174,
author = {Johri van Eerd and
Jan Friso Groote and
Pieter Hijma and
Jan Martens and
Anton Wijs},
title = {Term Rewriting on GPUs},
journal = {CoRR},
volume = {abs/2009.07174},
year = {2020},
url = {https://arxiv.org/abs/2009.07174},
eprinttype = {arXiv},
eprint = {2009.07174},
timestamp = {Mon, 21 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-07174.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-00892,
author = {Yuting Fu and
Andrei Sergeevich Terechko and
Jan Friso Groote and
Arash Khabbaz Saberi},
title = {A Formally Verified Fail-Operational Safety Concept for Automated
Driving},
journal = {CoRR},
volume = {abs/2011.00892},
year = {2020},
url = {https://arxiv.org/abs/2011.00892},
eprinttype = {arXiv},
eprint = {2011.00892},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-00892.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeejas/ZaitsevSG19,
author = {Dmitry A. Zaitsev and
Tatiana R. Shmeleva and
Jan Friso Groote},
title = {Verification of hypertorus communication grids by infinite petri nets
and process algebra},
journal = {{IEEE} {CAA} J. Autom. Sinica},
volume = {6},
number = {3},
pages = {733--742},
year = {2019},
url = {https://doi.org/10.1109/JAS.2019.1911486},
doi = {10.1109/JAS.2019.1911486},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeejas/ZaitsevSG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GlabbeekGV19,
author = {Rob J. van Glabbeek and
Jan Friso Groote and
Erik P. de Vink},
editor = {M{\'{a}}rio S. Alvim and
Kostas Chatzikokolakis and
Carlos Olarte and
Frank Valencia},
title = {A Complete Axiomatization of Branching Bisimilarity for a Simple Process
Language with Probabilistic Choice - (Extended Abstract)},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11760},
pages = {139--162},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31175-9\_9},
doi = {10.1007/978-3-030-31175-9\_9},
timestamp = {Sat, 09 Apr 2022 12:46:09 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GlabbeekGV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GrooteV19,
author = {Jan Friso Groote and
Erik P. de Vink},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {An Axiomatization of Strong Distribution Bisimulation for a Language
with a Parallel Operator and Probabilistic Choice},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {449--463},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_26},
doi = {10.1007/978-3-030-30985-5\_26},
timestamp = {Sat, 12 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GrooteV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/GrooteKLVW19,
author = {Jan Friso Groote and
Jeroen J. A. Keiren and
Bas Luttik and
Erik P. de Vink and
Tim A. C. Willemse},
editor = {Farhad Arbab and
Sung{-}Shik Jongmans},
title = {Modelling and Analysing Software in mCRL2},
booktitle = {Formal Aspects of Component Software - 16th International Conference,
{FACS} 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12018},
pages = {25--48},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-40914-2\_2},
doi = {10.1007/978-3-030-40914-2\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/facs2/GrooteKLVW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LaveauxGW19,
author = {Maurice Laveaux and
Jan Friso Groote and
Tim A. C. Willemse},
editor = {Jorge A. P{\'{e}}rez and
Nobuko Yoshida},
title = {Correct and Efficient Antichain Algorithms for Refinement Checking},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
as Part of the 14th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
17-21, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11535},
pages = {185--203},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21759-4\_11},
doi = {10.1007/978-3-030-21759-4\_11},
timestamp = {Wed, 02 Dec 2020 13:20:40 +0100},
biburl = {https://dblp.org/rec/conf/forte/LaveauxGW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/SanchezGS19,
author = {Lisette Sanchez and
Jan Friso Groote and
Ramon R. H. Schiffelers},
editor = {Hossein Hojjat and
Mieke Massink},
title = {Active Learning of Industrial Software with Data},
booktitle = {Fundamentals of Software Engineering - 8th International Conference,
{FSEN} 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11761},
pages = {95--110},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31517-7\_7},
doi = {10.1007/978-3-030-31517-7\_7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/SanchezGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/NeeleRG19,
author = {Thomas Neele and
Marijn Rol and
Jan Friso Groote},
editor = {Hossein Hojjat and
Mieke Massink},
title = {Verifying System-Wide Properties of Industrial Component-Based Software},
booktitle = {Fundamentals of Software Engineering - 8th International Conference,
{FSEN} 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11761},
pages = {158--175},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31517-7\_11},
doi = {10.1007/978-3-030-31517-7\_11},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsen/NeeleRG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BunteGKLNVWWW19,
author = {Olav Bunte and
Jan Friso Groote and
Jeroen J. A. Keiren and
Maurice Laveaux and
Thomas Neele and
Erik P. de Vink and
Wieger Wesselink and
Anton Wijs and
Tim A. C. Willemse},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {The mCRL2 Toolset for Analysing Concurrent Systems - Improvements
in Expressivity and Usability},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {21--39},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_2},
doi = {10.1007/978-3-030-17465-1\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BunteGKLNVWWW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1905-12963,
author = {Omar al Duhaiby and
Jan Friso Groote},
editor = {Jorge A. P{\'{e}}rez and
Jurriaan Rot},
title = {Distribution of Behaviour into Parallel Communicating Subsystems},
booktitle = {Proceedings Combined 26th International Workshop on Expressiveness
in Concurrency and 16th Workshop on Structural Operational Semantics,
{EXPRESS/SOS} 2019, Amsterdam, The Netherlands, 26th August 2019},
series = {{EPTCS}},
volume = {300},
pages = {54--68},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.300.4},
doi = {10.4204/EPTCS.300.4},
timestamp = {Wed, 02 Dec 2020 13:20:37 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-12963.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-09880,
author = {Maurice Laveaux and
Jan Friso Groote and
Tim A. C. Willemse},
title = {Correct and Efficient Antichain Algorithms for Refinement Checking},
journal = {CoRR},
volume = {abs/1902.09880},
year = {2019},
url = {http://arxiv.org/abs/1902.09880},
eprinttype = {arXiv},
eprint = {1902.09880},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-09880.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-10824,
author = {David N. Jansen and
Jan Friso Groote and
Jeroen J. A. Keiren and
Anton Wijs},
title = {A simpler O(m log n) algorithm for branching bisimilarity on labelled
transition systems},
journal = {CoRR},
volume = {abs/1909.10824},
year = {2019},
url = {http://arxiv.org/abs/1909.10824},
eprinttype = {arXiv},
eprint = {1909.10824},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-10824.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/GrooteVV18,
author = {Jan Friso Groote and
Jao Rivera Verduzco and
Erik P. de Vink},
title = {An Efficient Algorithm to Determine Probabilistic Bisimulation},
journal = {Algorithms},
volume = {11},
number = {9},
pages = {131},
year = {2018},
url = {https://doi.org/10.3390/a11090131},
doi = {10.3390/A11090131},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithms/GrooteVV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/NeeleWG18,
author = {Thomas Neele and
Tim A. C. Willemse and
Jan Friso Groote},
editor = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky},
title = {Solving Parameterised Boolean Equation Systems with Infinite Data
Through Quotienting},
booktitle = {Formal Aspects of Component Software - 15th International Conference,
{FACS} 2018, Pohang, South Korea, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11222},
pages = {216--236},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02146-7\_11},
doi = {10.1007/978-3-030-02146-7\_11},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/NeeleWG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DuhaibyMWG18,
author = {Omar al Duhaiby and
Arjan J. Mooij and
Hans van Wezep and
Jan Friso Groote},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Pitfalls in Applying Model Learning to Industrial Legacy Software},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {11247},
pages = {121--138},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03427-6\_13},
doi = {10.1007/978-3-030-03427-6\_13},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/DuhaibyMWG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GrooteJKW17,
author = {Jan Friso Groote and
David N. Jansen and
Jeroen J. A. Keiren and
Anton Wijs},
title = {An \emph{O}(\emph{m}log\emph{n}) Algorithm for Computing Stuttering
Equivalence and Branching Bisimulation},
journal = {{ACM} Trans. Comput. Log.},
volume = {18},
number = {2},
pages = {13:1--13:34},
year = {2017},
url = {https://doi.org/10.1145/3060140},
doi = {10.1145/3060140},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/GrooteJKW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asmta/TalebiGL17,
author = {Mahmoud Talebi and
Jan Friso Groote and
Jean{-}Paul M. G. Linnartz},
editor = {Nigel Thomas and
Matthew Forshaw},
title = {The Mean Drift: Tailoring the Mean Field Theory of Markov Processes
for Real-World Applications},
booktitle = {Analytical and Stochastic Modelling Techniques and Applications -
24th International Conference, {ASMTA} 2017, Newcastle-upon-Tyne,
UK, July 10-11, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10378},
pages = {196--211},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61428-1\_14},
doi = {10.1007/978-3-319-61428-1\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asmta/TalebiGL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GrooteV17,
author = {Jan Friso Groote and
Erik P. de Vink},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {Problem Solving Using Process Algebra Considered Insightful},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {48--63},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_3},
doi = {10.1007/978-3-319-68270-9\_3},
timestamp = {Thu, 14 Oct 2021 10:33:18 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GrooteV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BeusekomGHHWWW17,
author = {Rutger van Beusekom and
Jan Friso Groote and
Paul F. Hoogendijk and
Robert Howe and
Wieger Wesselink and
Rob Wieringa and
Tim A. C. Willemse},
editor = {Laure Petrucci and
Cristina Seceleanu and
Ana Cavalcanti},
title = {Formalising the Dezyne Modelling Language in mCRL2},
booktitle = {Critical Systems: Formal Methods and Automated Verification - Joint
22nd International Workshop on Formal Methods for Industrial Critical
Systems - and - 17th International Workshop on Automated Verification
of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10471},
pages = {217--233},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67113-0\_14},
doi = {10.1007/978-3-319-67113-0\_14},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fmics/BeusekomGHHWWW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/OsaiweranMG17,
author = {Ammar Osaiweran and
Jelena Marincic and
Jan Friso Groote},
title = {Assessing the Quality of Tabular State Machines through Metrics},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2017, Prague, Czech Republic, July 25-29, 2017},
pages = {426--433},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS.2017.52},
doi = {10.1109/QRS.2017.52},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/OsaiweranMG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/TalebiGD17,
author = {Mahmoud Talebi and
Jan Friso Groote and
Conrad Dandelski},
editor = {Holger Hermanns and
Peter H{\"{o}}fner},
title = {Modelling and Verification of a Cluster-tree Formation Protocol Implementation
for the {IEEE} 802.15.4 {TSCH} {MAC} Operation Mode},
booktitle = {Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems,
MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {244},
pages = {117--128},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.244.5},
doi = {10.4204/EPTCS.244.5},
timestamp = {Sat, 30 Sep 2023 10:07:58 +0200},
biburl = {https://dblp.org/rec/journals/corr/TalebiGD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GrooteHR16,
author = {Jan Friso Groote and
Remco van der Hofstad and
Matthias Raffelsieper},
title = {On the random structure of behavioural transition systems},
journal = {Sci. Comput. Program.},
volume = {128},
pages = {51--67},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.02.006},
doi = {10.1016/J.SCICO.2016.02.006},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GrooteHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamrev/GrooteWZ16,
author = {Jan Friso Groote and
Freek Wiedijk and
Hans Zantema},
title = {A Probabilistic Analysis of the Game of the Goose},
journal = {{SIAM} Rev.},
volume = {58},
number = {1},
pages = {143--155},
year = {2016},
url = {https://doi.org/10.1137/140983781},
doi = {10.1137/140983781},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamrev/GrooteWZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/OsaiweranSHGR16,
author = {Ammar Osaiweran and
Mathijs Schuts and
Jozef Hooman and
Jan Friso Groote and
Bart J. van Rijnsoever},
title = {Evaluating the effect of a lightweight formal technique in industry},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {1},
pages = {93--108},
year = {2016},
url = {https://doi.org/10.1007/s10009-015-0374-1},
doi = {10.1007/S10009-015-0374-1},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/OsaiweranSHGR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HuismanBBDGLPV16,
author = {Marieke Huisman and
Herbert Bos and
Sjaak Brinkkemper and
Arie van Deursen and
Jan Friso Groote and
Patricia Lago and
Jaco van de Pol and
Eelco Visser},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Software that Meets Its Intent},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Discussion, Dissemination, Applications - 7th International Symposium,
ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9953},
pages = {609--625},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47169-3\_47},
doi = {10.1007/978-3-319-47169-3\_47},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/HuismanBBDGLPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GrooteW16,
author = {Jan Friso Groote and
Anton Wijs},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {An O(m{\textbackslash}log n) Algorithm for Stuttering Equivalence
and Branching Bisimulation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {607--624},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_40},
doi = {10.1007/978-3-662-49674-9\_40},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/GrooteW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GrooteW16,
author = {Jan Friso Groote and
Anton Wijs},
title = {An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation},
journal = {CoRR},
volume = {abs/1601.01478},
year = {2016},
url = {http://arxiv.org/abs/1601.01478},
eprinttype = {arXiv},
eprint = {1601.01478},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GrooteW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BrandG15,
author = {Mark van den Brand and
Jan Friso Groote},
title = {Software engineering: Redundancy is key},
journal = {Sci. Comput. Program.},
volume = {97},
pages = {75--81},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2013.11.020},
doi = {10.1016/J.SCICO.2013.11.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BrandG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GrooteKO15,
author = {Jan Friso Groote and
Tim W. D. M. Kouters and
Ammar Osaiweran},
title = {Specification guidelines to avoid the state space explosion problem},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {1},
pages = {4--33},
year = {2015},
url = {https://doi.org/10.1002/stvr.1536},
doi = {10.1002/STVR.1536},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/GrooteKO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scvt/TalebiGL15,
author = {Mahmoud Talebi and
Jan Friso Groote and
Jean{-}Paul M. G. Linnartz},
title = {Continuous approximation of stochastic models for wireless sensor
networks},
booktitle = {2015 {IEEE} Symposium on Communications and Vehicular Technology in
the Benelux, {SCVT} 2015, Luxembourg-Kirchberg, Luxembourg, November
24, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/SCVT.2015.7374240},
doi = {10.1109/SCVT.2015.7374240},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scvt/TalebiGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/GlabbeekGH15,
editor = {Rob J. van Glabbeek and
Jan Friso Groote and
Peter H{\"{o}}fner},
title = {Proceedings Workshop on Models for Formal Analysis of Real Systems,
{MARS} 2015, Suva, Fiji, November 23, 2015},
series = {{EPTCS}},
volume = {196},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.196},
doi = {10.4204/EPTCS.196},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GlabbeekGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TalebiGL15,
author = {Mahmoud Talebi and
Jan Friso Groote and
Jean{-}Paul M. G. Linnartz},
title = {Communication Patterns in Mean Field Models for Wireless Sensor Networks},
journal = {CoRR},
volume = {abs/1503.07693},
year = {2015},
url = {http://arxiv.org/abs/1503.07693},
eprinttype = {arXiv},
eprint = {1503.07693},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TalebiGL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KeshishzadehG15,
author = {Sarmen Keshishzadeh and
Jan Friso Groote},
title = {Exact Real Arithmetic with Perturbation Analysis and Proof of Correctness},
journal = {CoRR},
volume = {abs/1509.06265},
year = {2015},
url = {http://arxiv.org/abs/1509.06265},
eprinttype = {arXiv},
eprint = {1509.06265},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KeshishzadehG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mit/GrooteM2014,
author = {Jan Friso Groote and
Mohammad Reza Mousavi},
title = {Modeling and Analysis of Communicating Systems},
publisher = {{MIT} Press},
year = {2014},
url = {https://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems},
isbn = {9780262027717},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/mit/GrooteM2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/GrooteM14,
author = {Jan Friso Groote and
Mohammad Reza Mousavi},
title = {Book Announcement: Modeling and Analysis of Communicating Systems},
journal = {Bull. {EATCS}},
volume = {114},
year = {2014},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/313},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/GrooteM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GrooteHR14,
author = {Jan Friso Groote and
Remco van der Hofstad and
Matthias Raffelsieper},
title = {On the Random Structure of Behavioural Transition Systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {70},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.70.980},
doi = {10.14279/TUJ.ECEASST.70.980},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/GrooteHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BrandG14,
author = {Mark G. J. van den Brand and
Jan Friso Groote},
title = {Redundancy in the Software Design Process is Essential for Designing
Correct Software},
journal = {{ERCIM} News},
volume = {2014},
number = {99},
year = {2014},
url = {http://ercim-news.ercim.eu/en99/special/redundancy-in-the-software-design-process-is-essential-for-designing-correct-software},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BrandG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecal/SaberiGK13,
author = {Arash Khabbaz Saberi and
Jan Friso Groote and
Sarmen Keshishzadeh},
editor = {Pietro Li{\`{o}} and
Orazio Miglino and
Giuseppe Nicosia and
Stefano Nolfi and
Mario Pavone},
title = {Analysis of Path Planning Algorithms: a Formal Verification-based
Approach},
booktitle = {Proceedings of the Twelfth European Conference on the Synthesis and
Simulation of Living Systems: Advances in Artificial Life, {ECAL}
2013, Sicily, Italy, September 2-6, 2013},
pages = {232--239},
publisher = {{MIT} Press},
year = {2013},
url = {https://doi.org/10.7551/978-0-262-31709-2-ch035},
doi = {10.7551/978-0-262-31709-2-CH035},
timestamp = {Thu, 07 Jul 2022 14:54:16 +0200},
biburl = {https://dblp.org/rec/conf/ecal/SaberiGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CranenGKSVWW13,
author = {Sjoerd Cranen and
Jan Friso Groote and
Jeroen J. A. Keiren and
Frank P. M. Stappers and
Erik P. de Vink and
Wieger Wesselink and
Tim A. C. Willemse},
editor = {Nir Piterman and
Scott A. Smolka},
title = {An Overview of the mCRL2 Toolset and Its Recent Advances},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {199--213},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_15},
doi = {10.1007/978-3-642-36742-7\_15},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/CranenGKSVWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/OsaiweranFGR12,
author = {Ammar Osaiweran and
Tom Fransen and
Jan Friso Groote and
Bart J. van Rijnsoever},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Experience Report on Designing and Developing Control Components Using
Formal Methods},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {341--355},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_29},
doi = {10.1007/978-3-642-32759-9\_29},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/OsaiweranFGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GrooteOW12,
author = {Jan Friso Groote and
Ammar Osaiweran and
Jacco H. Wesselius},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Analyzing a Controller of a Power Distribution Unit Using Formal Methods},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {420--428},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.122},
doi = {10.1109/ICST.2012.122},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/GrooteOW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GrooteOW12,
author = {Jan Friso Groote and
Ammar Osaiweran and
Jacco H. Wesselius},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Experience report on developing the Front-end client unit under the
control of formal methods},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1183--1190},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2231962},
doi = {10.1145/2245276.2231962},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/GrooteOW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/StappersRWG12,
author = {Frank P. M. Stappers and
Michel A. Reniers and
Sven Weber and
Jan Friso Groote},
editor = {Jonathan P. Bowen and
Huibiao Zhu and
Mike Hinchey},
title = {Dogfooding the Formal Semantics of mCRL2},
booktitle = {35th Annual {IEEE} Software Engineering Workshop, {SEW} 2012, Heraclion,
Crete, Greece, October 12-13, 2012},
pages = {90--99},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SEW.2012.16},
doi = {10.1109/SEW.2012.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/StappersRWG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BrandG12,
author = {Mark G. J. van den Brand and
Jan Friso Groote},
title = {Advances in Model Driven Software Engineering},
journal = {{ERCIM} News},
volume = {2012},
number = {91},
year = {2012},
url = {http://ercim-news.ercim.eu/en91/ri/advances-in-model-driven-software-engineering},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BrandG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acj/BrandtHG11,
author = {Christoph Brandt and
Frank Hermann and
Jan Friso Groote},
title = {Generation and Evaluation of Business Continuity Processes using Algebraic
Graph Transformation and the mCRL2 Process Algebra},
journal = {J. Res. Pract. Inf. Technol.},
volume = {43},
number = {1},
pages = {65--86},
year = {2011},
url = {http://ws.acs.org.au/jrpit/JRPITVolumes/JRPIT43/JRPIT43.1.65.pdf},
timestamp = {Thu, 26 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acj/BrandtHG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/GrooteKSWW11,
author = {Jan Friso Groote and
Jeroen Keiren and
Frank P. M. Stappers and
Wieger Wesselink and
Tim A. C. Willemse},
title = {Experiences in developing the mCRL2 toolset},
journal = {Softw. Pract. Exp.},
volume = {41},
number = {2},
pages = {143--153},
year = {2011},
url = {https://doi.org/10.1002/spe.1021},
doi = {10.1002/SPE.1021},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/GrooteKSWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CranenGR11,
author = {Sjoerd Cranen and
Jan Friso Groote and
Michel A. Reniers},
title = {A linear translation from CTL* to the first-order modal {\(\mu\)}
-calculus},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {28},
pages = {3129--3139},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.02.034},
doi = {10.1016/J.TCS.2011.02.034},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CranenGR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/GrooteKO11,
author = {Jan Friso Groote and
Tim W. D. M. Kouters and
Ammar Osaiweran},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Specification Guidelines to Avoid the State Space Explosion Problem},
booktitle = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
{FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7141},
pages = {112--127},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29320-7\_8},
doi = {10.1007/978-3-642-29320-7\_8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/GrooteKO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/GrooteOW11,
author = {Jan Friso Groote and
Ammar Osaiweran and
Jacco H. Wesselius},
title = {Analyzing the effects of formal methods on the development of industrial
control software},
booktitle = {{IEEE} 27th International Conference on Software Maintenance, {ICSM}
2011, Williamsburg, VA, USA, September 25-30, 2011},
pages = {467--472},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICSM.2011.6081983},
doi = {10.1109/ICSM.2011.6081983},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/GrooteOW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/GrooteP09,
author = {Jan Friso Groote and
Bas Ploeger},
title = {Switching Graphs},
journal = {Int. J. Found. Comput. Sci.},
volume = {20},
number = {5},
pages = {869--886},
year = {2009},
url = {https://doi.org/10.1142/S0129054109006930},
doi = {10.1142/S0129054109006930},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/GrooteP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/EngelsGWW09,
author = {Tom A. N. Engels and
Jan Friso Groote and
Muck van Weerdenburg and
Tim A. C. Willemse},
title = {Search algorithms for automated validation},
journal = {J. Log. Algebraic Methods Program.},
volume = {78},
number = {4},
pages = {274--287},
year = {2009},
url = {https://doi.org/10.1016/j.jlap.2008.11.003},
doi = {10.1016/J.JLAP.2008.11.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/EngelsGWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esweek/SmitHGOTJH09,
author = {Gerard J. M. Smit and
Gerrit F. van der Hoeven and
Jan Friso Groote and
Ralph H. J. M. Otten and
Hans Tonino and
Ben H. H. Juurlink and
Boudewijn R. H. M. Haverkort},
editor = {Peter Marwedel and
Jeff Jackson and
Kenneth G. Ricks},
title = {The 3TU embedded systems master in the Netherlands},
booktitle = {Proceedings of the 2009 Workshop on Embedded Systems Education, {WESE}
'09, Grenoble, France, October 15, 2009},
pages = {8--12},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1719010.1719013},
doi = {10.1145/1719010.1719013},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esweek/SmitHGOTJH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/StappersRG09,
author = {Frank P. M. Stappers and
Michel A. Reniers and
Jan Friso Groote},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Suitability of mCRL2 for Concurrent-System Design: {A} 2 {\texttimes}
2 Switch Case Study},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {166--185},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_9},
doi = {10.1007/978-3-642-17071-3\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/StappersRG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cssc/BucchianicoGHK08,
author = {Alessandro Di Bucchianico and
Jan Friso Groote and
Kees M. van Hee and
Ronald Kruidhof},
title = {Statistical Certification of Software Systems},
journal = {Commun. Stat. Simul. Comput.},
volume = {37},
number = {2},
pages = {346--359},
year = {2008},
url = {https://doi.org/10.1080/03610910701790517},
doi = {10.1080/03610910701790517},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cssc/BucchianicoGHK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/GrooteO08,
author = {Jan Friso Groote and
Simona Orzan},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Parameterised Anonymity},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {177--191},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_12},
doi = {10.1007/978-3-642-01465-9\_12},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip1-7/GrooteO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/GrooteRU08,
author = {Jan Friso Groote and
Michel A. Reniers and
Yaroslav S. Usenko},
title = {Verification of networks of timed automata using mCRL2},
booktitle = {22nd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2008, Miami, Florida USA, April 14-18, 2008},
pages = {1--8},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IPDPS.2008.4536575},
doi = {10.1109/IPDPS.2008.4536575},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/GrooteRU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrooteP08,
author = {Jan Friso Groote and
Bas Ploeger},
editor = {Vesa Halava and
Igor Potapov},
title = {Switching Graphs},
booktitle = {Proceedings of the Second Workshop on Reachability Problems in Computational
Models, {RP} 2008, Liverpool, UK, September 15-17, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {223},
pages = {119--135},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.12.035},
doi = {10.1016/J.ENTCS.2008.12.035},
timestamp = {Fri, 17 Feb 2023 11:00:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrooteP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GaoGH07,
author = {Hui Gao and
Jan Friso Groote and
Wim H. Hesselink},
title = {Lock-free parallel and concurrent garbage collection by mark{\&}sweep},
journal = {Sci. Comput. Program.},
volume = {64},
number = {3},
pages = {341--374},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.10.001},
doi = {10.1016/J.SCICO.2006.10.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GaoGH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MousaviRG07,
author = {Mohammad Reza Mousavi and
Michel A. Reniers and
Jan Friso Groote},
title = {{SOS} formats and meta-theory: 20 years after},
journal = {Theor. Comput. Sci.},
volume = {373},
number = {3},
pages = {238--272},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2006.12.019},
doi = {10.1016/J.TCS.2006.12.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MousaviRG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GrooteV07,
author = {Jan Friso Groote and
Marc Voorhoeve},
title = {Operational semantics for Petri net components},
journal = {Theor. Comput. Sci.},
volume = {379},
number = {1-2},
pages = {1--19},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.01.003},
doi = {10.1016/J.TCS.2007.01.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GrooteV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HojjatSMG07,
author = {Hossein Hojjat and
Marjan Sirjani and
Mohammad Reza Mousavi and
Jan Friso Groote},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Sarir: {A} Rebeca to mCRL2 Translator},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {216--222},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.62},
doi = {10.1109/ACSD.2007.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HojjatSMG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/RaedtsPUWGS07,
author = {Ivo Raedts and
Marija Petkovic and
Yaroslav S. Usenko and
Jan Martijn E. M. van der Werf and
Jan Friso Groote and
Lou J. Somers},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Transformation of {BPMN} Models for Behaviour Analysis},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {126--137},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 13:49:05 +0100},
biburl = {https://dblp.org/rec/conf/vveis/RaedtsPUWGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GrooteH06,
author = {Jan Friso Groote and
Frank van Ham},
title = {Interactive visualization of large state spaces},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {1},
pages = {77--91},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0198-5},
doi = {10.1007/S10009-005-0198-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GrooteH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/GrooteRU06,
author = {Jan Friso Groote and
Michel A. Reniers and
Yaroslav S. Usenko},
title = {Time abstraction in timed {\(\mu\)}CRL a la regions},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639423},
doi = {10.1109/IPDPS.2006.1639423},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/GrooteRU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GrooteMRUW06,
author = {Jan Friso Groote and
Aad Mathijssen and
Michel A. Reniers and
Yaroslav S. Usenko and
Muck van Weerdenburg},
editor = {Ed Brinksma and
David Harel and
Angelika Mader and
Perdita Stevens and
Roel J. Wieringa},
title = {The Formal Specification Language mCRL2},
booktitle = {Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06351},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/862},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GrooteMRUW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GaoGH05,
author = {Hui Gao and
Jan Friso Groote and
Wim H. Hesselink},
title = {Lock-free dynamic hash tables with open addressing},
journal = {Distributed Comput.},
volume = {18},
number = {1},
pages = {21--42},
year = {2005},
url = {https://doi.org/10.1007/s00446-004-0115-2},
doi = {10.1007/S00446-004-0115-2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dc/GaoGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GrooteMS05,
author = {Jan Friso Groote and
Fran{\c{c}}ois Monin and
Jan Springintveld},
title = {A computer checked algebraic verification of a distributed summation
algorithm},
journal = {Formal Aspects Comput.},
volume = {17},
number = {1},
pages = {19--37},
year = {2005},
url = {https://doi.org/10.1007/s00165-004-0052-7},
doi = {10.1007/S00165-004-0052-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GrooteMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BadbanFGPP05,
author = {Bahareh Badban and
Wan J. Fokkink and
Jan Friso Groote and
Jun Pang and
Jaco van de Pol},
title = {Verification of a sliding window protocol in {\(\mathrm{\mu}\)}CRL
and {PVS}},
journal = {Formal Aspects Comput.},
volume = {17},
number = {3},
pages = {342--388},
year = {2005},
url = {https://doi.org/10.1007/s00165-005-0070-0},
doi = {10.1007/S00165-005-0070-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BadbanFGPP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MousaviRG05,
author = {Mohammad Reza Mousavi and
Michel A. Reniers and
Jan Friso Groote},
title = {Notions of bisimulation and congruence formats for {SOS} with data},
journal = {Inf. Comput.},
volume = {200},
number = {1},
pages = {107--147},
year = {2005},
url = {https://doi.org/10.1016/j.ic.2005.03.002},
doi = {10.1016/J.IC.2005.03.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MousaviRG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MousaviRG05,
author = {Mohammad Reza Mousavi and
Michel A. Reniers and
Jan Friso Groote},
title = {A syntactic commutativity format for {SOS}},
journal = {Inf. Process. Lett.},
volume = {93},
number = {5},
pages = {217--223},
year = {2005},
url = {https://doi.org/10.1016/j.ipl.2004.11.007},
doi = {10.1016/J.IPL.2004.11.007},
timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/MousaviRG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GrooteW05,
author = {Jan Friso Groote and
Tim A. C. Willemse},
title = {Model-checking processes with data},
journal = {Sci. Comput. Program.},
volume = {56},
number = {3},
pages = {251--273},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2004.08.002},
doi = {10.1016/J.SCICO.2004.08.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GrooteW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GrooteW05,
author = {Jan Friso Groote and
Tim A. C. Willemse},
title = {Parameterised boolean equation systems},
journal = {Theor. Comput. Sci.},
volume = {343},
number = {3},
pages = {332--369},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.06.016},
doi = {10.1016/J.TCS.2005.06.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GrooteW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/GrooteK05,
author = {Jan Friso Groote and
Misa Kein{\"{a}}nen},
editor = {Dang Van Hung and
Martin Wirsing},
title = {A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean
Equation Systems},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2005, Second International
Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3722},
pages = {532--545},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560647\_35},
doi = {10.1007/11560647\_35},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/GrooteK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/GaoGH05,
author = {Hui Gao and
Jan Friso Groote and
Wim H. Hesselink},
editor = {Yi Pan and
Daoxu Chen and
Minyi Guo and
Jiannong Cao and
Jack J. Dongarra},
title = {Lock-Free Parallel Garbage Collection},
booktitle = {Parallel and Distributed Processing and Applications, Third International
Symposium, {ISPA} 2005, Nanjing, China, November 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3758},
pages = {263--274},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11576235\_31},
doi = {10.1007/11576235\_31},
timestamp = {Tue, 14 Apr 2020 13:23:09 +0200},
biburl = {https://dblp.org/rec/conf/ispa/GaoGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/PerrenetGK05,
author = {Jacob Perrenet and
Jan Friso Groote and
Eric Kaasenbrood},
editor = {Jos{\'{e}} C. Cunha and
William M. Fleischman and
Viera K. Proulx and
Jo{\~{a}}o Louren{\c{c}}o},
title = {Exploring students' understanding of the concept of algorithm: levels
of abstraction},
booktitle = {Proceedings of the 10th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal,
June 27-29, 2005},
pages = {64--68},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1067445.1067467},
doi = {10.1145/1067445.1067467},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/PerrenetGK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrooteMR06,
author = {Jan Friso Groote and
Mohammad Reza Mousavi and
Michel A. Reniers},
editor = {Peter D. Mosses and
Irek Ulidowski},
title = {A Hierarchy of {SOS} Rule Formats},
booktitle = {Proceedings of the Second Workshop on Structural Operational Semantics,
SOS@ICALP 2005, Lisbon, Portugal, July 10, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {156},
number = {1},
pages = {3--25},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.077},
doi = {10.1016/J.ENTCS.2005.11.077},
timestamp = {Thu, 15 Dec 2022 16:08:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrooteMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrooteMWU06,
author = {Jan Friso Groote and
Aad Mathijssen and
Muck van Weerdenburg and
Yaroslav S. Usenko},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {From {\(\mathrm{\mu}\)}CRL to mCRL2: Motivation and Outline},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {191--196},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.101},
doi = {10.1016/J.ENTCS.2005.12.101},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrooteMWU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrooteRU06,
author = {Jan Friso Groote and
Michel A. Reniers and
Yaroslav S. Usenko},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Discretization of Timed Automata in Timed mu},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {197--202},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.12.084},
doi = {10.1016/J.ENTCS.2005.12.084},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrooteRU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/FokkinkGR04,
author = {Wan J. Fokkink and
Jan Friso Groote and
Michel A. Reniers},
title = {Process Algebra Needs Proof Methodology (Columns: Concurrency)},
journal = {Bull. {EATCS}},
volume = {82},
pages = {109--125},
year = {2004},
url = {http://www.cs.auc.dk/\%7Eluca/BEATCS/colConc82.pdf},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/FokkinkGR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FokkinkGPBP04,
author = {Wan J. Fokkink and
Jan Friso Groote and
Jun Pang and
Bahareh Badban and
Jaco van de Pol},
editor = {Charles Rattray and
Savi Maharaj and
Carron Shankland},
title = {Verifying a Sliding Window Protocol in {\(\mathrm{\mu}\)}CRL},
booktitle = {Algebraic Methodology and Software Technology, 10th International
Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3116},
pages = {148--163},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27815-3\_15},
doi = {10.1007/978-3-540-27815-3\_15},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/FokkinkGPBP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrooteW04,
author = {Jan Friso Groote and
Tim A. C. Willemse},
editor = {Philippa Gardner and
Nobuko Yoshida},
title = {Parameterised Boolean Equation Systems (Extended Abstract)},
booktitle = {{CONCUR} 2004 - Concurrency Theory, 15th International Conference,
London, UK, August 31 - September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3170},
pages = {308--324},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28644-8\_20},
doi = {10.1007/978-3-540-28644-8\_20},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/GrooteW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/GaoGH04,
author = {Hui Gao and
Jan Friso Groote and
Wim H. Hesselink},
title = {Almost Wait-Free Resizable Hashtable},
booktitle = {18th International Parallel and Distributed Processing Symposium {(IPDPS}
2004), {CD-ROM} / Abstracts Proceedings, 26-30 April 2004, Santa Fe,
New Mexico, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IPDPS.2004.1302969},
doi = {10.1109/IPDPS.2004.1302969},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/GaoGH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/MousaviRG04,
author = {Mohammad Reza Mousavi and
Michel A. Reniers and
Jan Friso Groote},
title = {Congruence for {SOS} with Data},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {303--312},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319625},
doi = {10.1109/LICS.2004.1319625},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/MousaviRG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GrooteK04,
author = {Jan Friso Groote and
Misa Kein{\"{a}}nen},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating
Fixed Points},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {436--450},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_33},
doi = {10.1007/978-3-540-24730-2\_33},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/GrooteK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomGMS05,
author = {Stefan Blom and
Jan Friso Groote and
Sjouke Mauw and
Alexander Serebrenik},
editor = {Irek Ulidowski},
title = {Analysing the BKE-security Protocol with \emph{{\(\mathrm{\mu}\)}}CRL},
booktitle = {Proceedings of the 6th {AMAST} Workshop on Real-Time Systems, {ARTS}
2004, Stirling, UK, July 12, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {139},
number = {1},
pages = {49--90},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.09.005},
doi = {10.1016/J.ENTCS.2005.09.005},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BlomGMS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/GrooteZ03,
author = {Jan Friso Groote and
Hans Zantema},
title = {Resolution and binary decision diagrams cannot simulate each other
polynomially},
journal = {Discret. Appl. Math.},
volume = {130},
number = {2},
pages = {157--171},
year = {2003},
url = {https://doi.org/10.1016/S0166-218X(02)00403-1},
doi = {10.1016/S0166-218X(02)00403-1},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/GrooteZ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GrootePW03,
author = {Jan Friso Groote and
Jun Pang and
Arno G. Wouters},
title = {Analysis of a distributed system for lifting trucks},
journal = {J. Log. Algebraic Methods Program.},
volume = {55},
number = {1-2},
pages = {21--56},
year = {2003},
url = {https://doi.org/10.1016/S1567-8326(02)00038-3},
doi = {10.1016/S1567-8326(02)00038-3},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GrootePW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GrooteT03,
author = {Jan Friso Groote and
Olga Tveretina},
title = {Binary decision diagrams for first-order predicate logic},
journal = {J. Log. Algebraic Methods Program.},
volume = {57},
number = {1-2},
pages = {1--22},
year = {2003},
url = {https://doi.org/10.1016/S1567-8326(03)00039-0},
doi = {10.1016/S1567-8326(03)00039-0},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GrooteT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scheduling/BorstBGM03,
author = {Sem C. Borst and
Onno J. Boxma and
Jan Friso Groote and
Sjouke Mauw},
title = {Task Allocation in a Multi-Server System},
journal = {J. Sched.},
volume = {6},
number = {5},
pages = {423--436},
year = {2003},
url = {https://doi.org/10.1023/A:1024840405535},
doi = {10.1023/A:1024840405535},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scheduling/BorstBGM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/GrooteW03,
author = {Jan Friso Groote and
Tim A. C. Willemse},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {A Checker for Modal Formulae for Processes with Data},
booktitle = {Formal Methods for Components and Objects, Second International Symposium,
{FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {3188},
pages = {223--239},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-30101-1\_10},
doi = {10.1007/978-3-540-30101-1\_10},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/GrooteW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GrooteH03,
author = {Jan Friso Groote and
Frank van Ham},
editor = {Hubert Garavel and
John Hatcliff},
title = {Large State Space Visualization},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {585--590},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_42},
doi = {10.1007/3-540-36577-X\_42},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/GrooteH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZantemaG03,
author = {Hans Zantema and
Jan Friso Groote},
editor = {Ingo Dahn and
Laurent Vigneron},
title = {Transforming equality logic to propositional logic},
booktitle = {4th International Workshop on First-Order Theorem Proving, {FTP} 2003,
in connection with {RDP} 2003, Federated Conference on Rewriting,
Deduction and Programming, Valencia, Spain, June 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {86},
number = {1},
pages = {162--173},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80661-3},
doi = {10.1016/S1571-0661(04)80661-3},
timestamp = {Thu, 08 Dec 2022 13:39:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZantemaG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlomGLP03,
author = {Stefan Blom and
Jan Friso Groote and
Izak van Langevelde and
Bert Lisser and
Jaco van de Pol},
editor = {Thomas Arts and
Wan J. Fokkink},
title = {New developments around the mCRL tool set},
booktitle = {Eighth International Workshop on Formal Methods for Industrial Critical
Systems, {FMICS} 2003, Roros, Norway, June 5-7, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {80},
pages = {284--288},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(04)80827-2},
doi = {10.1016/S1571-0661(04)80827-2},
timestamp = {Tue, 06 Dec 2022 10:12:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlomGLP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DC-0303011,
author = {Hui Gao and
Jan Friso Groote and
Wim H. Hesselink},
title = {Efficient almost wait-free parallel accessible dynamic hashtables},
journal = {CoRR},
volume = {cs.DC/0303011},
year = {2003},
url = {http://arxiv.org/abs/cs.DC/0303011},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0303011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ReniersGZW02,
author = {Michel A. Reniers and
Jan Friso Groote and
Mark van der Zwaag and
Jos van Wamel},
title = {Completeness of Timed mCRL},
journal = {Fundam. Informaticae},
volume = {50},
number = {3-4},
pages = {361--402},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi50-3-4-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ReniersGZW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/GrooteL02,
author = {Jan Friso Groote and
Bert Lisser},
title = {Computer assisted manipulation of algebraic process specifications},
journal = {{ACM} {SIGPLAN} Notices},
volume = {37},
number = {12},
pages = {98--107},
year = {2002},
url = {https://doi.org/10.1145/636517.636531},
doi = {10.1145/636517.636531},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/GrooteL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/HesselinkG01,
author = {Wim H. Hesselink and
Jan Friso Groote},
title = {Wait-free concurrent memory management by Create and Read until Deletion
(CaRuD)},
journal = {Distributed Comput.},
volume = {14},
number = {1},
pages = {31--39},
year = {2001},
url = {https://doi.org/10.1007/PL00008924},
doi = {10.1007/PL00008924},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/HesselinkG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GrooteHMV01,
author = {Jan Friso Groote and
Wim H. Hesselink and
Sjouke Mauw and
Rogier Vermeulen},
title = {An algorithm for the asynchronous Write-All problem based on process
collision},
journal = {Distributed Comput.},
volume = {14},
number = {2},
pages = {75--81},
year = {2001},
url = {https://doi.org/10.1007/PL00008930},
doi = {10.1007/PL00008930},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/GrooteHMV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GrootePU01,
author = {Jan Friso Groote and
Alban Ponse and
Yaroslav S. Usenko},
title = {Linearization in parallel pCRL},
journal = {J. Log. Algebraic Methods Program.},
volume = {48},
number = {1-2},
pages = {39--70},
year = {2001},
url = {https://doi.org/10.1016/S1567-8326(01)00005-4},
doi = {10.1016/S1567-8326(01)00005-4},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GrootePU01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GrooteS01,
author = {Jan Friso Groote and
Jan Springintveld},
title = {Focus points and convergent process operators: a proof strategy for
protocol verification},
journal = {J. Log. Algebraic Methods Program.},
volume = {49},
number = {1-2},
pages = {31--60},
year = {2001},
url = {https://doi.org/10.1016/S1567-8326(01)00010-8},
doi = {10.1016/S1567-8326(01)00010-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GrooteS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GrooteW01,
author = {Jan Friso Groote and
Jos van Wamel},
title = {Analysis of three hybrid systems in timed {\(\mathrm{\mu}\)}CRL},
journal = {Sci. Comput. Program.},
volume = {39},
number = {2-3},
pages = {215--247},
year = {2001},
url = {https://doi.org/10.1016/S0167-6423(00)00010-1},
doi = {10.1016/S0167-6423(00)00010-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GrooteW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GrooteW01,
author = {Jan Friso Groote and
Jos van Wamel},
title = {The parallel composition of uniform processes with data},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {631--652},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00324-8},
doi = {10.1016/S0304-3975(00)00324-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GrooteW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BlomFGLLP01,
author = {Stefan Blom and
Wan J. Fokkink and
Jan Friso Groote and
Izak van Langevelde and
Bert Lisser and
Jaco van de Pol},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {{\(\mathrm{\mu}\)}CRL: {A} Toolset for Analysing Algebraic Specifications},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {250--254},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_23},
doi = {10.1007/3-540-44585-4\_23},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BlomFGLLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/GrooteZ01,
author = {Jan Friso Groote and
Hans Zantema},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Resolution and Binary Decision Diagrams Cannot Simulate Each Other
Polynomially},
booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov
Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia,
July 2-6, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2244},
pages = {33--38},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45575-2\_5},
doi = {10.1007/3-540-45575-2\_5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ershov/GrooteZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/GrooteR01,
author = {Jan Friso Groote and
Michel A. Reniers},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Algebraic Process Verification},
booktitle = {Handbook of Process Algebra},
pages = {1151--1208},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50035-7},
doi = {10.1016/B978-044482830-9/50035-7},
timestamp = {Fri, 28 Jun 2019 09:45:11 +0200},
biburl = {https://dblp.org/rec/books/el/01/GrooteR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0000660,
author = {Wan J. Fokkink and
Jan Friso Groote and
Marco Hollenberg and
Bas van Vlijmen},
title = {{LARIS} 1.0 - LAnguage for Railway Interlooking Specifications},
publisher = {{CWI}},
year = {2000},
url = {https://ir.cwi.nl/pub/16741},
isbn = {978-90-6196-489-6},
timestamp = {Mon, 16 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0000660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GrooteW00,
author = {Jan Friso Groote and
Joost P. Warners},
title = {The Propositional Formula Checker HeerHugo},
journal = {J. Autom. Reason.},
volume = {24},
number = {1/2},
pages = {101--125},
year = {2000},
url = {https://doi.org/10.1023/A:1006366304347},
doi = {10.1023/A:1006366304347},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GrooteW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GrooteP00,
author = {Jan Friso Groote and
Jaco van de Pol},
editor = {Michel Parigot and
Andrei Voronkov},
title = {Equational Binary Decision Diagrams},
booktitle = {Logic for Programming and Automated Reasoning, 7th International Conference,
{LPAR} 2000, Reunion Island, France, November 11-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1955},
pages = {161--178},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44404-1\_11},
doi = {10.1007/3-540-44404-1\_11},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/GrooteP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GrooteP00,
author = {Jan Friso Groote and
Jaco van de Pol},
editor = {Mogens Nielsen and
Branislav Rovan},
title = {State Space Reduction Using Partial tau-Confluence},
booktitle = {Mathematical Foundations of Computer Science 2000, 25th International
Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1893},
pages = {383--393},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44612-5\_34},
doi = {10.1007/3-540-44612-5\_34},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/GrooteP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AcetoG99,
author = {Luca Aceto and
Jan Friso Groote},
title = {A Complete Equational Axiomatization for {MPA} with String Iteration},
journal = {Theor. Comput. Sci.},
volume = {211},
number = {1-2},
pages = {339--374},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(97)00182-5},
doi = {10.1016/S0304-3975(97)00182-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AcetoG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:journals/entcs/VlijmenGK99,
author = {Sebastiaan van Vlijmen and
Jan Friso Groote and
Wilco Koorn},
editor = {Sebastiaan van Vlijmen and
Arjan van Waveren and
Paul Vriend},
title = {The Vital Processor Interlocking},
booktitle = {Algebraic Specification in Action},
series = {Electronic Notes in Theoretical Computer Science},
volume = {21},
pages = {1--56},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)01189-8},
doi = {10.1016/S1571-0661(05)01189-8},
timestamp = {Fri, 11 Nov 2022 15:01:32 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VlijmenGK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GrooteLW98,
author = {Jan Friso Groote and
Bas Luttik and
Jos van Wamel},
title = {Editorial},
journal = {Formal Aspects Comput.},
volume = {10},
number = {5-6},
pages = {435},
year = {1998},
url = {https://doi.org/10.1007/s001650050025},
doi = {10.1007/S001650050025},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GrooteLW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/GrooteM98,
author = {Jan Friso Groote and
Radu Mateescu},
editor = {Armando Martin Haeberer},
title = {Verification of Temporal Properties of Processes in a Setting with
Data},
booktitle = {Algebraic Methodology and Software Technology, 7th International Conference,
{AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1548},
pages = {74--90},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49253-4\_8},
doi = {10.1007/3-540-49253-4\_8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/GrooteM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrooteMP98,
author = {Jan Friso Groote and
Fran{\c{c}}ois Monin and
Jaco van de Pol},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Checking Verifications of Protocols and Distributed Systems by Computer},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {629--655},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055652},
doi = {10.1007/BFB0055652},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/GrooteMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BezemBG97,
author = {Marc Bezem and
Roland N. Bol and
Jan Friso Groote},
title = {Formalizing Process Algebraic Verifications in the Calculus of Constructions},
journal = {Formal Aspects Comput.},
volume = {9},
number = {1},
pages = {1--48},
year = {1997},
url = {https://doi.org/10.1007/BF01212523},
doi = {10.1007/BF01212523},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BezemBG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GrooteR97,
author = {Jan Friso Groote and
Martin Rem},
title = {Foreword},
journal = {Sci. Comput. Program.},
volume = {29},
number = {1-2},
pages = {1--2},
year = {1997},
url = {https://doi.org/10.1016/S0167-6423(96)00026-3},
doi = {10.1016/S0167-6423(96)00026-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/GrooteR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FredlundGK97,
author = {Lars{-}{\AA}ke Fredlund and
Jan Friso Groote and
Henri Korver},
title = {Formal Verification of a Leader Election Protocol in Process Algebra},
journal = {Theor. Comput. Sci.},
volume = {177},
number = {2},
pages = {459--486},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00256-3},
doi = {10.1016/S0304-3975(96)00256-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FredlundGK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Groote96,
author = {Jan Friso Groote},
title = {Concurrency Theory Will Set Standards for Description and Analysis
of Software},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {44},
year = {1996},
url = {https://doi.org/10.1145/242224.242280},
doi = {10.1145/242224.242280},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Groote96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Groote96,
author = {Jan Friso Groote},
title = {Hiding Propositional Constants in BDDs},
journal = {Formal Methods Syst. Des.},
volume = {8},
number = {1},
pages = {91--96},
year = {1996},
url = {https://doi.org/10.1007/BF00121264},
doi = {10.1007/BF00121264},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Groote96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BolG96,
author = {Roland N. Bol and
Jan Friso Groote},
title = {The Meaning of Negative Premises in Transition System Specifications},
journal = {J. {ACM}},
volume = {43},
number = {5},
pages = {863--914},
year = {1996},
url = {https://doi.org/10.1145/234752.234756},
doi = {10.1145/234752.234756},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/BolG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GrooteS96,
author = {Jan Friso Groote and
M. P. A. Sellink},
title = {Confluence for Process Verification},
journal = {Theor. Comput. Sci.},
volume = {170},
number = {1-2},
pages = {47--81},
year = {1996},
url = {https://doi.org/10.1016/S0304-3975(96)80702-X},
doi = {10.1016/S0304-3975(96)80702-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GrooteS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/GrooteP96,
author = {Jan Friso Groote and
Jaco van de Pol},
editor = {Martin Wirsing and
Maurice Nivat},
title = {A Bounded Retransmission Protocol for Large Data Packets},
booktitle = {Algebraic Methodology and Software Technology, 5th International Conference,
{AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1101},
pages = {536--550},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014338},
doi = {10.1007/BFB0014338},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/GrooteP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrooteS95,
author = {Jan Friso Groote and
M. P. A. Sellink},
editor = {Insup Lee and
Scott A. Smolka},
title = {Confluence for Process Verification},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {204--218},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_15},
doi = {10.1007/3-540-60218-6\_15},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/concur/GrooteS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BezemG94,
author = {Marc Bezem and
Jan Friso Groote},
title = {A Correctness Proof of a One-Bit Sliding Window Protocol in {\(\mathrm{\mu}\)}CRL},
journal = {Comput. J.},
volume = {37},
number = {4},
pages = {289--307},
year = {1994},
url = {https://doi.org/10.1093/comjnl/37.4.289},
doi = {10.1093/COMJNL/37.4.289},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cj/BezemG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/GrooteP94,
author = {Jan Friso Groote and
Alban Ponse},
title = {Process Algebra with Guards: Combining Hoare Logic with Process Algebra},
journal = {Formal Aspects Comput.},
volume = {6},
number = {2},
pages = {115--164},
year = {1994},
url = {https://doi.org/10.1007/BF01221097},
doi = {10.1007/BF01221097},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/GrooteP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GrooteH94,
author = {Jan Friso Groote and
Hans H{\"{u}}ttel},
title = {Undecidable Equivalences for Basic Process Algebra},
journal = {Inf. Comput.},
volume = {115},
number = {2},
pages = {354--371},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1101},
doi = {10.1006/INCO.1994.1101},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GrooteH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BezemG94,
author = {Marc Bezem and
Jan Friso Groote},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Invariants in Process Algebra with Data},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {401--416},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_30},
doi = {10.1007/978-3-540-48654-1\_30},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/BezemG94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosl/1993,
editor = {D. J. Andrews and
Jan Friso Groote and
Cornelis A. Middelburg},
title = {Semantics of Specification Languages (SoSL), Proceedings of the International
Workshop on Semantics of Specification Languages, Utrecht, The Netherlands,
25-27 October 1993},
series = {Workshops in Computing},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3229-5},
doi = {10.1007/978-1-4471-3229-5},
isbn = {3-540-19854-7},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosl/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Groote93,
author = {Jan Friso Groote},
title = {Transition System Specifications with Negative Premises},
journal = {Theor. Comput. Sci.},
volume = {118},
number = {2},
pages = {263--299},
year = {1993},
url = {https://doi.org/10.1016/0304-3975(93)90111-6},
doi = {10.1016/0304-3975(93)90111-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Groote93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosl/GrooteP93,
author = {Jan Friso Groote and
Alban Ponse},
editor = {D. J. Andrews and
Jan Friso Groote and
Cornelis A. Middelburg},
title = {Proof Theory for {\(\mathrm{\mu}\)}CRL: {A} Language for Processes
with Data},
booktitle = {Semantics of Specification Languages (SoSL), Proceedings of the International
Workshop on Semantics of Specification Languages, Utrecht, The Netherlands,
25-27 October 1993},
series = {Workshops in Computing},
pages = {232--251},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3229-5\_13},
doi = {10.1007/978-1-4471-3229-5\_13},
timestamp = {Mon, 02 Dec 2019 18:09:28 +0100},
biburl = {https://dblp.org/rec/conf/sosl/GrooteP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tlca/1993,
editor = {Marc Bezem and
Jan Friso Groote},
title = {Typed Lambda Calculi and Applications, International Conference on
Typed Lambda Calculi and Applications, {TLCA} '93, Utrecht, The Netherlands,
March 16-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {664},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0037093},
doi = {10.1007/BFB0037093},
isbn = {3-540-56517-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GrooteV92,
author = {Jan Friso Groote and
Frits W. Vaandrager},
title = {Structured Operational Semantics and Bisimulation as a Congruence},
journal = {Inf. Comput.},
volume = {100},
number = {2},
pages = {202--260},
year = {1992},
url = {https://doi.org/10.1016/0890-5401(92)90013-6},
doi = {10.1016/0890-5401(92)90013-6},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GrooteV92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Groote92,
author = {Jan Friso Groote},
title = {A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes},
journal = {Inf. Process. Lett.},
volume = {42},
number = {3},
pages = {167--171},
year = {1992},
url = {https://doi.org/10.1016/0020-0190(92)90142-I},
doi = {10.1016/0020-0190(92)90142-I},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Groote92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrooteM92,
author = {Jan Friso Groote and
Faron Moller},
editor = {Rance Cleaveland},
title = {Verification of Parallel Systems via Decomposition},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {62--76},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084783},
doi = {10.1007/BFB0084783},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/GrooteM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GrooteP91,
author = {Jan Friso Groote and
Alban Ponse},
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {Process Algebra with Guards - Combining Hoare Logic with Process Algebra
(Extended Abstract)},
booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
pages = {235--249},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5\_92},
doi = {10.1007/3-540-54430-5\_92},
timestamp = {Fri, 27 Mar 2020 08:51:56 +0100},
biburl = {https://dblp.org/rec/conf/concur/GrooteP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BolG91,
author = {Roland N. Bol and
Jan Friso Groote},
editor = {Javier Leach Albert and
Burkhard Monien and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {The Meaning of Negative Premises in Transition System Specifications},
booktitle = {Automata, Languages and Programming, 18th International Colloquium,
ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {510},
pages = {481--494},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54233-7\_157},
doi = {10.1007/3-540-54233-7\_157},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BolG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1991,
editor = {Jos C. M. Baeten and
Jan Friso Groote},
title = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {527},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54430-5},
doi = {10.1007/3-540-54430-5},
isbn = {3-540-54430-5},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Groote90,
author = {Jan Friso Groote},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {A New Strategy for Proving omega-Completeness applied to Process Algebra},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {314--331},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039068},
doi = {10.1007/BFB0039068},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Groote90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Groote90a,
author = {Jan Friso Groote},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Transition System Specifications with Negative Premises (Extended
Abstract)},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {332--341},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039069},
doi = {10.1007/BFB0039069},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/Groote90a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GrooteV90,
author = {Jan Friso Groote and
Frits W. Vaandrager},
editor = {Mike Paterson},
title = {An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence},
booktitle = {Automata, Languages and Programming, 17th International Colloquium,
ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {443},
pages = {626--638},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0032063},
doi = {10.1007/BFB0032063},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/GrooteV90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BolG90,
author = {Roland N. Bol and
Jan Friso Groote},
editor = {V. Wiktor Marek and
Anil Nerode and
Dino Pedreschi and
V. S. Subrahmanian},
title = {The meaning of Negative Premises in Transition System Specifications},
booktitle = {Proceedings of the Workshop Logic Programming and Non-Monotonic Logic,
Austin, TX, USA, November 1-2, 1990},
pages = {2--9},
year = {1990},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/BolG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/Groote90,
author = {Jan Friso Groote},
editor = {Luigi Logrippo and
Robert L. Probert and
Hasan Ural},
title = {Specification and verification of real time systems in {ACP}},
booktitle = {Protocol Specification, Testing and Verification X, Proceedings of
the {IFIP} {WG6.1} Tenth International Symposium on Protocol Specification,
Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990},
pages = {261--274},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/Groote90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GrooteV89,
author = {Jan Friso Groote and
Frits W. Vaandrager},
editor = {Giorgio Ausiello and
Mariangiola Dezani{-}Ciancaglini and
Simona Ronchi Della Rocca},
title = {Structural Operational Semantics and Bisimulation as a Congruence
(Extended Abstract)},
booktitle = {Automata, Languages and Programming, 16th International Colloquium,
ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {372},
pages = {423--438},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0035774},
doi = {10.1007/BFB0035774},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/GrooteV89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
