Segui
Jiri Srba
Jiri Srba
Professor of Computer Science, Aalborg University
Email verificata su cs.aau.dk - Home page
Titolo
Citata da
Citata da
Anno
Reactive systems: modelling, specification and verification
L Aceto, A Ingólfsdóttir, KG Larsen, J Srba
cambridge university press, 2007
4332007
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
2582008
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
1052012
Energy games in multiweighted automata
U Fahrenberg, L Juhl, KG Larsen, J Srba
Theoretical Aspects of Computing–ICTAC 2011: 8th International Colloquium …, 2011
932011
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
712015
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
702016
Strong bisimilarity and regularity of basic parallel processes is PSPACE-hard
J Srba
Annual Symposium on Theoretical Aspects of Computer Science, 535-546, 2002
692002
Verification of timed-arc Petri nets
L Jacobsen, M Jacobsen, MH Møller, J Srba
SOFSEM 2011: Theory and Practice of Computer Science: 37th Conference on …, 2011
622011
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
612008
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
572009
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
532015
On determinism in modal transition systems
N Beneš, J Křetínský, KG Larsen, J Srba
Theoretical Computer Science 410 (41), 4026-4043, 2009
532009
Height-deterministic pushdown automata
D Nowotka, J Srba
International Symposium on Mathematical Foundations of Computer Science, 125-134, 2007
532007
Roadmap of infinite results
J Srba
522008
Presentation of the 9th edition of the model checking contest
E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F Gallà, LM Hillah, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
512019
Timed-arc Petri nets vs. networks of timed automata
J Srba
International Conference on Application and Theory of Petri Nets, 385-402, 2005
512005
The algorithmics of bisimilarity.
L Aceto, A Ingólfsdóttir, J Srba
Advanced Topics in Bisimulation and Coinduction 52, 100-172, 2012
482012
Strong bisimilarity and regularity of basic process algebra is PSPACE-hard
J Srba, BRICS
International Colloquium on Automata, Languages, and Programming, 716-727, 2002
462002
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
442018
CAAL: concurrency workbench, aalborg edition
JR Andersen, N Andersen, S Enevoldsen, MM Hansen, KG Larsen, ...
Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015
432015
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20