Sven Dziadek
Télécom SudParis
9
Documents
Publications
Publications
|
|
ω-regular energy problemsFormal Aspects of Computing, 2024, 37 (1), pp.1-30. ⟨10.1145/3678265⟩
Article dans une revue
hal-04732000
v1
|
|
|
Logic for ω-Pushdown AutomataInformation and Computation, 2022, 282, pp.104659. ⟨10.1016/j.ic.2020.104659⟩
Article dans une revue
hal-04732028
v1
|
|
|
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automataInformation and Computation, 2022, 285 (B), pp.104871. ⟨10.1016/j.ic.2022.104871⟩
Article dans une revue
hal-04580367
v1
|
|
|
Weighted Simple Reset Pushdown AutomataTheoretical Computer Science, 2019, 777, pp.252-259. ⟨10.1016/j.tcs.2019.01.016⟩
Article dans une revue
hal-04732218
v1
|
|
|
Energy Büchi ProblemsFM 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
|
|
|
Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words40th 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
|
|
|
Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata39th 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 LITMUSRT2014 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
|
|
|
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite WordsFormal Languages and Automata Theory [cs.FL]. Unversität Leipzig, 2020. English. ⟨NNT : ⟩
Thèse
tel-04732144
v1
|
Chargement...
Chargement...