Fair Mutual Exclusion for N Processes von Hafidi, Yousra, Keiren, Jeroen J. A., Groote, Jan Friso

Volltext

Simplifying Process Parameters by Unfolding Algebraic Data Types von Stramaglia, Anna, Keiren, Jeroen J. A., Neele, Thomas

Volltext

Parity game reductions von Cranen, Sjoerd, Keiren, Jeroen J. A., Willemse, Tim A. C.

Volltext

Games for Bisimulations and Abstraction von David De Frutos Escrig, Jeroen J. A. Keiren, Tim A. C. Willemse

Volltext

Modelling and Analysing a Mechanical Lung Ventilator in mCRL2 von van Dortmont, Danny, Keiren, Jeroen J. A., Willemse, Tim A. C.

Volltext

Extensible Proof Systems for Infinite-State Systems von Cleaveland, Rance, Keiren, Jeroen J. A.

Volltext

An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation von Groote, Jan Friso, Jansen, David N., Keiren, Jeroen J. A., Wijs, Anton J.

Volltext

Tutorial: Designing Distributed Software in mCRL2 von Groote, Jan Friso, Keiren, Jeroen J. A.

Volltext

Extensible Proof Systems for Infinite-State Systems von Keiren, Jeroen J A, Cleaveland, Rance

Volltext

Experiences in developing the mCRL2 toolset von Groote, J. F., Keiren, J. J. A., Stappers, F. P. M., Wesselink, J. W., Willemse, T. A. C.

Volltext

Corrections to “A Menagerie of Timed Automata” von Keiren, Jeroen J. A., Fontana, Peter, Cleaveland, Rance

Volltext

Formal Methods in Industry von ter Beek, Maurice H., Chapman, Rod, Cleaveland, Rance, Garavel, Hubert, Gu, Rong, ter Horst, Ivo, Keiren, Jeroen J. A., Lecomte, Thierry, Leuschel, Michael, Rozier, Kristin Yvonne, Sampaio, Augusto, Seceleanu, Cristina, Thomas, Martyn, Willemse, Tim A. C., Zhang, Lijun

Volltext

An Expressive Timed Modal Mu-Calculus for Timed Automata von Cleaveland, Rance, Keiren, Jeroen J. A., Fontana, Peter

Volltext

Formal Verification of an Industrial UML-like Model using mCRL2 von Stramaglia, Anna, Keiren, Jeroen J. A.

Volltext

Benchmarks for Parity Games von Keiren, Jeroen J. A.

Volltext

Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider von Hwong, Yi Ling, Keiren, Jeroen J.A., Kusters, Vincent J.J., Leemans, Sander, Willemse, Tim A.C.

Volltext

Deadlock in Packet Switching Networks von Stramaglia, Anna, Keiren, Jeroen J. A., Zantema, Hans

Volltext

An Overview of the mCRL2 Toolset and Its Recent Advances von Cranen, Sjoerd, Groote, Jan Friso, Keiren, Jeroen J. A., Stappers, Frank P. M., de Vink, Erik P., Wesselink, Wieger, Willemse, Tim A. C.

Volltext

Modelling and Analysing Software in mCRL2 von Groote, Jan Friso, Keiren, Jeroen J. A., Luttik, Bas, de Vink, Erik P., Willemse, Tim A. C.

Volltext

Games for Bisimulations and Abstraction von De Frutos Escrig, David, Keiren, Jeroen J A, Willemse, Tim A C

Volltext