![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Jirí Srba
Person information
- affiliation: Aalborg University, Denmark
- affiliation (former): Aarhus University, Denmark
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c99]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: 2398-2407 - [d4]Csaba Györgyi, Kim Guldstrand Larsen
, Stefan Schmid, Jirí Srba
:
Reproducibility Package for SYPER: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks. Zenodo, 2024 - 2023
- [j37]Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel:
Labeled Transition Systems. Arch. Formal Proofs 2023 (2023) - [j36]Anders Schlichtkrull, Morten Konggaard Schou, Jirí Srba, Dmitriy Traytel:
Pushdown Systems. Arch. Formal Proofs 2023 (2023) - [j35]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): 20 (2023) - [j34]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: 102987 (2023) - [j33]Kim G. Larsen
, Anders Mariegaard, Stefan Schmid
, Jirí Srba
:
AllSynth: A BDD-based approach for network update synthesis. Sci. Comput. Program. 230: 102992 (2023) - [c98]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: 113-130 - [c97]Morten Konggaard Schou
, Ingmar Poese, Jirí Srba
:
Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise. PRDC 2023: 64-70 - [c96]Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
, Nikolaj Jensen Ulrik:
Elimination of Detached Regions in Dependency Graph Verification. SPIN 2023: 163-179 - [c95]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: 180-187 - 2022
- [j32]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): 297-320 (2022) - [j31]Søren Enevoldsen, Kim Guldstrand Larsen
, Jirí Srba
:
Extended abstract dependency graphs. Int. J. Softw. Tools Technol. Transf. 24(1): 49-65 (2022) - [j30]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): 766-781 (2022) - [c94]Peter Gjøl Jensen
, Stefan Schmid
, Morten Konggaard Schou
, Jirí Srba
:
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems. ATVA 2022: 225-230 - [c93]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: 327-333 - [c92]Kim G. Larsen
, Christian Schilling
, Jirí Srba
:
Simulation Relations and Applications in Formal Methods. Principles of Systems Design 2022: 272-291 - [c91]Juan Vanerio, Stefan Schmid
, Morten Konggaard Schou
, Jirí Srba
:
MPLS-Kit: An MPLS Data Plane Toolkit. CloudNet 2022: 49-54 - [c90]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: 55-60 - [c89]Stefan Schmid
, Morten Konggaard Schou
, Jirí Srba
, Juan Vanerio:
R-MPLS: recursive protection for highly dependable MPLS networks. CoNEXT 2022: 276-292 - [c88]Pieter Cuijpers, Stefan Schmid
, Nicolas Schnepf, Jirí Srba
:
The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures. DSN 2022: 239-250 - [c87]Anders Schlichtkrull
, Morten Konggaard Schou
, Jirí Srba
, Dmitriy Traytel:
Differential Testing of Pushdown Reachability with a Formally Verified Oracle. FMCAD 2022: 369-379 - [c86]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: 249-267 - [c85]Kim Guldstrand Larsen
, Anders Mariegaard, Stefan Schmid
, Jirí Srba
:
AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences. TASE 2022: 344-362 - [c84]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: 363-380 - [c83]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: 151-173 - [d3]Peter Gjøl Jensen
, Stefan Schmid
, Morten Konggaard Schou
, Jirí Srba
:
Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems". Zenodo, 2022 - [d2]Stefan Schmid
, Morten Konggaard Schou
, Jirí Srba
, Juan Vanerio
:
Artifact for "R-MPLS: Recursive Protection for Highly Dependable MPLS Networks". Zenodo, 2022 - [i6]Alexander Bilgram, Peter Gjøl Jensen, Thomas Pedersen, Jirí Srba, Peter Haahr Taankvist:
Methods for Efficient Unfolding of Colored Petri Nets. CoRR abs/2204.07039 (2022) - 2021
- [j29]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) - [c82]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: 13-18 - [c81]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: 118-137 - [c80]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: 170-186 - [c79]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: 32-49 - [c78]Alexander Bilgram, Peter Gjøl Jensen
, Thomas Pedersen, Jirí Srba
, Jakob Haahr Taankvist:
Improvements in Unfolding of Colored Petri Nets. RP 2021: 69-84 - [c77]Stefan Schmid, Nicolas Schnepf, Jirí Srba
:
Resilient Capacity-Aware Routing. TACAS (1) 2021: 411-429 - [d1]Peter Gjøl Jensen
, Stefan Schmid
, Morten Konggaard Schou
, Jirí Srba
, Juan Vanerio
, Ingo van Duijn:
Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification". Zenodo, 2021 - [i5]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 abs/2104.12509 (2021) - 2020
- [j28]Niels Christensen, Mark Glavind, Stefan Schmid
, Jirí Srba
:
Latte: Improving the Latency of Transiently Consistent Network Update Schedules. SIGMETRICS Perform. Evaluation Rev. 48(3): 14-26 (2020) - [j27]Søren Enevoldsen, Kim G. Larsen
, Anders Mariegaard, Jirí Srba
:
Dependency graphs with applications to verification. Int. J. Softw. Tools Technol. Transf. 22(5): 635-654 (2020) - [c76]Isabella Kaufmann, Kim Guldstrand Larsen
, Jirí Srba
:
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions. Petri Nets 2020: 46-66 - [c75]Shyam Lal Karra, Kim Guldstrand Larsen
, Marco Muñiz
, Jirí Srba
:
On-the-Fly Synthesis for Strictly Alternating Games. Petri Nets 2020: 109-128 - [c74]Kim G. Larsen
, Marius Mikucionis
, Marco Muñiz
, Jirí Srba
:
Urgent Partial Order Reduction for Extended Timed Automata. ATVA 2020: 179-195 - [c73]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: 474-481 - [c72]Søren Enevoldsen, Mathias Claus Jensen, Kim Guldstrand Larsen
, Anders Mariegaard, Jirí Srba
:
Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs. LOPSTR 2020: 249-268
2010 – 2019
- 2019
- [j26]Kim G. Larsen
, Jirí Srba
:
Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16). J. Log. Algebraic Methods Program. 107: 177-178 (2019) - [j25]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: 46-63 (2019) - [j24]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: 28-46 (2019) - [c71]Frederik M. Bønneland, Peter Gjøl Jensen
, Kim G. Larsen
, Marco Muñiz
, Jirí Srba
:
Partial Order Reduction for Reachability Games. CONCUR 2019: 23:1-23:15 - [c70]Shyam Lal Karra, Kim Guldstrand Larsen
, Florian Lorber, Jirí Srba
:
Safe and Time-Optimal Control for Railway Games. RSSRail 2019: 106-122 - [c69]Søren Enevoldsen, Kim Guldstrand Larsen
, Jirí Srba
:
Model Verification Through Dependency Graphs. SPIN 2019: 1-19 - [c68]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: 50-68 - [c67]Søren Enevoldsen, Kim Guldstrand Larsen
, Jirí Srba
:
Abstract Dependency Graphs and Their Application to Model Checking. TACAS (1) 2019: 316-333 - [i4]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 abs/1912.09875 (2019) - 2018
- [j23]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): 351-381 (2018) - [j22]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): 529-546 (2018) - [j21]Kim G. Larsen
, Igor Potapov, Jirí Srba
:
Reachability problems: Special issue. Theor. Comput. Sci. 750: 1 (2018) - [j20]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: 181-209 (2018) - [c66]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: 143-163 - [c65]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: 527-546 - [c64]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: 217-227 - [c63]Stefan Schmid
, Jirí Srba
:
Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks. INFOCOM 2018: 1799-1807 - [c62]Dmitry Ivanov, Kim G. Larsen
, Sibylle Schupp, Jirí Srba
:
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. QEST 2018: 173-189 - 2017
- [c61]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: 139-158 - [c60]Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
:
PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. ICTAC 2017: 248-265 - [c59]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
:
Recording and evaluation of high resolution optical meteor spectra and comparative laboratory measurements using laser ablation of solid meteorite specimens. ICTON 2017: 1-4 - 2016
- [j19]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): 409-426 (2016) - [j18]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: 307-318 (2016) - [c58]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: 5296-5301 - [c57]Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Kim Guldstrand Larsen
, Jirí Srba
:
Distributed Computation of Fixed Points on Dependency Graphs. SETTA 2016: 197-212 - [c56]Peter Gjøl Jensen
, Kim Guldstrand Larsen
, Jirí Srba
:
Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. SPIN 2016: 129-146 - [c55]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: 244-259 - [e3]Kim Guldstrand Larsen, Igor Potapov, Jirí Srba:
Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Lecture Notes in Computer Science 9899, Springer 2016, ISBN 978-3-319-45993-6 [contents] - [e2]Thomas Brihaye, Benoît Delahaye
, Loïg Jezequel
, Nicolas Markey, Jirí Srba:
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. EPTCS 220, 2016 [contents] - 2015
- [j17]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): 269-297 (2015) - [j16]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): 89-121 (2015) - [c54]Jan Kretínský, Kim Guldstrand Larsen
, Simon Laursen
, Jirí Srba
:
Polynomial Time Decidability of Weighted Synchronization under Partial Observability. CONCUR 2015: 142-154 - [c53]Nikola Benes
, Peter Bezdek, Kim Guldstrand Larsen
, Jirí Srba
:
Language Emptiness of Continuous-Time Parametric Timed Automata. ICALP (2) 2015: 69-81 - [c52]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: 573-582 - [i3]Nikola Benes, Peter Bezdek, Kim G. Larsen, Jirí Srba:
Language Emptiness of Continuous-Time Parametric Timed Automata. CoRR abs/1504.07838 (2015) - 2014
- [j15]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: 3-28 (2014) - [c51]José Antonio Mateo, Jirí Srba
, Mathias Grund Sørensen:
Soundness of Timed-Arc Workflow Nets. Petri Nets 2014: 51-70 - [c50]Kim Guldstrand Larsen
, Simon Laursen
, Jirí Srba
:
Synchronizing Strategies under Partial Observability. CONCUR 2014: 188-202 - [c49]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: 237-251 - [c48]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: 307-312 - 2013
- [j14]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): 125-147 (2013) - [c47]Jonas Finnemann Jensen, Kim Guldstrand Larsen
, Jirí Srba
, Lars Kaerlund Oestergaard:
Local Model Checking of Weighted CTL with Upper-Bound Constraints. SPIN 2013: 178-195 - [p3]Didier Lime
, Olivier H. Roux, Jirí Srba
:
Models for Real-Time Embedded Systems. Communicating Embedded Systems 2013: 1-37 - [p2]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:
Tools for Model-Checking Timed Systems. Communicating Embedded Systems 2013: 165-225 - [i2]Petr Jancar, Jirí Srba:
Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes. CoRR abs/1303.0780 (2013) - 2012
- [j13]Nikola Benes
, Jan Kretínský, Kim G. Larsen
, Jirí Srba
:
EXPTIME-completeness of thorough refinement on modal transition systems. Inf. Comput. 218: 54-68 (2012) - [j12]Line Juhl, Kim G. Larsen
, Jirí Srba
:
Modal transition systems with weight intervals. J. Log. Algebraic Methods Program. 81(4): 408-421 (2012) - [j11]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): 581-617 (2012) - [c46]Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba
, Naijun Zhan, Jiaqi Zhu:
Unblockable compositions of software components. CBSE 2012: 103-108 - [c45]Cristiano Bertolini, Zhiming Liu, Jirí Srba
:
Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. FHIES 2012: 19-36 - [c44]Nikola Benes
, Jan Kretínský, Kim Guldstrand Larsen
, Mikael H. Møller, Jirí Srba
:
Dual-Priced Modal Transition Systems with Time Durations. LPAR 2012: 122-137 - [c43]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: 69-81 - [c42]Kim G. Larsen
, Simon Laursen
, Jirí Srba
:
Action Investment Energy Games. MEMICS 2012: 155-167 - [c41]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: 492-497 - [c40]Sebastian S. Bauer, Line Juhl, Kim G. Larsen
, Jirí Srba
, Axel Legay:
A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. TASE 2012: 77-84 - [c39]Alexandre David, Lasse Jacobsen, Morten Jacobsen, Jirí Srba
:
A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets. SSV 2012: 125-140 - [c38]Kenneth Yrke Jørgensen, Kim G. Larsen
, Jirí Srba
:
Time-Darts: A Data Structure for Verification of Closed Timed Automata. SSV 2012: 141-155 - [p1]Luca Aceto, Anna Ingólfsdóttir, Jirí Srba:
The algorithmics of bisimilarity. Advanced Topics in Bisimulation and Coinduction 2012: 100-172 - 2011
- [c37]Nikola Benes
, Jan Kretínský, Kim G. Larsen
, Mikael H. Møller, Jirí Srba
:
Parametric Modal Transition Systems. ATVA 2011: 275-289 - [c36]Uli Fahrenberg, Line Juhl, Kim G. Larsen
, Jirí Srba
:
Energy Games in Multiweighted Automata. ICTAC 2011: 95-115 - [c35]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: 487-493 - [c34]Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba
:
Verification of Timed-Arc Petri Nets. SOFSEM 2011: 46-72 - [c33]Anders P. Ravn, Jirí Srba
, Muhammad Saleem Vighio:
Modelling and Verification of Web Services Business Activity Protocol. TACAS 2011: 357-371 - 2010
- [c32]Jirí Srba
:
An experiment with using Google tools for project supervision at tertiary education. CompSysTech 2010: 430-435 - [c31]Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba
:
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking. EPEW 2010: 83-98 - [c30]Anders P. Ravn, Jirí Srba
, Muhammad Saleem Vighio
:
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. ISoLA (1) 2010: 579-593
2000 – 2009
- 2009
- [j10]Jirí Srba:
Beyond Language Equivalence on Visibly Pushdown Automata. Log. Methods Comput. Sci. 5(1) (2009) - [j9]Nikola Benes
, Jan Kretínský, Kim Guldstrand Larsen
, Jirí Srba
:
On determinism in modal transition systems. Theor. Comput. Sci. 410(41): 4026-4043 (2009) - [c29]Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba
:
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. ATVA 2009: 84-89 - [c28]Morten Kühnrich, Stefan Schwoon, Jirí Srba
, Stefan Kiefer:
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FoSSaCS 2009: 440-455 - [c27]Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba
:
An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. ICFEM 2009: 698-716 - [c26]Nikola Benes
, Jan Kretínský, Kim Guldstrand Larsen
, Jirí Srba
:
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete. ICTAC 2009: 112-126 - [c25]Luca Aceto, Anna Ingólfsdóttir, Kim Guldstrand Larsen
, Jirí Srba
:
Teaching Concurrency: Theory in Practice. TFM 2009: 158-175 - [i1]Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer:
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. CoRR abs/0901.0501 (2009) - 2008
- [j8]Petr Jancar
, Jirí Srba
:
Undecidability of bisimilarity by defender's forcing. J. ACM 55(1): 5:1-5:26 (2008) - [c24]Jirí Srba
:
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets. FORMATS 2008: 15-32 - [c23]Patricia Bouyer, Ulrich Fahrenberg, Kim Guldstrand Larsen
, Nicolas Markey
, Jirí Srba
:
Infinite Runs in Weighted Timed Automata with Energy Constraints. FORMATS 2008: 33-47 - 2007
- [c22]Dirk Nowotka, Jirí Srba:
Height-Deterministic Pushdown Automata. MFCS 2007: 125-134 - 2006
- [j7]Hans Hüttel
, Jirí Srba:
Decidability Issues for Extended Ping-Pong Protocols. J. Autom. Reason. 36(1-2): 125-147 (2006) - [c21]Giorgio Delzanno, Javier Esparza
, Jirí Srba
:
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. ATVA 2006: 415-429 - [c20]Jirí Srba
:
Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. CSL 2006: 89-103 - [c19]Petr Jancar
, Jirí Srba
:
Undecidability Results for Bisimilarity on Prefix Rewrite Systems. FoSSaCS 2006: 277-291 - [e1]Jirí Srba, Scott A. Smolka:
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 149(1), Elsevier 2006 [contents] - 2005
- [c18]Jirí Srba
:
Timed-Arc Petri Nets vs. Networks of Timed Automata. ICATPN 2005: 385-402 - [c17]Jirí Srba
:
On Counting the Number of Consistent Genotype Assignments for Pedigrees. FSTTCS 2005: 470-482 - [c16]Hans Hüttel, Jirí Srba:
Recursion Versus Replication in Simple Cryptographic Protocols. SOFSEM 2005: 178-187 - [c15]Jirí Srba, Scott A. Smolka:
Preface. INFINITY 2005: 1-2 - 2004
- [j6]Faron Moller
, Scott A. Smolka, Jirí Srba:
On the computational complexity of bisimulation, redux. Inf. Comput. 194(2): 129-143 (2004) - [c14]Petr Jancar
, Jirí Srba:
Highly Undecidable Questions for Process Algebras. IFIP TCS 2004: 507-520 - 2003
- [j5]Jirí Srba:
Strong bisimilarity of simple process algebras: complexity lower bounds. Acta Informatica 39(6-7): 469-499 (2003) - [j4]Marcin Jurdzinski
, Mogens Nielsen, Jirí Srba:
Undecidability of domino games and hhp-bisimilarity. Inf. Comput. 184(2): 343-368 (2003) - [j3]Jirí Srba:
Complexity Of Weak Bisimilarity And Regularity For Bpa And Bpp. Math. Struct. Comput. Sci. 13(4): 567-587 (2003) - [c13]Jirí Srba:
Completeness Results for Undecidable Bisimilarity Problems. INFINITY 2003: 5-19 - 2002
- [j2]Jirí Srba:
Roadmap of Infinite Results. Bull. EATCS 78: 163-175 (2002) - [c12]Jirí Srba:
Undecidability of Weak Bisimilarity for Pushdown Processes. CONCUR 2002: 579-593 - [c11]Jirí Srba:
Undecidability of Weak Bisimilarity for PA-Processes. Developments in Language Theory 2002: 197-208 - [c10]Jirí Srba:
Note on the Tableau Technique for Commutative Transition Systems. FoSSaCS 2002: 387-401 - [c9]Jirí Srba:
Strong Bisimilarity and Regularity of Basic Process Algebra Is PSPACE-Hard. ICALP 2002: 716-727 - [c8]Jirí Srba:
Strong Bisimilarity and Regularity of Basic Parallel Processes Is PSPACE-Hard. STACS 2002: 535-546 - 2001
- [j1]Jirí Srba:
Basic process algebra with deadlocking states. Theor. Comput. Sci. 266(1-2): 605-630 (2001) - [c7]Mogens Nielsen, Vladimiro Sassone, Jirí Srba:
Towards a Notion of Distributed Time for Petri Nets. ICATPN 2001: 23-31 - [c6]Jirí Srba:
On the Power of Labels in Transition Systems. CONCUR 2001: 277-291 - [c5]Mogens Nielsen, Vladimiro Sassone, Jirí Srba:
Properties of Distributed Timed-Arc Petri Nets. FSTTCS 2001: 280-291 - 2000
- [c4]Ondrej Klíma, Jirí Srba:
Matching Modulo Associativity and Idempotency Is NP-Complete. MFCS 2000: 456-466 - [c3]Jirí Srba:
Complexity of Weak Bisimilarity and Regularity for BPA and BPP. EXPRESS 2000: 79-93
1990 – 1999
- 1999
- [c2]Ivana Cerná
, Ondrej Klíma, Jirí Srba:
Pattern Equations and Equations with Stuttering. SOFSEM 1999: 369-378 - 1998
- [c1]Jirí Srba:
Deadlocking States in Context-Free Process Algebra. MFCS 1998: 388-398
Coauthor Index
aka: Kim Guldstrand Larsen
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint