Jeroen Keiren
Orcid: 0000-0002-5772-9527Affiliations:
- Eindhoven University of Technology, The Netherlands
According to our database1,
Jeroen Keiren
authored at least 37 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
1
1
1
1
3
1
2
2
2
1
4
2
1
2
2
2
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2024
ACM Trans. Comput. Log., January, 2024
Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024
Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024
Proceedings of the Logics and Type Systems in Theory and Practice, 2024
2023
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023
Proceedings of the 22nd Belgium-Netherlands Software Evolution Workshop, 2023
2022
CoRR, 2022
Proceedings of the Formal Methods for Industrial Critical Systems, 2022
2021
Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021
2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
2019
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems.
CoRR, 2019
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019
2018
2017
An <i>O</i>(<i>m</i>log<i>n</i>) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation.
ACM Trans. Comput. Log., 2017
2016
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016
2015
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015
2014
Proceedings of the Automated Technology for Verification and Analysis, 2014
2013
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.
Sci. Comput. Program., 2013
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
CoRR, 2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012
2011
Proceedings of the NASA Formal Methods, 2011
2009
Proceedings of the Hardware and Software: Verification and Testing, 2009
2008