Navigation

Contact

  • E-Mail: manuel.gtxvhiesekyqjring@ibpnformatik.zyypunili-oldenburg.de

Manuel Gieseking, M.Sc.

About me

I am a Ph.D. student in the group Correct System Design at the Carl von Ossietzky University of Oldenburg and currently funded by the DFG project Petri Games.

My research focus on the analysis and verification of distributed systems particularly the synthesis and model checking of Petri nets and their extensions.

Press releases with mentions

Department of Computing Science  (» Postal address)

A3 2-212 (» Adress and map )

nach Vereinbarung

+49 441 798-2376  (F&P

Publications

  • B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Full Version)," CoRR, vol. abs/2005.07130, 2020.
    @article{DBLP:journals/corr/abs-2005-07130,
      author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking-Harbusch and Ernst-R{\"{u}}diger Olderog},
      title = {AdamMC: {A} Model Checker for Petri Nets with Transits against Flow-LTL (Full Version)},
      journal = {CoRR},
      volume = {abs/2005.07130},
      year = {2020},
      url = {https://arxiv.org/abs/2005.07130},
      archiveprefix = {arXiv},
      eprint = {2005.07130},
      timestamp = {Fri, 22 May 2020 16:21:28 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2005-07130.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "Model Checking Branching Properties on Petri Nets with Transits (Full Version)," CoRR, vol. abs/2007.07235, 2020.
    @article{DBLP:journals/corr/abs-2007-07235,
      author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking-Harbusch and Ernst-R{\"{u}}diger Olderog},
      title = {Model Checking Branching Properties on Petri Nets with Transits (Full Version)},
      journal = {CoRR},
      volume = {abs/2007.07235},
      year = {2020},
      url = {https://arxiv.org/abs/2007.07235},
      archiveprefix = {arXiv},
      eprint = {2007.07235},
      timestamp = {Tue, 21 Jul 2020 12:53:33 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2007-07235.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "Model Checking Branching Properties on Petri Nets with Transits," in Proc. Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, 2020, pp. 394-410.
    @inproceedings{DBLP:conf/atva/FinkbeinerGHO20,
      author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking-Harbusch and Ernst-R{\"{u}}diger Olderog},
      title = {Model Checking Branching Properties on Petri Nets with Transits},
      booktitle = {Automated Technology for Verification and Analysis - 18th International Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
      pages = {394--410},
      year = {2020},
      optcrossref = {DBLP:conf/atva/2020},
      url = {https://doi.org/10.1007/978-3-030-59152-6\_22},
      doi = {10.1007/978-3-030-59152-6\_22},
      timestamp = {Tue, 13 Oct 2020 16:57:38 +0200},
      biburl = {https://dblp.org/rec/conf/atva/FinkbeinerGHO20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL," in Proc. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, 2020, pp. 64-76.
    @inproceedings{DBLP:conf/cav/FinkbeinerGHO20,
      author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking-Harbusch and Ernst-R{\"{u}}diger Olderog},
      title = {AdamMC: {A} Model Checker for Petri Nets with Transits against Flow-LTL},
      booktitle = {Computer Aided Verification - 32nd International Conference, {CAV} 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}},
      pages = {64--76},
      year = {2020},
      optcrossref = {DBLP:conf/cav/2020-2},
      url = {https://doi.org/10.1007/978-3-030-53291-8\_5},
      doi = {10.1007/978-3-030-53291-8\_5},
      timestamp = {Fri, 17 Jul 2020 12:05:42 +0200},
      biburl = {https://dblp.org/rec/conf/cav/FinkbeinerGHO20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • M. Gieseking, E. Olderog, and N. Würdemann, "Solving high-level Petri games," Acta Inf., vol. 57, iss. 3-5, pp. 591-626, 2020.
    @article{DBLP:journals/acta/GiesekingOW20,
      author = {Manuel Gieseking and Ernst-R{\"{u}}diger Olderog and Nick W{\"{u}}rdemann},
      title = {Solving high-level Petri games},
      journal = {Acta Inf.},
      volume = {57},
      number = {3-5},
      pages = {591--626},
      year = {2020},
      url = {https://doi.org/10.1007/s00236-020-00368-5},
      doi = {10.1007/s00236-020-00368-5},
      timestamp = {Fri, 22 May 2020 21:54:01 +0200},
      biburl = {https://dblp.org/rec/journals/acta/GiesekingOW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • M. Gieseking and E. Olderog, "High-Level Representation of Benchmark Families for Petri Games," CoRR, vol. abs/1904.05621, 2019.
    @article{DBLP:journals/corr/abs-1904-05621,
      author = {Manuel Gieseking and Ernst-R{\"{u}}diger Olderog},
      title = {High-Level Representation of Benchmark Families for Petri Games},
      journal = {CoRR},
      volume = {abs/1904.05621},
      year = {2019},
      url = {http://arxiv.org/abs/1904.05621},
      archiveprefix = {arXiv},
      eprint = {1904.05621},
      timestamp = {Thu, 25 Apr 2019 13:55:01 +0200},
      biburl = {https://dblp.org/rec/bib/journals/corr/abs-1904-05621},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "Model Checking Data Flows in Concurrent Network Updates (Full Version)," CoRR, vol. abs/1907.11061, 2019.
    @article{DBLP:journals/corr/abs-1907-11061,
      author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking-Harbusch and Ernst-R{\"{u}}diger Olderog},
      title = {Model Checking Data Flows in Concurrent Network Updates (Full Version)},
      journal = {CoRR},
      volume = {abs/1907.11061},
      year = {2019},
      url = {http://arxiv.org/abs/1907.11061},
      archiveprefix = {arXiv},
      eprint = {1907.11061},
      timestamp = {Thu, 01 Aug 2019 08:59:33 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-1907-11061.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "Model Checking Data Flows in Concurrent Network Updates," in Proc. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, 2019, pp. 515-533.
    @inproceedings{DBLP:conf/atva/FinkbeinerGHO19,
      author = {Bernd Finkbeiner and Manuel Gieseking and Jesko Hecking-Harbusch and Ernst-R{\"{u}}diger Olderog},
      title = {Model Checking Data Flows in Concurrent Network Updates},
      booktitle = {Automated Technology for Verification and Analysis - 17th International Symposium, {ATVA} 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings},
      pages = {515--533},
      year = {2019},
      optcrossref = {DBLP:conf/atva/2019},
      url = {http://www.uni-oldenburg.de/fileadmin/user\_upload/f2inform-csd/FinGieHecOld19.pdf},
      opturl = {https://doi.org/10.1007/978-3-030-31784-3\_30},
      doi = {10.1007/978-3-030-31784-3\_30},
      timestamp = {Tue, 22 Oct 2019 15:35:01 +0200},
      biburl = {https://dblp.org/rec/bib/conf/atva/FinkbeinerGHO19},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex
    D. Rahmatov, O. Theel, and M. Gieseking, "Towards a Composition of Region-Adherent Systems," in Proc. The Fourteenth International Conference on Networking and Services, ICNS 2018, 20-24 May 2018, Nice, France, 2018, pp. 21-26.
    @inproceedings{conf/icns/RahmatovTG18,
      author = {Dilshod Rahmatov and Oliver Theel and Manuel Gieseking},
      title = {Towards a Composition of Region-Adherent Systems},
      booktitle = {The Fourteenth International Conference on Networking and Services, {ICNS} 2018, 20-24 May 2018, Nice, France},
      pages = {21--26},
      year = {2018} }
  • [inproceedings] bibtex | Go to document Go to document
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, and E. Olderog, "Symbolic vs. Bounded Synthesis for Petri Games," in Proc. Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017, 2017, pp. 23-43.
    @inproceedings{DBLP:journals/corr/abs-1711-10637,
      author = {Finkbeiner, Bernd and Gieseking, Manuel and Hecking-Harbusch, Jesko and Olderog, Ernst-R\"udiger},
      year = {2017},
      title = {Symbolic vs. Bounded Synthesis for Petri Games},
      editor = {Fisman, Dana and Jacobs, Swen},
      booktitle = {Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017},
      series = {Electronic Proceedings in Theoretical Computer Science {(EPTCS)}},
      volume = {260},
      publisher = {Open Publishing Association},
      pages = {23--43},
      doi = {10.4204/EPTCS.260.5},
      url = {https://arxiv.org/abs/1711.10637} }
  • [inproceedings] bibtex | Go to document Go to document
    M. Gieseking, "Trace Refinement of $\pi$-Calculus Processes," in Proc. Frontiers of Formal Methods 2015, 2015, pp. 109-114.
    @inproceedings{gie2015, booktitle = {Frontiers of Formal Methods 2015},
      type = {Technical Report},
      organization = {RWTH Aachen},
      month = {February},
      title = {Trace Refinement of $\pi$-Calculus Processes},
      author = {Manuel Gieseking},
      year = {2015},
      series = {Proceedings of the Young Researchers' Conference "Frontiers of Formal Methods"},
      pages = {109--114},
      url = {http://www.uni-oldenburg.de/fileadmin/user\_upload/f2inform-csd/gieseking15\_ffm.pdf} }
  • [inproceedings] bibtex | Go to document Go to document
    B. Finkbeiner, M. Gieseking, and E. Olderog, "Adam: Causality-Based Synthesis of Distributed Systems," in Proc. Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, 2015, pp. 433-439.
    @inproceedings{fingieold15, title = {Adam: Causality-Based Synthesis of Distributed Systems},
      author = {Bernd Finkbeiner and Manuel Gieseking and Ernst-R{\"{u}}diger Olderog},
      booktitle = {Computer Aided Verification - 27th International Conference, {CAV} 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part {I}},
      year = {2015},
      editor = {Daniel Kroening and Corina S. Pasareanu},
      pages = {433--439},
      publisher = {Springer},
      series = {Lecture Notes in Computer Science},
      volume = {9206},
      abstract = {We present ADAM, a tool for the automatic synthesis of distributed systems with multiple concurrent processes. For each process, an individual controller is synthesized that acts on locally available information obtained through synchronization with the environment and with other system processes. ADAM is based on Petri games, an extension of Petri nets where each token is a player in a multiplayer game. ADAM implements the first symbolic game solving algorithm for Petri games. We report on experience from several case studies with up to 38 system processes.},
      conference-long = {International Conference on Computer Aided Verification},
      conference-short = {CAV},
      url = {http://www.uni-oldenburg.de/fileadmin/user\_upload/f2inform-csd/fingieold15.pdf} }
  • [inproceedings] bibtex
    H. Baumgartner, M. Gieseking, C. Concolato, and J. L. Feuvre, "Individual Supportive Audio Signal Processing," in Proc. 26th Tonmeistertagung -- VDT International Convention, Leipzig, Germany, 2010, pp. 282-284.
    @inproceedings{bauGieConFeu10,
      author = {Hannah Baumgartner and Manuel Gieseking and Cyril Concolato and Jean Le Feuvre},
      title = {Individual Supportive Audio Signal Processing},
      publisher = {Verband Deutscher Tonmeister e.V.},
      booktitle = {26th Tonmeistertagung -- VDT International Convention},
      month = {Nov.},
      year = {2010},
      pages = {282--284},
      address = {Leipzig, Germany} }

Theses

  • [mastersthesis] bibtex | Go to document Go to document
    M. Gieseking, "Refinement of $\pi$-calculus processes," Master's Dissertation , 2014.
    @mastersthesis{gie14, title = {Refinement of $\pi$-calculus processes},
      author = {Manuel Gieseking},
      type = {Master Thesis},
      url = {http://www.uni-oldenburg.de/fileadmin/user\_upload/f2inform-csd/gieseking14\_ma.pdf},
      school = {University of Oldenburg},
      year = {2014} }
  • M. Gieseking, Lineare und differentielle Kryptoanalyse von Substitutions-Permutations-Netzen, 2010.
    @misc{gie10, title = {Lineare und differentielle Kryptoanalyse von Substitutions-Permutations-Netzen},
      author = {Manuel Gieseking},
      type = {Bachelor Thesis},
      url = {https://www.uni-oldenburg.de/fileadmin/user\_upload/f2inform-csd/gieseking10\_doc.pdf},
      school = {University of Oldenburg},
      year = {2010} }

Poster (Selection)

  • ADAM: Causality-Based Synthesis of Distributed System, 27th International Conference on Computer Aided Verification (CAV 2015) - Poster

Talks (Selection)

  • Refinement of π-Calculus Processes, Graduation Ceremony - OLDIES-Award for the best Master's thesis, CvO University Oldenburg 2015 - Slides
  • Towards an Implementation of Solving Petri Games, AVACS Autumn Plenary, University Saarbrücken 2014 - Slides
  • Refinement of π-Calculus Processes, Master's thesis, CvO University Oldenburg 2014 - Slides
  • Lineare und differentielle Kryptoanalyse von Substitutions-Permutations-Netzen, Bachelor's thesis, CvO University Oldenburg 2010 - Slides
Webmaster (m.fa3giesekinwmjg@uol.deec) (Changed: 2020-05-15)