Follow
Sven Dziadek
Sven Dziadek
Inria Paris, France
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
Fast on average, predictable in the worst case: Exploring real-time futexes in LITMUSRT
R Spliet, M Vanga, BB Brandenburg, S Dziadek
2014 IEEE Real-Time Systems Symposium, 96-105, 2014
142014
Weighted simple reset pushdown automata
M Droste, S Dziadek, W Kuich
Theoretical Computer Science 777, 252-259, 2019
92019
Logic for ω-pushdown automata
M Droste, S Dziadek, W Kuich
Information and Computation 282, 104659, 2022
72022
Energy Büchi Problems
S Dziadek, U Fahrenberg, P Schlehuber-Caissier
International Symposium on Formal Methods, 222-239, 2023
32023
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata
M Droste, S Dziadek, W Kuich
Information and Computation 285, 104871, 2022
32022
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata
M Droste, S Dziadek, W Kuich
39th IARCS Annual Conference on Foundations of Software Technology and …, 2019
32019
Nivat-theorem and logic for weighted pushdown automata on infinite words
M Droste, S Dziadek, W Kuich
40th IARCS Annual Conference on Foundations of Software Technology and …, 2020
22020
ω-Regular Energy Problems
S Dziadek, U Fahrenberg, P Schlehuber
Formal Aspects of Computing, 2022
2022
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
S Dziadek
2020
The system can't perform the operation now. Try again later.
Articles 1–9