Jirí Srba

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 68

Top Venues

Petri Nets

Int. J. Softw. Tools Technol. Transf.

ATVA

SPIN

Publications

Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba
SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. INFOCOM (2024)
Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. FMICS (2023)
Kim G. Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba
AllSynth: A BDD-based approach for network update synthesis. Sci. Comput. Program. 230 (2023)
Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
Labeled Transition Systems. Arch. Formal Proofs 2023 (2023)
Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Theodor Risager, Jirí Srba, Adam M. Stück, Andreas S. Sørensen
Potency-Based Heuristic Search with Randomness for Explicit Model Checking. SPIN (2023)
Morten Konggaard Schou, Ingmar Poese, Jirí Srba
Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise. PRDC (2023)
Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
A toolchain for domestic heat-pump control using Uppaal Stratego. Sci. Comput. Program. 230 (2023)
Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Jirí Srba, Rasmus G. Tollund
Kaki: Efficient Concurrent Update Synthesis for SDN. Formal Aspects Comput. 35 (3) (2023)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik
Elimination of Detached Regions in Dependency Graph Verification. SPIN (2023)
Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
Pushdown Systems. Arch. Formal Proofs 2023 (2023)
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist
Methods for Efficient Unfolding of Colored Petri Nets. Fundam. Informaticae 189 (3-4) (2022)
Kim G. Larsen, Christian Schilling, Jirí Srba
Simulation Relations and Applications in Formal Methods. Principles of Systems Design (2022)
Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Jirí Srba, Rasmus G. Tollund
Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games. IFM (2022)
Peter Gjøl Jensen, Jirí Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt
Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking. VMCAI (2022)
Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba
AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. TASE (2022)
Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao
STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego. ATVA (2022)
Ingo van Duijn, Peter Gjøl Jensen, Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen
Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures. IEEE/ACM Trans. Netw. 30 (2) (2022)
Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego. TASE (2022)
Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. ATVA (2022)
Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel
Differential Testing of Pushdown Reachability with a Formally Verified Oracle. FMCAD (2022)
Juan Vanerio, Stefan Schmid, Morten Konggaard Schou, Jirí Srba
MPLS-Kit: An MPLS Data Plane Toolkit. CloudNet (2022)
Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio
R-MPLS: recursive protection for highly dependable MPLS networks. CoNEXT (2022)
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist
Methods for Efficient Unfolding of Colored Petri Nets. CoRR (2022)
Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Stefan Schmid, Jirí Srba, Rasmus G. Tollund
FBR: Dynamic Memory-Aware Fast Rerouting. CloudNet (2022)
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
Extended abstract dependency graphs. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Pieter Cuijpers, Stefan Schmid, Nicolas Schnepf, Jirí Srba
The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures. DSN (2022)
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
Stubborn Set Reduction for Two-Player Reachability Games. Log. Methods Comput. Sci. 17 (1) (2021)
Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn
Faster Pushdown Reachability Analysis with Applications in Network Verification. ATVA (2021)
Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba
Stubborn Set Reduction for Timed Reachability and Safety Games. FORMATS (2021)
Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. ADHS (2021)
Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. CoRR (2021)
Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist
Improvements in Unfolding of Colored Petri Nets. RP (2021)
Stefan Schmid, Nicolas Schnepf, Jirí Srba
Resilient Capacity-Aware Routing. TACAS (1) (2021)
Martin Didriksen, Peter Gjøl Jensen, Jonathan F. Jønler, Andrei-Ioan Katona, Sangey D. L. Lama, Frederik B. Lottrup, Shahab Shajarat, Jirí Srba
Automatic Synthesis of Transiently Correct Network Updates via Petri Games. Petri Nets (2021)
Peter Gjøl Jensen, Dan Kristiansen, Stefan Schmid, Morten Konggaard Schou, Bernhard Clemens Schrenk, Jirí Srba
AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks. CoNEXT (2020)
Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. Petri Nets (2020)
Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. LOPSTR (2020)
Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba
Urgent Partial Order Reduction for Extended Timed Automata. ATVA (2020)
Niels Christensen, Mark Glavind, Stefan Schmid, Jirí Srba
Latte: Improving the Latency of Transiently Consistent Network Update Schedules. SIGMETRICS Perform. Evaluation Rev. 48 (3) (2020)
Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba
Dependency graphs with applications to verification. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
On-the-Fly Synthesis for Strictly Alternating Games. Petri Nets (2020)
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
Model Verification Through Dependency Graphs. SPIN (2019)
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
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) (2019)
Kim G. Larsen, Jirí Srba
Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16). J. Log. Algebraic Methods Program. 107 (2019)
Frederik M. Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba
Stubborn versus structural reductions for Petri nets. J. Log. Algebraic Methods Program. 102 (2019)
Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
Stubborn Set Reduction for Two-Player Reachability Games. CoRR (2019)
Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba
Safe and Time-Optimal Control for Railway Games. RSSRail (2019)
Lasse S. Jensen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Jirí Srba
Model checking and synthesis for branching multi-weighted logics. J. Log. Algebraic Methods Program. 105 (2019)
Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
Abstract Dependency Graphs and Their Application to Model Checking. TACAS (1) (2019)
Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba
Partial Order Reduction for Reachability Games. CONCUR (2019)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
Discrete and continuous strategies for timed-arc Petri net games. Int. J. Softw. Tools Technol. Transf. 20 (5) (2018)
Kim G. Larsen, Igor Potapov, Jirí Srba
Reachability problems: Special issue. Theor. Comput. Sci. 750 (2018)
Stefan Schmid, Jirí Srba
Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks. INFOCOM (2018)
Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba
Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. CAV (1) (2018)
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
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundam. Informaticae 161 (4) (2018)
Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. QEST (2018)
Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen
P-Rex: fast verification of MPLS networks with multiple link failures. CoNEXT (2018)
Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. Petri Nets (2018)
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
MCC'2017 - The Seventh Model Checking Contest. Trans. Petri Nets Other Model. Concurr. 13 (2018)
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
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Petri Nets (2017)
Martin Ferus, Jakub Koukal, Libor Lenza, Jirí Srba, Petr Kubelik, Vojtech Laitl, Ekaterina M. Zanozina, Pavel Vana, Tereza Kaiserova, Antonín Knizek, Svatopluk Civis
Recording and evaluation of high resolution optical meteor spectra and comparative laboratory measurements using laser ablation of solid meteorite specimens. ICTON (2017)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. ICTAC (2017)
Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist
Online and Compositional Learning of Controllers with Application to Floor Heating. TACAS (2016)
Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou
Toolchain for user-centered intelligent floor heating control. IECON (2016)
Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard
Efficient model-checking of weighted CTL with upper-bound constraints. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba
Distributed Computation of Fixed Points on Dependency Graphs. SETTA (2016)
Jonas Finnemann Jensen, Thomas Nielsen, Lars Kaerlund Oestergaard, Jirí Srba
TAPAAL and Reachability Analysis of P/T Nets. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. SPIN (2016)
Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jirí Srba
Language Emptiness of Continuous-Time Parametric Timed Automata. ICALP (2) (2015)
José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen
Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics. Fundam. Informaticae 140 (1) (2015)
Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba
Polynomial Time Decidability of Weighted Synchronization under Partial Observability. CONCUR (2015)
Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba
Refinement checking on parametric modal transition systems. Acta Informatica 52 (2-3) (2015)
Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann
CAAL: Concurrency Workbench, Aalborg Edition. ICTAC (2015)
Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba
Language Emptiness of Continuous-Time Parametric Timed Automata. CoRR (2015)
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist
Memory Efficient Data Structures for Explicit Verification of Timed Systems. NASA Formal Methods (2014)
Joakim Byg, Morten Jacobsen, Lasse Jacobsen, Kenneth Yrke Jørgensen, Mikael Harkjær Møller, Jirí Srba
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata. Theor. Comput. Sci. 537 (2014)
Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jirí Srba
Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets. FORMATS (2014)
Kim Guldstrand Larsen, Simon Laursen, Jirí Srba
Synchronizing Strategies under Partial Observability. CONCUR (2014)
José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen
Soundness of Timed-Arc Workflow Nets. Petri Nets (2014)
Abinoam P. Marques Jr., Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio
Model-checking web services business activity protocols. Int. J. Softw. Tools Technol. Transf. 15 (2) (2013)
Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard
Local Model Checking of Weighted CTL with Upper-Bound Constraints. SPIN (2013)
Petr Jancar, Jirí Srba
Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes CoRR (2013)
Kenneth Yrke Jørgensen, Kim G. Larsen, Jirí Srba
Time-Darts: A Data Structure for Verification of Closed Timed Automata SSV (2012)
Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. TACAS (2012)
Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets SSV (2012)
Kim G. Larsen, Simon Laursen, Jirí Srba
Action Investment Energy Games. MEMICS (2012)
Cristiano Bertolini, Zhiming Liu, Jirí Srba
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. FHIES (2012)
Nikola Benes, Jan Kretínský, Kim G. Larsen, Jirí Srba
EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput. 218 (2012)
Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba
Extending modal transition systems with structured labels. Math. Struct. Comput. Sci. 22 (4) (2012)
Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu
Unblockable compositions of software components. CBSE (2012)
Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE (2012)
Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba
Dual-Priced Modal Transition Systems with Time Durations. LPAR (2012)
Line Juhl, Kim G. Larsen, Jirí Srba
Modal transition systems with weight intervals. J. Log. Algebraic Methods Program. 81 (4) (2012)
Mathias Andersen, Heine Gatten Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist
Verification of Liveness Properties on Closed Timed-Arc Petri Nets. MEMICS (2012)
Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio
Modelling and Verification of Web Services Business Activity Protocol. TACAS (2011)
Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba
Parametric Modal Transition Systems. ATVA (2011)
Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba
Energy Games in Multiweighted Automata. ICTAC (2011)
Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba
Verification of Timed-Arc Petri Nets. SOFSEM (2011)
Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba
opaal: A Lattice Model Checker. NASA Formal Methods (2011)
Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. ISoLA (1) (2010)

Jirí Srba.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jirí Srba