Jan Friso Groote
Technische Universiteit Eindhoven
H-index: 51
Europe-Netherlands
Top articles of Jan Friso Groote
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment | arXiv preprint arXiv:2403.18722 | Kevin HJ Jilissen Peter Dieleman Jan Friso Groote | 2024/3/27 |
Formal Methods for Industrial Critical Systems | International Journal on Software Tools for Technology Transfer | Jan Friso Groote Marieke Huisman | 2024/2/15 |
A Cancellation Law for Probabilistic Processes | arXiv preprint arXiv:2309.07306 | Rob van Glabbeek Jan Friso Groote Erik de Vink | 2023/9/13 |
Applications: Puzzles and Games | Muhammad Atif Jan Friso Groote | 2023/2/26 | |
The Modal -Calculus | Muhammad Atif Jan Friso Groote | 2023/2/26 | |
Linear parallel algorithms to compute strong and branching bisimilarity | Software and Systems Modeling | Jan Martens Jan Friso Groote Lars B van den Haak Pieter Hijma Anton Wijs | 2023/4 |
Innermost many-sorted term rewriting on GPUs | Science of Computer Programming | Johri van Eerd Jan Friso Groote Pieter Hijma Jan Martens Muhammad Osama | 2023/1/1 |
Real Equation Systems with Alternating Fixed-points (full version with proofs) | arXiv preprint arXiv:2307.07455 | Jan Friso Groote Tim AC Willemse | 2023/7/14 |
Communicating Processes | Muhammad Atif Jan Friso Groote | 2023/2/26 | |
Linear Processes and Parameterised BESs | Muhammad Atif Jan Friso Groote | 2023/2/26 | |
A formal analysis of Dutch Generic Integral Tunnel Design models | Kevin Jilissen Peter Dieleman Jan Friso Groote | 2023/3/27 | |
Computing minimal distinguishing Hennessy-Milner formulas is NP-hard, but variants are tractable | Jan Martens Jan Friso Groote | 2023/9/7 | |
Applications: Distributed Algorithms | Muhammad Atif Jan Friso Groote | 2023/2/26 | |
Behavioural Equivalences | Muhammad Atif Jan Friso Groote | 2023/2/26 | |
Minimisation of spatial models using branching bisimilarity | Vincenzo Ciancia Jan Friso Groote Diego Latella Mieke Massink Erik P de Vink | 2023/3/3 | |
Lowerbounds for Bisimulation by Partition Refinement | Logical Methods in Computer Science | Jan Friso Groote Jan Martens Erik P de Vink | 2023/5/11 |
Understanding behaviour of distributed systems using mCRL2 | Muhammad Atif Jan Friso Groote | 2023/2/25 | |
Automata to Represent Behaviour | Muhammad Atif Jan Friso Groote | 2023/2/26 | |
Model-Checking | Muhammad Atif Jan Friso Groote | 2023/2/26 | |
Compositional Learning for Interleaving Parallel Automata. | Faezeh Labbaf Jan Friso Groote Hossein Hojjat Mohammad Reza Mousavi | 2023/4/21 |