Sven Dziadek

Télécom SudParis
9
Documents

Publications

Publications

Image document

Energy Büchi Problems

Sven Dziadek , Uli Fahrenberg , Philipp Schlehuber-Caissier
FM 2023 - 25th International Symposium on Formal Methods, Mar 2023, Lübeck, Germany. pp.222-239, ⟨10.1007/978-3-031-27481-7_14⟩
Communication dans un congrès hal-04344167 v1
Image document

Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words

Manfred Droste , Sven Dziadek , Werner Kuich
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), Dec 2020, Online, India. ⟨10.4230/LIPIcs.FSTTCS.2020.44⟩
Communication dans un congrès hal-04732187 v1
Image document

Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata

Manfred Droste , Sven Dziadek , Werner Kuich
39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), Dec 2019, Bombay, Mumbai, India. ⟨10.4230/LIPIcs.FSTTCS.2019.38⟩
Communication dans un congrès hal-04732208 v1

Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT

Roy Spliet , Manohar Vanga , Bjorn Brandenburg , Sven Dziadek
2014 IEEE Real-Time Systems Symposium (RTSS), Dec 2014, Rome, France. pp.96-105, ⟨10.1109/RTSS.2014.33⟩
Communication dans un congrès hal-04732226 v1
Image document

Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words

Sven Dziadek
Formal Languages and Automata Theory [cs.FL]. Unversität Leipzig, 2020. English. ⟨NNT : ⟩
Thèse tel-04732144 v1