Jan Friso Groote
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Bestätigte E-Mail-Adresse bei tue.nl - Startseite
TitelZitiert vonJahr
Structured operational semantics and bisimulation as a congruence
JF Groote, F Vaandrager
Information and computation 100 (2), 202-260, 1992
The syntax and semantics of μCRL
JF Groote, A Ponse
Algebra of Communicating Processes, 26-62, 1995
An efficient algorithm for branching bisimulation and stuttering equivalence
JF Groote, F Vaandrager
International Colloquium on Automata, Languages, and Programming, 626-638, 1990
Transition system specifications with negative premises
JF Groote
Theoretical Computer Science 118 (2), 263-299, 1993
µCRL: A toolset for analysing algebraic specifications
S Blom, W Fokkink, JF Groote, I Van Langevelde, B Lisser, J Van de Pol
International Conference on Computer Aided Verification, 250-254, 2001
The formal specification language mCRL2
JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg
Dagstuhl Seminar Proceedings, 2007
Algebraic process verification
JF Groote, MA Reniers
Handbook of process algebra, 1151-1208, 2001
Proof Theory for µCRL: A Language for Processes with Data.
JF Groote, A Ponse
Semantics of Specification Languages (SoSL), 232-251, 1994
An overview of the mCRL2 toolset and its recent advances
S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ...
International Conference on Tools and Algorithms for the Construction and …, 2013
The safety guaranteeing system at station Hoorn-Kersenboogerd
JF Groote, SFM van Vlijmen, JWC Koorn
COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assurance …, 1995
The meaning of negative premises in transition system specifications
R Bol, JF Groote
Journal of the ACM (JACM) 43 (5), 863-914, 1996
Transition system specifications with negative premises
JF Groote
International Conference on Concurrency Theory, 332-341, 1990
Modeling and analysis of communicating systems
JF Groote, MR Mousavi
MIT press, 2014
Focus points and convergent process operators (A proof strategy for protocol verification)
JF Groote, J Springintveld
Logic Group Preprint Series 142, 1995
A bounded retransmission protocol for large data packets
JF Groote, J van de Pol
International Conference on Algebraic Methodology and Software Technology …, 1996
Invariants in process algebra with data
M Bezem, JF Groote
CONCUR'94: Concurrency Theory, 401-416, 1994
The syntax and semantics of timed
JF Groote
J. CRL. Centrum voor Wiskunde en Informatica (CWI), 1997
Undecidable equivalences for basic process algebra
JF Groote, H Huttel
Information and Computation 115 (2), 354-371, 1994
Confluence for process verification
JF Groote, MPA Sellink
Theoretical computer science 170 (1-2), 47-81, 1996
The propositional formula checker HeerHugo
JF Groote, JP Warners
Journal of Automated Reasoning 24 (1-2), 101-125, 2000
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20