The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jan Friso Groote: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  80. The Formal Specification Language mCRL2. [Citation Graph (, )][DBLP]


  81. Parameterised Anonymity. [Citation Graph (, )][DBLP]


  82. Verification of networks of timed automata using mCRL2. [Citation Graph (, )][DBLP]


  83. Transformation of BPMN Models for Behaviour Analysis. [Citation Graph (, )][DBLP]


  84. Switching Graphs. [Citation Graph (, )][DBLP]


Search in 0.045secs, Finished in 0.047secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002