Entwicklung korrekter Systeme

Publikationen

  • [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