Publications

Also see me on DBLP and Google Scholar 

[05]  TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
by A. David, L. Jacobsen, M. Jacobsen, K.Y. Jørgensen, M.H. Møller and J. Srba.
In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12) LNCS, Springer-Verlag 2012
To appear.
PDF

[04] A Semantic-Preserving Transformation from the Compositional Interchange Format to UPPAAL
by D.E. Nadales Agut, M.A. Reniers, R.R.H. Schiffelers, K.Y. Jørgensen, and D.A. van Beek.
In Proceedings of the 18th IFAC World Congress, 2011
PDF

[03] opaal - A Lattice Model Checker
by Andreas E. Dalsgaard, Rene R. Hansen, Kenneth Yrke Joergensen, Kim G. Larsen, Mads Chr. Olesen, Petur Olsen and Jiri Srba. 
In Proceedings of the 3rd NASA Formal Methods Symposium (NFM'11), pages 487--493, volume 6617 of LNCS, Springer-Verlag 2011
Abstract - BibTex - PDF

[02] An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata
by Joakim Byg, Kenneth Yrke Joergensen and Jiri Srba. 
In Proceedings of 11th International Conference on Formal Engineering Methods (ICFEM'09), pages 698-716,, volume 5885 of LNCS, Springer-Verlag, 2009. 
Abstract - BibTex - PDF

[01] TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
by Joakim Byg, Kenneth Yrke Joergensen and Jiri Srba.
In Proceedings of 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), pages 84-89, volume 5799 of LNCS, Springer-Verlag, 2009.
Abstract - BibTex - PDF

[01] An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata
by Joakim Byg, Kenneth Yrke Joergensen and Jiri Srba.
Technical report FIMU-RS-2009-06, Faculty of Informatics MU, 29 pages, 2009.

Regular Model Checking and Verification of Cellular Automata
by Joakim Byg and Kenneth Yrke Jørgensen
Department of Computer Science, Aalborg University. 2008.
Supervisor: Jiri Srba.
Abstract - BibTex - PDF