Sven DZIADEK

Article dans une revue

2024

ref_biblio

Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber. ω-Regular Energy Problems. Formal Aspects of Computing, In press, ⟨10.1145/3678265⟩. ⟨hal-04732000⟩

Accès au bibtex

2022

ref_biblio

Manfred Droste, Sven Dziadek, Werner Kuich. Logic for ω-Pushdown Automata. Information and Computation, 2022, 282, pp.104659. ⟨10.1016/j.ic.2020.104659⟩. ⟨hal-04732028⟩

Accès au texte intégral et bibtex

ref_biblio

Manfred Droste, Sven Dziadek, Werner Kuich. Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata. Information and Computation, 2022, 285 (B), pp.104871. ⟨10.1016/j.ic.2022.104871⟩. ⟨hal-04580367⟩

Accès au texte intégral et bibtex

2019

ref_biblio

Manfred Droste, Sven Dziadek, Werner Kuich. Weighted Simple Reset Pushdown Automata. Theoretical Computer Science, 2019, 777, pp.252-259. ⟨10.1016/j.tcs.2019.01.016⟩. ⟨hal-04732218⟩

Accès au texte intégral et bibtex

Communication dans un congrès

2023

ref_biblio

Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier. Energy Büchi Problems. FM 2023 - 25th International Symposium on Formal Methods, Mar 2023, Lübeck, Germany. pp.222-239, ⟨10.1007/978-3-031-27481-7_14⟩. ⟨hal-04344167⟩

Accès au texte intégral et bibtex

2020

ref_biblio

Manfred Droste, Sven Dziadek, Werner Kuich. Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words. 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⟩. ⟨hal-04732187⟩

Accès au texte intégral et bibtex

2019

ref_biblio

Manfred Droste, Sven Dziadek, Werner Kuich. Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata. 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⟩. ⟨hal-04732208⟩

Accès au texte intégral et bibtex

2014

ref_biblio

Roy Spliet, Manohar Vanga, Bjorn Brandenburg, Sven Dziadek. Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT. 2014 IEEE Real-Time Systems Symposium (RTSS), Dec 2014, Rome, France. pp.96-105, ⟨10.1109/RTSS.2014.33⟩. ⟨hal-04732226⟩

Accès au bibtex

Thèse

2020

ref_biblio

Sven Dziadek. Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words. Formal Languages and Automata Theory [cs.FL]. Unversität Leipzig, 2020. English. ⟨NNT : ⟩. ⟨tel-04732144⟩

Accès au texte intégral et bibtex