User

Difference between revisions of "Sven Dziadek"

From LRDE

m
 
(12 intermediate revisions 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].
Postdoc at LRDE:
 
  +
  +
Please refer to [https://who.paris.inria.fr/Sven.Dziadek/ my new website].
  +
 
== Previously ==
 
I was a Postdoc at LRDE:
 
* working on weighted ω-pushdown automata
 
* working on weighted ω-pushdown automata
 
* investigating quantitative model checking
 
* investigating quantitative model checking
 
* contributing to [[Spot]]
 
* contributing to [[Spot]]
  +
* interested in energy problems
   
 
Before that, I did my PhD at the [http://www.informatik.uni-leipzig.de/theo/ Automata and Languages group in Leipzig] as a scholarship holder in the [https://lat.inf.tu-dresden.de/quantla/ DFG research training group QuantLA].
== Previously ==
 
2016 to 2021, I was PhD student at the [http://www.informatik.uni-leipzig.de/theo/ Automata and Languages group in Leipzig].
 
 
Here is my [http://www.informatik.uni-leipzig.de/~dziadek/ old website].
 
   
 
== Publications ==
 
== Publications ==
  +
S. Dziadek, U. Fahrenberg, P. Schlehuber-Caissier: Energy Büchi problems, in: Formal Methods (FM 2023), LNCS, vol. 14000, pp. 222-239, 2023, [https://doi.org/10.1007/978-3-031-27481-7_14 DOI:10.1007/978-3-031-27481-7_14], [https://arxiv.org/abs/2205.04392 arXiv:2205.04392].
S. Dziadek: Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words, Dissertation, Universität Leipzig, 2020. [https://www.lrde.epita.fr/~sven/papers/dziadek-dissertation-2020.pdf |pdf|] [https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa2-742432 |permanent link|]
 
   
M. Droste, S. Dziadek, W. Kuich: Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata, submitted, [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, vol. 285, part B, article 104871, 2022, [http://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: 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, [https://doi.org/10.4230/LIPIcs.FSTTCS.2020.44 DOI: 10.4230/LIPIcs.FSTTCS.2020.44]. [https://www.lrde.epita.fr/~sven/papers/droste_dziadek_kuich-nivat_theorem_and_logic_for_weighted_pushdown_automata_on_infinite_words-2020.pdf |pdf|]
+
M. Droste, S. Dziadek, W. Kuich: Logic for ω-pushdown automata, Information and Computation, vol. 282, special issue of WATA 2018, article 104659, 2022, [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|]
  +
 
S. Dziadek: Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words, Dissertation, Universität Leipzig, 2020. [https://www.lrde.epita.fr/~sven/papers/dziadek-dissertation-2020.pdf |pdf|] [https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa2-742432 |permanent link|]
   
M. Droste, S. Dziadek, W. Kuich: Logic for ω-pushdown automata, Information and Computation, special issue on "Weighted Automata", to appear. [https://www.lrde.epita.fr/~sven/papers/droste_dziadek_kuich-logic_for_omega_pushdown_automata.pdf |pdf|]
+
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, [https://doi.org/10.4230/LIPIcs.FSTTCS.2020.44 DOI:10.4230/LIPIcs.FSTTCS.2020.44]. [https://www.lrde.epita.fr/~sven/papers/droste_dziadek_kuich-nivat_theorem_and_logic_for_weighted_pushdown_automata_on_infinite_words-2020.pdf |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, [https://doi.org/10.4230/LIPIcs.FSTTCS.2019.38 DOI: 10.4230/LIPIcs.FSTTCS.2019.38]. [https://www.lrde.epita.fr/~sven/papers/droste_dziadek_kuich-greibach_normal_form_for_omega_algebraic_systems_and_weighted_simple_omega_pushdown_automata-2019.pdf |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, [https://doi.org/10.4230/LIPIcs.FSTTCS.2019.38 DOI:10.4230/LIPIcs.FSTTCS.2019.38]. [https://www.lrde.epita.fr/~sven/papers/droste_dziadek_kuich-greibach_normal_form_for_omega_algebraic_systems_and_weighted_simple_omega_pushdown_automata-2019.pdf |pdf|]
   
M. Droste, S. Dziadek, W. Kuich: Weighted simple reset pushdown automata, Theoretical Computer Science, vol. 777, pp. 252-259, 2019, [https://doi.org/10.1016/j.tcs.2019.01.016 DOI: 10.1016/j.tcs.2019.01.016]. [https://www.lrde.epita.fr/~sven/papers/droste_dziadek_kuich-weighted_simple_reset_pushdown_automata-2019.pdf |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, [https://doi.org/10.1016/j.tcs.2019.01.016 DOI:10.1016/j.tcs.2019.01.016]. [https://www.lrde.epita.fr/~sven/papers/droste_dziadek_kuich-weighted_simple_reset_pushdown_automata-2019.pdf |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, [http://dx.doi.org/10.1109/RTSS.2014.33 DOI: 10.1109/RTSS.2014.33].
+
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, [http://doi.org/10.1109/RTSS.2014.33 DOI:10.1109/RTSS.2014.33].

Latest revision as of 15:04, 13 June 2023

Me

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.