Jirí Srba

According to our database, Jirí Srba authored at least 144 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Reproducibility Package for SYPER: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks.

Csaba Györgyi, Kim Guldstrand Larsen, Stefan Schmid, Jirí Srba

Dataset, January, 2024

SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks.

Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba

Proceedings of the IEEE INFOCOM 2024, 2024

SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks.

Csaba Györgyi, Kim G. Larsen, Stefan Schmid, Jirí Srba

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

2023

Kaki: Efficient Concurrent Update Synthesis for SDN.

Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Jirí Srba, Rasmus G. Tollund

Formal Aspects Comput., September, 2023

AllSynth: A BDD-based approach for network update synthesis.

Kim G. Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba

Sci. Comput. Program., August, 2023

A toolchain for domestic heat-pump control using Uppaal Stratego.

Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba

Sci. Comput. Program., August, 2023

Pushdown Systems.

Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel

Arch. Formal Proofs, 2023

Labeled Transition Systems.

Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel

Arch. Formal Proofs, 2023

Elimination of Detached Regions in Dependency Graph Verification.

Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Nikolaj Jensen Ulrik

Proceedings of the Model Checking Software - 29th International Symposium, 2023

Potency-Based Heuristic Search with Randomness for Explicit Model Checking.

Emil G. Henriksen, Alan M. Khorsid, Esben Nielsen, Theodor Risager, Jirí Srba, Adam M. Stück, Andreas S. Sørensen

Proceedings of the Model Checking Software - 29th International Symposium, 2023

Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise.

Morten Konggaard Schou, Ingmar Poese, Jirí Srba

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control.

Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022

Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks".

Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio

Dataset, October, 2022

Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems".

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba

Dataset, August, 2022

Automata-Theoretic Approach to Verification of MPLS Networks Under Link Failures.

Ingo van Duijn, Peter Gjøl Jensen, Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen

IEEE/ACM Trans. Netw., 2022

Extended abstract dependency graphs.

Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba

Int. J. Softw. Tools Technol. Transf., 2022

Methods for Efficient Unfolding of Colored Petri Nets.

Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist

Fundam. Informaticae, 2022

Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking.

Peter Gjøl Jensen, Jirí Srba, Nikolaj Jensen Ulrik, Simon Mejlby Virenfeldt

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences.

Kim Guldstrand Larsen, Anders Mariegaard, Stefan Schmid, Jirí Srba

Proceedings of the Theoretical Aspects of Software Engineering, 2022

End-to-End Heat-Pump Control Using Continuous Time Stochastic Modelling and Uppaal Stratego.

Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Theoretical Aspects of Software Engineering, 2022

Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games.

Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Jirí Srba, Rasmus G. Tollund

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

Differential Testing of Pushdown Reachability with a Formally Verified Oracle.

Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures.

Pieter Cuijpers, Stefan Schmid, Nicolas Schnepf, Jirí Srba

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

R-MPLS: recursive protection for highly dependable MPLS networks.

Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio

Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies, 2022

MPLS-Kit: An MPLS Data Plane Toolkit.

Juan Vanerio, Stefan Schmid, Morten Konggaard Schou, Jirí Srba

Proceedings of the 11th IEEE International Conference on Cloud Networking, 2022

FBR: Dynamic Memory-Aware Fast Rerouting.

Nicklas S. Johansen, Lasse B. Kær, Andreas L. Madsen, Kristian Ø. Nielsen, Stefan Schmid, Jirí Srba, Rasmus G. Tollund

Proceedings of the 11th IEEE International Conference on Cloud Networking, 2022

Simulation Relations and Applications in Formal Methods.

Kim G. Larsen, Christian Schilling, Jirí Srba

Proceedings of the Principles of Systems Design, 2022

PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems.

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 2022

STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego.

Martijn A. Goorden, Peter Gjøl Jensen, Kim G. Larsen, Mihhail Samusev, Jirí Srba, Guohan Zhao

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification".

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn

Dataset, June, 2021

Stubborn Set Reduction for Two-Player Reachability Games.

Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba

Log. Methods Comput. Sci., 2021

Resilient Capacity-Aware Routing.

Stefan Schmid, Nicolas Schnepf, Jirí Srba

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Improvements in Unfolding of Colored Petri Nets.

Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Jakob Haahr Taankvist

Proceedings of the Reachability Problems - 15th International Conference, 2021

Stubborn Set Reduction for Timed Reachability and Safety Games.

Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

Faster Pushdown Reachability Analysis with Applications in Network Verification.

Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jirí Srba, Juan Vanerio, Ingo van Duijn

Proceedings of the Automated Technology for Verification and Analysis, 2021

Automatic Synthesis of Transiently Correct Network Updates via Petri Games.

Martin Didriksen, Peter Gjøl Jensen, Jonathan F. Jønler, Andrei-Ioan Katona, Sangey D. L. Lama, Frederik B. Lottrup, Shahab Shajarat, Jirí Srba

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021

Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds.

Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Dependency graphs with applications to verification.

Søren Enevoldsen, Kim G. Larsen, Anders Mariegaard, Jirí Srba

Int. J. Softw. Tools Technol. Transf., 2020

Latte: Improving the Latency of Transiently Consistent Network Update Schedules.

Niels Christensen, Mark Glavind, Stefan Schmid, Jirí Srba

SIGMETRICS Perform. Evaluation Rev., 2020

Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs.

Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen, Anders Mariegaard, Jirí Srba

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

AalWiNes: a fast and quantitative what-if analysis tool for MPLS networks.

Peter Gjøl Jensen, Dan Kristiansen, Stefan Schmid, Morten Konggaard Schou, Bernhard Clemens Schrenk, Jirí Srba

Proceedings of the CoNEXT '20: The 16th International Conference on emerging Networking EXperiments and Technologies, 2020

Urgent Partial Order Reduction for Extended Timed Automata.

Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 2020

Synthesis for Multi-weighted Games with Branching-Time Winning Conditions.

Isabella Kaufmann, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

On-the-Fly Synthesis for Strictly Alternating Games.

Shyam Lal Karra, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020

2019

Model checking and synthesis for branching multi-weighted logics.

Lasse S. Jensen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Jirí Srba

J. Log. Algebraic Methods Program., 2019

Stubborn versus structural reductions for Petri nets.

Frederik M. Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba

J. Log. Algebraic Methods Program., 2019

Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16).

Kim G. Larsen, Jirí Srba

J. Log. Algebraic Methods Program., 2019

Abstract Dependency Graphs and Their Application to Model Checking.

Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Presentation of the 9th Edition of the Model Checking Contest.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Model Verification Through Dependency Graphs.

Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Safe and Time-Optimal Control for Railway Games.

Shyam Lal Karra, Kim Guldstrand Larsen, Florian Lorber, Jirí Srba

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

Partial Order Reduction for Reachability Games.

Frederik M. Bønneland, Peter Gjøl Jensen, Kim G. Larsen, Marco Muñiz, Jirí Srba

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

MCC'2017 - The Seventh Model Checking Contest.

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

Trans. Petri Nets Other Model. Concurr., 2018

Reachability problems: Special issue.

Kim G. Larsen, Igor Potapov, Jirí Srba

Theor. Comput. Sci., 2018

Discrete and continuous strategies for timed-arc Petri net games.

Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba

Int. J. Softw. Tools Technol. Transf., 2018

A Distributed Fixed-Point Algorithm for Extended Dependency Graphs.

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

Fundam. Informaticae, 2018

Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems.

Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks.

Stefan Schmid, Jirí Srba

Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

P-Rex: fast verification of MPLS networks with multiple link failures.

Jesper Stenbjerg Jensen, Troels Beck Krøgh, Jonas Sand Madsen, Stefan Schmid, Jirí Srba, Marc Tom Thorgersen

Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies, 2018

Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems.

Frederik M. Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jirí Srba

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Simplification of CTL Formulae for Efficient Model Checking of Petri Nets.

Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

2017

Recording and evaluation of high resolution optical meteor spectra and comparative laboratory measurements using laser ablation of solid meteorite specimens.

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

Proceedings of the 2017 19th International Conference on Transparent Optical Networks (ICTON), 2017

PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing.

Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation.

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

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017

2016

TAPAAL and Reachability Analysis of P/T Nets.

Jonas Finnemann Jensen, Thomas Nielsen, Lars Kaerlund Oestergaard, Jirí Srba

Trans. Petri Nets Other Model. Concurr., 2016

Efficient model-checking of weighted CTL with upper-bound constraints.

Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard

Int. J. Softw. Tools Technol. Transf., 2016

Online and Compositional Learning of Controllers with Application to Floor Heating.

Kim G. Larsen, Marius Mikucionis, Marco Muñiz, Jirí Srba, Jakob Haahr Taankvist

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization.

Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Distributed Computation of Fixed Points on Dependency Graphs.

Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Toolchain for user-centered intelligent floor heating control.

Mads Kronborg Agesen, Kim Guldstrand Larsen, Marius Mikucionis, Marco Muñiz, Petur Olsen, Thomas Pedersen, Jirí Srba, Arne Skou

Proceedings of the IECON 2016, 2016

2015

Soundness of Timed-Arc Workflow Nets in Discrete and Continuous-Time Semantics.

José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen

Fundam. Informaticae, 2015

Refinement checking on parametric modal transition systems.

Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Salomon Sickert, Jirí Srba

Acta Informatica, 2015

CAAL: Concurrency Workbench, Aalborg Edition.

Jesper Rank Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jirí Srba, Jacob K. Wortmann

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Language Emptiness of Continuous-Time Parametric Timed Automata.

Nikola Benes, Peter Bezdek, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Polynomial Time Decidability of Weighted Synchronization under Partial Observability.

Jan Kretínský, Kim Guldstrand Larsen, Simon Laursen, Jirí Srba

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

TCTL-preserving translations from timed-arc Petri nets to networks of timed automata.

Joakim Byg, Morten Jacobsen, Lasse Jacobsen, Kenneth Yrke Jørgensen, Mikael Harkjær Møller, Jirí Srba

Theor. Comput. Sci., 2014

Memory Efficient Data Structures for Explicit Verification of Timed Systems.

Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets.

Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jirí Srba

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

Synchronizing Strategies under Partial Observability.

Kim Guldstrand Larsen, Simon Laursen, Jirí Srba

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Soundness of Timed-Arc Workflow Nets.

José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Model-checking web services business activity protocols.

Abinoam P. Marques Jr., Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio

Int. J. Softw. Tools Technol. Transf., 2013

Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes

Petr Jancar, Jirí Srba

CoRR, 2013

Local Model Checking of Weighted CTL with Upper-Bound Constraints.

Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard

Proceedings of the Model Checking Software - 20th International Symposium, 2013

Models for Real-Time Embedded Systems.

Didier Lime, Olivier H. Roux, Jirí Srba

Proceedings of the Communicating Embedded Systems, 2013

Tools for Model-Checking Timed 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

Proceedings of the Communicating Embedded Systems, 2013

2012

Extending modal transition systems with structured labels.

Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Axel Legay, Jirí Srba

Math. Struct. Comput. Sci., 2012

Modal transition systems with weight intervals.

Line Juhl, Kim G. Larsen, Jirí Srba

J. Log. Algebraic Methods Program., 2012

EXPTIME-completeness of thorough refinement on modal transition systems.

Nikola Benes, Jan Kretínský, Kim G. Larsen, Jirí Srba

Inf. Comput., 2012

Time-Darts: A Data Structure for Verification of Closed Timed Automata

Kenneth Yrke Jørgensen, Kim G. Larsen, Jirí Srba

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets

Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata.

Sebastian S. Bauer, Line Juhl, Kim G. Larsen, Jirí Srba, Axel Legay

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets.

Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Action Investment Energy Games.

Kim G. Larsen, Simon Laursen, Jirí Srba

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012

Verification of Liveness Properties on Closed Timed-Arc Petri Nets.

Mathias Andersen, Heine Gatten Larsen, Jirí Srba, Mathias Grund Sørensen, Jakob Haahr Taankvist

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012

Dual-Priced Modal Transition Systems with Time Durations.

Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Mikael H. Møller, Jirí Srba

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets.

Cristiano Bertolini, Zhiming Liu, Jirí Srba

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Unblockable compositions of software components.

Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

The algorithmics of bisimilarity.

Luca Aceto, Anna Ingólfsdóttir, Jirí Srba

Proceedings of the Advanced Topics in Bisimulation and Coinduction., 2012

2011

Modelling and Verification of Web Services Business Activity Protocol.

Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Verification of Timed-Arc Petri Nets.

Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

opaal: A Lattice Model Checker.

Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba

Proceedings of the NASA Formal Methods, 2011

Energy Games in Multiweighted Automata.

Uli Fahrenberg, Line Juhl, Kim G. Larsen, Jirí Srba

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

Parametric Modal Transition Systems.

Nikola Benes, Jan Kretínský, Kim G. Larsen, Mikael H. Møller, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL.

Anders P. Ravn, Jirí Srba, Muhammad Saleem Vighio

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking.

Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba

Proceedings of the Computer Performance Engineering, 2010

An experiment with using Google tools for project supervision at tertiary education.

Jirí Srba

Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, 2010

2009

On determinism in modal transition systems.

Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba

Theor. Comput. Sci., 2009

Beyond Language Equivalence on Visibly Pushdown Automata

Jirí Srba

Log. Methods Comput. Sci., 2009

Teaching Concurrency: Theory in Practice.

Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.

Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba

Proceedings of the Theoretical Aspects of Computing, 2009

An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata.

Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba

Proceedings of the Formal Methods and Software Engineering, 2009

Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains.

Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer

Proceedings of the Foundations of Software Science and Computational Structures, 2009

TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets.

Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Undecidability of bisimilarity by defender's forcing.

Petr Jancar, Jirí Srba

J. ACM, 2008

Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets.

Jirí Srba

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Infinite Runs in Weighted Timed Automata with Energy Constraints.

Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jirí Srba

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007

Height-Deterministic Pushdown Automata.

Dirk Nowotka, Jirí Srba

Proceedings of the Mathematical Foundations of Computer Science 2007, 2007

2006

Decidability Issues for Extended Ping-Pong Protocols.

Hans Hüttel, Jirí Srba

J. Autom. Reason., 2006

Undecidability Results for Bisimilarity on Prefix Rewrite Systems.

Petr Jancar, Jirí Srba

Proceedings of the Foundations of Software Science and Computation Structures, 2006

Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation.

Jirí Srba

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols.

Giorgio Delzanno, Javier Esparza, Jirí Srba

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Preface.

Jirí Srba, Scott A. Smolka

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005

Recursion Versus Replication in Simple Cryptographic Protocols.

Hans Hüttel, Jirí Srba

Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

On Counting the Number of Consistent Genotype Assignments for Pedigrees.

Jirí Srba

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Timed-Arc Petri Nets vs. Networks of Timed Automata.

Jirí Srba

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

On the computational complexity of bisimulation, redux.

Faron Moller, Scott A. Smolka, Jirí Srba

Inf. Comput., 2004

Highly Undecidable Questions for Process Algebras.

Petr Jancar, Jirí Srba

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

Undecidability of domino games and hhp-bisimilarity.

Marcin Jurdzinski, Mogens Nielsen, Jirí Srba

Inf. Comput., 2003

Completeness Results for Undecidable Bisimilarity Problems.

Jirí Srba

Proceedings of INFINITY 2003, 2003

Strong bisimilarity of simple process algebras: complexity lower bounds.

Jirí Srba

Acta Informatica, 2003

2002

Roadmap of Infinite Results.

Jirí Srba

Bull. EATCS, 2002

Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard.

Jirí Srba

Proceedings of the STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes, 2002

Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard.

Jirí Srba

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

Note on the Tableau Technique for Commutative Transition Systems.

Jirí Srba

Proceedings of the Foundations of Software Science and Computation Structures, 2002

Undecidability of Weak Bisimilarity for PA-Processes.

Jirí Srba

Proceedings of the Developments in Language Theory, 6th International Conference, 2002

Undecidability of Weak Bisimilarity for Pushdown Processes.

Jirí Srba

Proceedings of the CONCUR 2002, 2002

2001

Basic process algebra with deadlocking states.

Jirí Srba

Theor. Comput. Sci., 2001

Properties of Distributed Timed-Arc Petri Nets.

Mogens Nielsen, Vladimiro Sassone, Jirí Srba

Proceedings of the FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science, 2001

On the Power of Labels in Transition Systems.

Jirí Srba

Proceedings of the CONCUR 2001, 2001

Towards a Notion of Distributed Time for Petri Nets.

Mogens Nielsen, Vladimiro Sassone, Jirí Srba

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

Complexity of Weak Bisimilarity and Regularity for BPA and BPP.

Jirí Srba

Proceedings of the 7th International Workshop on Expressiveness in Concurrency, 2000

Matching Modulo Associativity and Idempotency Is NP-Complete.

Ondrej Klíma, Jirí Srba

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

1999

Pattern Equations and Equations with Stuttering.

Ivana Cerná, Ondrej Klíma, Jirí Srba

Proceedings of the SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27, 1999

1998

Deadlocking States in Context-Free Process Algebra.

Jirí Srba

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998