Navigation

Skiplinks

Manuel Gieseking, M.Sc.

Kontakt

  • E-Mail: maeryh+nulp8el.gugbieseu6kking@informasudtik.uni-o5hldenoryhmburg.dejaymh

Über mich

Ich bin Doktorand in der Gruppe Entwicklung korrekter Systeme der Carl von Ossietzky Universität Oldenburg und aktuell auf dem DFG Projekt Petri Games angestellt.

Mein Forschungsinteresse liegt in der Analyse und Verification von verteilten Systemen, insbesondere der Synthese und dem Model Checking von Petri-Netz Modellen und deren Erweiterungen.

Diese Personendaten sind aus Datenschutzgründen nicht außerhalb der Universität verfügbar.

Publikationen

  • M. Gieseking und 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} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, und 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, und 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 | Dokument aufrufen Dokument aufrufen
    B. Finkbeiner, M. Gieseking, J. Hecking-Harbusch, und 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 | Dokument aufrufen Dokument aufrufen
    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 | Dokument aufrufen Dokument aufrufen
    B. Finkbeiner, M. Gieseking, und 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, und 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} }

Abschlussarbeiten

  • [mastersthesis] bibtex | Dokument aufrufen Dokument aufrufen
    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

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

Vorträge (Auswahl)

  • Refinement of π-Calculus Processes, Absolventenfeier - OLDIES-Preis für die beste Abschlussarbeit, CvO Universität Oldenburg 2015 - Folien
  • Towards an Implementation of Solving Petri Games, AVACS Autumn Plenary, Universität Saarbrücken 2014 - Folien
  • Refinement of π-Calculus Processes, Master-Arbeit, CvO Universität Oldenburg 2014 - Folien
  • Lineare und differentielle Kryptoanalyse von Substitutions-Permutations-Netzen, Bachelor-Arbeit, CvO Universität Oldenburg 2010 - Folien
Webmtbiasternidm (mark.kewrzcttn+ker1@e/auol.deqc) (Stand: 07.11.2019)