| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sjoerd Cranen, Jan Friso Groote, Michel A. Reniers |
A linear translation from CTL* to the first-order modal μ -calculus.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse |
Experiences in developing the mCRL2 toolset. |
Softw., Pract. Exper. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran |
Specification Guidelines to Avoid the State Space Explosion Problem. |
FSEN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius |
Analyzing the effects of formal methods on the development of industrial control software. |
ICSM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom A. N. Engels, Jan Friso Groote, Muck van Weerdenburg, Tim A. C. Willemse |
Search algorithms for automated validation. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Bas Ploeger |
Switching Graphs. |
Int. J. Found. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Bas Ploeger |
Switching Graphs. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Di Bucchianico, Jan Friso Groote, Kees M. van Hee, Ronald Kruidhof |
Statistical Certification of Software Systems. |
Communications in Statistics - Simulation and Computation |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko |
Verification of networks of timed automata using mCRL2. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Simona Orzan |
Parameterised Anonymity. |
Formal Aspects in Security and Trust |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Gao, Jan Friso Groote, Wim H. Hesselink |
Lock-free parallel and concurrent garbage collection by mark&sweep. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote |
SOS formats and meta-theory: 20 years after. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Marc Voorhoeve |
Operational semantics for Petri net components. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote |
Sarir: A Rebeca to mCRL2 Translator. |
ACSD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Jan Friso Groote, Mohammad Reza Mousavi, Michel A. Reniers |
A Hierarchy of SOS Rule Formats. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko |
Discretization of Timed Automata in Timed mu. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Aad Mathijssen, Muck van Weerdenburg, Yaroslav S. Usenko |
From µCRL to mCRL2: Motivation and Outline. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Frank van Ham |
Interactive visualization of large state spaces. |
STTT |
2006 |
DBLP DOI BibTeX RDF |
Visualization, Graph drawing, Transition systems, State space, State transition graphs |
| 1 | Jan Friso Groote, Michel A. Reniers, Yaroslav S. Usenko |
Time abstraction in timed /spl mu/CRL a la regions. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, Muck van Weerdenburg |
The Formal Specification Language mCRL2. |
MMOSS |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
?CRL, Specification, Process algebra, Verification techniques, Sliding window protocols, Branching bisimulation |
| 1 | Jan Friso Groote, François Monin, Jan Springintveld |
A computer checked algebraic verification of a distributed summation algorithm. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Distributed summation algorithm, Formal proof checking, Verification, Process algebra, PVS, CRL |
| 1 | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote |
A syntactic commutativity format for SOS. |
Inf. Process. Lett. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Tim A. C. Willemse |
Model-checking processes with data. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Tim A. C. Willemse |
Parameterised boolean equation systems. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote |
Notions of bisimulation and congruence formats for SOS with data. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik |
Analysing the BKE-security Protocol with µCRL. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Gao, Jan Friso Groote, Wim H. Hesselink |
Lock-free dynamic hash tables with open addressing. |
Distributed Computing |
2005 |
DBLP DOI BibTeX RDF |
Distributed algorithms, Wait-free, Lock-free, Hash tables |
| 1 | Jacob Perrenet, Jan Friso Groote, Eric Kaasenbrood |
Exploring students' understanding of the concept of algorithm: levels of abstraction. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
abstraction, computer science education |
| 1 | Jan Friso Groote, Misa Keinänen |
A Sub-quadratic Algorithm for Conjunctive and Disjunctive Boolean Equation Systems. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Gao, Jan Friso Groote, Wim H. Hesselink |
Lock-Free Parallel Garbage Collection. |
ISPA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jan Friso Groote, Michel A. Reniers |
Process Algebra Needs Proof Methodology (Columns: Concurrency). |
Bulletin of the EATCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jan Friso Groote, Tim A. C. Willemse |
Parameterised Boolean Equation Systems (Extended Abstract). |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Misa Keinänen |
Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Gao, Jan Friso Groote, Wim H. Hesselink |
Almost Wait-Free Resizable Hashtable. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jan Friso Groote, Jun Pang, Bahareh Badban, Jaco van de Pol |
Verifying a Sliding Window Protocol in µCRL. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote |
Congruence for SOS with Data. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jun Pang, Arno G. Wouters |
Analysis of a distributed system for lifting trucks. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Olga Tveretina |
Binary decision diagrams for first-order predicate logic. |
J. Log. Algebr. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sem C. Borst, Onno J. Boxma, Jan Friso Groote, Sjouke Mauw |
Task Allocation in a Multi-Server System. |
J. Scheduling |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Zantema, Jan Friso Groote |
Transforming equality logic to propositional logic. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Gao, Jan Friso Groote, Wim H. Hesselink |
Efficient almost wait-free parallel accessible dynamic hashtables |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jan Friso Groote, Hans Zantema |
Resolution and binary decision diagrams cannot simulate each other polynomially. |
Discrete Applied Mathematics |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Frank van Ham |
Large State Space Visualization. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Tim A. C. Willemse |
A Checker for Modal Formulae for Processes with Data. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
First Order Modal -Calculus, First Order Boolean Equation Systems, Data-Dependent Systems, Model Checking, Infinite State Systems, CRL |
| 1 | Jan Friso Groote, Bert Lisser |
Computer assisted manipulation of algebraic process specifications. |
SIGPLAN Notices |
2002 |
DBLP DOI BibTeX RDF |
linear process equations, distributed systems, model checking, verification, automated reasoning |
| 1 | Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel |
Completeness of Timed mCRL. |
Fundam. Inform. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jan Friso Groote, Alban Ponse, Yaroslav S. Usenko |
Linearization in parallel pCRL. |
J. Log. Algebr. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jan Springintveld |
Focus points and convergent process operators: a proof strategy for protocol verification. |
J. Log. Algebr. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jos van Wamel |
Analysis of three hybrid systems in timed µCRL. |
Sci. Comput. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jos van Wamel |
The parallel composition of uniform processes with data. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Wim H. Hesselink, Sjouke Mauw, Rogier Vermeulen |
An algorithm for the asynchronous Write-All problem based on process collision. |
Distributed Computing |
2001 |
DBLP DOI BibTeX RDF |
Write-all problem, Distributed algorithms, Dynamic load balancing, PRAM, Wait-free, Work complexity |
| 1 | Wim H. Hesselink, Jan Friso Groote |
Wait-free concurrent memory management by Create and Read until Deletion (CaRuD). |
Distributed Computing |
2001 |
DBLP DOI BibTeX RDF |
Shared memory, Consensus, Wait-free, Reference counting, Concurrent garbage collection, Terms |
| 1 | Jan Friso Groote, Hans Zantema |
Resolution and Binary Decision Diagrams Cannot Simulate Each Other Polynomially. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Joost P. Warners |
The Propositional Formula Checker HeerHugo. |
J. Autom. Reasoning |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jaco van de Pol |
Equational Binary Decision Diagrams. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jaco van de Pol |
State Space Reduction Using Partial tau-Confluence. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Jan Friso Groote |
A Complete Equational Axiomatization for MPA with String Iteration. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastiaan van Vlijmen, Jan Friso Groote, Wilco Koorn |
The Vital Processor Interlocking. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Bas Luttik, Jos van Wamel |
Editorial. |
Formal Asp. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, François Monin, Jaco van de Pol |
Checking Verifications of Protocols and Distributed Systems by Computer. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Radu Mateescu |
Verification of Temporal Properties of Processes in a Setting with Data. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Roland N. Bol, Jan Friso Groote |
Formalizing Process Algebraic Verifications in the Calculus of Constructions. |
Formal Asp. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Martin Rem |
Foreword. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars-Åke Fredlund, Jan Friso Groote, Henri Korver |
Formal Verification of a Leader Election Protocol in Process Algebra. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, M. P. A. Sellink |
Confluence for Process Verification. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland N. Bol, Jan Friso Groote |
The Meaning of Negative Premises in Transition System Specifications. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
ntyft/ntyxt-format, conservative extension of TSSs, negative premises, priorities and abstraction, logic programming, process algebra, bisimulation, congruence |
| 1 | Jan Friso Groote |
Concurrency Theory Will Set Standards for Description and Analysis of Software. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote |
Hiding Propositional Constants in BDDs. |
Formal Methods in System Design |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Jaco van de Pol |
A Bounded Retransmission Protocol for Large Data Packets. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, M. P. A. Sellink |
Confluence for Process Verification. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Alban Ponse |
Process Algebra with Guards: Combining Hoare Logic with Process Algebra. |
Formal Asp. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Hans Hüttel |
Undecidable Equivalences for Basic Process Algebra |
Inf. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Jan Friso Groote |
A Correctness Proof of a One-Bit Sliding Window Protocol in µCRL. |
Comput. J. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Jan Friso Groote |
Invariants in Process Algebra with Data. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | D. J. Andrews, Jan Friso Groote, C. A. Middelburg (eds.) |
Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 |
Semantics of Specification Languages |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jan Friso Groote |
Transition System Specifications with Negative Premises. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem, Jan Friso Groote (eds.) |
Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings |
TLCA |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jan Friso Groote, Alban Ponse |
Proof Theory for muCRL: A Language for Processes with Data. |
Semantics of Specification Languages |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jan Friso Groote |
A Short Proof of the Decidability of Bisimulation for Normed BPA-Processes. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Frits W. Vaandrager |
Structured Operational Semantics and Bisimulation as a Congruence |
Inf. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Faron Moller |
Verification of Parallel Systems via Decomposition. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Wan Fokkink, Jan Friso Groote, Marco Hollenberg, Bas van Vlijmen |
LARIS 1.0 - LAnguage for Railway Interlooking Specifications. |
|
1991 |
RDF |
|
| 1 | Jan Friso Groote, Alban Ponse |
Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract). |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jos C. M. Baeten, Jan Friso Groote (eds.) |
CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings |
CONCUR |
1991 |
DBLP BibTeX RDF |
|
| 1 | Roland N. Bol, Jan Friso Groote |
The Meaning of Negative Premises in Transition System Specifications. |
ICALP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote |
Transition System Specifications with Negative Premises (Extended Abstract). |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote |
A New Strategy for Proving omega-Completeness applied to Process Algebra. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote, Frits W. Vaandrager |
An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Friso Groote |
Specification and verification of real time systems in ACP. |
PSTV |
1990 |
DBLP BibTeX RDF |
|
| 1 | Roland N. Bol, Jan Friso Groote |
The meaning of Negative Premises in Transition System Specifications. |
LPNMR |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jan Friso Groote, Frits W. Vaandrager |
Structural Operational Semantics and Bisimulation as a Congruence (Extended Abstract). |
ICALP |
1989 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")