Sven Dziadek Télécom SudParis

Publications

Article dans une revue (4)

ω-regular energy problems Sven Dziadek,Uli Fahrenberg,Philipp Schlehuber Formal Aspects of Computing, 2024, 37 (1), pp.1-30. ⟨10.1145/3678265⟩ Article dans une revue hal-04732000v1
Logic for ω-Pushdown Automata Manfred Droste,Sven Dziadek,Werner Kuich Information and Computation, 2022, 282, pp.104659. ⟨10.1016/j.ic.2020.104659⟩ Article dans une revue hal-04732028v1
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata Manfred Droste,Sven Dziadek,Werner Kuich Information and Computation, 2022, 285 (B), pp.104871. ⟨10.1016/j.ic.2022.104871⟩ Article dans une revue hal-04580367v1
Weighted Simple Reset Pushdown Automata Manfred Droste,Sven Dziadek,Werner Kuich Theoretical Computer Science, 2019, 777, pp.252-259. ⟨10.1016/j.tcs.2019.01.016⟩ Article dans une revue hal-04732218v1

Communication dans un congrès (4)

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

Thèse (1)

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