| Reactive systems: modelling, specification and verification L Aceto, A Ingólfsdóttir, KG Larsen, J Srba cambridge university press, 2007 | 458 | 2007 |
| Infinite runs in weighted timed automata with energy constraints P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Srba International Conference on Formal Modeling and Analysis of Timed Systems, 33-47, 2008 | 270 | 2008 |
| TAPAAL 2.0: Integrated development environment for timed-arc Petri nets A David, L Jacobsen, M Jacobsen, KY Jørgensen, MH Møller, J Srba International conference on tools and algorithms for the construction and …, 2012 | 118 | 2012 |
| Energy games in multiweighted automata U Fahrenberg, L Juhl, KG Larsen, J Srba International Colloquium on Theoretical Aspects of Computing, 95-115, 2011 | 104 | 2011 |
| Online and compositional learning of controllers with application to floor heating KG Larsen, M Mikučionis, M Muniz, J Srba, JH Taankvist International Conference on Tools and Algorithms for the Construction and …, 2016 | 80 | 2016 |
| Language emptiness of continuous-time parametric timed automata N Beneš, P Bezděk, KG Larsen, J Srba International Colloquium on Automata, Languages, and Programming, 69-81, 2015 | 77 | 2015 |
| Complete Results for the 2015 Edition of the Model Checking Contest F Kordon, H Garavel, LM Hillah, F Hulin-Hubard, A Linard, M Beccuti, ... URL http://mcc. lip6. fr/2015/results. php, 2015 | 70 | 2015 |
| Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard J Srba Annual Symposium on Theoretical Aspects of Computer Science, 535-546, 2002 | 67 | 2002 |
| Comparing the expressiveness of timed automata and timed extensions of Petri nets J Srba International Conference on Formal Modeling and Analysis of Timed Systems, 15-32, 2008 | 66 | 2008 |
| Verification of timed-arc Petri nets L Jacobsen, M Jacobsen, MH Møller, J Srba International Conference on Current Trends in Theory and Practice of …, 2011 | 64 | 2011 |
| The algorithmics of bisimilarity. L Aceto, A Ingolfsdottir, J Srba Advanced Topics in Bisimulation and Coinduction 52, 100-172, 2012 | 62 | 2012 |
| TAPAAL: Editor, simulator and verifier of timed-arc Petri nets J Byg, KY Jørgensen, J Srba International Symposium on Automated Technology for Verification and …, 2009 | 62 | 2009 |
| On determinism in modal transition systems N Beneš, J Křetínský, KG Larsen, J Srba Theoretical Computer Science 410 (41), 4026-4043, 2009 | 56 | 2009 |
| Presentation of the 9th edition of the model checking contest E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 55 | 2019 |
| Height-deterministic pushdown automata D Nowotka, J Srba International Symposium on Mathematical Foundations of Computer Science, 125-134, 2007 | 55 | 2007 |
| CAAL: concurrency workbench, aalborg edition JR Andersen, N Andersen, S Enevoldsen, MM Hansen, KG Larsen, ... International Colloquium on Theoretical Aspects of Computing, 573-582, 2015 | 54 | 2015 |
| Timed-arc Petri nets vs. networks of timed automata J Srba International Conference on Application and Theory of Petri Nets, 385-402, 2005 | 53 | 2005 |
| Roadmap of infinite results J Srba | 52 | 2008 |
| P-Rex: Fast verification of MPLS networks with multiple link failures JS Jensen, TB Krøgh, JS Madsen, S Schmid, J Srba, MT Thorgersen Proceedings of the 14th International Conference on emerging Networking …, 2018 | 47 | 2018 |
| Roadmap of infinite results J Srba Current Trends in Theoretical Computer Science: The Challenge of the New …, 2004 | 47 | 2004 |
Kim G. LarsenDirector, Professor Aalborg UniversityVerified email at cs.aau.dk
