Jan Friso Groote

	2012
97		Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius: Analyzing a Controller of a Power Distribution Unit Using Formal Methods. ICST 2012: 420-428
	2011
96		Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran: Specification Guidelines to Avoid the State Space Explosion Problem. FSEN 2011: 112-127
95		Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius: Analyzing the effects of formal methods on the development of industrial control software. ICSM 2011: 467-472
94		Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse: Experiences in developing the mCRL2 toolset. Softw., Pract. Exper. 41(2): 143-153 (2011)
93		Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers: A linear translation from CTL* to the first-order modal μ -calculus. Theor. Comput. Sci. 412(28): 3129-3139 (2011)
	2009
92		Frank P. M. Stappers, Michel A. Reniers, Jan Friso Groote: Suitability of mCRL2 for Concurrent-System Design: A 2 × 2 Switch Case Study. FMCO 2009: 166-185
91		Jan Friso Groote, Bas Ploeger: Switching Graphs. Int. J. Found. Comput. Sci. 20(5): 869-886 (2009)
90		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
89		Jan Friso Groote, Simona Orzan: Parameterised Anonymity. Formal Aspects in Security and Trust 2008: 177-191
88		Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Verification of networks of timed automata using mCRL2. IPDPS 2008: 1-8
87		Alessandro Di Bucchianico, Jan Friso Groote, Kees M. van Hee, Ronald Kruidhof: Statistical Certification of Software Systems. Communications in Statistics - Simulation and Computation 37(2): 346-359 (2008)
86		Jan Friso Groote, Bas Ploeger: Switching Graphs. Electr. Notes Theor. Comput. Sci. 223: 119-135 (2008)
	2007
85		Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222
84		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
83		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)
82		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)
81		Jan Friso Groote, Marc Voorhoeve: Operational semantics for Petri net components. Theor. Comput. Sci. 379(1-2): 1-19 (2007)
	2006
80		Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko: Time abstraction in timed /spl mu/CRL a la regions. IPDPS 2006
79		Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg: The Formal Specification Language mCRL2. MMOSS 2006
78		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)
77		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)
76		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)
75		Jan Friso Groote, Frank van Ham: Interactive visualization of large state spaces. STTT 8(1): 77-91 (2006)
	2005
74		Jan Friso Groote, Misa Keinänen: A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. ICTAC 2005: 532-545
73		Hui Gao, Jan Friso Groote, Wim H. Hesselink: Lock-Free Parallel Garbage Collection. ISPA 2005: 263-274
72		Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood: Exploring students' understanding of the concept of algorithm: levels of abstraction. ITiCSE 2005: 64-68
71		Hui Gao, Jan Friso Groote, Wim H. Hesselink: Lock-free dynamic hash tables with open addressing. Distributed Computing 18(1): 21-42 (2005)
70		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)
69		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)
68		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)
67		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)
66		Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: A syntactic commutativity format for SOS. Inf. Process. Lett. 93(5): 217-223 (2005)
65		Jan Friso Groote, Tim A. C. Willemse: Model-checking processes with data. Sci. Comput. Program. 56(3): 251-273 (2005)
64		Jan Friso Groote, Tim A. C. Willemse: Parameterised boolean equation systems. Theor. Comput. Sci. 343(3): 332-369 (2005)
	2004
63		Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol: Verifying a Sliding Window Protocol in µCRL. AMAST 2004: 148-163
62		Jan Friso Groote, Tim A. C. Willemse: Parameterised Boolean Equation Systems (Extended Abstract). CONCUR 2004: 308-324
61		Hui Gao, Jan Friso Groote, Wim H. Hesselink: Almost Wait-Free Resizable Hashtable. IPDPS 2004
60		Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote: Congruence for SOS with Data. LICS 2004: 303-312
59		Jan Friso Groote, Misa Keinänen: Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. TACAS 2004: 436-450
58		Wan Fokkink, Jan Friso Groote, Michel A. Reniers: Process Algebra Needs Proof Methodology (Columns: Concurrency). Bulletin of the EATCS 82: 109-125 (2004)
	2003
57		Jan Friso Groote, Tim A. C. Willemse: A Checker for Modal Formulae for Processes with Data. FMCO 2003: 223-239
56		Jan Friso Groote, Frank van Ham: Large State Space Visualization. TACAS 2003: 585-590
55		Hui Gao, Jan Friso Groote, Wim H. Hesselink: Efficient almost wait-free parallel accessible dynamic hashtables CoRR cs.DC/0303011: (2003)
54		Jan Friso Groote, Hans Zantema: Resolution and binary decision diagrams cannot simulate each other polynomially. Discrete Applied Mathematics 130(2): 157-171 (2003)
53		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: 284-288 (2003)
52		Hans Zantema, Jan Friso Groote: Transforming equality logic to propositional logic. Electr. Notes Theor. Comput. Sci. 86(1): 162-173 (2003)
51		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)
50		Jan Friso Groote, Olga Tveretina: Binary decision diagrams for first-order predicate logic. J. Log. Algebr. Program. 57(1-2): 1-22 (2003)
49		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
48		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)
47		Jan Friso Groote, Bert Lisser: Computer assisted manipulation of algebraic process specifications. SIGPLAN Notices 37(12): 98-107 (2002)
	2001
46		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
45		Jan Friso Groote, Hans Zantema: Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially. Ershov Memorial Conference 2001: 33-38
44		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)
43		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)
42		Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko: Linearization in parallel pCRL. J. Log. Algebr. Program. 48(1-2): 39-70 (2001)
41		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)
40		Jan Friso Groote, Jos van Wamel: Analysis of three hybrid systems in timed µCRL. Sci. Comput. Program. 39(2-3): 215-247 (2001)
39		Jan Friso Groote, Jos van Wamel: The parallel composition of uniform processes with data. Theor. Comput. Sci. 266(1-2): 631-652 (2001)
	2000
38		Jan Friso Groote, Jaco van de Pol: Equational Binary Decision Diagrams. LPAR 2000: 161-178
37		Jan Friso Groote, Jaco van de Pol: State Space Reduction Using Partial tau-Confluence. MFCS 2000: 383-393
36		Jan Friso Groote, Joost P. Warners: The Propositional Formula Checker HeerHugo. J. Autom. Reasoning 24(1/2): 101-125 (2000)
	1999
35		Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn: The Vital Processor Interlocking. Electr. Notes Theor. Comput. Sci. 21: 1-56 (1999)
34		Luca Aceto, Jan Friso Groote: A Complete Equational Axiomatization for MPA with String Iteration. Theor. Comput. Sci. 211(1-2): 339-374 (1999)
	1998
33		Jan Friso Groote, Radu Mateescu: Verification of Temporal Properties of Processes in a Setting with Data. AMAST 1998: 74-90
32		Jan Friso Groote, François Monin, Jaco van de Pol: Checking Verifications of Protocols and Distributed Systems by Computer. CONCUR 1998: 629-655
31		Jan Friso Groote, Bas Luttik, Jos van Wamel: Editorial. Formal Asp. Comput. 10(5-6): 435 (1998)
	1997
30		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)
29		Jan Friso Groote, Martin Rem: Foreword. Sci. Comput. Program. 29(1-2): 1-2 (1997)
28		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
27		Jan Friso Groote, Jaco van de Pol: A Bounded Retransmission Protocol for Large Data Packets. AMAST 1996: 536-550
26		Jan Friso Groote: Concurrency Theory Will Set Standards for Description and Analysis of Software. ACM Comput. Surv. 28(4es): 44 (1996)
25		Jan Friso Groote: Hiding Propositional Constants in BDDs. Formal Methods in System Design 8(1): 91-96 (1996)
24		Roland N. Bol, Jan Friso Groote: The Meaning of Negative Premises in Transition System Specifications. J. ACM 43(5): 863-914 (1996)
23		Jan Friso Groote, M. P. A. Sellink: Confluence for Process Verification. Theor. Comput. Sci. 170(1-2): 47-81 (1996)
	1995
22		Jan Friso Groote, M. P. A. Sellink: Confluence for Process Verification. CONCUR 1995: 204-218
	1994
21		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
20		Marc Bezem, Jan Friso Groote: Invariants in Process Algebra with Data. CONCUR 1994: 401-416
19		Marc Bezem, Jan Friso Groote: A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL. Comput. J. 37(4): 289-307 (1994)
18		Jan Friso Groote, Alban Ponse: Process Algebra with Guards: Combining Hoare Logic with Process Algebra. Formal Asp. Comput. 6(2): 115-164 (1994)
17		Jan Friso Groote, Hans Hüttel: Undecidable Equivalences for Basic Process Algebra Inf. Comput. 115(2): 354-371 (1994)
	1993
16		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
15		Jan Friso Groote, Alban Ponse: Proof Theory for muCRL: A Language for Processes with Data. Semantics of Specification Languages 1993: 232-251
14		Jan Friso Groote: Transition System Specifications with Negative Premises. Theor. Comput. Sci. 118(2): 263-299 (1993)
	1992
13		Jan Friso Groote, Faron Moller: Verification of Parallel Systems via Decomposition. CONCUR 1992: 62-76
12		Jan Friso Groote, Frits W. Vaandrager: Structured Operational Semantics and Bisimulation as a Congruence Inf. Comput. 100(2): 202-260 (1992)
11		Jan Friso Groote: A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes. Inf. Process. Lett. 42(3): 167-171 (1992)
	1991
10		Wan Fokkink, Jan Friso Groote, Marco Hollenberg, Bas van Vlijmen: LARIS 1.0 - LAnguage for Railway Interlooking Specifications. CWI 1991: I-VI, 1-129
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

Coauthor Index

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

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page