Sven Dziadek

Télécom SudParis
9
Documents

Publications

Publications

Deposit thumbnail

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-04344167v1
Deposit thumbnail

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-04732187v1
Deposit thumbnail

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-04732208v1

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-04732226v1
Deposit thumbnail

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-04732144v1