User

Difference between revisions of "Sven Dziadek"

From LRDE

Line 13: Line 13:
   
 
== Publications ==
 
== Publications ==
M. Droste, S. Dziadek, W. Kuich: Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata, Information and Computation, in press, [http://dx.doi.org/10.1016/j.ic.2022.104871 DOI:10.1016/j.ic.2022.104871]. [http://arxiv.org/abs/2007.08866 arXiv:2007.08866].
+
M. Droste, S. Dziadek, W. Kuich: Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata, Information and Computation, in press, [http://dx.doi.org/10.1016/j.ic.2022.104871 DOI:10.1016/j.ic.2022.104871], [http://arxiv.org/abs/2007.08866 arXiv:2007.08866].
   
 
M. Droste, S. Dziadek, W. Kuich: Logic for ω-pushdown automata, Information and Computation, vol. 282, 2022, special issue of WATA 2018, [https://doi.org/10.1016/j.ic.2020.104659 DOI:10.1016/j.ic.2020.104659]. [https://www.lrde.epita.fr/~sven/papers/droste_dziadek_kuich-logic_for_omega_pushdown_automata.pdf |pdf|]
 
M. Droste, S. Dziadek, W. Kuich: Logic for ω-pushdown automata, Information and Computation, vol. 282, 2022, special issue of WATA 2018, [https://doi.org/10.1016/j.ic.2020.104659 DOI:10.1016/j.ic.2020.104659]. [https://www.lrde.epita.fr/~sven/papers/droste_dziadek_kuich-logic_for_omega_pushdown_automata.pdf |pdf|]

Revision as of 23:23, 13 April 2022

Me

Contact

Email : sven[at]lrde.epita.fr

Currently

Postdoc at LRDE:

  • working on weighted ω-pushdown automata
  • investigating quantitative model checking
  • contributing to Spot

Previously

2016 to 2021, I was PhD student at the Automata and Languages group in Leipzig as a scholarship holder in the DFG research training group QuantLA.

Publications

M. Droste, S. Dziadek, W. Kuich: Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata, Information and Computation, in press, 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, 2022, special issue of WATA 2018, 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.