2008 |
87 | EE | Jan Friso Groote,
Simona Orzan:
Parameterised Anonymity.
Formal Aspects in Security and Trust 2008: 177-191 |
86 | EE | Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko:
Verification of networks of timed automata using mCRL2.
IPDPS 2008: 1-8 |
85 | EE | Jan Friso Groote,
Bas Ploeger:
Switching Graphs.
Electr. Notes Theor. Comput. Sci. 223: 119-135 (2008) |
2007 |
84 | EE | 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 | EE | 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 | EE | 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 | EE | Jan Friso Groote,
Marc Voorhoeve:
Operational semantics for Petri net components.
Theor. Comput. Sci. 379(1-2): 1-19 (2007) |
2006 |
79 | EE | Jan Friso Groote,
Michel A. Reniers,
Yaroslav S. Usenko:
Time abstraction in timed /spl mu/CRL a la regions.
IPDPS 2006 |
78 | EE | Jan Friso Groote,
Aad Mathijssen,
Michel A. Reniers,
Yaroslav S. Usenko,
Muck van Weerdenburg:
The Formal Specification Language mCRL2.
MMOSS 2006 |
77 | EE | 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 | EE | 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 | EE | 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 | EE | Jan Friso Groote,
Frank van Ham:
Interactive visualization of large state spaces.
STTT 8(1): 77-91 (2006) |
2005 |
73 | EE | Jan Friso Groote,
Misa Keinänen:
A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems.
ICTAC 2005: 532-545 |
72 | EE | Hui Gao,
Jan Friso Groote,
Wim H. Hesselink:
Lock-Free Parallel Garbage Collection.
ISPA 2005: 263-274 |
71 | EE | Jacob Perrenet,
Jan Friso Groote,
Eric Kaasenbrood:
Exploring students' understanding of the concept of algorithm: levels of abstraction.
ITiCSE 2005: 64-68 |
70 | EE | Hui Gao,
Jan Friso Groote,
Wim H. Hesselink:
Lock-free dynamic hash tables with open addressing.
Distributed Computing 18(1): 21-42 (2005) |
69 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Mohammad Reza Mousavi,
Michel A. Reniers,
Jan Friso Groote:
A syntactic commutativity format for SOS.
Inf. Process. Lett. 93(5): 217-223 (2005) |
64 | EE | Jan Friso Groote,
Tim A. C. Willemse:
Model-checking processes with data.
Sci. Comput. Program. 56(3): 251-273 (2005) |
63 | EE | Jan Friso Groote,
Tim A. C. Willemse:
Parameterised boolean equation systems.
Theor. Comput. Sci. 343(3): 332-369 (2005) |
2004 |
62 | EE | 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 | EE | Jan Friso Groote,
Tim A. C. Willemse:
Parameterised Boolean Equation Systems (Extended Abstract).
CONCUR 2004: 308-324 |
60 | EE | Hui Gao,
Jan Friso Groote,
Wim H. Hesselink:
Almost Wait-Free Resizable Hashtable.
IPDPS 2004 |
59 | EE | Mohammad Reza Mousavi,
Michel A. Reniers,
Jan Friso Groote:
Congruence for SOS with Data.
LICS 2004: 303-312 |
58 | EE | Jan Friso Groote,
Misa Keinänen:
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points.
TACAS 2004: 436-450 |
57 | EE | 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 | EE | Jan Friso Groote,
Tim A. C. Willemse:
A Checker for Modal Formulae for Processes with Data.
FMCO 2003: 223-239 |
55 | EE | Jan Friso Groote,
Frank van Ham:
Large State Space Visualization.
TACAS 2003: 585-590 |
54 | EE | Hui Gao,
Jan Friso Groote,
Wim H. Hesselink:
Efficient almost wait-free parallel accessible dynamic hashtables
CoRR cs.DC/0303011: (2003) |
53 | EE | Jan Friso Groote,
Hans Zantema:
Resolution and binary decision diagrams cannot simulate each other polynomially.
Discrete Applied Mathematics 130(2): 157-171 (2003) |
52 | EE | 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 | EE | Hans Zantema,
Jan Friso Groote:
Transforming equality logic to propositional logic.
Electr. Notes Theor. Comput. Sci. 86(1): (2003) |
50 | EE | 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 | EE | 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 | EE | Jan Friso Groote,
Bert Lisser:
Computer assisted manipulation of algebraic process specifications.
SIGPLAN Notices 37(12): 98-107 (2002) |
2001 |
45 | EE | 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 | EE | Jan Friso Groote,
Hans Zantema:
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially.
Ershov Memorial Conference 2001: 33-38 |
43 | EE | 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 | EE | 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 | EE | 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 | EE | Jan Friso Groote,
Jaco van de Pol:
Equational Binary Decision Diagrams.
LPAR 2000: 161-178 |
36 | EE | 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 | EE | Sebastiaan van Vlijmen,
Jan Friso Groote,
Wilco Koorn:
The Vital Processor Interlocking.
Electr. Notes Theor. Comput. Sci. 21: (1999) |
33 | EE | 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 | EE | Jan Friso Groote,
Radu Mateescu:
Verification of Temporal Properties of Processes in a Setting with Data.
AMAST 1998: 74-90 |
31 | EE | Jan Friso Groote,
François Monin,
Jaco van de Pol:
Checking Verifications of Protocols and Distributed Systems by Computer.
CONCUR 1998: 629-655 |
30 | EE | 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 | EE | 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 | EE | Roland N. Bol,
Jan Friso Groote:
The Meaning of Negative Premises in Transition System Specifications.
J. ACM 43(5): 863-914 (1996) |
22 | EE | 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 |