@inproceedings{GrooteW03, title = {A Checker for Modal Formulae for Processes with Data}, author = {Jan Friso Groote and Tim A. C. Willemse}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=223}, tags = {data-flow, C++}, researchr = {https://researchr.org/publication/GrooteW03}, cites = {0}, citedby = {0}, pages = {223-239}, booktitle = {FMCO}, } @article{BrandtHG11, title = {Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra}, author = {Christoph Brandt and Frank Hermann 0001 and Jan Friso Groote}, year = {2011}, url = {http://ws.acs.org.au/jrpit/JRPITVolumes/JRPIT43/JRPIT43.1.65.pdf}, researchr = {https://researchr.org/publication/BrandtHG11}, cites = {0}, citedby = {0}, journal = {acj}, volume = {43}, number = {1}, pages = {65-86}, } @inproceedings{NeeleWG18, title = {Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting}, author = {Thomas Neele and Tim A. C. Willemse and Jan Friso Groote}, year = {2018}, doi = {10.1007/978-3-030-02146-7_11}, url = {https://doi.org/10.1007/978-3-030-02146-7_11}, researchr = {https://researchr.org/publication/NeeleWG18}, cites = {0}, citedby = {0}, pages = {216-236}, booktitle = {facs2}, } @inproceedings{DuhaibyMWG18, title = {Pitfalls in Applying Model Learning to Industrial Legacy Software}, author = {Omar al Duhaiby and Arjan J. Mooij and Hans van Wezep and Jan Friso Groote}, year = {2018}, doi = {10.1007/978-3-030-03427-6_13}, url = {https://doi.org/10.1007/978-3-030-03427-6_13}, researchr = {https://researchr.org/publication/DuhaibyMWG18}, cites = {0}, citedby = {0}, pages = {121-138}, booktitle = {ISoLA}, } @article{GrooteT03, title = {Binary decision diagrams for first-order predicate logic}, author = {Jan Friso Groote and Olga Tveretina}, year = {2003}, doi = {10.1016/S1567-8326(03)00039-0}, url = {http://dx.doi.org/10.1016/S1567-8326(03)00039-0}, tags = {logic}, researchr = {https://researchr.org/publication/GrooteT03}, cites = {0}, citedby = {0}, journal = {jlp}, volume = {57}, number = {1-2}, pages = {1-22}, } @article{ReniersGZW02, title = {Completeness of Timed mCRL}, author = {Michel A. Reniers and Jan Friso Groote and Mark van der Zwaag and Jos van Wamel}, year = {2002}, tags = {completeness}, researchr = {https://researchr.org/publication/ReniersGZW02}, cites = {0}, citedby = {0}, journal = {FUIN}, volume = {50}, number = {3-4}, pages = {361-402}, } @inproceedings{HuismanBBDGLPV16, title = {Software that Meets Its Intent}, 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}, year = {2016}, doi = {10.1007/978-3-319-47169-3_47}, url = {http://dx.doi.org/10.1007/978-3-319-47169-3_47}, researchr = {https://researchr.org/publication/HuismanBBDGLPV16}, cites = {0}, citedby = {0}, pages = {609-625}, booktitle = {ISoLA}, } @article{GrooteKO15, title = {Specification guidelines to avoid the state space explosion problem}, author = {Jan Friso Groote and Tim W. D. M. Kouters and Ammar Osaiweran}, year = {2015}, doi = {10.1002/stvr.1536}, url = {http://dx.doi.org/10.1002/stvr.1536}, researchr = {https://researchr.org/publication/GrooteKO15}, cites = {0}, citedby = {0}, journal = {stvr}, volume = {25}, number = {1}, pages = {4-33}, } @inproceedings{Groote90a, title = {Transition System Specifications with Negative Premises (Extended Abstract)}, author = {Jan Friso Groote}, year = {1990}, researchr = {https://researchr.org/publication/Groote90a}, cites = {0}, citedby = {0}, pages = {332-341}, booktitle = {concur}, } @article{GaoGH07, title = {Lock-free parallel and concurrent garbage collection by mark&sweep}, author = {Hui Gao and Jan Friso Groote and Wim H. Hesselink}, year = {2007}, doi = {10.1016/j.scico.2006.10.001}, url = {http://dx.doi.org/10.1016/j.scico.2006.10.001}, researchr = {https://researchr.org/publication/GaoGH07}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {64}, number = {3}, pages = {341-374}, } @article{Groote93:0, title = {Transition System Specifications with Negative Premises}, author = {Jan Friso Groote}, year = {1993}, researchr = {https://researchr.org/publication/Groote93%3A0}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {118}, number = {2}, pages = {263-299}, } @article{GrooteJKW17, title = {An ${O}(m \log n)$ Algorithm for Computing Stuttering Equivalence and Branching Bisimulation}, author = {Jan Friso Groote and David N. Jansen and Jeroen J. A. Keiren and Anton Wijs}, year = {2017}, doi = {10.1145/3060140}, url = {http://doi.acm.org/10.1145/3060140}, researchr = {https://researchr.org/publication/GrooteJKW17}, cites = {0}, citedby = {0}, journal = {tocl}, volume = {18}, number = {2}, } @article{GrooteP08, title = {Switching Graphs}, author = {Jan Friso Groote and Bas Ploeger}, year = {2008}, doi = {10.1016/j.entcs.2008.12.035}, url = {http://dx.doi.org/10.1016/j.entcs.2008.12.035}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/GrooteP08}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {223}, pages = {119-135}, } @inproceedings{GrooteOW12-0, title = {Analyzing a Controller of a Power Distribution Unit Using Formal Methods}, author = {Jan Friso Groote and Ammar Osaiweran and Jacco H. Wesselius}, year = {2012}, doi = {10.1109/ICST.2012.122}, url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2012.122}, researchr = {https://researchr.org/publication/GrooteOW12-0}, cites = {0}, citedby = {0}, pages = {420-428}, booktitle = {icst}, } @inproceedings{GrooteM98, title = {Verification of Temporal Properties of Processes in a Setting with Data}, author = {Jan Friso Groote and Radu Mateescu}, year = {1998}, url = {http://link.springer.de/link/service/series/0558/bibs/1548/15480074.htm}, tags = {data-flow}, researchr = {https://researchr.org/publication/GrooteM98}, cites = {0}, citedby = {0}, pages = {74-90}, booktitle = {amast}, } @inproceedings{GrooteKO11, title = {Specification Guidelines to Avoid the State Space Explosion Problem}, author = {Jan Friso Groote and Tim W. D. M. Kouters and Ammar Osaiweran}, year = {2011}, doi = {10.1007/978-3-642-29320-7_8}, url = {http://dx.doi.org/10.1007/978-3-642-29320-7_8}, researchr = {https://researchr.org/publication/GrooteKO11}, cites = {0}, citedby = {0}, pages = {112-127}, booktitle = {fsen}, } @inproceedings{GrooteRU08, title = {Verification of networks of timed automata using mCRL2}, author = {Jan Friso Groote and Michel A. Reniers and Yaroslav S. Usenko}, year = {2008}, doi = {10.1109/IPDPS.2008.4536575}, url = {http://dx.doi.org/10.1109/IPDPS.2008.4536575}, researchr = {https://researchr.org/publication/GrooteRU08}, cites = {0}, citedby = {0}, pages = {1-8}, booktitle = {ipps}, } @article{GrooteS96, title = {Confluence for Process Verification}, author = {Jan Friso Groote and M. P. A. Sellink}, year = {1996}, doi = {10.1016/S0304-3975(96)80702-X}, url = {http://dx.doi.org/10.1016/S0304-3975(96)80702-X}, researchr = {https://researchr.org/publication/GrooteS96}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {170}, number = {1-2}, pages = {47-81}, } @article{GrooteP09, title = {Switching Graphs}, author = {Jan Friso Groote and Bas Ploeger}, year = {2009}, doi = {10.1142/S0129054109006930}, url = {http://dx.doi.org/10.1142/S0129054109006930}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/GrooteP09}, cites = {0}, citedby = {0}, journal = {ijfcs}, volume = {20}, number = {5}, pages = {869-886}, } @article{GrooteW01:0, title = {The parallel composition of uniform processes with data}, author = {Jan Friso Groote and Jos van Wamel}, year = {2001}, doi = {10.1016/S0304-3975(00)00324-8}, url = {http://dx.doi.org/10.1016/S0304-3975(00)00324-8}, tags = {composition, data-flow}, researchr = {https://researchr.org/publication/GrooteW01%3A0}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {266}, number = {1-2}, pages = {631-652}, } @inproceedings{GrooteH03, title = {Large State Space Visualization}, author = {Jan Friso Groote and Frank van Ham}, year = {2003}, url = {http://link.springer.de/link/service/series/0558/bibs/2619/26190585.htm}, researchr = {https://researchr.org/publication/GrooteH03}, cites = {0}, citedby = {0}, pages = {585-590}, booktitle = {TACAS}, } @article{BlomGMS05, title = {Analysing the BKE-security Protocol with ::::µ::::CRL}, author = {Stefan Blom and Jan Friso Groote and Sjouke Mauw and Alexander Serebrenik}, year = {2005}, doi = {10.1016/j.entcs.2005.09.005}, url = {http://dx.doi.org/10.1016/j.entcs.2005.09.005}, tags = {protocol, security}, researchr = {https://researchr.org/publication/BlomGMS05}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {139}, number = {1}, pages = {49-90}, } @article{VlijmenGK99, title = {The Vital Processor Interlocking}, author = {Sebastiaan van Vlijmen and Jan Friso Groote and Wilco Koorn}, year = {1999}, url = {http://www.elsevier.com/gej-ng/31/29/23/45/23/show/Products/notes/index.htt#006}, researchr = {https://researchr.org/publication/VlijmenGK99}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {21}, pages = {1-56}, } @article{GrooteV07, title = {Operational semantics for Petri net components}, author = {Jan Friso Groote and Marc Voorhoeve}, year = {2007}, doi = {10.1016/j.tcs.2007.01.003}, url = {http://dx.doi.org/10.1016/j.tcs.2007.01.003}, tags = {semantics, operational semantics}, researchr = {https://researchr.org/publication/GrooteV07}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {379}, number = {1-2}, pages = {1-19}, } @inproceedings{SaberiGK13, title = {Analysis of Path Planning Algorithms: a Formal Verification-based Approach}, author = {Arash Khabbaz Saberi and Jan Friso Groote and Sarmen Keshishzadeh}, year = {2013}, doi = {10.7551/978-0-262-31709-2-ch035}, url = {http://dx.doi.org/10.7551/978-0-262-31709-2-ch035}, researchr = {https://researchr.org/publication/SaberiGK13}, cites = {0}, citedby = {0}, pages = {232-239}, booktitle = {ecal}, } @inproceedings{BolG90, title = {The meaning of Negative Premises in Transition System Specifications}, author = {Roland N. Bol and Jan Friso Groote}, year = {1990}, researchr = {https://researchr.org/publication/BolG90}, cites = {0}, citedby = {0}, pages = {2-9}, booktitle = {lpnmr}, } @article{EngelsGWW09, title = {Search algorithms for automated validation}, author = {Tom A. N. Engels and Jan Friso Groote and Muck van Weerdenburg and Tim A. C. Willemse}, year = {2009}, doi = {10.1016/j.jlap.2008.11.003}, url = {http://dx.doi.org/10.1016/j.jlap.2008.11.003}, tags = {C++, search}, researchr = {https://researchr.org/publication/EngelsGWW09}, cites = {0}, citedby = {0}, journal = {jlp}, volume = {78}, number = {4}, pages = {274-287}, } @article{MousaviRG05, title = {Notions of bisimulation and congruence formats for SOS with data}, author = {Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote}, year = {2005}, doi = {10.1016/j.ic.2005.03.002}, url = {http://dx.doi.org/10.1016/j.ic.2005.03.002}, tags = {SOS, data-flow}, researchr = {https://researchr.org/publication/MousaviRG05}, cites = {0}, citedby = {0}, journal = {iandc}, volume = {200}, number = {1}, pages = {107-147}, } @inproceedings{GrooteP96, title = {A Bounded Retransmission Protocol for Large Data Packets}, author = {Jan Friso Groote and Jaco van de Pol}, year = {1996}, tags = {protocol, data-flow}, researchr = {https://researchr.org/publication/GrooteP96}, cites = {0}, citedby = {0}, pages = {536-550}, booktitle = {amast}, } @misc{Groote2019, title = {System Validation: Automata and behavioural equivalences}, author = {Jan Friso Groote}, year = {2019}, note = {Coursera course. \url{https://www.coursera.org/learn/automata-system-validation}}, researchr = {https://researchr.org/publication/Groote2019}, cites = {0}, citedby = {0}, } @inproceedings{GaoGH04, title = {Almost Wait-Free Resizable Hashtable}, author = {Hui Gao and Jan Friso Groote and Wim H. Hesselink}, year = {2004}, url = {http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/01/213210050aabs.htm}, researchr = {https://researchr.org/publication/GaoGH04}, cites = {0}, citedby = {0}, booktitle = {ipps}, } @inproceedings{StappersRG09, title = {Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study}, author = {Frank P. M. Stappers and Michel A. Reniers and Jan Friso Groote}, year = {2009}, doi = {10.1007/978-3-642-17071-3_9}, url = {http://dx.doi.org/10.1007/978-3-642-17071-3_9}, tags = {case study, design}, researchr = {https://researchr.org/publication/StappersRG09}, cites = {0}, citedby = {0}, pages = {166-185}, booktitle = {FMCO}, } @inproceedings{GrooteOW12, title = {Experience report on developing the Front-end client unit under the control of formal methods}, author = {Jan Friso Groote and Ammar Osaiweran and Jacco H. Wesselius}, year = {2012}, doi = {10.1145/2245276.2231962}, url = {http://doi.acm.org/10.1145/2245276.2231962}, researchr = {https://researchr.org/publication/GrooteOW12}, cites = {0}, citedby = {0}, pages = {1183-1190}, booktitle = {SAC}, } @inproceedings{GrooteW16, title = {An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation}, author = {Jan Friso Groote and Anton Wijs}, year = {2016}, doi = {10.1007/978-3-662-49674-9_40}, url = {http://dx.doi.org/10.1007/978-3-662-49674-9_40}, researchr = {https://researchr.org/publication/GrooteW16}, cites = {0}, citedby = {0}, pages = {607-624}, booktitle = {TACAS}, } @book{GrooteM2014, title = {Modeling and Analysis of Communicating Systems}, author = {Jan Friso Groote and Mohammad Reza Mousavi}, year = {2014}, url = {https://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems}, researchr = {https://researchr.org/publication/GrooteM2014}, cites = {0}, citedby = {0}, publisher = {MIT Press}, isbn = {9780262321020}, } @article{GrooteL02-0, title = {Computer assisted manipulation of algebraic process specifications}, author = {Jan Friso Groote and Bert Lisser}, year = {2002}, doi = {10.1145/636517.636531}, url = {http://doi.acm.org/10.1145/636517.636531}, researchr = {https://researchr.org/publication/GrooteL02-0}, cites = {0}, citedby = {0}, journal = {SIGPLAN}, volume = {37}, number = {12}, pages = {98-107}, } @article{GrooteLW98, title = {Editorial}, author = {Jan Friso Groote and Bas Luttik and Jos van Wamel}, year = {1998}, url = {http://link.springer.de/link/service/journals/00165/bibs/8010005/80100435.htm}, researchr = {https://researchr.org/publication/GrooteLW98}, cites = {0}, citedby = {0}, journal = {fac}, volume = {10}, number = {5-6}, pages = {435}, } @inproceedings{GrooteP00:0, title = {Equational Binary Decision Diagrams}, author = {Jan Friso Groote and Jaco van de Pol}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1955/19550161.htm}, researchr = {https://researchr.org/publication/GrooteP00%3A0}, cites = {0}, citedby = {0}, pages = {161-178}, booktitle = {lpar}, } @inproceedings{MousaviRG04, title = {Congruence for SOS with Data}, author = {Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote}, year = {2004}, url = {http://csdl.computer.org/comp/proceedings/lics/2004/2192/00/21920303abs.htm}, tags = {SOS, data-flow}, researchr = {https://researchr.org/publication/MousaviRG04}, cites = {0}, citedby = {0}, pages = {303-312}, booktitle = {lics}, } @article{GrooteH06, title = {Interactive visualization of large state spaces}, author = {Jan Friso Groote and Frank van Ham}, year = {2006}, doi = {10.1007/s10009-005-0198-5}, url = {http://dx.doi.org/10.1007/s10009-005-0198-5}, researchr = {https://researchr.org/publication/GrooteH06}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {8}, number = {1}, pages = {77-91}, } @inproceedings{BolG91, title = {The Meaning of Negative Premises in Transition System Specifications}, author = {Roland N. Bol and Jan Friso Groote}, year = {1991}, researchr = {https://researchr.org/publication/BolG91}, cites = {0}, citedby = {0}, pages = {481-494}, booktitle = {icalp}, } @inproceedings{BezemG94, title = {Invariants in Process Algebra with Data}, author = {Marc Bezem and Jan Friso Groote}, year = {1994}, tags = {process algebra, data-flow, algebra}, researchr = {https://researchr.org/publication/BezemG94}, cites = {0}, citedby = {0}, pages = {401-416}, booktitle = {concur}, } @article{GrootePW03, title = {Analysis of a distributed system for lifting trucks}, author = {Jan Friso Groote and Jun Pang and Arno G. Wouters}, year = {2003}, doi = {10.1016/S1567-8326(02)00038-3}, url = {http://dx.doi.org/10.1016/S1567-8326(02)00038-3}, tags = {analysis}, researchr = {https://researchr.org/publication/GrootePW03}, cites = {0}, citedby = {0}, journal = {jlp}, volume = {55}, number = {1-2}, pages = {21-56}, } @article{AcetoG99, title = {A Complete Equational Axiomatization for MPA with String Iteration}, author = {Luca Aceto and Jan Friso Groote}, year = {1999}, doi = {10.1016/S0304-3975(97)00182-5}, url = {http://dx.doi.org/10.1016/S0304-3975(97)00182-5}, tags = {completeness}, researchr = {https://researchr.org/publication/AcetoG99}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {211}, number = {1-2}, pages = {339-374}, } @inproceedings{BeusekomGHHWWW17, title = {Formalising the {Dezyne} Modelling Language in {mCRL2}}, 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}, year = {2017}, doi = {10.1007/978-3-319-67113-0_14}, url = {https://doi.org/10.1007/978-3-319-67113-0_14}, researchr = {https://researchr.org/publication/BeusekomGHHWWW17}, cites = {0}, citedby = {0}, pages = {217-233}, booktitle = {fmics}, } @inproceedings{GrooteMP98, title = {Checking Verifications of Protocols and Distributed Systems by Computer}, author = {Jan Friso Groote and François Monin and Jaco van de Pol}, year = {1998}, url = {http://link.springer.de/link/service/series/0558/bibs/1466/14660629.htm}, tags = {protocol}, researchr = {https://researchr.org/publication/GrooteMP98}, cites = {0}, citedby = {0}, pages = {629-655}, booktitle = {concur}, } @inproceedings{GrooteP00, title = {State Space Reduction Using Partial tau-Confluence}, author = {Jan Friso Groote and Jaco van de Pol}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1893/18930383.htm}, researchr = {https://researchr.org/publication/GrooteP00}, cites = {0}, citedby = {0}, pages = {383-393}, booktitle = {mfcs}, } @misc{Groote2019-1, title = {System Validation (3): Requirements by modal formulas}, author = {Jan Friso Groote}, year = {2019}, note = {Coursera course. \url{https://www.coursera.org/learn/system-validation-modal-formulas}}, researchr = {https://researchr.org/publication/Groote2019-1}, cites = {0}, citedby = {0}, } @article{BolG96, title = {The Meaning of Negative Premises in Transition System Specifications}, author = {Roland N. Bol and Jan Friso Groote}, year = {1996}, doi = {10.1145/234752.234756}, url = {http://doi.acm.org/10.1145/234752.234756}, researchr = {https://researchr.org/publication/BolG96}, cites = {0}, citedby = {0}, journal = {JACM}, volume = {43}, number = {5}, pages = {863-914}, } @inproceedings{Groote90, title = {Specification and verification of real time systems in ACP}, author = {Jan Friso Groote}, year = {1990}, researchr = {https://researchr.org/publication/Groote90}, cites = {0}, citedby = {0}, pages = {261-274}, booktitle = {pstv}, } @inproceedings{GrooteP91, title = {Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract)}, author = {Jan Friso Groote and Alban Ponse}, year = {1991}, tags = {process algebra, algebra, logic}, researchr = {https://researchr.org/publication/GrooteP91}, cites = {0}, citedby = {0}, pages = {235-249}, booktitle = {concur}, } @article{GrooteHMV01, title = {An algorithm for the asynchronous Write-All problem based on process collision}, author = {Jan Friso Groote and Wim H. Hesselink and Sjouke Mauw and Rogier Vermeulen}, year = {2001}, url = {http://link.springer.de/link/service/journals/00446/bibs/1014002/10140075.htm}, tags = {rule-based}, researchr = {https://researchr.org/publication/GrooteHMV01}, cites = {0}, citedby = {0}, journal = {dc}, volume = {14}, number = {2}, pages = {75-81}, } @inproceedings{TalebiGL17, title = {The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications}, author = {Mahmoud Talebi and Jan Friso Groote and Jean-Paul M. G. Linnartz}, year = {2017}, doi = {10.1007/978-3-319-61428-1_14}, url = {https://doi.org/10.1007/978-3-319-61428-1_14}, researchr = {https://researchr.org/publication/TalebiGL17}, cites = {0}, citedby = {0}, pages = {196-211}, booktitle = {asmta}, } @inproceedings{GrooteV17, title = {Problem Solving Using Process Algebra Considered Insightful}, author = {Jan Friso Groote and Erik P. de Vink}, year = {2017}, doi = {10.1007/978-3-319-68270-9_3}, url = {https://doi.org/10.1007/978-3-319-68270-9_3}, researchr = {https://researchr.org/publication/GrooteV17}, cites = {0}, citedby = {0}, pages = {48-63}, booktitle = {BIRTHDAY}, } @article{CranenGR11, title = {A linear translation from CTL* to the first-order modal μ -calculus}, author = {Sjoerd Cranen and Jan Friso Groote and Michel A. Reniers}, year = {2011}, doi = {10.1016/j.tcs.2011.02.034}, url = {http://dx.doi.org/10.1016/j.tcs.2011.02.034}, tags = {translation}, researchr = {https://researchr.org/publication/CranenGR11}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {412}, number = {28}, pages = {3129-3139}, } @inproceedings{FokkinkGPBP04, title = {Verifying a Sliding Window Protocol in µCRL}, author = {Wan Fokkink and Jan Friso Groote and Jun Pang and Bahareh Badban and Jaco van de Pol}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=148}, tags = {protocol}, researchr = {https://researchr.org/publication/FokkinkGPBP04}, cites = {0}, citedby = {0}, pages = {148-163}, booktitle = {amast}, } @misc{Groote2019-0, title = {System Validation (2): Model process behaviour}, author = {Jan Friso Groote}, year = {2019}, note = {Coursera course. \url{https://www.coursera.org/learn/system-validation-behavior}}, researchr = {https://researchr.org/publication/Groote2019-0}, cites = {0}, citedby = {0}, } @article{GrooteKSWW11, title = {Experiences in developing the mCRL2 toolset}, author = {Jan Friso Groote and Jeroen J. A. Keiren and Frank P. M. Stappers and Wieger Wesselink and Tim A. C. Willemse}, year = {2011}, doi = {10.1002/spe.1021}, url = {http://dx.doi.org/10.1002/spe.1021}, tags = {C++}, researchr = {https://researchr.org/publication/GrooteKSWW11}, cites = {0}, citedby = {0}, journal = {SPE}, volume = {41}, number = {2}, pages = {143-153}, } @article{GrooteVV18, title = {An Efficient Algorithm to Determine Probabilistic Bisimulation}, author = {Jan Friso Groote and Jao Rivera Verduzco and Erik P. de Vink}, year = {2018}, doi = {10.3390/a11090131}, url = {https://doi.org/10.3390/a11090131}, researchr = {https://researchr.org/publication/GrooteVV18}, cites = {0}, citedby = {0}, journal = {algorithms}, volume = {11}, number = {9}, pages = {131}, } @article{BrandG12, title = {Advances in Model Driven Software Engineering}, author = {Mark G. J. van den Brand and Jan Friso Groote}, year = {2012}, url = {http://ercim-news.ercim.eu/en91/ri/advances-in-model-driven-software-engineering}, researchr = {https://researchr.org/publication/BrandG12}, cites = {0}, citedby = {0}, journal = {ercim}, volume = {2012}, number = {91}, } @inproceedings{GrooteK04, title = {Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points}, author = {Jan Friso Groote and Misa Keinänen}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=436}, researchr = {https://researchr.org/publication/GrooteK04}, cites = {0}, citedby = {0}, pages = {436-450}, booktitle = {TACAS}, } @inproceedings{GrooteP93, title = {Proof Theory for muCRL: A Language for Processes with Data}, author = {Jan Friso Groote and Alban Ponse}, year = {1993}, tags = {data-flow language, data-flow}, researchr = {https://researchr.org/publication/GrooteP93}, cites = {0}, citedby = {0}, pages = {232-251}, booktitle = {sosl}, } @article{MousaviRG05:0, title = {A syntactic commutativity format for SOS}, author = {Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote}, year = {2005}, doi = {10.1016/j.ipl.2004.11.007}, url = {http://dx.doi.org/10.1016/j.ipl.2004.11.007}, tags = {SOS}, researchr = {https://researchr.org/publication/MousaviRG05%3A0}, cites = {0}, citedby = {0}, journal = {ipl}, volume = {93}, number = {5}, pages = {217-223}, } @article{Groote96, title = {Concurrency Theory Will Set Standards for Description and Analysis of Software}, author = {Jan Friso Groote}, year = {1996}, tags = {analysis}, researchr = {https://researchr.org/publication/Groote96}, cites = {0}, citedby = {0}, journal = {ACM Comput. Surv.}, volume = {28}, number = {4es}, pages = {44}, } @article{GrooteWZ16, title = {A Probabilistic Analysis of the Game of the Goose}, author = {Jan Friso Groote and Freek Wiedijk and Hans Zantema}, year = {2016}, doi = {10.1137/140983781}, url = {http://dx.doi.org/10.1137/140983781}, researchr = {https://researchr.org/publication/GrooteWZ16}, cites = {0}, citedby = {0}, journal = {siamrev}, volume = {58}, number = {1}, pages = {143-155}, } @inproceedings{TalebiGL15, title = {Continuous approximation of stochastic models for wireless sensor networks}, author = {Mahmoud Talebi and Jan Friso Groote and Jean-Paul M. G. Linnartz}, year = {2015}, doi = {10.1109/SCVT.2015.7374240}, url = {http://dx.doi.org/10.1109/SCVT.2015.7374240}, researchr = {https://researchr.org/publication/TalebiGL15}, cites = {0}, citedby = {0}, pages = {1-6}, booktitle = {scvt}, } @article{BadbanFGPP05, title = {Verification of a sliding window protocol in µCRL and PVS}, author = {Bahareh Badban and Wan Fokkink and Jan Friso Groote and Jun Pang and Jaco van de Pol}, year = {2005}, doi = {10.1007/s00165-005-0070-0}, url = {http://dx.doi.org/10.1007/s00165-005-0070-0}, tags = {protocol}, researchr = {https://researchr.org/publication/BadbanFGPP05}, cites = {0}, citedby = {0}, journal = {fac}, volume = {17}, number = {3}, pages = {342-388}, } @article{GrootePU01, title = {Linearization in parallel pCRL}, author = {Jan Friso Groote and Alban Ponse and Yaroslav S. Usenko}, year = {2001}, researchr = {https://researchr.org/publication/GrootePU01}, cites = {0}, citedby = {0}, journal = {jlp}, volume = {48}, number = {1-2}, pages = {39-70}, } @inproceedings{GrooteOW11, title = {Analyzing the effects of formal methods on the development of industrial control software}, author = {Jan Friso Groote and Ammar Osaiweran and Jacco H. Wesselius}, year = {2011}, doi = {10.1109/ICSM.2011.6081983}, url = {http://dx.doi.org/10.1109/ICSM.2011.6081983}, researchr = {https://researchr.org/publication/GrooteOW11}, cites = {0}, citedby = {0}, pages = {467-472}, booktitle = {ICSM}, } @inproceedings{CranenGKSVWW13, title = {An Overview of the mCRL2 Toolset and Its Recent Advances}, 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}, year = {2013}, doi = {10.1007/978-3-642-36742-7_15}, url = {http://dx.doi.org/10.1007/978-3-642-36742-7_15}, researchr = {https://researchr.org/publication/CranenGKSVWW13}, cites = {0}, citedby = {0}, pages = {199-213}, booktitle = {TACAS}, } @article{BrandG14, title = {Redundancy in the Software Design Process is Essential for Designing Correct Software}, author = {Mark G. J. van den Brand and Jan Friso Groote}, year = {2014}, url = {http://ercim-news.ercim.eu/en99/special/redundancy-in-the-software-design-process-is-essential-for-designing-correct-software}, researchr = {https://researchr.org/publication/BrandG14}, cites = {0}, citedby = {0}, journal = {ercim}, volume = {2014}, number = {99}, } @article{GrooteRU06, title = {Discretization of Timed Automata in Timed mu}, author = {Jan Friso Groote and Michel A. Reniers and Yaroslav S. Usenko}, year = {2006}, doi = {10.1016/j.entcs.2005.12.084}, url = {http://dx.doi.org/10.1016/j.entcs.2005.12.084}, researchr = {https://researchr.org/publication/GrooteRU06}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {162}, pages = {197-202}, } @inproceedings{GrooteV89, title = {Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract)}, author = {Jan Friso Groote and Frits W. Vaandrager}, year = {1989}, tags = {semantics, structural operational semantics, operational semantics}, researchr = {https://researchr.org/publication/GrooteV89}, cites = {0}, citedby = {0}, pages = {423-438}, booktitle = {icalp}, } @inproceedings{StappersRWG12, title = {Dogfooding the Formal Semantics of mCRL2}, author = {Frank P. M. Stappers and Michel A. Reniers and Sven Weber and Jan Friso Groote}, year = {2012}, doi = {10.1109/SEW.2012.16}, url = {http://doi.ieeecomputersociety.org/10.1109/SEW.2012.16}, researchr = {https://researchr.org/publication/StappersRWG12}, cites = {0}, citedby = {0}, pages = {90-99}, booktitle = {sew}, } @article{BezemBG97, title = {Formalizing Process Algebraic Verifications in the Calculus of Constructions}, author = {Marc Bezem and Roland N. Bol and Jan Friso Groote}, year = {1997}, tags = {process algebra, algebra}, researchr = {https://researchr.org/publication/BezemBG97}, cites = {0}, citedby = {0}, journal = {fac}, volume = {9}, number = {1}, pages = {1-48}, } @inproceedings{GrooteMRUW06, title = {The Formal Specification Language mCRL2}, author = {Jan Friso Groote and Aad Mathijssen and Michel A. Reniers and Yaroslav S. Usenko and Muck van Weerdenburg}, year = {2006}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/862}, researchr = {https://researchr.org/publication/GrooteMRUW06}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @inproceedings{GrooteK05, title = {A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems}, author = {Jan Friso Groote and Misa Keinänen}, year = {2005}, doi = {10.1007/11560647_35}, url = {http://dx.doi.org/10.1007/11560647_35}, researchr = {https://researchr.org/publication/GrooteK05}, cites = {0}, citedby = {0}, pages = {532-545}, booktitle = {ictac}, } @inproceedings{GrooteW04, title = {Parameterised Boolean Equation Systems (Extended Abstract)}, author = {Jan Friso Groote and Tim A. C. Willemse}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3170&spage=308}, tags = {C++}, researchr = {https://researchr.org/publication/GrooteW04}, cites = {0}, citedby = {0}, pages = {308-324}, booktitle = {concur}, } @article{GrooteR97, title = {Foreword}, author = {Jan Friso Groote and Martin Rem}, year = {1997}, researchr = {https://researchr.org/publication/GrooteR97}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {29}, number = {1-2}, pages = {1-2}, } @article{GrooteS01, title = {Focus points and convergent process operators: a proof strategy for protocol verification}, author = {Jan Friso Groote and Jan Springintveld}, year = {2001}, tags = {protocol}, researchr = {https://researchr.org/publication/GrooteS01}, cites = {0}, citedby = {0}, journal = {jlp}, volume = {49}, number = {1-2}, pages = {31-60}, } @inproceedings{GrooteRU06:0, title = {Time abstraction in timed /spl mu/CRL a la regions}, author = {Jan Friso Groote and Michel A. Reniers and Yaroslav S. Usenko}, year = {2006}, doi = {10.1109/IPDPS.2006.1639423}, url = {http://dx.doi.org/10.1109/IPDPS.2006.1639423}, tags = {abstraction}, researchr = {https://researchr.org/publication/GrooteRU06%3A0}, cites = {0}, citedby = {0}, booktitle = {ipps}, } @article{GrooteH94, title = {Undecidable Equivalences for Basic Process Algebra}, author = {Jan Friso Groote and Hans Hüttel}, year = {1994}, month = {December}, tags = {process algebra, algebra}, researchr = {https://researchr.org/publication/GrooteH94}, cites = {0}, citedby = {0}, journal = {iandc}, volume = {115}, number = {2}, pages = {354-371}, } @article{GaoGH05, title = {Lock-free dynamic hash tables with open addressing}, author = {Hui Gao and Jan Friso Groote and Wim H. Hesselink}, year = {2005}, doi = {10.1007/s00446-004-0115-2}, url = {http://dx.doi.org/10.1007/s00446-004-0115-2}, tags = {source-to-source, open-source}, researchr = {https://researchr.org/publication/GaoGH05}, cites = {0}, citedby = {0}, journal = {dc}, volume = {18}, number = {1}, pages = {21-42}, } @article{FokkinkGR04, title = {Process Algebra Needs Proof Methodology (Columns: Concurrency)}, author = {Wan Fokkink and Jan Friso Groote and Michel A. Reniers}, year = {2004}, url = {http://www.cs.auc.dk//~luca/BEATCS/colConc82.pdf}, tags = {process algebra, algebra}, researchr = {https://researchr.org/publication/FokkinkGR04}, cites = {0}, citedby = {0}, journal = {eatcs}, volume = {82}, pages = {109-125}, } @inproceedings{GrooteZ01, title = {Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially}, author = {Jan Friso Groote and Hans Zantema}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2244/22440033.htm}, researchr = {https://researchr.org/publication/GrooteZ01}, cites = {0}, citedby = {0}, pages = {33-38}, booktitle = {ershov}, } @inproceedings{BunteGKLNVWWW19, title = {The {mCRL2} Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability}, 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}, year = {2019}, doi = {10.1007/978-3-030-17465-1_2}, url = {https://doi.org/10.1007/978-3-030-17465-1_2}, researchr = {https://researchr.org/publication/BunteGKLNVWWW19}, cites = {0}, citedby = {0}, pages = {21-39}, booktitle = {TACAS}, } @article{ZantemaG03, title = {Transforming equality logic to propositional logic}, author = {Hans Zantema and Jan Friso Groote}, year = {2003}, url = {http://www.elsevier.com/gej-ng/31/29/23/135/23/show/Products/notes/index.htt#015}, tags = {logic}, researchr = {https://researchr.org/publication/ZantemaG03}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {86}, number = {1}, pages = {162-173}, } @article{GrooteW00, title = {The Propositional Formula Checker HeerHugo}, author = {Jan Friso Groote and Joost P. Warners}, year = {2000}, researchr = {https://researchr.org/publication/GrooteW00}, cites = {0}, citedby = {0}, journal = {JAR}, volume = {24}, number = {1/2}, pages = {101-125}, } @article{OsaiweranSHGR16, title = {Evaluating the effect of a lightweight formal technique in industry}, author = {Ammar Osaiweran and Mathijs Schuts and Jozef Hooman and Jan Friso Groote and Bart J. van Rijnsoever}, year = {2016}, doi = {10.1007/s10009-015-0374-1}, url = {http://dx.doi.org/10.1007/s10009-015-0374-1}, researchr = {https://researchr.org/publication/OsaiweranSHGR16}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {18}, number = {1}, pages = {93-108}, } @inproceedings{Groote90:0, title = {A New Strategy for Proving omega-Completeness applied to Process Algebra}, author = {Jan Friso Groote}, year = {1990}, tags = {completeness, process algebra, algebra}, researchr = {https://researchr.org/publication/Groote90%3A0}, cites = {0}, citedby = {0}, pages = {314-331}, booktitle = {concur}, } @inproceedings{GaoGH05:0, title = {Lock-Free Parallel Garbage Collection}, author = {Hui Gao and Jan Friso Groote and Wim H. Hesselink}, year = {2005}, doi = {10.1007/11576235_31}, url = {http://dx.doi.org/10.1007/11576235_31}, researchr = {https://researchr.org/publication/GaoGH05%3A0}, cites = {0}, citedby = {0}, pages = {263-274}, booktitle = {ispa}, } @article{BlomGLP03, title = {New developments around the mCRL tool set}, author = {Stefan Blom and Jan Friso Groote and Izak van Langevelde and Bert Lisser and Jaco van de Pol}, year = {2003}, url = {http://www1.elsevier.com/gej-ng/31/29/23/137/23/show/Products/notes/index.htt#023}, researchr = {https://researchr.org/publication/BlomGLP03}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {80}, pages = {284-288}, } @article{GrooteP94, title = {Process Algebra with Guards: Combining Hoare Logic with Process Algebra}, author = {Jan Friso Groote and Alban Ponse}, year = {1994}, tags = {process algebra, algebra, logic}, researchr = {https://researchr.org/publication/GrooteP94}, cites = {0}, citedby = {0}, journal = {fac}, volume = {6}, number = {2}, pages = {115-164}, } @article{GrooteZ03, title = {Resolution and binary decision diagrams cannot simulate each other polynomially}, author = {Jan Friso Groote and Hans Zantema}, year = {2003}, doi = {10.1016/S0166-218X(02)00403-1}, url = {http://dx.doi.org/10.1016/S0166-218X(02)00403-1}, researchr = {https://researchr.org/publication/GrooteZ03}, cites = {0}, citedby = {0}, journal = {DAM}, volume = {130}, number = {2}, pages = {157-171}, } @article{BucchianicoGHK08, title = {Statistical Certification of Software Systems}, author = {Alessandro Di Bucchianico and Jan Friso Groote and Kees M. van Hee and Ronald Kruidhof}, year = {2008}, doi = {10.1080/03610910701790517}, url = {http://dx.doi.org/10.1080/03610910701790517}, tags = {certification}, researchr = {https://researchr.org/publication/BucchianicoGHK08}, cites = {0}, citedby = {0}, journal = {cssc}, volume = {37}, number = {2}, pages = {346-359}, } @article{GrooteL02:0, title = {Computer assisted manipulation of algebraic process specifications}, author = {Jan Friso Groote and Bert Lisser}, year = {2002}, doi = {10.1145/636517.636531}, url = {http://doi.acm.org/10.1145/636517.636531}, tags = {process algebra, algebraic specification, algebra}, researchr = {https://researchr.org/publication/GrooteL02%3A0}, cites = {0}, citedby = {0}, journal = {SIGPLAN}, volume = {37}, number = {12}, pages = {98-107}, } @inproceedings{HojjatSMG07, title = {Sarir: A Rebeca to mCRL2 Translator}, author = {Hossein Hojjat and Marjan Sirjani and Mohammad Reza Mousavi and Jan Friso Groote}, year = {2007}, doi = {10.1109/ACSD.2007.62}, url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.62}, researchr = {https://researchr.org/publication/HojjatSMG07}, cites = {0}, citedby = {0}, pages = {216-222}, booktitle = {acsd}, } @article{Groote92:0, title = {A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes}, author = {Jan Friso Groote}, year = {1992}, researchr = {https://researchr.org/publication/Groote92%3A0}, cites = {0}, citedby = {0}, journal = {ipl}, volume = {42}, number = {3}, pages = {167-171}, } @article{GrooteHR16, title = {On the random structure of behavioural transition systems}, author = {Jan Friso Groote and Remco van der Hofstad and Matthias Raffelsieper}, year = {2016}, doi = {10.1016/j.scico.2016.02.006}, url = {http://dx.doi.org/10.1016/j.scico.2016.02.006}, researchr = {https://researchr.org/publication/GrooteHR16}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {128}, pages = {51-67}, } @inproceedings{OsaiweranFGR12, title = {Experience Report on Designing and Developing Control Components Using Formal Methods}, author = {Ammar Osaiweran and Tom Fransen and Jan Friso Groote and Bart J. van Rijnsoever}, year = {2012}, doi = {10.1007/978-3-642-32759-9_29}, url = {http://dx.doi.org/10.1007/978-3-642-32759-9_29}, researchr = {https://researchr.org/publication/OsaiweranFGR12}, cites = {0}, citedby = {0}, pages = {341-355}, booktitle = {FM}, } @inproceedings{PerrenetGK05, title = {Exploring students understanding of the concept of algorithm: levels of abstraction}, author = {Jacob Perrenet and Jan Friso Groote and Eric Kaasenbrood}, year = {2005}, doi = {10.1145/1067445.1067467}, url = {http://doi.acm.org/10.1145/1067445.1067467}, tags = {abstraction}, researchr = {https://researchr.org/publication/PerrenetGK05}, cites = {0}, citedby = {0}, pages = {64-68}, booktitle = {iticse}, } @book{0000660, title = {LARIS 1.0 - LAnguage for Railway Interlooking Specifications}, author = {Wan Fokkink and Jan Friso Groote and Marco Hollenberg and Bas van Vlijmen}, year = {1991}, researchr = {https://researchr.org/publication/0000660}, cites = {0}, citedby = {0}, publisher = {CWI}, isbn = {978-90-6196-489-6}, } @article{GrooteV92, title = {Structured Operational Semantics and Bisimulation as a Congruence}, author = {Jan Friso Groote and Frits W. Vaandrager}, year = {1992}, month = {October}, tags = {semantics, operational semantics}, researchr = {https://researchr.org/publication/GrooteV92}, cites = {0}, citedby = {0}, journal = {iandc}, volume = {100}, number = {2}, pages = {202-260}, } @article{GrooteHR14, title = {On the Random Structure of Behavioural Transition Systems}, author = {Jan Friso Groote and Remco van der Hofstad and Matthias Raffelsieper}, year = {2014}, url = {http://journal.ub.tu-berlin.de/eceasst/article/view/980}, researchr = {https://researchr.org/publication/GrooteHR14}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {70}, } @inproceedings{RaedtsPUWGS07, title = {Transformation of BPMN Models for Behaviour Analysis}, 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}, year = {2007}, tags = {model-to-model transformation, BPMN, meta-model, points-to analysis, analysis, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/RaedtsPUWGS07}, cites = {0}, citedby = {0}, pages = {126-137}, booktitle = {vveis}, } @article{GrooteMWU06, title = {From µCRL to mCRL2: Motivation and Outline}, author = {Jan Friso Groote and Aad Mathijssen and Muck van Weerdenburg and Yaroslav S. Usenko}, year = {2006}, doi = {10.1016/j.entcs.2005.12.101}, url = {http://dx.doi.org/10.1016/j.entcs.2005.12.101}, researchr = {https://researchr.org/publication/GrooteMWU06}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {162}, pages = {191-196}, } @inproceedings{BlomFGLLP01, title = {µCRL: A Toolset for Analysing Algebraic Specifications}, author = {Stefan Blom and Wan Fokkink and Jan Friso Groote and Izak van Langevelde and Bert Lisser and Jaco van de Pol}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2102/21020250.htm}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/BlomFGLLP01}, cites = {0}, citedby = {0}, pages = {250-254}, booktitle = {cav}, } @article{GrooteM14, title = {Book Announcement: Modeling and Analysis of Communicating Systems}, author = {Jan Friso Groote and Mohammad Reza Mousavi}, year = {2014}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/313}, researchr = {https://researchr.org/publication/GrooteM14}, cites = {0}, citedby = {0}, journal = {eatcs}, volume = {114}, } @article{GrooteW01, title = {Analysis of three hybrid systems in timed µCRL}, author = {Jan Friso Groote and Jos van Wamel}, year = {2001}, tags = {analysis}, researchr = {https://researchr.org/publication/GrooteW01}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {39}, number = {2-3}, pages = {215-247}, } @article{BezemG94:0, title = {A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL}, author = {Marc Bezem and Jan Friso Groote}, year = {1994}, tags = {protocol}, researchr = {https://researchr.org/publication/BezemG94%3A0}, cites = {0}, citedby = {0}, journal = {cj}, volume = {37}, number = {4}, pages = {289-307}, } @article{GrooteW05, title = {Model-checking processes with data}, author = {Jan Friso Groote and Tim A. C. Willemse}, year = {2005}, doi = {10.1016/j.scico.2004.08.002}, url = {http://dx.doi.org/10.1016/j.scico.2004.08.002}, tags = {model checking, meta-model, data-flow, C++, Meta-Environment, process modeling}, researchr = {https://researchr.org/publication/GrooteW05}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {56}, number = {3}, pages = {251-273}, } @inproceedings{GrooteV90, title = {An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence}, author = {Jan Friso Groote and Frits W. Vaandrager}, year = {1990}, researchr = {https://researchr.org/publication/GrooteV90}, cites = {0}, citedby = {0}, pages = {626-638}, booktitle = {icalp}, } @article{FredlundGK97, title = {Formal Verification of a Leader Election Protocol in Process Algebra}, author = {Lars-Åke Fredlund and Jan Friso Groote and Henri Korver}, year = {1997}, doi = {10.1016/S0304-3975(96)00256-3}, url = {http://dx.doi.org/10.1016/S0304-3975(96)00256-3}, tags = {protocol, process algebra, algebra}, researchr = {https://researchr.org/publication/FredlundGK97}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {177}, number = {2}, pages = {459-486}, } @article{BorstBGM03, title = {Task Allocation in a Multi-Server System}, author = {Sem C. Borst and Onno J. Boxma and Jan Friso Groote and Sjouke Mauw}, year = {2003}, tags = {C++}, researchr = {https://researchr.org/publication/BorstBGM03}, cites = {0}, citedby = {0}, journal = {scheduling}, volume = {6}, number = {5}, pages = {423-436}, } @article{GrooteW05:0, title = {Parameterised boolean equation systems}, author = {Jan Friso Groote and Tim A. C. Willemse}, year = {2005}, doi = {10.1016/j.tcs.2005.06.016}, url = {http://dx.doi.org/10.1016/j.tcs.2005.06.016}, tags = {C++}, researchr = {https://researchr.org/publication/GrooteW05%3A0}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {343}, number = {3}, pages = {332-369}, } @article{GrooteMR06, title = {A Hierarchy of SOS Rule Formats}, author = {Jan Friso Groote and Mohammad Reza Mousavi and Michel A. Reniers}, year = {2006}, doi = {10.1016/j.entcs.2005.11.077}, url = {http://dx.doi.org/10.1016/j.entcs.2005.11.077}, tags = {rule-based, SOS, rules}, researchr = {https://researchr.org/publication/GrooteMR06}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {156}, number = {1}, pages = {3-25}, } @article{BrandG15, title = {Software engineering: Redundancy is key}, author = {Mark van den Brand and Jan Friso Groote}, year = {2015}, doi = {10.1016/j.scico.2013.11.020}, url = {http://dx.doi.org/10.1016/j.scico.2013.11.020}, researchr = {https://researchr.org/publication/BrandG15}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {97}, pages = {75-81}, } @inproceedings{GrooteS95, title = {Confluence for Process Verification}, author = {Jan Friso Groote and M. P. A. Sellink}, year = {1995}, researchr = {https://researchr.org/publication/GrooteS95}, cites = {0}, citedby = {0}, pages = {204-218}, booktitle = {concur}, } @inproceedings{OsaiweranMG17, title = {Assessing the Quality of Tabular State Machines through Metrics}, author = {Ammar Osaiweran and Jelena Marincic and Jan Friso Groote}, year = {2017}, doi = {10.1109/QRS.2017.52}, url = {https://doi.org/10.1109/QRS.2017.52}, researchr = {https://researchr.org/publication/OsaiweranMG17}, cites = {0}, citedby = {0}, pages = {426-433}, booktitle = {qrs}, } @article{Groote96:0, title = {Hiding Propositional Constants in BDDs}, author = {Jan Friso Groote}, year = {1996}, researchr = {https://researchr.org/publication/Groote96%3A0}, cites = {0}, citedby = {0}, journal = {fmsd}, volume = {8}, number = {1}, pages = {91-96}, } @inproceedings{GrooteO08, title = {Parameterised Anonymity}, author = {Jan Friso Groote and Simona Orzan}, year = {2008}, doi = {10.1007/978-3-642-01465-9_12}, url = {http://dx.doi.org/10.1007/978-3-642-01465-9_12}, researchr = {https://researchr.org/publication/GrooteO08}, cites = {0}, citedby = {0}, pages = {177-191}, booktitle = {ifip1-7}, } @article{GrooteMS05, title = {A computer checked algebraic verification of a distributed summation algorithm}, author = {Jan Friso Groote and François Monin and Jan Springintveld}, year = {2005}, doi = {10.1007/s00165-004-0052-7}, url = {http://dx.doi.org/10.1007/s00165-004-0052-7}, tags = { algebra}, researchr = {https://researchr.org/publication/GrooteMS05}, cites = {0}, citedby = {0}, journal = {fac}, volume = {17}, number = {1}, pages = {19-37}, } @article{MousaviRG07, title = {SOS formats and meta-theory: 20 years after}, author = {Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote}, year = {2007}, doi = {10.1016/j.tcs.2006.12.019}, url = {http://dx.doi.org/10.1016/j.tcs.2006.12.019}, tags = {meta-model, SOS, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/MousaviRG07}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {373}, number = {3}, pages = {238-272}, } @article{HesselinkG01, title = {Wait-free concurrent memory management by Create and Read until Deletion (CaRuD)}, author = {Wim H. Hesselink and Jan Friso Groote}, year = {2001}, url = {http://link.springer.de/link/service/journals/00446/bibs/1014001/10140031.htm}, tags = {memory management}, researchr = {https://researchr.org/publication/HesselinkG01}, cites = {0}, citedby = {0}, journal = {dc}, volume = {14}, number = {1}, pages = {31-39}, } @misc{Groote2019-2, title = {System Validation (4): Modelling Software, Protocols, and other behaviour}, author = {Jan Friso Groote}, year = {2019}, note = {Coursera course. \url{https://www.coursera.org/learn/system-validation-software-protocols}}, researchr = {https://researchr.org/publication/Groote2019-2}, cites = {0}, citedby = {0}, } @inproceedings{GrooteM92, title = {Verification of Parallel Systems via Decomposition}, author = {Jan Friso Groote and Faron Moller}, year = {1992}, researchr = {https://researchr.org/publication/GrooteM92}, cites = {0}, citedby = {0}, pages = {62-76}, booktitle = {concur}, } @proceedings{tlca:1993, title = {Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA 93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings}, year = {1993}, researchr = {https://researchr.org/publication/tlca%3A1993}, cites = {0}, citedby = {0}, booktitle = {Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA 93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings}, conference = {tlca}, editor = {Marc Bezem and Jan Friso Groote}, volume = {664}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-56517-5}, } @proceedings{concur:1991, title = {CONCUR 91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings}, year = {1991}, researchr = {https://researchr.org/publication/concur%3A1991}, cites = {0}, citedby = {0}, booktitle = {CONCUR 91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings}, conference = {concur}, editor = {Jos C. M. Baeten and Jan Friso Groote}, volume = {527}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-54430-5}, } @proceedings{sosl:1993, title = {Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993}, year = {1994}, tags = {semantics}, researchr = {https://researchr.org/publication/sosl%3A1993}, cites = {0}, citedby = {0}, booktitle = {Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993}, conference = {sosl}, editor = {D. J. Andrews and Jan Friso Groote and C. A. Middelburg}, series = {Workshops in Computing}, publisher = {Springer}, isbn = {3-540-19854-7}, }