Παρακολούθηση
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