Jirí Srba - RankMe

163 papers A* 3A 9B 38C 11Misc 4Journal 47Unranked 45

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Complexity of Perfect and Ideal Resilience Verification in Fast Re-Route Networks. CoRR Matthias Bentert, Esra Ceylan-Kettler, Valentin Hübner, Stefan Schmid, Jirí Srba
2025	B	`conf`	Eagle: Vulnerability and Congestion Aware Software Update Synthesis in Softwarized Networks with a 5G Network Case Study. NOMS Nicolas Schnepf, Remi Badonnel, Damien Saucez, Stefan Schmid, Jirí Srba
2025	—	`conf`	ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks. VMCAI (2) Gustav S. Bruhns, Martin P. Hansen, Rasmus Hebsgaard, Frederik M. W. Hyldgaard, Jirí Srba
2025	C	`conf`	Explicit Model Checking Engine for Reachability Analysis of Colored Petri Nets. ICTAC Emil Normann Brandt, Jens Emil Fink Højriis, Kira Stæhr Pedersen, Jirí Srba
2025	B	`conf`	Fast Re-Routing in Networks: On the Complexity of Perfect Resilience. OPODIS Matthias Bentert, Esra Ceylan, Valentin Hübner, Stefan Schmid, Jirí Srba
2025	B	`conf`	On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions. CONCUR Nicolaj Ø. Jensen, Kim G. Larsen, Didier Lime, Jirí Srba
2025	J	`jnl`	On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions. CoRR Nicolaj Ø. Jensen, Kim G. Larsen, Didier Lime, Jirí Srba
2025	B	`conf`	On-The-Fly Verification: Advancements in Dependency Graphs (Invited Talk). CONCUR Jirí Srba
2025	B	`conf`	Statistical Model Checking of Stochastic Timed-Arc Petri Nets. Petri Nets Tanguy Dubois, Kim G. Larsen, Jirí Srba
2025	B	`conf`	TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets. ATVA Bruno Maria René Gonzalez, Peter Gjøl Jensen, Stefan Schmid, Jirí Srba, Martin Zimmermann
2025	J	`jnl`	TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets. CoRR Bruno Maria René Gonzalez, Peter Gjøl Jensen, Stefan Schmid, Jirí Srba, Martin Zimmermann
2025	—	`conf`	Token Elimination in Model Checking of Petri Nets. TACAS (1) Nicolaj Ø. Jensen, Kim G. Larsen, Jirí Srba
2024	J	`jnl`	Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks. Formal Aspects Comput. Morten Konggaard Schou, Ingmar Poese, Jirí Srba
2024	A*	`conf`	SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. INFOCOM Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba
2024	A	`conf`	SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks. DSN Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba
2023	J	`jnl`	A toolchain for domestic heat-pump control using Uppaal Stratego. Sci. Comput. Program. Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
2023	J	`jnl`	AllSynth: A BDD-based approach for network update synthesis. Sci. Comput. Program. Kim G. Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba
2023	—	`conf`	Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023. TOOLympics@ETAPS Nicolas Amat, Elvio G. Amparore, Bernard Berthomieu, Pierre Bouvier, Silvano Dal-Zilio, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Shuo Li, Emmanuel Paviot-Adet, Laure Petrucci, Jirí Srba, Yann Thierry-Mieg, Karsten Wolf
2023	C	`conf`	Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise. PRDC Morten Konggaard Schou, Ingmar Poese, Jirí Srba
2023	—	`conf`	Elimination of Detached Regions in Dependency Graph Verification. SPIN Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik
2023	J	`jnl`	Kaki: Efficient Concurrent Update Synthesis for SDN. Formal Aspects Comput. Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Jirí Srba, Rasmus G. Tollund
2023	J	`jnl`	Labeled Transition Systems. Arch. Formal Proofs Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
2023	C	`conf`	Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. FMICS Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
2023	—	`conf`	Potency-Based Heuristic Search with Randomness for Explicit Model Checking. SPIN Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Theodor Risager, Jirí Srba, Adam M. Stück, Andreas S. Sørensen
2023	J	`jnl`	Pushdown Systems. Arch. Formal Proofs Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
2022	Misc	`conf`	AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. TASE Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba
2022	B	`conf`	Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking. VMCAI Peter Gjøl Jensen, Jirí Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt
2022	J	`jnl`	Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures. IEEE/ACM Trans. Netw. Ingo van Duijn, Peter Gjøl Jensen, Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen
2022	B	`conf`	Differential Testing of Pushdown Reachability with a Formally Verified Oracle. FMCAD Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
2022	Misc	`conf`	End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego. TASE Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
2022	J	`jnl`	Extended abstract dependency graphs. Int. J. Softw. Tools Technol. Transf. Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
2022	—	`conf`	FBR: Dynamic Memory-Aware Fast Rerouting. CloudNet Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Stefan Schmid, Jirí Srba, Rasmus G. Tollund
2022	B	`conf`	Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games. IFM Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Jirí Srba, Rasmus G. Tollund
2022	—	`conf`	MPLS-Kit: An MPLS Data Plane Toolkit. CloudNet Juan Vanerio, Stefan Schmid, Morten Konggaard Schou, Jirí Srba
2022	J	`jnl`	Methods for Efficient Unfolding of Colored Petri Nets. CoRR Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist
2022	J	`jnl`	Methods for Efficient Unfolding of Colored Petri Nets. Fundam. Informaticae Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist
2022	B	`conf`	PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. ATVA Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba
2022	A	`conf`	R-MPLS: recursive protection for highly dependable MPLS networks. CoNEXT Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio
2022	B	`conf`	STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. ATVA Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao
2022	—	`conf`	Simulation Relations and Applications in Formal Methods. Principles of Systems Design Kim G. Larsen, Christian Schilling, Jirí Srba
2022	A	`conf`	The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures. DSN Pieter J. L. Cuijpers, Stefan Schmid, Nicolas Schnepf, Jirí Srba
2021	B	`conf`	Automatic Synthesis of Transiently Correct Network Updates via Petri Games. Petri Nets Martin Didriksen, Peter Gjøl Jensen, Jonathan F. Jønler, Andrei-Ioan Katona, Sangey D. L. Lama, Frederik B. Lottrup, Shahab Shajarat, Jirí Srba
2021	B	`conf`	Faster Pushdown Reachability Analysis with Applications in Network Verification. ATVA Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn
2021	—	`conf`	Improvements in Unfolding of Colored Petri Nets. RP Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist
2021	—	`conf`	Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. ADHS Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba
2021	J	`jnl`	Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. CoRR Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba
2021	—	`conf`	Resilient Capacity-Aware Routing. TACAS (1) Stefan Schmid, Nicolas Schnepf, Jirí Srba
2021	—	`conf`	Stubborn Set Reduction for Timed Reachability and Safety Games. FORMATS Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba
2021	J	`jnl`	Stubborn Set Reduction for Two-Player Reachability Games. Log. Methods Comput. Sci. Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
2020	A	`conf`	AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks. CoNEXT Peter Gjøl Jensen, Dan Kristiansen, Stefan Schmid, Morten Konggaard Schou, Bernhard Clemens Schrenk, Jirí Srba
2020	J	`jnl`	Dependency graphs with applications to verification. Int. J. Softw. Tools Technol. Transf. Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba
2020	J	`jnl`	Latte: Improving the Latency of Transiently Consistent Network Update Schedules. SIGMETRICS Perform. Evaluation Rev. Niels Christensen, Mark Glavind, Stefan Schmid, Jirí Srba
2020	B	`conf`	On-the-Fly Synthesis for Strictly Alternating Games. Petri Nets Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
2020	B	`conf`	Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. Petri Nets Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba
2020	B	`conf`	Urgent Partial Order Reduction for Extended Timed Automata. ATVA Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba
2020	C	`conf`	Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. LOPSTR Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba
2019	—	`conf`	Abstract Dependency Graphs and Their Application to Model Checking. TACAS (1) Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
2019	—	`conf`	Model Verification Through Dependency Graphs. SPIN Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
2019	J	`jnl`	Model checking and synthesis for branching multi-weighted logics. J. Log. Algebraic Methods Program. Lasse S. Jensen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Jirí Srba
2019	B	`conf`	Partial Order Reduction for Reachability Games. CONCUR Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba
2019	—	`conf`	Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf
2019	—	`conf`	Safe and Time-Optimal Control for Railway Games. RSSRail Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba
2019	J	`jnl`	Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16). J. Log. Algebraic Methods Program. Kim G. Larsen, Jirí Srba
2019	J	`jnl`	Stubborn Set Reduction for Two-Player Reachability Games. CoRR Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
2019	J	`jnl`	Stubborn versus structural reductions for Petri nets. J. Log. Algebraic Methods Program. Frederik M. Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba
2018	J	`jnl`	A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundam. Informaticae Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Peter Gjøl Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
2018	—	`conf`	Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. QEST Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba
2018	J	`jnl`	Discrete and continuous strategies for timed-arc Petri net games. Int. J. Softw. Tools Technol. Transf. Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
2018	J	`jnl`	MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. Fabrice Kordon, Hubert Garavel, Lom-Messan Hillah, Emmanuel Paviot-Adet, Loïg Jezequel, Francis Hulin-Hubard, Elvio Gilberto Amparore, Marco Beccuti, Bernard Berthomieu, Hugues Evrard, Peter Gjøl Jensen, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Jirí Srba, Yann Thierry-Mieg, Jaco van de Pol, Karsten Wolf
2018	A	`conf`	P-Rex: fast verification of MPLS networks with multiple link failures. CoNEXT Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen
2018	A*	`conf`	Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks. INFOCOM Stefan Schmid, Jirí Srba
2018	J	`jnl`	Reachability problems: Special issue. Theor. Comput. Sci. Kim G. Larsen, Igor Potapov, Jirí Srba
2018	B	`conf`	Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. Petri Nets Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba
2018	—	`conf`	Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. CAV (1) Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
2017	B	`conf`	Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Petri Nets Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba
2017	C	`conf`	PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. ICTAC Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
2017	—	`conf`	Recording and evaluation of high resolution optical meteor spectra and comparative laboratory measurements using laser ablation of solid meteorite specimens. ICTON Martin Ferus, Jakub Koukal, Libor Lenza, Jirí Srba, Petr Kubelík, Vojtech Laitl, Ekaterina M. Zanozina, Pavel Vana, Tereza Kaiserova, Antonín Knizek, Svatopluk Civis
2016	Misc	`conf`	Distributed Computation of Fixed Points on Dependency Graphs. SETTA Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
2016	J	`jnl`	Efficient model-checking of weighted CTL with upper-bound constraints. Int. J. Softw. Tools Technol. Transf. Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard
2016	A	`conf`	Online and Compositional Learning of Controllers with Application to Floor Heating. TACAS Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist
2016	—	`ed.`	Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. Cassting/SynCoP Thomas Brihaye, Benoît Delahaye, Loïg Jezequel, Nicolas Markey, Jirí Srba
2016	—	`ed.`	Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings RP Kim Guldstrand Larsen, Igor Potapov, Jirí Srba
2016	—	`conf`	Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. SPIN Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
2016	J	`jnl`	TAPAAL and Reachability Analysis of P/T Nets. Trans. Petri Nets Other Model. Concurr. Jonas Finnemann Jensen, Thomas Nielsen, Lars Kaerlund Oestergaard, Jirí Srba
2016	C	`conf`	Toolchain for user-centered intelligent floor heating control. IECON Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou
2015	C	`conf`	CAAL: Concurrency Workbench, Aalborg Edition. ICTAC Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann
2015	—	`conf`	Language Emptiness of Continuous-Time Parametric Timed Automata. ICALP (2) Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jirí Srba
2015	J	`jnl`	Language Emptiness of Continuous-Time Parametric Timed Automata. CoRR Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba
2015	B	`conf`	Polynomial Time Decidability of Weighted Synchronization under Partial Observability. CONCUR Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba
2015	J	`jnl`	Refinement checking on parametric modal transition systems. Acta Informatica Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba
2015	J	`jnl`	Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. Fundam. Informaticae José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen
2014	—	`conf`	Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets. FORMATS Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jirí Srba
2014	—	`conf`	Memory Efficient Data Structures for Explicit Verification of Timed Systems. NASA Formal Methods Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist
2014	B	`conf`	Soundness of Timed-Arc Workflow Nets. Petri Nets José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen
2014	B	`conf`	Synchronizing Strategies under Partial Observability. CONCUR Kim Guldstrand Larsen, Simon Laursen, Jirí Srba
2014	J	`jnl`	TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. Theor. Comput. Sci. Joakim Byg, Morten Jacobsen, Lasse Jacobsen, Kenneth Yrke Jørgensen, Mikael Harkjær Møller, Jirí Srba
2013	—	`conf`	Local Model Checking of Weighted CTL with Upper-Bound Constraints. SPIN Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard
2013	J	`jnl`	Model-checking web services business activity protocols. Int. J. Softw. Tools Technol. Transf. Abinoam P. Marques Jr., Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio
2013	—	`ch.`	Models for Real-Time Embedded Systems. Communicating Embedded Systems Didier Lime, Olivier H. Roux, Jirí Srba
2013	J	`jnl`	Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes CoRR Petr Jancar, Jirí Srba
2013	—	`ch.`	Tools for Model-Checking Timed Systems. Communicating Embedded Systems Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez
2012	—	`conf`	A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets SSV Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba
2012	Misc	`conf`	A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay
2012	—	`conf`	Action Investment Energy Games. MEMICS Kim G. Larsen, Simon Laursen, Jirí Srba
2012	B	`conf`	Dual-Priced Modal Transition Systems with Time Durations. LPAR Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba
2012	J	`jnl`	EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput. Nikola Benes, Jan Kretínský, Kim G. Larsen, Jirí Srba
2012	J	`jnl`	Extending modal transition systems with structured labels. Math. Struct. Comput. Sci. Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba
2012	J	`jnl`	Modal transition systems with weight intervals. J. Log. Algebraic Methods Program. Line Juhl, Kim G. Larsen, Jirí Srba
2012	A	`conf`	TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. TACAS Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba
2012	—	`ch.`	The algorithmics of bisimilarity. Advanced Topics in Bisimulation and Coinduction Luca Aceto, Anna Ingólfsdóttir, Jirí Srba
2012	—	`conf`	Time-Darts: A Data Structure for Verification of Closed Timed Automata SSV Kenneth Yrke Jørgensen, Kim G. Larsen, Jirí Srba
2012	—	`conf`	Unblockable compositions of software components. CBSE Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu
2012	—	`conf`	Verification of Liveness Properties on Closed Timed-Arc Petri Nets. MEMICS Mathias Andersen, Heine Gatten Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist
2012	—	`conf`	Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. FHIES Cristiano Bertolini, Zhiming Liu, Jirí Srba
2011	C	`conf`	Energy Games in Multiweighted Automata. ICTAC Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba
2011	A	`conf`	Modelling and Verification of Web Services Business Activity Protocol. TACAS Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio
2011	B	`conf`	Parametric Modal Transition Systems. ATVA Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba
2011	B	`conf`	Verification of Timed-Arc Petri Nets. SOFSEM Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba
2011	—	`conf`	opaal: A Lattice Model Checker. NASA Formal Methods Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba
2010	—	`conf`	A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. ISoLA (1) Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio
2010	—	`conf`	A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. EPEW Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba
2010	—	`conf`	An experiment with using Google tools for project supervision at tertiary education. CompSysTech Jirí Srba
2009	C	`conf`	An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. ICFEM Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba
2009	J	`jnl`	Beyond Language Equivalence on Visibly Pushdown Automata Log. Methods Comput. Sci. Jirí Srba
2009	C	`conf`	Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba
2009	J	`jnl`	Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains CoRR Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer
2009	B	`conf`	Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FoSSaCS Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer
2009	J	`jnl`	On determinism in modal transition systems. Theor. Comput. Sci. Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba
2009	B	`conf`	TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. ATVA Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba
2009	—	`conf`	Teaching Concurrency: Theory in Practice. TFM Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba
2008	—	`conf`	Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. FORMATS Jirí Srba
2008	—	`conf`	Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba
2008	J	`jnl`	Undecidability of bisimilarity by defender's forcing. J. ACM Petr Jancar, Jirí Srba
2007	B	`conf`	Height-Deterministic Pushdown Automata. MFCS Dirk Nowotka, Jirí Srba
2006	J	`jnl`	Decidability Issues for Extended Ping-Pong Protocols. J. Autom. Reason. Hans Hüttel, Jirí Srba
2006	B	`conf`	Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. ATVA Giorgio Delzanno, Javier Esparza, Jirí Srba
2006	—	`ed.`	Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005 INFINITY Jirí Srba, Scott A. Smolka
2006	B	`conf`	Undecidability Results for Bisimilarity on Prefix Rewrite Systems. FoSSaCS Petr Jancar, Jirí Srba
2006	B	`conf`	Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. CSL Jirí Srba
2005	—	`conf`	On Counting the Number of Consistent Genotype Assignments for Pedigrees. FSTTCS Jirí Srba
2005	—	`conf`	Preface. INFINITY Jirí Srba, Scott A. Smolka
2005	B	`conf`	Recursion Versus Replication in Simple Cryptographic Protocols. SOFSEM Hans Hüttel, Jirí Srba
2005	—	`conf`	Timed-Arc Petri Nets vs. Networks of Timed Automata. ICATPN Jirí Srba
2004	—	`conf`	Highly Undecidable Questions for Process Algebras. IFIP TCS Petr Jancar, Jirí Srba
2004	J	`jnl`	On the computational complexity of bisimulation, redux. Inf. Comput. Faron Moller, Scott A. Smolka, Jirí Srba
2003	—	`conf`	Completeness Results for Undecidable Bisimilarity Problems. INFINITY Jirí Srba
2003	J	`jnl`	Complexity Of Weak Bisimilarity And Regularity For Bpa And Bpp. Math. Struct. Comput. Sci. Jirí Srba
2003	J	`jnl`	Strong bisimilarity of simple process algebras: complexity lower bounds. Acta Informatica Jirí Srba
2003	J	`jnl`	Undecidability of domino games and hhp-bisimilarity. Inf. Comput. Marcin Jurdzinski, Mogens Nielsen, Jirí Srba
2002	B	`conf`	Note on the Tableau Technique for Commutative Transition Systems. FoSSaCS Jirí Srba
2002	J	`jnl`	Roadmap of Infinite Results. Bull. EATCS Jirí Srba
2002	A	`conf`	Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard. STACS Jirí Srba
2002	A*	`conf`	Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard. ICALP Jirí Srba
2002	C	`conf`	Undecidability of Weak Bisimilarity for PA-Processes. Developments in Language Theory Jirí Srba
2002	B	`conf`	Undecidability of Weak Bisimilarity for Pushdown Processes. CONCUR Jirí Srba
2001	J	`jnl`	Basic process algebra with deadlocking states. Theor. Comput. Sci. Jirí Srba
2001	B	`conf`	On the Power of Labels in Transition Systems. CONCUR Jirí Srba
2001	—	`conf`	Properties of Distributed Timed-Arc Petri Nets. FSTTCS Mogens Nielsen, Vladimiro Sassone, Jirí Srba
2001	—	`conf`	Towards a Notion of Distributed Time for Petri Nets. ICATPN Mogens Nielsen, Vladimiro Sassone, Jirí Srba
2000	—	`conf`	Complexity of Weak Bisimilarity and Regularity for BPA and BPP. EXPRESS Jirí Srba
2000	B	`conf`	Matching Modulo Associativity and Idempotency Is NP-Complete. MFCS Ondrej Klíma, Jirí Srba
1999	B	`conf`	Pattern Equations and Equations with Stuttering. SOFSEM Ivana Cerná, Ondrej Klíma, Jirí Srba
1998	B	`conf`	Deadlocking States in Context-Free Process Algebra. MFCS Jirí Srba