Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jiri Srba
conf.researchr.org general 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
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
Mon 30 Dec 18:15