Jan Friso Groote
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Dirección de correo verificada de tue.nl - Página principal
Título
Citado por
Citado por
Año
Structured operational semantics and bisimulation as a congruence
JF Groote, F Vaandrager
Information and computation 100 (2), 202-260, 1992
5141992
The syntax and semantics of μCRL
JF Groote, A Ponse
Algebra of Communicating Processes, 26-62, 1995
4601995
An efficient algorithm for branching bisimulation and stuttering equivalence
JF Groote, F Vaandrager
International Colloquium on Automata, Languages, and Programming, 626-638, 1990
2791990
Transition system specifications with negative premises
JF Groote
Theoretical Computer Science 118 (2), 263-299, 1993
2431993
µ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
2212001
The formal specification language mCRL2
JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg
Dagstuhl Seminar Proceedings, 2007
2132007
Modeling and analysis of communicating systems
JF Groote, MR Mousavi
MIT press, 2014
1842014
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
1742013
Algebraic process verification
JF Groote, MA Reniers
Handbook of process algebra, 1151-1208, 2001
1562001
Proof Theory for µCRL: A Language for Processes with Data.
JF Groote, A Ponse
Semantics of Specification Languages (SoSL), 232-251, 1994
1461994
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
1391995
Transition system specifications with negative premises
JF Groote
International Conference on Concurrency Theory, 332-341, 1990
1371990
The meaning of negative premises in transition system specifications
R Bol, JF Groote
Journal of the ACM (JACM) 43 (5), 863-914, 1996
1341996
Focus points and convergent process operators (A proof strategy for protocol verification)
JF Groote, J Springintveld
Logic Group Preprint Series 142, 1995
124*1995
A bounded retransmission protocol for large data packets
JF Groote, J van de Pol
International Conference on Algebraic Methodology and Software Technology …, 1996
1221996
Invariants in process algebra with data
M Bezem, JF Groote
CONCUR'94: Concurrency Theory, 401-416, 1994
1211994
The syntax and semantics of timed
JF Groote
J. CRL. Centrum voor Wiskunde en Informatica (CWI), 1997
113*1997
Transformation of BPMN Models for Behaviour Analysis.
I Raedts, M Petkovic, YS Usenko, JMEM van der Werf, JF Groote, ...
MSVVEIS 2007, 126-137, 2007
1092007
Undecidable equivalences for basic process algebra
JF Groote, H Huttel
Information and Computation 115 (2), 354-371, 1994
1071994
Confluence for process verification
JF Groote, MPA Sellink
Theoretical computer science 170 (1-2), 47-81, 1996
1021996
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20