Jiri Srba
Jiri Srba
Professor of Computer Science, Aalborg University
Verified email at cs.aau.dk - Homepage
Title
Cited by
Cited by
Year
Reactive systems: modelling, specification and verification
L Aceto, A Ingólfsdóttir, KG Larsen, J Srba
cambridge university press, 2007
3272007
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
1942008
Energy games in multiweighted automata
U Fahrenberg, L Juhl, KG Larsen, J Srba
International Colloquium on Theoretical Aspects of Computing, 95-115, 2011
762011
Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard
J Srba
Annual Symposium on Theoretical Aspects of Computer Science, 535-546, 2002
652002
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
572008
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
512012
Roadmap of infinite results
J Srba
512008
On determinism in modal transition systems
N Beneš, J Křetínský, KG Larsen, J Srba
Theoretical Computer Science 410 (41), 4026-4043, 2009
492009
Timed-arc Petri nets vs. networks of timed automata
J Srba
International Conference on Application and Theory of Petri Nets, 385-402, 2005
472005
Height-deterministic pushdown automata
D Nowotka, J Srba
International Symposium on Mathematical Foundations of Computer Science, 125-134, 2007
462007
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
442015
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
432011
Strong bisimilarity and regularity of basic process algebra is PSPACE-hard
J Srba
International Colloquium on Automata, Languages, and Programming, 716-727, 2002
432002
Roadmap of infinite results
J Srba
Current Trends in Theoretical Computer Science: The Challenge of the New …, 2004
402004
Undecidability of bisimilarity by defender's forcing
P Jančar, J Srba
Journal of the ACM (JACM) 55 (1), 1-26, 2008
392008
Checking thorough refinement on modal transition systems is EXPTIME-complete
N Beneš, J Křetínský, KG Larsen, J Srba
International Colloquium on Theoretical Aspects of Computing, 112-126, 2009
382009
Parametric modal transition systems
N Beneš, J Křetínský, KG Larsen, MH Møller, J Srba
International Symposium on Automated Technology for Verification and …, 2011
372011
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
372009
Towards a formal framework for computational trust
V Sassone, K Krukow, M Nielsen
Formal Methods for Components and Objects, 175-184, 2007
372007
A formal analysis of the web services atomic transaction protocol with UPPAAL
AP Ravn, J Srba, S Vighio
International Symposium On Leveraging Applications of Formal Methods …, 2010
352010
The system can't perform the operation now. Try again later.
Articles 1–20