Folgen
Jiri Srba
Jiri Srba
Professor of Computer Science, Aalborg University
Bestätigte E-Mail-Adresse bei cs.aau.dk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Reactive systems: modelling, specification and verification
L Aceto, A Ingólfsdóttir, KG Larsen, J Srba
cambridge university press, 2007
3962007
Infinite runs in weighted timed automata with energy constraints
P Bouyer, U Fahrenberg, KG Larsen, N Markey, J Srba
Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008
2382008
Energy games in multiweighted automata
U Fahrenberg, L Juhl, KG Larsen, J Srba
Theoretical Aspects of Computing–ICTAC 2011: 8th International Colloquium …, 2011
882011
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
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
852012
Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard
J Srba
STACS 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science …, 2002
672002
Language emptiness of continuous-time parametric timed automata
N Beneš, P Bezděk, KG Larsen, J Srba
Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015
632015
Comparing the expressiveness of timed automata and timed extensions of Petri nets
J Srba
Formal Modeling and Analysis of Timed Systems: 6th International Conference …, 2008
602008
Online and compositional learning of controllers with application to floor heating
KG Larsen, M Mikučionis, M Muniz, J Srba, JH Taankvist
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
562016
Roadmap of infinite results
J Srba
532008
Verification of Timed-Arc Petri Nets.
L Jacobsen, M Jacobsen, MH Møller, J Srba
SOFSEM 11, 46-72, 2011
522011
TAPAAL: Editor, simulator and verifier of timed-arc Petri nets
J Byg, KY Jørgensen, J Srba
Automated Technology for Verification and Analysis: 7th International …, 2009
512009
Height-deterministic pushdown automata
D Nowotka, J Srba
Mathematical Foundations of Computer Science 2007: 32nd International …, 2007
512007
Timed-arc Petri nets vs. networks of timed automata
J Srba
Applications and Theory of Petri Nets 2005: 26th International Conference …, 2005
512005
On determinism in modal transition systems
N Beneš, J Křetínský, KG Larsen, J Srba
Theoretical Computer Science 410 (41), 4026-4043, 2009
502009
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
472015
Roadmap of infinite results
J Srba
Current Trends in Theoretical Computer Science: The Challenge of the New …, 2004
462004
The algorithmics of bisimilarity.
L Aceto, A Ingolfsdottir, J Srba
Advanced Topics in Bisimulation and Coinduction 52, 100-172, 2012
452012
Undecidability of bisimilarity by defender's forcing
P Jančar, J Srba
Journal of the ACM (JACM) 55 (1), 1-26, 2008
432008
Strong bisimilarity and regularity of basic process algebra is PSPACE-hard
J Srba, BRICS
Automata, Languages and Programming: 29th International Colloquium, ICALP …, 2002
432002
Towards a formal framework for computational trust
V Sassone, K Krukow, M Nielsen
Formal Methods for Components and Objects, 175-184, 2007
412007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20