עקוב אחר
Jan Friso Groote
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
כתובת אימייל מאומתת בדומיין tue.nl - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Structured operational semantics and bisimulation as a congruence‏
JF Groote, F Vaandrager‏
Information and computation 100 (2), 202-260, 1992‏
5641992
The Syntax and Semantics of μCRL‏
JF Groote, A Ponse‏
Algebra of Communicating Processes: Proceedings of ACP94, the First Workshop …, 1995‏
4891995
Modeling and analysis of communicating systems‏
JF Groote, MR Mousavi‏
MIT press, 2014‏
3382014
An efficient algorithm for branching bisimulation and stuttering equivalence‏
JF Groote, F Vaandrager‏
International Colloquium on Automata, Languages, and Programming, 626-638, 1990‏
3291990
Transition system specifications with negative premises‏
JF Groote‏
Theoretical Computer Science 118 (2), 263-299, 1993‏
2651993
The formal specification language mCRL2‏
JF Groote, A Mathijssen, M Reniers, Y Usenko, M Van Weerdenburg‏
Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2007‏
2392007
µCRL: A toolset for analysing algebraic specifications‏
S Blom, W Fokkink, JF Groote, I Van Langevelde, B Lisser, J Van de Pol‏
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001‏
2382001
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability‏
O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ...‏
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019‏
2232019
An overview of the mCRL2 toolset and its recent advances‏
S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP De Vink, ...‏
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013‏
2122013
Algebraic process verification‏
JF Groote, MA Reniers‏
Technische Universiteit Eindhoven, 2000‏
1712000
Proof Theory for µCRL: A Language for Processes with Data.‏
JF Groote, A Ponse‏
Semantics of Specification Languages (SoSL) Proceedings of the International …, 1994‏
1581994
Transition system specifications with negative premises‏
JF Groote‏
International Conference on Concurrency Theory, 332-341, 1990‏
1531990
The meaning of negative premises in transition system specifications‏
R Bol, JF Groote‏
Journal of the ACM (JACM) 43 (5), 863-914, 1996‏
1501996
A bounded retransmission protocol for large data packets: A case study in computer checked algebraic verification‏
JF Groote, J van de Pol‏
International Conference on Algebraic Methodology and Software Technology …, 1996‏
1441996
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‏
1411995
Transformation of BPMN models for behaviour analysis‏
I Raedts, M Petković, YS Usenko, JM Van Der Werf, JF Groote, L Somers‏
The 5th International Workshop on Modelling, Simulation, Verification and …, 2007‏
1332007
Invariants in process algebra with data‏
M Bezem, JF Groote‏
CONCUR'94: Concurrency Theory, 401-416, 1994‏
1271994
The syntax and semantics of timed‏
JF Groote‏
J. CRL. Centrum voor Wiskunde en Informatica (CWI), 1997‏
124*1997
Confluence for process verification‏
JF Groote, MPA Sellink‏
Theoretical computer science 170 (1-2), 47-81, 1996‏
1191996
Parameterised boolean equation systems‏
JF Groote, TAC Willemse‏
Theoretical Computer Science 343 (3), 332-369, 2005‏
1182005
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20