Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jiri Srba
conf.researchr.org general profile
ATVA 2025 profile
ECOOP and ISSTA 2021 profile
ETAPS 2019 profile
ISSTA 2019 profile
POPL 2022 profile
POPL 2025 profile
Registered user since Tue 27 Oct 2020
Name:
Jiri Srba
Contributions
2025
ATVA
Author of TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Nets (tool paper) within the ATVA Papers-track
VMCAI
Author of ExpectAll: A BDD Based Approach for Link Failure Resilience in Elastic Optical Networks within the VMCAI 2025-track
2022
VMCAI
Author of Automata-Driven Partial Order Reduction and Guided Search for LTL Model Checking within the VMCAI 2022-track
2021
SPIN
Aalborg University in Programming Committee within the SPIN-track
2019
SPIN
Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
TACAS
Author of Abstract Dependency Graphs and Their Application to Model Checking within the TACAS 2019-track
Share
x
Sun 26 Oct 23:29