dblp.uni-trier.dewww.uni-trier.de

Jan Friso Groote Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
87EEJan Friso Groote, Simona Orzan: Parameterised Anonymity. Formal Aspects in Security and Trust 2008: 177-191
86EEJan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Verification of networks of timed automata using mCRL2. IPDPS 2008: 1-8
85EEJan Friso Groote, Bas Ploeger: Switching Graphs. Electr. Notes Theor. Comput. Sci. 223: 119-135 (2008)
2007
84EEHossein 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
82EEHui 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)
81EEMohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: SOS formats and meta-theory: 20 years after. Theor. Comput. Sci. 373(3): 238-272 (2007)
80EEJan Friso Groote, Marc Voorhoeve: Operational semantics for Petri net components. Theor. Comput. Sci. 379(1-2): 1-19 (2007)
2006
79EEJan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Time abstraction in timed /spl mu/CRL a la regions. IPDPS 2006
78EEJan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg: The Formal Specification Language mCRL2. MMOSS 2006
77EEJan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers: A Hierarchy of SOS Rule Formats. Electr. Notes Theor. Comput. Sci. 156(1): 3-25 (2006)
76EEJan 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)
75EEJan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Discretization of Timed Automata in Timed mu. Electr. Notes Theor. Comput. Sci. 162: 197-202 (2006)
74EEJan Friso Groote, Frank van Ham: Interactive visualization of large state spaces. STTT 8(1): 77-91 (2006)
2005
73EEJan Friso Groote, Misa Keinänen: A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. ICTAC 2005: 532-545
72EEHui Gao, Jan Friso Groote, Wim H. Hesselink: Lock-Free Parallel Garbage Collection. ISPA 2005: 263-274
71EEJacob Perrenet, Jan Friso Groote, Eric Kaasenbrood: Exploring students' understanding of the concept of algorithm: levels of abstraction. ITiCSE 2005: 64-68
70EEHui Gao, Jan Friso Groote, Wim H. Hesselink: Lock-free dynamic hash tables with open addressing. Distributed Computing 18(1): 21-42 (2005)
69EEStefan 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)
68EEJan 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)
67EEBahareh 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)
66EEMohammad 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)
65EEMohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: A syntactic commutativity format for SOS. Inf. Process. Lett. 93(5): 217-223 (2005)
64EEJan Friso Groote, Tim A. C. Willemse: Model-checking processes with data. Sci. Comput. Program. 56(3): 251-273 (2005)
63EEJan Friso Groote, Tim A. C. Willemse: Parameterised boolean equation systems. Theor. Comput. Sci. 343(3): 332-369 (2005)
2004
62EEWan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol: Verifying a Sliding Window Protocol in µCRL. AMAST 2004: 148-163
61EEJan Friso Groote, Tim A. C. Willemse: Parameterised Boolean Equation Systems (Extended Abstract). CONCUR 2004: 308-324
60EEHui Gao, Jan Friso Groote, Wim H. Hesselink: Almost Wait-Free Resizable Hashtable. IPDPS 2004
59EEMohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: Congruence for SOS with Data. LICS 2004: 303-312
58EEJan Friso Groote, Misa Keinänen: Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. TACAS 2004: 436-450
57EEWan Fokkink, Jan Friso Groote, Michel A. Reniers: Process Algebra Needs Proof Methodology (Columns: Concurrency). Bulletin of the EATCS 82: 109-125 (2004)
2003
56EEJan Friso Groote, Tim A. C. Willemse: A Checker for Modal Formulae for Processes with Data. FMCO 2003: 223-239
55EEJan Friso Groote, Frank van Ham: Large State Space Visualization. TACAS 2003: 585-590
54EEHui Gao, Jan Friso Groote, Wim H. Hesselink: Efficient almost wait-free parallel accessible dynamic hashtables CoRR cs.DC/0303011: (2003)
53EEJan Friso Groote, Hans Zantema: Resolution and binary decision diagrams cannot simulate each other polynomially. Discrete Applied Mathematics 130(2): 157-171 (2003)
52EEStefan 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)
51EEHans Zantema, Jan Friso Groote: Transforming equality logic to propositional logic. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
50EEJan 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)
49EEJan 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)
46EEJan Friso Groote, Bert Lisser: Computer assisted manipulation of algebraic process specifications. SIGPLAN Notices 37(12): 98-107 (2002)
2001
45EEStefan 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
44EEJan Friso Groote, Hans Zantema: Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially. Ershov Memorial Conference 2001: 33-38
43EEWim H. Hesselink, Jan Friso Groote: Wait-free concurrent memory management by Create and Read until Deletion (CaRuD). Distributed Computing 14(1): 31-39 (2001)
42EEJan 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)
38EEJan Friso Groote, Jos van Wamel: The parallel composition of uniform processes with data. Theor. Comput. Sci. 266(1-2): 631-652 (2001)
2000
37EEJan Friso Groote, Jaco van de Pol: Equational Binary Decision Diagrams. LPAR 2000: 161-178
36EEJan 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
34EESebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn: The Vital Processor Interlocking. Electr. Notes Theor. Comput. Sci. 21: (1999)
33EELuca Aceto, Jan Friso Groote: A Complete Equational Axiomatization for MPA with String Iteration. Theor. Comput. Sci. 211(1-2): 339-374 (1999)
1998
32EEJan Friso Groote, Radu Mateescu: Verification of Temporal Properties of Processes in a Setting with Data. AMAST 1998: 74-90
31EEJan Friso Groote, François Monin, Jaco van de Pol: Checking Verifications of Protocols and Distributed Systems by Computer. CONCUR 1998: 629-655
30EEJan 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)
27EELars-Å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)
23EERoland N. Bol, Jan Friso Groote: The Meaning of Negative Premises in Transition System Specifications. J. ACM 43(5): 863-914 (1996)
22EEJan Friso Groote, M. P. A. Sellink: Confluence for Process Verification. Theor. Comput. Sci. 170(1-2): 47-81 (1996)
1995
21EEJan 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
19EEMarc 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
12EEJan 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
8EEJan Friso Groote, Alban Ponse: Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). CONCUR 1991: 235-249
7EERoland N. Bol, Jan Friso Groote: The Meaning of Negative Premises in Transition System Specifications. ICALP 1991: 481-494
1990
6EEJan Friso Groote: A New Strategy for Proving omega-Completeness applied to Process Algebra. CONCUR 1990: 314-331
5EEJan Friso Groote: Transition System Specifications with Negative Premises (Extended Abstract). CONCUR 1990: 332-341
4EEJan 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
1EEJan Friso Groote, Frits W. Vaandrager: Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract). ICALP 1989: 423-438

Coauthor Index

1Luca Aceto [33]
2D. J. Andrews [20]
3Bahareh Badban [62] [67]
4Jos C. M. Baeten [9]
5Marc Bezem [15] [18] [19] [29]
6Stefan Blom [45] [52] [69]
7Roland N. Bol [3] [7] [23] [29]
8Sem C. Borst (Simon C. Borst) [48]
9Onno J. Boxma [48]
10Wan Fokkink [45] [57] [62] [67]
11Lars-Åke Fredlund (Lars-åke Fredlund) [27]
12Hui Gao [54] [60] [70] [72] [82]
13Frank van Ham [55] [74]
14Wim H. Hesselink [42] [43] [54] [60] [70] [72] [82]
15Hossein Hojjat [84]
16Hans Hüttel [16]
17Eric Kaasenbrood [71]
18Misa Keinänen [58] [73]
19Wilco Koorn [34]
20Henri Korver [27]
21Izak van Langevelde [45] [52]
22Bert Lisser [45] [46] [52]
23Bas Luttik (S. P. Luttik) [30]
24Radu Mateescu [32]
25Aad Mathijssen [76] [78]
26Sjouke Mauw [42] [48] [69]
27Kees Middelburg (C. A. Middelburg) [20]
28Faron Moller [12]
29François Monin [31] [68]
30Mohammad Reza Mousavi [59] [65] [66] [77] [81] [84]
31Simona Orzan [87]
32Jun Pang [50] [62] [67]
33Jacob Perrenet [71]
34Marija Petkovic [83]
35Bas Ploeger [85]
36Jaco van de Pol [26] [31] [36] [37] [45] [52] [62] [67]
37Alban Ponse [8] [14] [17] [41]
38Ivo Raedts [83]
39Martin Rem [28]
40Michel A. Reniers [47] [57] [59] [65] [66] [75] [77] [78] [79] [81] [86]
41Alex Sellink (M. P. A. Sellink) [21] [22]
42Alexander Serebrenik [69]
43Marjan Sirjani [84]
44Lou J. Somers [83]
45Jan Springintveld [40] [68]
46Olga Tveretina [49]
47Yaroslav S. Usenko [41] [75] [76] [78] [79] [83] [86]
48Frits W. Vaandrager [1] [4] [11]
49Rogier Vermeulen [42]
50Sebastiaan van Vlijmen [34]
51Marc Voorhoeve [80]
52Jos van Wamel [30] [38] [39] [47]
53Joost P. Warners [35]
54Muck van Weerdenburg [76] [78]
55Jan Martijn E. M. van der Werf [83]
56Tim A. C. Willemse [56] [61] [63] [64]
57Arno G. Wouters [50]
58Hans Zantema [44] [51] [53]
59Mark van der Zwaag [47]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)