Jan Friso Groote

Eindhoven University of Technology

Netherlands

Research Interests

Explore related searches

Professors in Netherlands

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (12)

Year:

2024

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2022

Year:

2021

Year:

2021

Year:

2020

Year:

2020

Year:

2020

Collaborators (8)

Anton Wijs

Associate Professor

Eindhoven University of Technology

NETHERLANDS

View details

Marc Geilen

Dr. at Eindhoven University of Technology

Eindhoven University of Technology

NETHERLANDS

View details

Marieke Huisman

University of Twente

NETHERLANDS

View details

Jan Martens

Eindhoven University of Technology

NETHERLANDS

View details

Thomas Neele

Assistant Professor

Eindhoven University of Technology

NETHERLANDS

View details

Sander Thuijsman

Eindhoven University of Technology

NETHERLANDS

View details

Maurice Laveaux

Eindhoven University of Technology

NETHERLANDS

View details

Lars B. van den Haak

Eindhoven University of Technology

NETHERLANDS

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Jan Friso Groote

Research Interests

Explore related searches

Contact this professor

Articles (12)

Formal Methods for Industrial Critical Systems

Tool interoperability for model-based systems engineering

Lowerbounds for Bisimulation by Partition Refinement

Linear parallel algorithms to compute strong and branching bisimilarity

Innermost many-sorted term rewriting on GPUs

A Cancellation Law for Probabilistic Processes

A Formally Verified Fail-Operational Safety Concept for Automated Driving

Infinite choice and probability distributions an open problem

Correct and Efficient Antichain Algorithms for Refinement Checking

A Complete Axiomatisation for Probabilistic Trace Equivalence

Finding compact proofs for infinite-data parameterised Boolean equation systems

A symmetric protocol to establish service level agreements

Collaborators (8)

Anton Wijs

Marc Geilen

Marieke Huisman

Jan Martens

Thomas Neele

Sander Thuijsman

Maurice Laveaux

Lars B. van den Haak

Make your next move.