Jiřı́ Srba

Aalborg University — Denmark

Computer Science · Physical Sciences

27h-index2.5kcitations231works0.82yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(119), Petri Nets in System Modeling(55), Logic, programming, and type systems(44), Model-Driven Software Engineering Techniques(34), Software-Defined Networks and 5G(26)

Publications231 total

Robust lateral control for scaled autonomous vehicles using LPV polytopic approach
International Journal of Systems Science·2026Open Access
Fast Re-Routing in Networks: On the Complexity of Perfect Resilience
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2026Open Access
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
arXiv (Cornell University)·2025Open Access
TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets
Lecture notes in computer science·2025
Eagle: Vulnerability and Congestion Aware Software Update Synthesis in Softwarized Networks with a 5G Network Case Study
2025Open Access
Towards model-driven heat pump control in a multi-story building
Journal of Building Performance Simulation·2025
ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks
Lecture notes in computer science·2025Open Access
Statistical Model Checking of Stochastic Timed-Arc Petri Nets
Lecture notes in computer science·2025
Token Elimination in Model Checking of Petri Nets
Lecture notes in computer science·2025Open Access
Behind the Scene of the Model Checking Contest, Analysis of Results from 2018 to 2023
Lecture notes in computer science·2024· 1 citedOpen Access
Measurement-Noise Filtering for Automatic Discovery of Flow Splitting Ratios in ISP Networks
Formal Aspects of Computing·2024Open Access
SyRep: Efficient Synthesis and Repair of Fast Re-Route Forwarding Tables for Resilient Networks
2024· 2 citedOpen Access
SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks
2024· 2 citedOpen Access
Optimal control strategies for stormwater detention ponds
Nonlinear Analysis Hybrid Systems·2024· 5 citedOpen Access
Reproducibility Package for SYPER: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks
Zenodo (CERN European Organization for Nuclear Research)·2024· 1 citedOpen Access
Reproducibility Package for SYPER: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks
Zenodo (CERN European Organization for Nuclear Research)·2024· 1 citedOpen Access
Methods for Efficient Unfolding of Colored Petri Nets
Fundamenta Informaticae·2023· 3 citedOpen Access
Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise
2023· 1 citedOpen Access
AllSynth: A BDD-based approach for network update synthesis
Science of Computer Programming·2023· 5 citedOpen Access
Kaki: Efficient Concurrent Update Synthesis for SDN
Formal Aspects of Computing·2023· 1 citedOpen Access
page 1 of 12Next →

Frequent Co-authors

Kim G. Larsen(18), Peter Gjøl Jensen(7), Nikola Beneš(5), Kenneth Yrke Jørgensen(4), Mikael H. Møller(4), Jan Křetínský(4), Stefan Schmid(4), Luca Aceto(3), Anna Ingólfsdóttir(3), Line Juhl(3), Uli Fahrenberg(2), Mathias Grund Sørensen(2), Lasse Jacobsen(2), Morten Jacobsen(2), Jakob Haahr Taankvist(2), Søren Enevoldsen(2), Joakim Byg(2), Elvio Gilberto Amparore(2), Bernard Berthomieu(2), Lom Messan Hillah(2)