Difference between revisions of "Sven Dziadek"
From LRDE
Sven Dziadek (talk | contribs) |
Sven Dziadek (talk | contribs) m |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
[[File:Sven.jpg|thumb|right|Me]] |
[[File:Sven.jpg|thumb|right|Me]] |
||
| − | == Contact == |
||
| − | Email : sven[at]lrde.epita.fr |
||
== Currently == |
== Currently == |
||
| + | I recently started my second Postdoc at [https://team.inria.fr/valda/ INRIA Paris]. |
||
| ⚫ | |||
| + | |||
| + | Please refer to [https://who.paris.inria.fr/Sven.Dziadek/ my new website]. |
||
| + | |||
| ⚫ | |||
| ⚫ | |||
* working on weighted ω-pushdown automata |
* working on weighted ω-pushdown automata |
||
* investigating quantitative model checking |
* investigating quantitative model checking |
||
| Line 10: | Line 13: | ||
* interested in energy problems |
* interested in energy problems |
||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
== Publications == |
== Publications == |
||
Latest revision as of 16:04, 13 June 2023
Currently
I recently started my second Postdoc at INRIA Paris.
Please refer to my new website.
Previously
I was a Postdoc at LRDE:
- working on weighted ω-pushdown automata
- investigating quantitative model checking
- contributing to Spot
- interested in energy problems
Before that, I did my PhD at the Automata and Languages group in Leipzig as a scholarship holder in the DFG research training group QuantLA.
Publications
S. Dziadek, U. Fahrenberg, P. Schlehuber-Caissier: Energy Büchi problems, in: Formal Methods (FM 2023), LNCS, vol. 14000, pp. 222-239, 2023, DOI:10.1007/978-3-031-27481-7_14, arXiv:2205.04392.
M. Droste, S. Dziadek, W. Kuich: Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata, Information and Computation, vol. 285, part B, article 104871, 2022, DOI:10.1016/j.ic.2022.104871, arXiv:2007.08866.
M. Droste, S. Dziadek, W. Kuich: Logic for ω-pushdown automata, Information and Computation, vol. 282, special issue of WATA 2018, article 104659, 2022, DOI:10.1016/j.ic.2020.104659. |pdf|
S. Dziadek: Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words, Dissertation, Universität Leipzig, 2020. |pdf| |permanent link|
M. Droste, S. Dziadek, W. Kuich: Nivat-theorem and logic for weighted pushdown automata on infinite words, in: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), LIPIcs, vol. 182, pp. 44:1-44:14, 2020, DOI:10.4230/LIPIcs.FSTTCS.2020.44. |pdf|
M. Droste, S. Dziadek, W. Kuich: Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata, in: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), LIPIcs, vol. 150, pp. 38:1-38:14, 2019, DOI:10.4230/LIPIcs.FSTTCS.2019.38. |pdf|
M. Droste, S. Dziadek, W. Kuich: Weighted simple reset pushdown automata, Theoretical Computer Science, vol. 777, pp. 252-259, 2019, special issue in memory of Maurice Nivat, DOI:10.1016/j.tcs.2019.01.016. |pdf|
R. Spliet; M. Vanga; B. Brandenburg; S. Dziadek: Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUS RT, in: IEEE Real-Time Systems Symposium (RTSS 2014), pp.96-105, 2014, DOI:10.1109/RTSS.2014.33.