Concepedia

Jeroen J. A. Keiren

JJ

8

Publications

184

Citations

8

H-Index

2008

Active since

Affiliations

Eindhoven University of Technology(Current)

Radboud University Nijmegen

Open University of the Netherlands

Institute for Systems Analysis

Jeroen J. A. Keiren is an author at Eindhoven University of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisSoftware AnalysisSoftware DesignSystem SoftwareSoftware Testing

Publications per year

2008–2024

8

Publications

8

An <i>O</i> ( <i>m</i> log <i>n</i> ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

Jan Friso Groote, David N. Jansen, Jeroen J. A. Keiren et al. · ACM Transactions on Computational Logic · 2017 · 41 citations · Full text

Branching Bisimulation, Computational Complexity Theory, Engineering +14

The mCRL2 toolset

Jan Friso Groote, Jeroen J. A. Keiren, Aad Mathijssen et al. · 2008 · 30 citations

Software Maintenance, Engineering, Verification +25

Advanced reduction techniques for model checking

Jeroen J. A. Keiren · Data Archiving and Networked Services (DANS) · 2013 · 26 citations · Full text

Circuit Complexity, Engineering, Verification +20

Formal Methods in Industry

Maurice H. ter Beek, Roderick Chapman, Rance Cleaveland et al. · Formal Aspects of Computing · 2024 · 26 citations · Full text

Engineering, Industrial Engineering, Verification +23

Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider

Yi Ling Hwong, Jeroen J. A. Keiren, Vincent Kusters et al. · Science of Computer Programming · 2013 · 25 citations · Full text

Collider Physic, Engineering, Hadron Physic +6

Rows per page

1–5 of 8