 | 2009 |
|---|
| 89 |       | Jan Friso Groote,
Bas Ploeger:
Switching Graphs.
Int. J. Found. Comput. Sci. 20(5): 869-886 (2009) |
| 88 | | Tom A. N. Engels,
Jan Friso Groote,
Muck van Weerdenburg,
Tim A. C. Willemse:
Search algorithms for automated validation.
J. Log. Algebr. Program. 78(4): 274-287 (2009) |
| 2008 |
|---|
| 87 | | Jan Friso Groote,
Simona Orzan:
Parameterised Anonymity.
Formal Aspects in Security and Trust 2008: 177-191 |
| 86 | | Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko:
Verification of networks of timed automata using mCRL2.
IPDPS 2008: 1-8 |
| 85 | | Jan Friso Groote,
Bas Ploeger:
Switching Graphs.
Electr. Notes Theor. Comput. Sci. 223: 119-135 (2008) |
| 2007 |
|---|
| 84 | | Hossein Hojjat,
Marjan Sirjani,
Mohammad Reza Mousavi,
Jan Friso Groote:
Sarir: A Rebeca to mCRL2 Translator.
ACSD 2007: 216-222 |
| 83 |  | Ivo Raedts,
Marija Petkovic,
Yaroslav S. Usenko,
Jan Martijn E. M. van der Werf,
Jan Friso Groote,
Lou J. Somers:
Transformation of BPMN Models for Behaviour Analysis.
MSVVEIS 2007: 126-137 |
| 82 | | Hui Gao,
Jan Friso Groote,
Wim H. Hesselink:
Lock-free parallel and concurrent garbage collection by mark&sweep.
Sci. Comput. Program. 64(3): 341-374 (2007) |
| 81 | | Mohammad Reza Mousavi,
Michel A. Reniers,
Jan Friso Groote:
SOS formats and meta-theory: 20 years after.
Theor. Comput. Sci. 373(3): 238-272 (2007) |
| 80 | | Jan Friso Groote,
Marc Voorhoeve:
Operational semantics for Petri net components.
Theor. Comput. Sci. 379(1-2): 1-19 (2007) |
| 2006 |
|---|
| 79 | | Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko:
Time abstraction in timed /spl mu/CRL a la regions.
IPDPS 2006 |
| 78 | | Jan Friso Groote,
Aad Mathijssen,
Michel A. Reniers,
Yaroslav S. Usenko,
Muck van Weerdenburg:
The Formal Specification Language mCRL2.
MMOSS 2006 |
| 77 | | Jan Friso Groote,
Mohammad Reza Mousavi,
Michel A. Reniers:
A Hierarchy of SOS Rule Formats.
Electr. Notes Theor. Comput. Sci. 156(1): 3-25 (2006) |
| 76 | | Jan Friso Groote,
Aad Mathijssen,
Muck van Weerdenburg,
Yaroslav S. Usenko:
From µCRL to mCRL2: Motivation and Outline.
Electr. Notes Theor. Comput. Sci. 162: 191-196 (2006) |
| 75 | | Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko:
Discretization of Timed Automata in Timed mu.
Electr. Notes Theor. Comput. Sci. 162: 197-202 (2006) |
| 74 | | Jan Friso Groote,
Frank van Ham:
Interactive visualization of large state spaces.
STTT 8(1): 77-91 (2006) |
| 2005 |
|---|
| 73 | | Jan Friso Groote,
Misa Keinänen:
A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems.
ICTAC 2005: 532-545 |
| 72 | | Hui Gao,
Jan Friso Groote,
Wim H. Hesselink:
Lock-Free Parallel Garbage Collection.
ISPA 2005: 263-274 |
| 71 | | Jacob Perrenet,
Jan Friso Groote,
Eric Kaasenbrood:
Exploring students' understanding of the concept of algorithm: levels of abstraction.
ITiCSE 2005: 64-68 |
| 70 | | Hui Gao,
Jan Friso Groote,
Wim H. Hesselink:
Lock-free dynamic hash tables with open addressing.
Distributed Computing 18(1): 21-42 (2005) |
| 69 | | Stefan Blom,
Jan Friso Groote,
Sjouke Mauw,
Alexander Serebrenik:
Analysing the BKE-security Protocol with µCRL.
Electr. Notes Theor. Comput. Sci. 139(1): 49-90 (2005) |
| 68 | | Jan Friso Groote,
François Monin,
Jan Springintveld:
A computer checked algebraic verification of a distributed summation algorithm.
Formal Asp. Comput. 17(1): 19-37 (2005) |
| 67 | | Bahareh Badban,
Wan Fokkink,
Jan Friso Groote,
Jun Pang,
Jaco van de Pol:
Verification of a sliding window protocol in µCRL and PVS.
Formal Asp. Comput. 17(3): 342-388 (2005) |
| 66 | | Mohammad Reza Mousavi,
Michel A. Reniers,
Jan Friso Groote:
Notions of bisimulation and congruence formats for SOS with data.
Inf. Comput. 200(1): 107-147 (2005) |
| 65 | | Mohammad Reza Mousavi,
Michel A. Reniers,
Jan Friso Groote:
A syntactic commutativity format for SOS.
Inf. Process. Lett. 93(5): 217-223 (2005) |
| 64 | | Jan Friso Groote,
Tim A. C. Willemse:
Model-checking processes with data.
Sci. Comput. Program. 56(3): 251-273 (2005) |
| 63 | | Jan Friso Groote,
Tim A. C. Willemse:
Parameterised boolean equation systems.
Theor. Comput. Sci. 343(3): 332-369 (2005) |
| 2004 |
|---|
| 62 | | Wan Fokkink,
Jan Friso Groote,
Jun Pang,
Bahareh Badban,
Jaco van de Pol:
Verifying a Sliding Window Protocol in µCRL.
AMAST 2004: 148-163 |
| 61 | | Jan Friso Groote,
Tim A. C. Willemse:
Parameterised Boolean Equation Systems (Extended Abstract).
CONCUR 2004: 308-324 |
| 60 | | Hui Gao,
Jan Friso Groote,
Wim H. Hesselink:
Almost Wait-Free Resizable Hashtable.
IPDPS 2004 |
| 59 | | Mohammad Reza Mousavi,
Michel A. Reniers,
Jan Friso Groote:
Congruence for SOS with Data.
LICS 2004: 303-312 |
| 58 | | Jan Friso Groote,
Misa Keinänen:
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points.
TACAS 2004: 436-450 |
| 57 | | Wan Fokkink,
Jan Friso Groote,
Michel A. Reniers:
Process Algebra Needs Proof Methodology (Columns: Concurrency).
Bulletin of the EATCS 82: 109-125 (2004) |
| 2003 |
|---|
| 56 | | Jan Friso Groote,
Tim A. C. Willemse:
A Checker for Modal Formulae for Processes with Data.
FMCO 2003: 223-239 |
| 55 | | Jan Friso Groote,
Frank van Ham:
Large State Space Visualization.
TACAS 2003: 585-590 |
| 54 | | Hui Gao,
Jan Friso Groote,
Wim H. Hesselink:
Efficient almost wait-free parallel accessible dynamic hashtables
CoRR cs.DC/0303011: (2003) |
| 53 | | Jan Friso Groote,
Hans Zantema:
Resolution and binary decision diagrams cannot simulate each other polynomially.
Discrete Applied Mathematics 130(2): 157-171 (2003) |
| 52 | | Stefan Blom,
Jan Friso Groote,
Izak van Langevelde,
Bert Lisser,
Jaco van de Pol:
New developments around the mCRL tool set.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 51 | | Hans Zantema,
Jan Friso Groote:
Transforming equality logic to propositional logic.
Electr. Notes Theor. Comput. Sci. 86(1): (2003) |
| 50 | | Jan Friso Groote,
Jun Pang,
Arno G. Wouters:
Analysis of a distributed system for lifting trucks.
J. Log. Algebr. Program. 55(1-2): 21-56 (2003) |
| 49 | | Jan Friso Groote,
Olga Tveretina:
Binary decision diagrams for first-order predicate logic.
J. Log. Algebr. Program. 57(1-2): 1-22 (2003) |
| 48 | | Sem C. Borst,
Onno J. Boxma,
Jan Friso Groote,
Sjouke Mauw:
Task Allocation in a Multi-Server System.
J. Scheduling 6(5): 423-436 (2003) |
| 2002 |
|---|
| 47 | | Michel A. Reniers,
Jan Friso Groote,
Mark van der Zwaag,
Jos van Wamel:
Completeness of Timed mCRL.
Fundam. Inform. 50(3-4): 361-402 (2002) |
| 46 | | Jan Friso Groote,
Bert Lisser:
Computer assisted manipulation of algebraic process specifications.
SIGPLAN Notices 37(12): 98-107 (2002) |
| 2001 |
|---|
| 45 | | Stefan Blom,
Wan Fokkink,
Jan Friso Groote,
Izak van Langevelde,
Bert Lisser,
Jaco van de Pol:
µCRL: A Toolset for Analysing Algebraic Specifications.
CAV 2001: 250-254 |
| 44 | | Jan Friso Groote,
Hans Zantema:
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially.
Ershov Memorial Conference 2001: 33-38 |
| 43 | | Wim H. Hesselink,
Jan Friso Groote:
Wait-free concurrent memory management by Create and Read until Deletion (CaRuD).
Distributed Computing 14(1): 31-39 (2001) |
| 42 | | Jan Friso Groote,
Wim H. Hesselink,
Sjouke Mauw,
Rogier Vermeulen:
An algorithm for the asynchronous Write-All problem based on process collision.
Distributed Computing 14(2): 75-81 (2001) |
| 41 | | Jan Friso Groote,
Alban Ponse,
Yaroslav S. Usenko:
Linearization in parallel pCRL.
J. Log. Algebr. Program. 48(1-2): 39-70 (2001) |
| 40 | | Jan Friso Groote,
Jan Springintveld:
Focus points and convergent process operators: a proof strategy for protocol verification.
J. Log. Algebr. Program. 49(1-2): 31-60 (2001) |
| 39 | | Jan Friso Groote,
Jos van Wamel:
Analysis of three hybrid systems in timed µCRL.
Sci. Comput. Program. 39(2-3): 215-247 (2001) |
| 38 | | Jan Friso Groote,
Jos van Wamel:
The parallel composition of uniform processes with data.
Theor. Comput. Sci. 266(1-2): 631-652 (2001) |
| 2000 |
|---|
| 37 | | Jan Friso Groote,
Jaco van de Pol:
Equational Binary Decision Diagrams.
LPAR 2000: 161-178 |
| 36 | | Jan Friso Groote,
Jaco van de Pol:
State Space Reduction Using Partial tau-Confluence.
MFCS 2000: 383-393 |
| 35 | | Jan Friso Groote,
Joost P. Warners:
The Propositional Formula Checker HeerHugo.
J. Autom. Reasoning 24(1/2): 101-125 (2000) |
| 1999 |
|---|
| 34 | | Sebastiaan van Vlijmen,
Jan Friso Groote,
Wilco Koorn:
The Vital Processor Interlocking.
Electr. Notes Theor. Comput. Sci. 21: (1999) |
| 33 | | Luca Aceto,
Jan Friso Groote:
A Complete Equational Axiomatization for MPA with String Iteration.
Theor. Comput. Sci. 211(1-2): 339-374 (1999) |
| 1998 |
|---|
| 32 | | Jan Friso Groote,
Radu Mateescu:
Verification of Temporal Properties of Processes in a Setting with Data.
AMAST 1998: 74-90 |
| 31 | | Jan Friso Groote,
François Monin,
Jaco van de Pol:
Checking Verifications of Protocols and Distributed Systems by Computer.
CONCUR 1998: 629-655 |
| 30 | | Jan Friso Groote,
Bas Luttik,
Jos van Wamel:
Editorial.
Formal Asp. Comput. 10(5-6): 435 (1998) |
| 1997 |
|---|
| 29 | | Marc Bezem,
Roland N. Bol,
Jan Friso Groote:
Formalizing Process Algebraic Verifications in the Calculus of Constructions.
Formal Asp. Comput. 9(1): 1-48 (1997) |
| 28 | | Jan Friso Groote,
Martin Rem:
Foreword.
Sci. Comput. Program. 29(1-2): 1-2 (1997) |
| 27 | | Lars-Åke Fredlund,
Jan Friso Groote,
Henri Korver:
Formal Verification of a Leader Election Protocol in Process Algebra.
Theor. Comput. Sci. 177(2): 459-486 (1997) |
| 1996 |
|---|
| 26 | | Jan Friso Groote,
Jaco van de Pol:
A Bounded Retransmission Protocol for Large Data Packets.
AMAST 1996: 536-550 |
| 25 | | Jan Friso Groote:
Concurrency Theory Will Set Standards for Description and Analysis of Software.
ACM Comput. Surv. 28(4es): 44 (1996) |
| 24 | | Jan Friso Groote:
Hiding Propositional Constants in BDDs.
Formal Methods in System Design 8(1): 91-96 (1996) |
| 23 | | Roland N. Bol,
Jan Friso Groote:
The Meaning of Negative Premises in Transition System Specifications.
J. ACM 43(5): 863-914 (1996) |
| 22 | | Jan Friso Groote,
M. P. A. Sellink:
Confluence for Process Verification.
Theor. Comput. Sci. 170(1-2): 47-81 (1996) |
| 1995 |
|---|
| 21 | | Jan Friso Groote,
M. P. A. Sellink:
Confluence for Process Verification.
CONCUR 1995: 204-218 |
| 1994 |
|---|
| 20 | | D. J. Andrews,
Jan Friso Groote,
C. A. Middelburg:
Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993
Springer 1994 |
| 19 | | Marc Bezem,
Jan Friso Groote:
Invariants in Process Algebra with Data.
CONCUR 1994: 401-416 |
| 18 | | Marc Bezem,
Jan Friso Groote:
A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL.
Comput. J. 37(4): 289-307 (1994) |
| 17 | | Jan Friso Groote,
Alban Ponse:
Process Algebra with Guards: Combining Hoare Logic with Process Algebra.
Formal Asp. Comput. 6(2): 115-164 (1994) |
| 16 | | Jan Friso Groote,
Hans Hüttel:
Undecidable Equivalences for Basic Process Algebra
Inf. Comput. 115(2): 354-371 (1994) |
| 1993 |
|---|
| 15 | | Marc Bezem,
Jan Friso Groote:
Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings
Springer 1993 |
| 14 | | Jan Friso Groote,
Alban Ponse:
Proof Theory for muCRL: A Language for Processes with Data.
Semantics of Specification Languages 1993: 232-251 |
| 13 | | Jan Friso Groote:
Transition System Specifications with Negative Premises.
Theor. Comput. Sci. 118(2): 263-299 (1993) |
| 1992 |
|---|
| 12 | | Jan Friso Groote,
Faron Moller:
Verification of Parallel Systems via Decomposition.
CONCUR 1992: 62-76 |
| 11 | | Jan Friso Groote,
Frits W. Vaandrager:
Structured Operational Semantics and Bisimulation as a Congruence
Inf. Comput. 100(2): 202-260 (1992) |
| 10 | | Jan Friso Groote:
A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes.
Inf. Process. Lett. 42(3): 167-171 (1992) |
| 1991 |
|---|
| 9 | | Jos C. M. Baeten,
Jan Friso Groote:
CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings
Springer 1991 |
| 8 | | Jan Friso Groote,
Alban Ponse:
Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract).
CONCUR 1991: 235-249 |
| 7 | | Roland N. Bol,
Jan Friso Groote:
The Meaning of Negative Premises in Transition System Specifications.
ICALP 1991: 481-494 |
| 1990 |
|---|
| 6 | | Jan Friso Groote:
A New Strategy for Proving omega-Completeness applied to Process Algebra.
CONCUR 1990: 314-331 |
| 5 | | Jan Friso Groote:
Transition System Specifications with Negative Premises (Extended Abstract).
CONCUR 1990: 332-341 |
| 4 | | Jan Friso Groote,
Frits W. Vaandrager:
An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence.
ICALP 1990: 626-638 |
| 3 | | Roland N. Bol,
Jan Friso Groote:
The meaning of Negative Premises in Transition System Specifications.
LPNMR 1990: 2-9 |
| 2 | | Jan Friso Groote:
Specification and verification of real time systems in ACP.
PSTV 1990: 261-274 |
| 1989 |
|---|
| 1 | | Jan Friso Groote,
Frits W. Vaandrager:
Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract).
ICALP 1989: 423-438 |
