publications: - title: "A Checker for Modal Formulae for Processes with Data" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Tim A. C. Willemse" link: "https://researchr.org/alias/tim-a.-c.-willemse" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3188&spage=223" links: doi: "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: "Formal Methods for Components and Objects, Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures" editor: - name: "Frank S. de Boer" link: "https://researchr.org/alias/frank-s.-de-boer" - name: "Marcello M. Bonsangue" link: "https://researchr.org/alias/marcello-m.-bonsangue" - name: "Susanne Graf" link: "https://researchr.org/alias/susanne-graf" - name: "Willem P. de Roever" link: "https://researchr.org/alias/willem-p.-de-roever" volume: "3188" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22942-6" kind: "inproceedings" key: "GrooteW03" - title: "Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2 Process Algebra" author: - name: "Christoph Brandt" link: "https://researchr.org/alias/christoph-brandt" - name: "Frank Hermann 0001" link: "https://researchr.org/alias/frank-hermann-0001" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2011" doi: "http://ws.acs.org.au/jrpit/JRPITVolumes/JRPIT43/JRPIT43.1.65.pdf" links: doi: "http://ws.acs.org.au/jrpit/JRPITVolumes/JRPIT43/JRPIT43.1.65.pdf" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/acj/BrandtHG11" researchr: "https://researchr.org/publication/BrandtHG11" cites: 0 citedby: 0 journal: "Australian Computer Journal" volume: "43" number: "1" pages: "65-86" kind: "article" key: "BrandtHG11" - title: "Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting" author: - name: "Thomas Neele" link: "https://researchr.org/alias/thomas-neele" - name: "Tim A. C. Willemse" link: "https://researchr.org/alias/tim-a.-c.-willemse" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2018" doi: "https://doi.org/10.1007/978-3-030-02146-7_11" links: doi: "https://doi.org/10.1007/978-3-030-02146-7_11" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/facs2/NeeleWG18" researchr: "https://researchr.org/publication/NeeleWG18" cites: 0 citedby: 0 pages: "216-236" booktitle: "Formal Aspects of Component Software - 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings" editor: - name: "Kyungmin Bae" link: "https://researchr.org/alias/kyungmin-bae" - name: "Peter Csaba Ölveczky" link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky" volume: "11222" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-030-02146-7" kind: "inproceedings" key: "NeeleWG18" - title: "Pitfalls in Applying Model Learning to Industrial Legacy Software" author: - name: "Omar al Duhaiby" link: "https://researchr.org/alias/omar-al-duhaiby" - name: "Arjan J. Mooij" link: "https://researchr.org/alias/arjan-j.-mooij" - name: "Hans van Wezep" link: "https://researchr.org/alias/hans-van-wezep" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2018" doi: "https://doi.org/10.1007/978-3-030-03427-6_13" links: doi: "https://doi.org/10.1007/978-3-030-03427-6_13" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/isola/DuhaibyMWG18" researchr: "https://researchr.org/publication/DuhaibyMWG18" cites: 0 citedby: 0 pages: "121-138" 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" editor: - name: "Tiziana Margaria" link: "https://researchr.org/alias/tiziana-margaria" - name: "Bernhard Steffen" link: "https://researchr.org/alias/bernhard-steffen" volume: "11247" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-030-03427-6" kind: "inproceedings" key: "DuhaibyMWG18" - title: "Binary decision diagrams for first-order predicate logic" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Olga Tveretina" link: "https://researchr.org/alias/olga-tveretina" year: "2003" doi: "http://dx.doi.org/10.1016/S1567-8326(03)00039-0" links: doi: "http://dx.doi.org/10.1016/S1567-8326(03)00039-0" tags: - "logic" researchr: "https://researchr.org/publication/GrooteT03" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Programming" volume: "57" number: "1-2" pages: "1-22" kind: "article" key: "GrooteT03" - title: "Completeness of Timed mCRL" author: - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Mark van der Zwaag" link: "https://researchr.org/alias/mark-van-der-zwaag" - name: "Jos van Wamel" link: "https://researchr.org/alias/jos-van-wamel" year: "2002" tags: - "completeness" researchr: "https://researchr.org/publication/ReniersGZW02" cites: 0 citedby: 0 journal: "Fundamenta Informaticae" volume: "50" number: "3-4" pages: "361-402" kind: "article" key: "ReniersGZW02" - title: "Software that Meets Its Intent" author: - name: "Marieke Huisman" link: "https://researchr.org/alias/marieke-huisman" - name: "Herbert Bos" link: "https://researchr.org/alias/herbert-bos" - name: "Sjaak Brinkkemper" link: "https://researchr.org/alias/sjaak-brinkkemper" - name: "Arie van Deursen" link: "https://researchr.org/alias/arie-van-deursen" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Patricia Lago" link: "https://researchr.org/alias/patricia-lago" - name: "Jaco van de Pol" link: "https://researchr.org/alias/jaco-van-de-pol" - name: "Eelco Visser" link: "http://eelcovisser.org" year: "2016" doi: "http://dx.doi.org/10.1007/978-3-319-47169-3_47" abstract: "Software is widely used, and society increasingly depends on its reliability. However, software has become so complex and it evolves so quickly that we fail to keep it under control. Therefore, we propose intents: fundamental laws that capture a software systems’ intended behavior (resilient, secure, safe, sustainable, etc.). The realization of this idea requires novel theories, algorithms, tools, and techniques to discover, express, verify, and evolve software intents. Thus, future software systems will be able to verify themselves that they meet their intents. Moreover, they will be able to respond to deviations from intents through self-correction. In this article we propose a research agenda, outlining which novel theories, algorithms and tools are required." links: doi: "http://dx.doi.org/10.1007/978-3-319-47169-3_47" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/isola/HuismanBBDGLPV16" "techreport (pdf)": "https://pure.tudelft.nl/portal/files/8041146/TUD_SERG_2016_021.pdf" researchr: "https://researchr.org/publication/HuismanBBDGLPV16" cites: 0 citedby: 0 pages: "609-625" 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" editor: - name: "Tiziana Margaria" link: "https://researchr.org/alias/tiziana-margaria" - name: "Bernhard Steffen" link: "https://researchr.org/alias/bernhard-steffen" volume: "9953" series: "Lecture Notes in Computer Science" isbn: "978-3-319-47168-6" kind: "inproceedings" key: "HuismanBBDGLPV16" - title: "Specification guidelines to avoid the state space explosion problem" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Tim W. D. M. Kouters" link: "https://researchr.org/alias/tim-w.-d.-m.-kouters" - name: "Ammar Osaiweran" link: "https://researchr.org/alias/ammar-osaiweran" year: "2015" doi: "http://dx.doi.org/10.1002/stvr.1536" links: doi: "http://dx.doi.org/10.1002/stvr.1536" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/stvr/GrooteKO15" researchr: "https://researchr.org/publication/GrooteKO15" cites: 0 citedby: 0 journal: "Softw. Test., Verif. Reliab." volume: "25" number: "1" pages: "4-33" kind: "article" key: "GrooteKO15" - title: "Transition System Specifications with Negative Premises (Extended Abstract)" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1990" researchr: "https://researchr.org/publication/Groote90a" cites: 0 citedby: 0 pages: "332-341" booktitle: "CONCUR 90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings" editor: - name: "Jos C. M. Baeten" link: "http://www.win.tue.nl/~josb/" - name: "Jan Willem Klop" link: "https://researchr.org/alias/jan-willem-klop" volume: "458" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-53048-7" kind: "inproceedings" key: "Groote90a" - title: "Lock-free parallel and concurrent garbage collection by mark&sweep" author: - name: "Hui Gao" link: "https://researchr.org/alias/hui-gao" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Wim H. Hesselink" link: "https://researchr.org/alias/wim-h.-hesselink" year: "2007" doi: "http://dx.doi.org/10.1016/j.scico.2006.10.001" links: doi: "http://dx.doi.org/10.1016/j.scico.2006.10.001" researchr: "https://researchr.org/publication/GaoGH07" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "64" number: "3" pages: "341-374" kind: "article" key: "GaoGH07" - title: "Transition System Specifications with Negative Premises" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1993" researchr: "https://researchr.org/publication/Groote93%3A0" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "118" number: "2" pages: "263-299" kind: "article" key: "Groote93:0" - title: "An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "David N. Jansen" link: "https://researchr.org/alias/david-n.-jansen" - name: "Jeroen J. A. Keiren" link: "https://www.jeroenkeiren.nl" - name: "Anton Wijs" link: "https://researchr.org/alias/anton-wijs" year: "2017" doi: "http://doi.acm.org/10.1145/3060140" links: doi: "http://doi.acm.org/10.1145/3060140" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tocl/GrooteJKW17" researchr: "https://researchr.org/publication/GrooteJKW17" cites: 0 citedby: 0 journal: "ACM Trans. Comput. Log." volume: "18" number: "2" kind: "article" key: "GrooteJKW17" - title: "Switching Graphs" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Bas Ploeger" link: "https://researchr.org/alias/bas-ploeger" year: "2008" doi: "http://dx.doi.org/10.1016/j.entcs.2008.12.035" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "223" pages: "119-135" kind: "article" key: "GrooteP08" - title: "Analyzing a Controller of a Power Distribution Unit Using Formal Methods" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Ammar Osaiweran" link: "https://researchr.org/alias/ammar-osaiweran" - name: "Jacco H. Wesselius" link: "https://researchr.org/alias/jacco-h.-wesselius" year: "2012" doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2012.122" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ICST.2012.122" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icst/GrooteOW12" researchr: "https://researchr.org/publication/GrooteOW12-0" cites: 0 citedby: 0 pages: "420-428" booktitle: "2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012" editor: - name: "Giuliano Antoniol" link: "https://researchr.org/alias/giuliano-antoniol" - name: "Antonia Bertolino" link: "https://researchr.org/alias/antonia-bertolino" - name: "Yvan Labiche" link: "https://researchr.org/alias/yvan-labiche" publisher: "IEEE" isbn: "978-1-4577-1906-6" kind: "inproceedings" key: "GrooteOW12-0" - title: "Verification of Temporal Properties of Processes in a Setting with Data" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Radu Mateescu" link: "https://researchr.org/alias/radu-mateescu" year: "1998" doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480074.htm" links: doi: "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: "Algebraic Methodology and Software Technology, 7th International Conference, AMAST 98, Amazonia, Brasil, January 4-8, 1999, Proceedings" editor: - name: "Armando Martin Haeberer" link: "https://researchr.org/alias/armando-martin-haeberer" volume: "1548" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-65462-3" kind: "inproceedings" key: "GrooteM98" - title: "Specification Guidelines to Avoid the State Space Explosion Problem" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Tim W. D. M. Kouters" link: "https://researchr.org/alias/tim-w.-d.-m.-kouters" - name: "Ammar Osaiweran" link: "https://researchr.org/alias/ammar-osaiweran" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-29320-7_8" links: doi: "http://dx.doi.org/10.1007/978-3-642-29320-7_8" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fsen/GrooteKO11" researchr: "https://researchr.org/publication/GrooteKO11" cites: 0 citedby: 0 pages: "112-127" booktitle: "Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers" editor: - name: "Farhad Arbab" link: "https://researchr.org/alias/farhad-arbab" - name: "Marjan Sirjani" link: "https://researchr.org/alias/marjan-sirjani" volume: "7141" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-29319-1" kind: "inproceedings" key: "GrooteKO11" - title: "Verification of networks of timed automata using mCRL2" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" - name: "Yaroslav S. Usenko" link: "https://researchr.org/alias/yaroslav-s.-usenko" year: "2008" doi: "http://dx.doi.org/10.1109/IPDPS.2008.4536575" links: doi: "http://dx.doi.org/10.1109/IPDPS.2008.4536575" researchr: "https://researchr.org/publication/GrooteRU08" cites: 0 citedby: 0 pages: "1-8" booktitle: "22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008" publisher: "IEEE" kind: "inproceedings" key: "GrooteRU08" - title: "Confluence for Process Verification" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "M. P. A. Sellink" link: "https://researchr.org/alias/m.-p.-a.-sellink" year: "1996" doi: "http://dx.doi.org/10.1016/S0304-3975(96)80702-X" links: doi: "http://dx.doi.org/10.1016/S0304-3975(96)80702-X" researchr: "https://researchr.org/publication/GrooteS96" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "170" number: "1-2" pages: "47-81" kind: "article" key: "GrooteS96" - title: "Switching Graphs" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Bas Ploeger" link: "https://researchr.org/alias/bas-ploeger" year: "2009" doi: "http://dx.doi.org/10.1142/S0129054109006930" links: doi: "http://dx.doi.org/10.1142/S0129054109006930" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/GrooteP09" cites: 0 citedby: 0 journal: "Int. J. Found. Comput. Sci." volume: "20" number: "5" pages: "869-886" kind: "article" key: "GrooteP09" - title: "The parallel composition of uniform processes with data" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jos van Wamel" link: "https://researchr.org/alias/jos-van-wamel" year: "2001" doi: "http://dx.doi.org/10.1016/S0304-3975(00)00324-8" links: doi: "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: "Theoretical Computer Science" volume: "266" number: "1-2" pages: "631-652" kind: "article" key: "GrooteW01:0" - title: "Large State Space Visualization" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Frank van Ham" link: "https://researchr.org/alias/frank-van-ham" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2619/26190585.htm" links: doi: "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: "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" editor: - name: "Hubert Garavel" link: "https://researchr.org/alias/hubert-garavel" - name: "John Hatcliff" link: "http://people.cis.ksu.edu/~hatcliff/newweb/" volume: "2619" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00898-5" kind: "inproceedings" key: "GrooteH03" - title: "Analysing the BKE-security Protocol with ::::µ::::CRL" author: - name: "Stefan Blom" link: "https://researchr.org/alias/stefan-blom" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Sjouke Mauw" link: "http://satoss.uni.lu/members/sjouke/" - name: "Alexander Serebrenik" link: "http://www.win.tue.nl/~aserebre/" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2005.09.005" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "139" number: "1" pages: "49-90" kind: "article" key: "BlomGMS05" - title: "The Vital Processor Interlocking" author: - name: "Sebastiaan van Vlijmen" link: "https://researchr.org/alias/sebastiaan-van-vlijmen" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Wilco Koorn" link: "https://researchr.org/alias/wilco-koorn" year: "1999" doi: "http://www.elsevier.com/gej-ng/31/29/23/45/23/show/Products/notes/index.htt#006" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "21" pages: "1-56" kind: "article" key: "VlijmenGK99" - title: "Operational semantics for Petri net components" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Marc Voorhoeve" link: "https://researchr.org/alias/marc-voorhoeve" year: "2007" doi: "http://dx.doi.org/10.1016/j.tcs.2007.01.003" links: doi: "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: "Theoretical Computer Science" volume: "379" number: "1-2" pages: "1-19" kind: "article" key: "GrooteV07" - title: "Analysis of Path Planning Algorithms: a Formal Verification-based Approach" author: - name: "Arash Khabbaz Saberi" link: "https://researchr.org/alias/arash-khabbaz-saberi" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Sarmen Keshishzadeh" link: "https://researchr.org/alias/sarmen-keshishzadeh" year: "2013" doi: "http://dx.doi.org/10.7551/978-0-262-31709-2-ch035" links: doi: "http://dx.doi.org/10.7551/978-0-262-31709-2-ch035" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ecal/SaberiGK13" researchr: "https://researchr.org/publication/SaberiGK13" cites: 0 citedby: 0 pages: "232-239" 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" editor: - name: "Pietro Liò" link: "https://researchr.org/alias/pietro-li%C3%B2" - name: "Orazio Miglino" link: "https://researchr.org/alias/orazio-miglino" - name: "Giuseppe Nicosia" link: "https://researchr.org/alias/giuseppe-nicosia" - name: "Stefano Nolfi" link: "https://researchr.org/alias/stefano-nolfi" - name: "Mario Pavone" link: "https://researchr.org/alias/mario-pavone" publisher: "MIT Press" isbn: "9780262317092" kind: "inproceedings" key: "SaberiGK13" - title: "The meaning of Negative Premises in Transition System Specifications" author: - name: "Roland N. Bol" link: "https://researchr.org/alias/roland-n.-bol" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1990" researchr: "https://researchr.org/publication/BolG90" cites: 0 citedby: 0 pages: "2-9" booktitle: "LPNMR" kind: "inproceedings" key: "BolG90" - title: "Search algorithms for automated validation" author: - name: "Tom A. N. Engels" link: "https://researchr.org/alias/tom-a.-n.-engels" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Muck van Weerdenburg" link: "https://researchr.org/alias/muck-van-weerdenburg" - name: "Tim A. C. Willemse" link: "https://researchr.org/alias/tim-a.-c.-willemse" year: "2009" doi: "http://dx.doi.org/10.1016/j.jlap.2008.11.003" links: doi: "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: "Journal of Logic and Algebraic Programming" volume: "78" number: "4" pages: "274-287" kind: "article" key: "EngelsGWW09" - title: "Notions of bisimulation and congruence formats for SOS with data" author: - name: "Mohammad Reza Mousavi" link: "https://researchr.org/alias/mohammad-reza-mousavi" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2005" doi: "http://dx.doi.org/10.1016/j.ic.2005.03.002" links: doi: "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: "Inf. Comput." volume: "200" number: "1" pages: "107-147" kind: "article" key: "MousaviRG05" - title: "A Bounded Retransmission Protocol for Large Data Packets" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jaco van de Pol" link: "https://researchr.org/alias/jaco-van-de-pol" year: "1996" tags: - "protocol" - "data-flow" researchr: "https://researchr.org/publication/GrooteP96" cites: 0 citedby: 0 pages: "536-550" booktitle: "Algebraic Methodology and Software Technology, 5th International Conference, AMAST 96, Munich, Germany, July 1-5, 1996, Proceedings" editor: - name: "Martin Wirsing" link: "https://researchr.org/alias/martin-wirsing" - name: "Maurice Nivat" link: "https://researchr.org/alias/maurice-nivat" volume: "1101" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-61463-X" kind: "inproceedings" key: "GrooteP96" - title: "System Validation: Automata and behavioural equivalences" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2019" note: "Coursera course. \\url{https://www.coursera.org/learn/automata-system-validation}" researchr: "https://researchr.org/publication/Groote2019" cites: 0 citedby: 0 kind: "misc" key: "Groote2019" - title: "Almost Wait-Free Resizable Hashtable" author: - name: "Hui Gao" link: "https://researchr.org/alias/hui-gao" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Wim H. Hesselink" link: "https://researchr.org/alias/wim-h.-hesselink" year: "2004" doi: "http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/01/213210050aabs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/01/213210050aabs.htm" researchr: "https://researchr.org/publication/GaoGH04" cites: 0 citedby: 0 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" isbn: "0-7695-2132-0" kind: "inproceedings" key: "GaoGH04" - title: "Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study" author: - name: "Frank P. M. Stappers" link: "https://researchr.org/alias/frank-p.-m.-stappers" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-17071-3_9" links: doi: "http://dx.doi.org/10.1007/978-3-642-17071-3_9" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmco/StappersRG09" tags: - "case study" - "design" researchr: "https://researchr.org/publication/StappersRG09" cites: 0 citedby: 0 pages: "166-185" booktitle: "Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers" editor: - name: "Frank S. de Boer" link: "https://researchr.org/alias/frank-s.-de-boer" - name: "Marcello M. Bonsangue" link: "https://researchr.org/alias/marcello-m.-bonsangue" - name: "Stefan Hallerstede" link: "https://researchr.org/alias/stefan-hallerstede" - name: "Michael Leuschel" link: "https://researchr.org/alias/michael-leuschel" volume: "6286" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-17070-6" kind: "inproceedings" key: "StappersRG09" - title: "Experience report on developing the Front-end client unit under the control of formal methods" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Ammar Osaiweran" link: "https://researchr.org/alias/ammar-osaiweran" - name: "Jacco H. Wesselius" link: "https://researchr.org/alias/jacco-h.-wesselius" year: "2012" doi: "http://doi.acm.org/10.1145/2245276.2231962" links: doi: "http://doi.acm.org/10.1145/2245276.2231962" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sac/GrooteOW12" researchr: "https://researchr.org/publication/GrooteOW12" cites: 0 citedby: 0 pages: "1183-1190" booktitle: "Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012" editor: - name: "Sascha Ossowski" link: "https://researchr.org/alias/sascha-ossowski" - name: "Paola Lecca" link: "https://researchr.org/alias/paola-lecca" publisher: "ACM" isbn: "978-1-4503-0857-1" kind: "inproceedings" key: "GrooteOW12" - title: "An O(m\\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Anton Wijs" link: "https://researchr.org/alias/anton-wijs" year: "2016" doi: "http://dx.doi.org/10.1007/978-3-662-49674-9_40" links: doi: "http://dx.doi.org/10.1007/978-3-662-49674-9_40" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tacas/GrooteW16" successor: "https://researchr.org/publication/GrooteJKW17" researchr: "https://researchr.org/publication/GrooteW16" cites: 0 citedby: 0 pages: "607-624" 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" editor: - name: "Marsha Chechik" link: "https://researchr.org/alias/marsha-chechik" - name: "Jean-François Raskin" link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin" volume: "9636" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-662-49673-2" kind: "inproceedings" key: "GrooteW16" - title: "Modeling and Analysis of Communicating Systems" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Mohammad Reza Mousavi" link: "https://researchr.org/alias/mohammad-reza-mousavi" year: "2014" doi: "https://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems" links: doi: "https://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems" dblp: "http://dblp.uni-trier.de/rec/bibtex/books/mit/GrooteM2014" researchr: "https://researchr.org/publication/GrooteM2014" cites: 0 citedby: 0 publisher: "MIT Press" isbn: "9780262321020" kind: "book" key: "GrooteM2014" - title: "Computer assisted manipulation of algebraic process specifications" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Bert Lisser" link: "https://researchr.org/alias/bert-lisser" year: "2002" doi: "http://doi.acm.org/10.1145/636517.636531" links: doi: "http://doi.acm.org/10.1145/636517.636531" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sigplan/GrooteL02" researchr: "https://researchr.org/publication/GrooteL02-0" cites: 0 citedby: 0 journal: "SIGPLAN Notices" volume: "37" number: "12" pages: "98-107" kind: "article" key: "GrooteL02-0" - title: "Editorial" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Bas Luttik" link: "http://www.win.tue.nl/~luttik/" - name: "Jos van Wamel" link: "https://researchr.org/alias/jos-van-wamel" year: "1998" doi: "http://link.springer.de/link/service/journals/00165/bibs/8010005/80100435.htm" links: doi: "http://link.springer.de/link/service/journals/00165/bibs/8010005/80100435.htm" researchr: "https://researchr.org/publication/GrooteLW98" cites: 0 citedby: 0 journal: "Formal Asp. Comput." volume: "10" number: "5-6" pages: "435" kind: "article" key: "GrooteLW98" - title: "Equational Binary Decision Diagrams" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jaco van de Pol" link: "https://researchr.org/alias/jaco-van-de-pol" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1955/19550161.htm" links: doi: "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: "Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings" editor: - name: "Michel Parigot" link: "https://researchr.org/alias/michel-parigot" - name: "Andrei Voronkov" link: "http://www.voronkov.com/" volume: "1955" series: "Lecture Notes in Computer Science" publisher: "Springer" kind: "inproceedings" key: "GrooteP00:0" - title: "Congruence for SOS with Data" author: - name: "Mohammad Reza Mousavi" link: "https://researchr.org/alias/mohammad-reza-mousavi" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2004" doi: "http://csdl.computer.org/comp/proceedings/lics/2004/2192/00/21920303abs.htm" links: doi: "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: "19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings" publisher: "IEEE Computer Society" isbn: "0-7695-2192-4" kind: "inproceedings" key: "MousaviRG04" - title: "Interactive visualization of large state spaces" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Frank van Ham" link: "https://researchr.org/alias/frank-van-ham" year: "2006" doi: "http://dx.doi.org/10.1007/s10009-005-0198-5" links: doi: "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" kind: "article" key: "GrooteH06" - title: "The Meaning of Negative Premises in Transition System Specifications" author: - name: "Roland N. Bol" link: "https://researchr.org/alias/roland-n.-bol" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1991" researchr: "https://researchr.org/publication/BolG91" cites: 0 citedby: 0 pages: "481-494" booktitle: "Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings" editor: - name: "Javier Leach Albert" link: "https://researchr.org/alias/javier-leach-albert" - name: "Burkhard Monien" link: "https://researchr.org/alias/burkhard-monien" - name: "Mario Rodríguez-Artalejo" link: "https://researchr.org/alias/mario-rodr%C3%ADguez-artalejo" volume: "510" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-54233-7" kind: "inproceedings" key: "BolG91" - title: "Invariants in Process Algebra with Data" author: - name: "Marc Bezem" link: "http://www.ii.uib.no/~bezem/" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1994" tags: - "process algebra" - "data-flow" - " algebra" researchr: "https://researchr.org/publication/BezemG94" cites: 0 citedby: 0 pages: "401-416" booktitle: "CONCUR 94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings" editor: - name: "Bengt Jonsson" link: "https://researchr.org/alias/bengt-jonsson" - name: "Joachim Parrow" link: "https://researchr.org/alias/joachim-parrow" volume: "836" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-58329-7" kind: "inproceedings" key: "BezemG94" - title: "Analysis of a distributed system for lifting trucks" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jun Pang" link: "https://researchr.org/alias/jun-pang" - name: "Arno G. Wouters" link: "https://researchr.org/alias/arno-g.-wouters" year: "2003" doi: "http://dx.doi.org/10.1016/S1567-8326(02)00038-3" links: doi: "http://dx.doi.org/10.1016/S1567-8326(02)00038-3" tags: - "analysis" researchr: "https://researchr.org/publication/GrootePW03" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Programming" volume: "55" number: "1-2" pages: "21-56" kind: "article" key: "GrootePW03" - title: "A Complete Equational Axiomatization for MPA with String Iteration" author: - name: "Luca Aceto" link: "https://researchr.org/alias/luca-aceto" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1999" doi: "http://dx.doi.org/10.1016/S0304-3975(97)00182-5" links: doi: "http://dx.doi.org/10.1016/S0304-3975(97)00182-5" tags: - "completeness" researchr: "https://researchr.org/publication/AcetoG99" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "211" number: "1-2" pages: "339-374" kind: "article" key: "AcetoG99" - title: "Formalising the Dezyne Modelling Language in mCRL2" author: - name: "Rutger van Beusekom" link: "https://researchr.org/alias/rutger-van-beusekom" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Paul F. Hoogendijk" link: "https://researchr.org/alias/paul-f.-hoogendijk" - name: "Robert Howe" link: "https://researchr.org/alias/robert-howe" - name: "Wieger Wesselink" link: "https://researchr.org/alias/wieger-wesselink" - name: "Rob Wieringa" link: "https://researchr.org/alias/rob-wieringa" - name: "Tim A. C. Willemse" link: "https://researchr.org/alias/tim-a.-c.-willemse" year: "2017" doi: "https://doi.org/10.1007/978-3-319-67113-0_14" links: doi: "https://doi.org/10.1007/978-3-319-67113-0_14" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmics/BeusekomGHHWWW17" researchr: "https://researchr.org/publication/BeusekomGHHWWW17" cites: 0 citedby: 0 pages: "217-233" 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" editor: - name: "Laure Petrucci" link: "https://researchr.org/alias/laure-petrucci" - name: "Cristina Seceleanu" link: "https://researchr.org/alias/cristina-seceleanu" - name: "Ana Cavalcanti" link: "https://researchr.org/alias/ana-cavalcanti" volume: "10471" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-67113-0" kind: "inproceedings" key: "BeusekomGHHWWW17" - title: "Checking Verifications of Protocols and Distributed Systems by Computer" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "François Monin" link: "https://researchr.org/alias/fran%C3%A7ois-monin" - name: "Jaco van de Pol" link: "https://researchr.org/alias/jaco-van-de-pol" year: "1998" doi: "http://link.springer.de/link/service/series/0558/bibs/1466/14660629.htm" links: doi: "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 98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings" editor: - name: "Davide Sangiorgi" link: "https://researchr.org/alias/davide-sangiorgi" - name: "Robert de Simone" link: "https://researchr.org/alias/robert-de-simone" volume: "1466" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-64896-8" kind: "inproceedings" key: "GrooteMP98" - title: "State Space Reduction Using Partial tau-Confluence" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jaco van de Pol" link: "https://researchr.org/alias/jaco-van-de-pol" year: "2000" doi: "http://link.springer.de/link/service/series/0558/bibs/1893/18930383.htm" links: doi: "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: "Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings" editor: - name: "Mogens Nielsen" link: "https://researchr.org/alias/mogens-nielsen" - name: "Branislav Rovan" link: "https://researchr.org/alias/branislav-rovan" volume: "1893" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67901-4" kind: "inproceedings" key: "GrooteP00" - title: "System Validation (3): Requirements by modal formulas" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" 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 kind: "misc" key: "Groote2019-1" - title: "The Meaning of Negative Premises in Transition System Specifications" author: - name: "Roland N. Bol" link: "https://researchr.org/alias/roland-n.-bol" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1996" doi: "http://doi.acm.org/10.1145/234752.234756" links: doi: "http://doi.acm.org/10.1145/234752.234756" researchr: "https://researchr.org/publication/BolG96" cites: 0 citedby: 0 journal: "Journal of the ACM" volume: "43" number: "5" pages: "863-914" kind: "article" key: "BolG96" - title: "Specification and verification of real time systems in ACP" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1990" researchr: "https://researchr.org/publication/Groote90" cites: 0 citedby: 0 pages: "261-274" 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" editor: - name: "Luigi Logrippo" link: "https://researchr.org/alias/luigi-logrippo" - name: "Robert L. Probert" link: "https://researchr.org/alias/robert-l.-probert" - name: "Hasan Ural" link: "https://researchr.org/alias/hasan-ural" publisher: "North-Holland" isbn: "0-444-88810-1" kind: "inproceedings" key: "Groote90" - title: "Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract)" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Alban Ponse" link: "http://staff.science.uva.nl/~alban/" year: "1991" tags: - "process algebra" - " algebra" - "logic" researchr: "https://researchr.org/publication/GrooteP91" cites: 0 citedby: 0 pages: "235-249" booktitle: "CONCUR 91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings" editor: - name: "Jos C. M. Baeten" link: "http://www.win.tue.nl/~josb/" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" volume: "527" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-54430-5" kind: "inproceedings" key: "GrooteP91" - title: "An algorithm for the asynchronous Write-All problem based on process collision" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Wim H. Hesselink" link: "https://researchr.org/alias/wim-h.-hesselink" - name: "Sjouke Mauw" link: "http://satoss.uni.lu/members/sjouke/" - name: "Rogier Vermeulen" link: "https://researchr.org/alias/rogier-vermeulen" year: "2001" doi: "http://link.springer.de/link/service/journals/00446/bibs/1014002/10140075.htm" links: doi: "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: "Distributed Computing" volume: "14" number: "2" pages: "75-81" kind: "article" key: "GrooteHMV01" - title: "The Mean Drift: Tailoring the Mean Field Theory of Markov Processes for Real-World Applications" author: - name: "Mahmoud Talebi" link: "https://researchr.org/alias/mahmoud-talebi" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jean-Paul M. G. Linnartz" link: "https://researchr.org/alias/jean-paul-m.-g.-linnartz" year: "2017" doi: "https://doi.org/10.1007/978-3-319-61428-1_14" links: doi: "https://doi.org/10.1007/978-3-319-61428-1_14" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/asmta/TalebiGL17" researchr: "https://researchr.org/publication/TalebiGL17" cites: 0 citedby: 0 pages: "196-211" booktitle: "Analytical and Stochastic Modelling Techniques and Applications - 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings" editor: - name: "Nigel Thomas" link: "https://researchr.org/alias/nigel-thomas" - name: "Matthew Forshaw" link: "https://researchr.org/alias/matthew-forshaw" volume: "10378" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-61428-1" kind: "inproceedings" key: "TalebiGL17" - title: "Problem Solving Using Process Algebra Considered Insightful" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Erik P. de Vink" link: "https://researchr.org/alias/erik-p.-de-vink" year: "2017" doi: "https://doi.org/10.1007/978-3-319-68270-9_3" links: doi: "https://doi.org/10.1007/978-3-319-68270-9_3" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/GrooteV17" researchr: "https://researchr.org/publication/GrooteV17" cites: 0 citedby: 0 pages: "48-63" booktitle: "ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday" editor: - name: "Joost-Pieter Katoen" link: "https://researchr.org/alias/joost-pieter-katoen" - name: "Rom Langerak" link: "https://researchr.org/alias/rom-langerak" - name: "Arend Rensink" link: "https://researchr.org/alias/arend-rensink" volume: "10500" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-68270-9" kind: "inproceedings" key: "GrooteV17" - title: "A linear translation from CTL* to the first-order modal μ -calculus" author: - name: "Sjoerd Cranen" link: "https://researchr.org/alias/sjoerd-cranen" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" year: "2011" doi: "http://dx.doi.org/10.1016/j.tcs.2011.02.034" links: doi: "http://dx.doi.org/10.1016/j.tcs.2011.02.034" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tcs/CranenGR11" tags: - "translation" researchr: "https://researchr.org/publication/CranenGR11" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "412" number: "28" pages: "3129-3139" kind: "article" key: "CranenGR11" - title: "Verifying a Sliding Window Protocol in µCRL" author: - name: "Wan Fokkink" link: "http://www.cs.vu.nl/~wanf/" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jun Pang" link: "https://researchr.org/alias/jun-pang" - name: "Bahareh Badban" link: "https://researchr.org/alias/bahareh-badban" - name: "Jaco van de Pol" link: "https://researchr.org/alias/jaco-van-de-pol" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=148" links: doi: "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: "Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings" editor: - name: "Charles Rattray" link: "https://researchr.org/alias/charles-rattray" - name: "Savi Maharaj" link: "https://researchr.org/alias/savi-maharaj" - name: "Carron Shankland" link: "https://researchr.org/alias/carron-shankland" volume: "3116" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22381-9" kind: "inproceedings" key: "FokkinkGPBP04" - title: "System Validation (2): Model process behaviour" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" 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 kind: "misc" key: "Groote2019-0" - title: "Experiences in developing the mCRL2 toolset" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jeroen J. A. Keiren" link: "https://www.jeroenkeiren.nl" - name: "Frank P. M. Stappers" link: "https://researchr.org/alias/frank-p.-m.-stappers" - name: "Wieger Wesselink" link: "https://researchr.org/alias/wieger-wesselink" - name: "Tim A. C. Willemse" link: "https://researchr.org/alias/tim-a.-c.-willemse" year: "2011" doi: "http://dx.doi.org/10.1002/spe.1021" links: doi: "http://dx.doi.org/10.1002/spe.1021" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/spe/GrooteKSWW11" tags: - "C++" researchr: "https://researchr.org/publication/GrooteKSWW11" cites: 0 citedby: 0 journal: "Software: Practice and Experience" volume: "41" number: "2" pages: "143-153" kind: "article" key: "GrooteKSWW11" - title: "An Efficient Algorithm to Determine Probabilistic Bisimulation" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jao Rivera Verduzco" link: "https://researchr.org/alias/jao-rivera-verduzco" - name: "Erik P. de Vink" link: "https://researchr.org/alias/erik-p.-de-vink" year: "2018" doi: "https://doi.org/10.3390/a11090131" links: doi: "https://doi.org/10.3390/a11090131" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/algorithms/GrooteVV18" researchr: "https://researchr.org/publication/GrooteVV18" cites: 0 citedby: 0 journal: "Algorithms" volume: "11" number: "9" pages: "131" kind: "article" key: "GrooteVV18" - title: "Advances in Model Driven Software Engineering" author: - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2012" doi: "http://ercim-news.ercim.eu/en91/ri/advances-in-model-driven-software-engineering" links: doi: "http://ercim-news.ercim.eu/en91/ri/advances-in-model-driven-software-engineering" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ercim/BrandG12" researchr: "https://researchr.org/publication/BrandG12" cites: 0 citedby: 0 journal: "ERCIM News" volume: "2012" number: "91" kind: "article" key: "BrandG12" - title: "Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Misa Keinänen" link: "https://researchr.org/alias/misa-kein%C3%A4nen" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=436" links: doi: "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: "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, Procee" editor: - name: "Kurt Jensen" link: "https://researchr.org/alias/kurt-jensen" - name: "Andreas Podelski" link: "https://researchr.org/alias/andreas-podelski" volume: "2988" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-21299-X" kind: "inproceedings" key: "GrooteK04" - title: "Proof Theory for muCRL: A Language for Processes with Data" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Alban Ponse" link: "http://staff.science.uva.nl/~alban/" year: "1993" tags: - "data-flow language" - "data-flow" researchr: "https://researchr.org/publication/GrooteP93" cites: 0 citedby: 0 pages: "232-251" booktitle: "Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993" editor: - name: "D. J. Andrews" link: "https://researchr.org/alias/d.-j.-andrews" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "C. A. Middelburg" link: "https://researchr.org/alias/c.-a.-middelburg" series: "Workshops in Computing" publisher: "Springer" isbn: "3-540-19854-7" kind: "inproceedings" key: "GrooteP93" - title: "A syntactic commutativity format for SOS" author: - name: "Mohammad Reza Mousavi" link: "https://researchr.org/alias/mohammad-reza-mousavi" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2005" doi: "http://dx.doi.org/10.1016/j.ipl.2004.11.007" links: doi: "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: "Inf. Process. Lett." volume: "93" number: "5" pages: "217-223" kind: "article" key: "MousaviRG05:0" - title: "Concurrency Theory Will Set Standards for Description and Analysis of Software" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1996" tags: - "analysis" researchr: "https://researchr.org/publication/Groote96" cites: 0 citedby: 0 journal: "ACM Computing Surveys" volume: "28" number: "4es" pages: "44" kind: "article" key: "Groote96" - title: "A Probabilistic Analysis of the Game of the Goose" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Freek Wiedijk" link: "https://researchr.org/alias/freek-wiedijk" - name: "Hans Zantema" link: "https://researchr.org/alias/hans-zantema" year: "2016" doi: "http://dx.doi.org/10.1137/140983781" links: doi: "http://dx.doi.org/10.1137/140983781" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/siamrev/GrooteWZ16" researchr: "https://researchr.org/publication/GrooteWZ16" cites: 0 citedby: 0 journal: "SIAM Review" volume: "58" number: "1" pages: "143-155" kind: "article" key: "GrooteWZ16" - title: "Continuous approximation of stochastic models for wireless sensor networks" author: - name: "Mahmoud Talebi" link: "https://researchr.org/alias/mahmoud-talebi" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jean-Paul M. G. Linnartz" link: "https://researchr.org/alias/jean-paul-m.-g.-linnartz" year: "2015" doi: "http://dx.doi.org/10.1109/SCVT.2015.7374240" links: doi: "http://dx.doi.org/10.1109/SCVT.2015.7374240" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/scvt/TalebiGL15" researchr: "https://researchr.org/publication/TalebiGL15" cites: 0 citedby: 0 pages: "1-6" booktitle: "2015 IEEE Symposium on Communications and Vehicular Technology in the Benelux, SCVT 2015, Luxembourg-Kirchberg, Luxembourg, November 24, 2015" publisher: "IEEE" isbn: "978-1-4673-9907-4" kind: "inproceedings" key: "TalebiGL15" - title: "Verification of a sliding window protocol in µCRL and PVS" author: - name: "Bahareh Badban" link: "https://researchr.org/alias/bahareh-badban" - name: "Wan Fokkink" link: "http://www.cs.vu.nl/~wanf/" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jun Pang" link: "https://researchr.org/alias/jun-pang" - name: "Jaco van de Pol" link: "https://researchr.org/alias/jaco-van-de-pol" year: "2005" doi: "http://dx.doi.org/10.1007/s00165-005-0070-0" links: doi: "http://dx.doi.org/10.1007/s00165-005-0070-0" tags: - "protocol" researchr: "https://researchr.org/publication/BadbanFGPP05" cites: 0 citedby: 0 journal: "Formal Asp. Comput." volume: "17" number: "3" pages: "342-388" kind: "article" key: "BadbanFGPP05" - title: "Linearization in parallel pCRL" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Alban Ponse" link: "https://researchr.org/alias/alban-ponse" - name: "Yaroslav S. Usenko" link: "http://www.usenko.com/" year: "2001" researchr: "https://researchr.org/publication/GrootePU01" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Programming" volume: "48" number: "1-2" pages: "39-70" kind: "article" key: "GrootePU01" - title: "Analyzing the effects of formal methods on the development of industrial control software" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Ammar Osaiweran" link: "https://researchr.org/alias/ammar-osaiweran" - name: "Jacco H. Wesselius" link: "https://researchr.org/alias/jacco-h.-wesselius" year: "2011" doi: "http://dx.doi.org/10.1109/ICSM.2011.6081983" links: doi: "http://dx.doi.org/10.1109/ICSM.2011.6081983" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icsm/GrooteOW11" researchr: "https://researchr.org/publication/GrooteOW11" cites: 0 citedby: 0 pages: "467-472" booktitle: "IEEE 27th International Conference on Software Maintenance, ICSM 2011, Williamsburg, VA, USA, September 25-30, 2011" publisher: "IEEE" isbn: "978-1-4577-0663-9" kind: "inproceedings" key: "GrooteOW11" - title: "An Overview of the mCRL2 Toolset and Its Recent Advances" author: - name: "Sjoerd Cranen" link: "https://researchr.org/alias/sjoerd-cranen" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jeroen J. A. Keiren" link: "https://www.jeroenkeiren.nl" - name: "Frank P. M. Stappers" link: "https://researchr.org/alias/frank-p.-m.-stappers" - name: "Erik P. de Vink" link: "https://researchr.org/alias/erik-p.-de-vink" - name: "Wieger Wesselink" link: "https://researchr.org/alias/wieger-wesselink" - name: "Tim A. C. Willemse" link: "https://researchr.org/alias/tim-a.-c.-willemse" year: "2013" doi: "http://dx.doi.org/10.1007/978-3-642-36742-7_15" links: doi: "http://dx.doi.org/10.1007/978-3-642-36742-7_15" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tacas/CranenGKSVWW13" researchr: "https://researchr.org/publication/CranenGKSVWW13" cites: 0 citedby: 0 pages: "199-213" 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" editor: - name: "Nir Piterman" link: "https://researchr.org/alias/nir-piterman" - name: "Scott A. Smolka" link: "https://researchr.org/alias/scott-a.-smolka" volume: "7795" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-36741-0" kind: "inproceedings" key: "CranenGKSVWW13" - title: "Redundancy in the Software Design Process is Essential for Designing Correct Software" author: - name: "Mark G. J. van den Brand" link: "https://researchr.org/alias/mark-g.-j.-van-den-brand" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2014" doi: "http://ercim-news.ercim.eu/en99/special/redundancy-in-the-software-design-process-is-essential-for-designing-correct-software" links: doi: "http://ercim-news.ercim.eu/en99/special/redundancy-in-the-software-design-process-is-essential-for-designing-correct-software" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ercim/BrandG14" researchr: "https://researchr.org/publication/BrandG14" cites: 0 citedby: 0 journal: "ERCIM News" volume: "2014" number: "99" kind: "article" key: "BrandG14" - title: "Discretization of Timed Automata in Timed mu" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" - name: "Yaroslav S. Usenko" link: "http://www.usenko.com/" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.084" links: doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.084" researchr: "https://researchr.org/publication/GrooteRU06" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "162" pages: "197-202" kind: "article" key: "GrooteRU06" - title: "Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract)" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Frits W. Vaandrager" link: "https://researchr.org/alias/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: "Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings" editor: - name: "Giorgio Ausiello" link: "https://researchr.org/alias/giorgio-ausiello" - name: "Mariangiola Dezani-Ciancaglini" link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini" - name: "Simona Ronchi Della Rocca" link: "http://www.di.unito.it/~ronchi/" volume: "372" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-51371-X" kind: "inproceedings" key: "GrooteV89" - title: "Dogfooding the Formal Semantics of mCRL2" author: - name: "Frank P. M. Stappers" link: "https://researchr.org/alias/frank-p.-m.-stappers" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" - name: "Sven Weber" link: "https://researchr.org/alias/sven-weber" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2012" doi: "http://doi.ieeecomputersociety.org/10.1109/SEW.2012.16" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SEW.2012.16" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sew/StappersRWG12" researchr: "https://researchr.org/publication/StappersRWG12" cites: 0 citedby: 0 pages: "90-99" booktitle: "35th Annual IEEE Software Engineering Workshop, SEW 2012, Heraclion, Crete, Greece, October 12-13, 2012" editor: - name: "Jonathan P. Bowen" link: "https://researchr.org/alias/jonathan-p.-bowen" - name: "Huibiao Zhu" link: "https://researchr.org/alias/huibiao-zhu" - name: "Mike Hinchey" link: "https://researchr.org/alias/mike-hinchey" publisher: "IEEE Computer Society" isbn: "978-1-4673-5574-2" kind: "inproceedings" key: "StappersRWG12" - title: "Formalizing Process Algebraic Verifications in the Calculus of Constructions" author: - name: "Marc Bezem" link: "http://www.ii.uib.no/~bezem/" - name: "Roland N. Bol" link: "https://researchr.org/alias/roland-n.-bol" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1997" tags: - "process algebra" - " algebra" researchr: "https://researchr.org/publication/BezemBG97" cites: 0 citedby: 0 journal: "Formal Asp. Comput." volume: "9" number: "1" pages: "1-48" kind: "article" key: "BezemBG97" - title: "The Formal Specification Language mCRL2" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Aad Mathijssen" link: "https://researchr.org/alias/aad-mathijssen" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" - name: "Yaroslav S. Usenko" link: "https://researchr.org/alias/yaroslav-s.-usenko" - name: "Muck van Weerdenburg" link: "https://researchr.org/alias/muck-van-weerdenburg" year: "2006" doi: "http://drops.dagstuhl.de/opus/volltexte/2007/862" links: doi: "http://drops.dagstuhl.de/opus/volltexte/2007/862" researchr: "https://researchr.org/publication/GrooteMRUW06" cites: 0 citedby: 0 booktitle: "Methods for Modelling Software Systems (MMOSS), 27.08. - 01.09.2006" editor: - name: "Ed Brinksma" link: "http://www.sigir2007.org/~brinksma/" - name: "David Harel" link: "http://www.wisdom.weizmann.ac.il/~harel/" - name: "Angelika Mader" link: "https://researchr.org/alias/angelika-mader" - name: "Perdita Stevens" link: "http://homepages.inf.ed.ac.uk/perdita/" - name: "Roel Wieringa" link: "http://wwwhome.cs.utwente.nl/~roelw/" volume: "06351" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "GrooteMRUW06" - title: "A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Misa Keinänen" link: "https://researchr.org/alias/misa-kein%C3%A4nen" year: "2005" doi: "http://dx.doi.org/10.1007/11560647_35" links: doi: "http://dx.doi.org/10.1007/11560647_35" researchr: "https://researchr.org/publication/GrooteK05" cites: 0 citedby: 0 pages: "532-545" booktitle: "Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings" editor: - name: "Dang Van Hung" link: "https://researchr.org/alias/dang-van-hung" - name: "Martin Wirsing" link: "https://researchr.org/alias/martin-wirsing" volume: "3722" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-29107-5" kind: "inproceedings" key: "GrooteK05" - title: "Parameterised Boolean Equation Systems (Extended Abstract)" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Tim A. C. Willemse" link: "https://researchr.org/alias/tim-a.-c.-willemse" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3170&spage=308" links: doi: "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 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings" editor: - name: "Philippa Gardner" link: "https://researchr.org/alias/philippa-gardner" - name: "Nobuko Yoshida" link: "https://researchr.org/alias/nobuko-yoshida" volume: "3170" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22940-X" kind: "inproceedings" key: "GrooteW04" - title: "Foreword" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Martin Rem" link: "https://researchr.org/alias/martin-rem" year: "1997" researchr: "https://researchr.org/publication/GrooteR97" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "29" number: "1-2" pages: "1-2" kind: "article" key: "GrooteR97" - title: "Focus points and convergent process operators: a proof strategy for protocol verification" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jan Springintveld" link: "https://researchr.org/alias/jan-springintveld" year: "2001" tags: - "protocol" researchr: "https://researchr.org/publication/GrooteS01" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Programming" volume: "49" number: "1-2" pages: "31-60" kind: "article" key: "GrooteS01" - title: "Time abstraction in timed /spl mu/CRL a la regions" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" - name: "Yaroslav S. Usenko" link: "http://www.usenko.com/" year: "2006" doi: "http://dx.doi.org/10.1109/IPDPS.2006.1639423" links: doi: "http://dx.doi.org/10.1109/IPDPS.2006.1639423" tags: - "abstraction" researchr: "https://researchr.org/publication/GrooteRU06%3A0" cites: 0 citedby: 0 booktitle: "20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece" publisher: "IEEE" kind: "inproceedings" key: "GrooteRU06:0" - title: "Undecidable Equivalences for Basic Process Algebra" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Hans Hüttel" link: "https://researchr.org/alias/hans-h%C3%BCttel" year: "1994" month: "December" tags: - "process algebra" - " algebra" researchr: "https://researchr.org/publication/GrooteH94" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "115" number: "2" pages: "354-371" kind: "article" key: "GrooteH94" - title: "Lock-free dynamic hash tables with open addressing" author: - name: "Hui Gao" link: "https://researchr.org/alias/hui-gao" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Wim H. Hesselink" link: "https://researchr.org/alias/wim-h.-hesselink" year: "2005" doi: "http://dx.doi.org/10.1007/s00446-004-0115-2" links: doi: "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: "Distributed Computing" volume: "18" number: "1" pages: "21-42" kind: "article" key: "GaoGH05" - title: "Process Algebra Needs Proof Methodology (Columns: Concurrency)" author: - name: "Wan Fokkink" link: "http://www.cs.vu.nl/~wanf/" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" year: "2004" doi: "http://www.cs.auc.dk//~luca/BEATCS/colConc82.pdf" links: doi: "http://www.cs.auc.dk//~luca/BEATCS/colConc82.pdf" tags: - "process algebra" - " algebra" researchr: "https://researchr.org/publication/FokkinkGR04" cites: 0 citedby: 0 journal: "Bulletin of the EATCS" volume: "82" pages: "109-125" kind: "article" key: "FokkinkGR04" - title: "Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Hans Zantema" link: "http://www.win.tue.nl/~hzantema/" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2244/22440033.htm" links: doi: "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: "Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers" editor: - name: "Dines Bjørner" link: "https://researchr.org/alias/dines-bj%C3%B8rner" - name: "Manfred Broy" link: "https://researchr.org/alias/manfred-broy" - name: "Alexandre V. Zamulin" link: "https://researchr.org/alias/alexandre-v.-zamulin" volume: "2244" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43075-X" kind: "inproceedings" key: "GrooteZ01" - title: "The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability" author: - name: "Olav Bunte" link: "https://researchr.org/alias/olav-bunte" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jeroen J. A. Keiren" link: "https://www.jeroenkeiren.nl" - name: "Maurice Laveaux" link: "https://researchr.org/alias/maurice-laveaux" - name: "Thomas Neele" link: "https://researchr.org/alias/thomas-neele" - name: "Erik P. de Vink" link: "https://researchr.org/alias/erik-p.-de-vink" - name: "Wieger Wesselink" link: "https://researchr.org/alias/wieger-wesselink" - name: "Anton Wijs" link: "https://researchr.org/alias/anton-wijs" - name: "Tim A. C. Willemse" link: "https://researchr.org/alias/tim-a.-c.-willemse" year: "2019" doi: "https://doi.org/10.1007/978-3-030-17465-1_2" links: doi: "https://doi.org/10.1007/978-3-030-17465-1_2" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tacas/BunteGKLNVWWW19" researchr: "https://researchr.org/publication/BunteGKLNVWWW19" cites: 0 citedby: 0 pages: "21-39" 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" editor: - name: "Tomás Vojnar" link: "https://researchr.org/alias/tom%C3%A1s-vojnar" - name: "Lijun Zhang" link: "https://iscasmc.ios.ac.cn/?page_id=148" volume: "11428" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-030-17465-1" kind: "inproceedings" key: "BunteGKLNVWWW19" - title: "Transforming equality logic to propositional logic" author: - name: "Hans Zantema" link: "http://www.win.tue.nl/~hzantema/" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2003" doi: "http://www.elsevier.com/gej-ng/31/29/23/135/23/show/Products/notes/index.htt#015" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "86" number: "1" pages: "162-173" kind: "article" key: "ZantemaG03" - title: "The Propositional Formula Checker HeerHugo" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Joost P. Warners" link: "https://researchr.org/alias/joost-p.-warners" year: "2000" researchr: "https://researchr.org/publication/GrooteW00" cites: 0 citedby: 0 journal: "Journal of Automated Reasoning" volume: "24" number: "1/2" pages: "101-125" kind: "article" key: "GrooteW00" - title: "Evaluating the effect of a lightweight formal technique in industry" author: - name: "Ammar Osaiweran" link: "https://researchr.org/alias/ammar-osaiweran" - name: "Mathijs Schuts" link: "https://researchr.org/alias/mathijs-schuts" - name: "Jozef Hooman" link: "https://researchr.org/alias/jozef-hooman" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Bart J. van Rijnsoever" link: "https://researchr.org/alias/bart-j.-van-rijnsoever" year: "2016" doi: "http://dx.doi.org/10.1007/s10009-015-0374-1" links: doi: "http://dx.doi.org/10.1007/s10009-015-0374-1" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sttt/OsaiweranSHGR16" researchr: "https://researchr.org/publication/OsaiweranSHGR16" cites: 0 citedby: 0 journal: "STTT" volume: "18" number: "1" pages: "93-108" kind: "article" key: "OsaiweranSHGR16" - title: "A New Strategy for Proving omega-Completeness applied to Process Algebra" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1990" tags: - "completeness" - "process algebra" - " algebra" researchr: "https://researchr.org/publication/Groote90%3A0" cites: 0 citedby: 0 pages: "314-331" booktitle: "CONCUR 90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings" editor: - name: "Jos C. M. Baeten" link: "http://www.win.tue.nl/~josb/" - name: "Jan Willem Klop" link: "https://researchr.org/alias/jan-willem-klop" volume: "458" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-53048-7" kind: "inproceedings" key: "Groote90:0" - title: "Lock-Free Parallel Garbage Collection" author: - name: "Hui Gao" link: "https://researchr.org/alias/hui-gao" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Wim H. Hesselink" link: "https://researchr.org/alias/wim-h.-hesselink" year: "2005" doi: "http://dx.doi.org/10.1007/11576235_31" links: doi: "http://dx.doi.org/10.1007/11576235_31" researchr: "https://researchr.org/publication/GaoGH05%3A0" cites: 0 citedby: 0 pages: "263-274" booktitle: "Parallel and Distributed Processing and Applications, Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings" editor: - name: "Yi Pan" link: "https://researchr.org/alias/yi-pan" - name: "Daoxu Chen" link: "https://researchr.org/alias/daoxu-chen" - name: "Minyi Guo" link: "https://researchr.org/alias/minyi-guo" - name: "Jiannong Cao" link: "https://researchr.org/alias/jiannong-cao" - name: "Jack Dongarra" link: "https://researchr.org/alias/jack-dongarra" volume: "3758" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-29769-3" kind: "inproceedings" key: "GaoGH05:0" - title: "New developments around the mCRL tool set" author: - name: "Stefan Blom" link: "https://researchr.org/alias/stefan-blom" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Izak van Langevelde" link: "https://researchr.org/alias/izak-van-langevelde" - name: "Bert Lisser" link: "https://researchr.org/alias/bert-lisser" - name: "Jaco van de Pol" link: "https://researchr.org/alias/jaco-van-de-pol" year: "2003" doi: "http://www1.elsevier.com/gej-ng/31/29/23/137/23/show/Products/notes/index.htt#023" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "80" pages: "284-288" kind: "article" key: "BlomGLP03" - title: "Process Algebra with Guards: Combining Hoare Logic with Process Algebra" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Alban Ponse" link: "http://staff.science.uva.nl/~alban/" year: "1994" tags: - "process algebra" - " algebra" - "logic" researchr: "https://researchr.org/publication/GrooteP94" cites: 0 citedby: 0 journal: "Formal Asp. Comput." volume: "6" number: "2" pages: "115-164" kind: "article" key: "GrooteP94" - title: "Resolution and binary decision diagrams cannot simulate each other polynomially" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Hans Zantema" link: "http://www.win.tue.nl/~hzantema/" year: "2003" doi: "http://dx.doi.org/10.1016/S0166-218X(02)00403-1" links: doi: "http://dx.doi.org/10.1016/S0166-218X(02)00403-1" researchr: "https://researchr.org/publication/GrooteZ03" cites: 0 citedby: 0 journal: "Discrete Applied Mathematics" volume: "130" number: "2" pages: "157-171" kind: "article" key: "GrooteZ03" - title: "Statistical Certification of Software Systems" author: - name: "Alessandro Di Bucchianico" link: "https://researchr.org/alias/alessandro-di-bucchianico" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Kees M. van Hee" link: "https://researchr.org/alias/kees-m.-van-hee" - name: "Ronald Kruidhof" link: "https://researchr.org/alias/ronald-kruidhof" year: "2008" doi: "http://dx.doi.org/10.1080/03610910701790517" links: doi: "http://dx.doi.org/10.1080/03610910701790517" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cssc/BucchianicoGHK08" tags: - "certification" researchr: "https://researchr.org/publication/BucchianicoGHK08" cites: 0 citedby: 0 journal: "Communications in Statistics - Simulation and Computation" volume: "37" number: "2" pages: "346-359" kind: "article" key: "BucchianicoGHK08" - title: "Computer assisted manipulation of algebraic process specifications" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Bert Lisser" link: "https://researchr.org/alias/bert-lisser" year: "2002" doi: "http://doi.acm.org/10.1145/636517.636531" links: doi: "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 Notices" volume: "37" number: "12" pages: "98-107" kind: "article" key: "GrooteL02:0" - title: "Sarir: A Rebeca to mCRL2 Translator" author: - name: "Hossein Hojjat" link: "https://researchr.org/alias/hossein-hojjat" - name: "Marjan Sirjani" link: "https://researchr.org/alias/marjan-sirjani" - name: "Mohammad Reza Mousavi" link: "https://researchr.org/alias/mohammad-reza-mousavi" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2007" doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.62" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ACSD.2007.62" researchr: "https://researchr.org/publication/HojjatSMG07" cites: 0 citedby: 0 pages: "216-222" booktitle: "Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic" editor: - name: "Twan Basten" link: "https://researchr.org/alias/twan-basten" - name: "Gabriel Juhás" link: "https://researchr.org/alias/gabriel-juh%C3%A1s" - name: "Sandeep K. Shukla" link: "https://researchr.org/alias/sandeep-k.-shukla" publisher: "IEEE Computer Society" isbn: "978-0-7695-2902-8" kind: "inproceedings" key: "HojjatSMG07" - title: "A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1992" researchr: "https://researchr.org/publication/Groote92%3A0" cites: 0 citedby: 0 journal: "Inf. Process. Lett." volume: "42" number: "3" pages: "167-171" kind: "article" key: "Groote92:0" - title: "On the random structure of behavioural transition systems" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Remco van der Hofstad" link: "https://researchr.org/alias/remco-van-der-hofstad" - name: "Matthias Raffelsieper" link: "https://researchr.org/alias/matthias-raffelsieper" year: "2016" doi: "http://dx.doi.org/10.1016/j.scico.2016.02.006" links: doi: "http://dx.doi.org/10.1016/j.scico.2016.02.006" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/GrooteHR16" researchr: "https://researchr.org/publication/GrooteHR16" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "128" pages: "51-67" kind: "article" key: "GrooteHR16" - title: "Experience Report on Designing and Developing Control Components Using Formal Methods" author: - name: "Ammar Osaiweran" link: "https://researchr.org/alias/ammar-osaiweran" - name: "Tom Fransen" link: "https://researchr.org/alias/tom-fransen" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Bart J. van Rijnsoever" link: "https://researchr.org/alias/bart-j.-van-rijnsoever" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-32759-9_29" links: doi: "http://dx.doi.org/10.1007/978-3-642-32759-9_29" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fm/OsaiweranFGR12" researchr: "https://researchr.org/publication/OsaiweranFGR12" cites: 0 citedby: 0 pages: "341-355" booktitle: "FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings" editor: - name: "Dimitra Giannakopoulou" link: "https://researchr.org/alias/dimitra-giannakopoulou" - name: "Dominique Méry" link: "https://researchr.org/alias/dominique-m%C3%A9ry" volume: "7436" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-32758-2" kind: "inproceedings" key: "OsaiweranFGR12" - title: "Exploring students understanding of the concept of algorithm: levels of abstraction" author: - name: "Jacob Perrenet" link: "https://researchr.org/alias/jacob-perrenet" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Eric Kaasenbrood" link: "https://researchr.org/alias/eric-kaasenbrood" year: "2005" doi: "http://doi.acm.org/10.1145/1067445.1067467" links: doi: "http://doi.acm.org/10.1145/1067445.1067467" tags: - "abstraction" researchr: "https://researchr.org/publication/PerrenetGK05" cites: 0 citedby: 0 pages: "64-68" booktitle: "Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2005, Caparica, Portugal, June 27-29, 2005" editor: - name: "José C. Cunha" link: "https://researchr.org/alias/jos%C3%A9-c.-cunha" - name: "William M. Fleischman" link: "https://researchr.org/alias/william-m.-fleischman" - name: "Viera K. Proulx" link: "https://researchr.org/alias/viera-k.-proulx" - name: "João Lourenço" link: "https://researchr.org/alias/jo%C3%A3o-louren%C3%A7o" publisher: "ACM" isbn: "1-59593-024-8" kind: "inproceedings" key: "PerrenetGK05" - title: "LARIS 1.0 - LAnguage for Railway Interlooking Specifications" author: - name: "Wan Fokkink" link: "https://researchr.org/alias/wan-fokkink" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Marco Hollenberg" link: "https://researchr.org/alias/marco-hollenberg" - name: "Bas van Vlijmen" link: "https://researchr.org/alias/bas-van-vlijmen" year: "1991" links: dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0000660" researchr: "https://researchr.org/publication/0000660" cites: 0 citedby: 0 publisher: "CWI" isbn: "978-90-6196-489-6" kind: "book" key: "0000660" - title: "Structured Operational Semantics and Bisimulation as a Congruence" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Frits W. Vaandrager" link: "http://www.cs.ru.nl/~fvaan/" year: "1992" month: "October" tags: - "semantics" - "operational semantics" researchr: "https://researchr.org/publication/GrooteV92" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "100" number: "2" pages: "202-260" kind: "article" key: "GrooteV92" - title: "On the Random Structure of Behavioural Transition Systems" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Remco van der Hofstad" link: "https://researchr.org/alias/remco-van-der-hofstad" - name: "Matthias Raffelsieper" link: "https://researchr.org/alias/matthias-raffelsieper" year: "2014" doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/980" links: doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/980" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/eceasst/GrooteHR14" researchr: "https://researchr.org/publication/GrooteHR14" cites: 0 citedby: 0 journal: "ECEASST" volume: "70" kind: "article" key: "GrooteHR14" - title: "Transformation of BPMN Models for Behaviour Analysis" author: - name: "Ivo Raedts" link: "https://researchr.org/alias/ivo-raedts" - name: "Marija Petkovic" link: "https://researchr.org/alias/marija-petkovic" - name: "Yaroslav S. Usenko" link: "https://researchr.org/alias/yaroslav-s.-usenko" - name: "Jan Martijn E. M. van der Werf" link: "https://researchr.org/alias/jan-martijn-e.-m.-van-der-werf" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Lou J. Somers" link: "https://researchr.org/alias/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: "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 " editor: - name: "Juan Carlos Augusto" link: "https://researchr.org/alias/juan-carlos-augusto" - name: "Joseph Barjis" link: "https://researchr.org/alias/joseph-barjis" - name: "Ulrich Ultes-Nitsche" link: "https://researchr.org/alias/ulrich-ultes-nitsche" publisher: "INSTICC PRESS" isbn: "978-972-8865-95-5" kind: "inproceedings" key: "RaedtsPUWGS07" - title: "From µCRL to mCRL2: Motivation and Outline" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Aad Mathijssen" link: "https://researchr.org/alias/aad-mathijssen" - name: "Muck van Weerdenburg" link: "https://researchr.org/alias/muck-van-weerdenburg" - name: "Yaroslav S. Usenko" link: "http://www.usenko.com/" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.101" links: doi: "http://dx.doi.org/10.1016/j.entcs.2005.12.101" researchr: "https://researchr.org/publication/GrooteMWU06" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "162" pages: "191-196" kind: "article" key: "GrooteMWU06" - title: "µCRL: A Toolset for Analysing Algebraic Specifications" author: - name: "Stefan Blom" link: "https://researchr.org/alias/stefan-blom" - name: "Wan Fokkink" link: "http://www.cs.vu.nl/~wanf/" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Izak van Langevelde" link: "https://researchr.org/alias/izak-van-langevelde" - name: "Bert Lisser" link: "https://researchr.org/alias/bert-lisser" - name: "Jaco van de Pol" link: "https://researchr.org/alias/jaco-van-de-pol" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2102/21020250.htm" links: doi: "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: "Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings" editor: - name: "Gérard Berry" link: "https://researchr.org/alias/g%C3%A9rard-berry" - name: "Hubert Comon" link: "https://researchr.org/alias/hubert-comon" - name: "Alain Finkel" link: "https://researchr.org/alias/alain-finkel" volume: "2102" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-42345-1" kind: "inproceedings" key: "BlomFGLLP01" - title: "Book Announcement: Modeling and Analysis of Communicating Systems" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Mohammad Reza Mousavi" link: "https://researchr.org/alias/mohammad-reza-mousavi" year: "2014" doi: "http://eatcs.org/beatcs/index.php/beatcs/article/view/313" links: doi: "http://eatcs.org/beatcs/index.php/beatcs/article/view/313" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/eatcs/GrooteM14" researchr: "https://researchr.org/publication/GrooteM14" cites: 0 citedby: 0 journal: "Bulletin of the EATCS" volume: "114" kind: "article" key: "GrooteM14" - title: "Analysis of three hybrid systems in timed µCRL" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Jos van Wamel" link: "https://researchr.org/alias/jos-van-wamel" year: "2001" tags: - "analysis" researchr: "https://researchr.org/publication/GrooteW01" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "39" number: "2-3" pages: "215-247" kind: "article" key: "GrooteW01" - title: "A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL" author: - name: "Marc Bezem" link: "https://researchr.org/alias/marc-bezem" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1994" tags: - "protocol" researchr: "https://researchr.org/publication/BezemG94%3A0" cites: 0 citedby: 0 journal: "Comput. J." volume: "37" number: "4" pages: "289-307" kind: "article" key: "BezemG94:0" - title: "Model-checking processes with data" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Tim A. C. Willemse" link: "https://researchr.org/alias/tim-a.-c.-willemse" year: "2005" doi: "http://dx.doi.org/10.1016/j.scico.2004.08.002" links: doi: "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: "Science of Computer Programming" volume: "56" number: "3" pages: "251-273" kind: "article" key: "GrooteW05" - title: "An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Frits W. Vaandrager" link: "https://researchr.org/alias/frits-w.-vaandrager" year: "1990" researchr: "https://researchr.org/publication/GrooteV90" cites: 0 citedby: 0 pages: "626-638" booktitle: "Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, July 16-20, 1990, Proceedings" editor: - name: "Mike Paterson" link: "https://researchr.org/alias/mike-paterson" volume: "443" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-52826-1" kind: "inproceedings" key: "GrooteV90" - title: "Formal Verification of a Leader Election Protocol in Process Algebra" author: - name: "Lars-Åke Fredlund" link: "https://researchr.org/alias/lars-%C3%A5ke-fredlund" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Henri Korver" link: "https://researchr.org/alias/henri-korver" year: "1997" doi: "http://dx.doi.org/10.1016/S0304-3975(96)00256-3" links: doi: "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: "Theoretical Computer Science" volume: "177" number: "2" pages: "459-486" kind: "article" key: "FredlundGK97" - title: "Task Allocation in a Multi-Server System" author: - name: "Sem C. Borst" link: "https://researchr.org/alias/sem-c.-borst" - name: "Onno J. Boxma" link: "https://researchr.org/alias/onno-j.-boxma" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Sjouke Mauw" link: "http://satoss.uni.lu/members/sjouke/" year: "2003" tags: - "C++" researchr: "https://researchr.org/publication/BorstBGM03" cites: 0 citedby: 0 journal: "J. Scheduling" volume: "6" number: "5" pages: "423-436" kind: "article" key: "BorstBGM03" - title: "Parameterised boolean equation systems" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Tim A. C. Willemse" link: "https://researchr.org/alias/tim-a.-c.-willemse" year: "2005" doi: "http://dx.doi.org/10.1016/j.tcs.2005.06.016" links: doi: "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: "Theoretical Computer Science" volume: "343" number: "3" pages: "332-369" kind: "article" key: "GrooteW05:0" - title: "A Hierarchy of SOS Rule Formats" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Mohammad Reza Mousavi" link: "https://researchr.org/alias/mohammad-reza-mousavi" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2005.11.077" links: doi: "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: "Electronic Notes in Theoretical Computer Science" volume: "156" number: "1" pages: "3-25" kind: "article" key: "GrooteMR06" - title: "Software engineering: Redundancy is key" author: - name: "Mark van den Brand" link: "https://researchr.org/alias/mark-van-den-brand" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2015" doi: "http://dx.doi.org/10.1016/j.scico.2013.11.020" links: doi: "http://dx.doi.org/10.1016/j.scico.2013.11.020" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/BrandG15" researchr: "https://researchr.org/publication/BrandG15" cites: 0 citedby: 0 journal: "Science of Computer Programming" volume: "97" pages: "75-81" kind: "article" key: "BrandG15" - title: "Confluence for Process Verification" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "M. P. A. Sellink" link: "https://researchr.org/alias/m.-p.-a.-sellink" year: "1995" researchr: "https://researchr.org/publication/GrooteS95" cites: 0 citedby: 0 pages: "204-218" booktitle: "CONCUR 95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings" editor: - name: "Insup Lee" link: "https://researchr.org/alias/insup-lee" - name: "Scott A. Smolka" link: "https://researchr.org/alias/scott-a.-smolka" volume: "962" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-60218-6" kind: "inproceedings" key: "GrooteS95" - title: "Assessing the Quality of Tabular State Machines through Metrics" author: - name: "Ammar Osaiweran" link: "https://researchr.org/alias/ammar-osaiweran" - name: "Jelena Marincic" link: "https://researchr.org/alias/jelena-marincic" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2017" doi: "https://doi.org/10.1109/QRS.2017.52" links: doi: "https://doi.org/10.1109/QRS.2017.52" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/qrs/OsaiweranMG17" researchr: "https://researchr.org/publication/OsaiweranMG17" cites: 0 citedby: 0 pages: "426-433" booktitle: "2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017, Prague, Czech Republic, July 25-29, 2017" publisher: "IEEE" isbn: "978-1-5386-0592-9" kind: "inproceedings" key: "OsaiweranMG17" - title: "Hiding Propositional Constants in BDDs" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "1996" researchr: "https://researchr.org/publication/Groote96%3A0" cites: 0 citedby: 0 journal: "Formal Methods in System Design" volume: "8" number: "1" pages: "91-96" kind: "article" key: "Groote96:0" - title: "Parameterised Anonymity" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Simona Orzan" link: "http://www.mobanet.nl/simona/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-01465-9_12" links: doi: "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: "Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers" editor: - name: "Pierpaolo Degano" link: "https://researchr.org/alias/pierpaolo-degano" - name: "Joshua D. Guttman" link: "https://researchr.org/alias/joshua-d.-guttman" - name: "Fabio Martinelli" link: "https://researchr.org/alias/fabio-martinelli" volume: "5491" series: "Lecture Notes in Computer Science" publisher: "Springer" kind: "inproceedings" key: "GrooteO08" - title: "A computer checked algebraic verification of a distributed summation algorithm" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "François Monin" link: "https://researchr.org/alias/fran%C3%A7ois-monin" - name: "Jan Springintveld" link: "https://researchr.org/alias/jan-springintveld" year: "2005" doi: "http://dx.doi.org/10.1007/s00165-004-0052-7" links: doi: "http://dx.doi.org/10.1007/s00165-004-0052-7" tags: - " algebra" researchr: "https://researchr.org/publication/GrooteMS05" cites: 0 citedby: 0 journal: "Formal Asp. Comput." volume: "17" number: "1" pages: "19-37" kind: "article" key: "GrooteMS05" - title: "SOS formats and meta-theory: 20 years after" author: - name: "Mohammad Reza Mousavi" link: "https://researchr.org/alias/mohammad-reza-mousavi" - name: "Michel A. Reniers" link: "https://researchr.org/alias/michel-a.-reniers" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2007" doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.019" links: doi: "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: "Theoretical Computer Science" volume: "373" number: "3" pages: "238-272" kind: "article" key: "MousaviRG07" - title: "Wait-free concurrent memory management by Create and Read until Deletion (CaRuD)" author: - name: "Wim H. Hesselink" link: "https://researchr.org/alias/wim-h.-hesselink" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" year: "2001" doi: "http://link.springer.de/link/service/journals/00446/bibs/1014001/10140031.htm" links: doi: "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: "Distributed Computing" volume: "14" number: "1" pages: "31-39" kind: "article" key: "HesselinkG01" - title: "System Validation (4): Modelling Software, Protocols, and other behaviour" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" 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 kind: "misc" key: "Groote2019-2" - title: "Verification of Parallel Systems via Decomposition" author: - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "Faron Moller" link: "https://researchr.org/alias/faron-moller" year: "1992" researchr: "https://researchr.org/publication/GrooteM92" cites: 0 citedby: 0 pages: "62-76" booktitle: "CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings" editor: - name: "Rance Cleaveland" link: "https://researchr.org/alias/rance-cleaveland" volume: "630" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-55822-5" kind: "inproceedings" key: "GrooteM92" - 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: - name: "Marc Bezem" link: "http://www.ii.uib.no/~bezem/" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" volume: "664" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-56517-5" kind: "proceedings" key: "tlca:1993" - 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: - name: "Jos C. M. Baeten" link: "http://www.win.tue.nl/~josb/" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" volume: "527" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-54430-5" kind: "proceedings" key: "concur:1991" - 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: - name: "D. J. Andrews" link: "https://researchr.org/alias/d.-j.-andrews" - name: "Jan Friso Groote" link: "http://www.win.tue.nl/~jfg/" - name: "C. A. Middelburg" link: "https://researchr.org/alias/c.-a.-middelburg" series: "Workshops in Computing" publisher: "Springer" isbn: "3-540-19854-7" kind: "proceedings" key: "sosl:1993"