Følg
Sven Dziadek
Sven Dziadek
Télécom SudParis, Institut Polytechnique de Paris
Verifisert e-postadresse på telecom-sudparis.eu - Startside
Tittel
Sitert av
Sitert av
År
Fast on average, predictable in the worst case: Exploring real-time futexes in LITMUSRT
R Spliet, M Vanga, BB Brandenburg, S Dziadek
2014 IEEE Real-Time Systems Symposium, 96-105, 2014
142014
Weighted simple reset pushdown automata
M Droste, S Dziadek, W Kuich
Theoretical Computer Science 777, 252-259, 2019
92019
Logic for ω-pushdown automata
M Droste, S Dziadek, W Kuich
Information and Computation 282, 104659, 2022
72022
Energy Büchi Problems
S Dziadek, U Fahrenberg, P Schlehuber-Caissier
International Symposium on Formal Methods, 222-239, 2023
32023
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata
M Droste, S Dziadek, W Kuich
Information and Computation 285, 104871, 2022
32022
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata
M Droste, S Dziadek, W Kuich
39th IARCS Annual Conference on Foundations of Software Technology and …, 2019
32019
Nivat-theorem and logic for weighted pushdown automata on infinite words
M Droste, S Dziadek, W Kuich
40th IARCS Annual Conference on Foundations of Software Technology and …, 2020
22020
ω-Regular Energy Problems
S Dziadek, U Fahrenberg, P Schlehuber
Formal Aspects of Computing, 2024
2024
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words
S Dziadek
2020
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–9