Peter Faymonville

Peter Faymonville

Contact

Peter Faymonville (Ph.D. Student)

Reactive Systems Group
Universität des Saarlandes
Phone: +49 681 302 5655
eMail: faymonville at react.uni-saarland.de
Building: E 1.1 Room: 1.08

About me

I am a Ph.D. student in the Reactive Systems Group in the Computer Science Department at Saarland University. I am a member of the Graduate School of Computer Science and was supported by a IMPRS PhD scholarship. Previously, I was a visitor to the Computer Vision Group at UCSD.

Research

My research interests are parametric specification languages and their monitoring, model checking, and synthesis problems. The application and introduction of formal methods in applied settings, for example in [TAFS17], is also an active part of my research.

Publications

BoSy: An Experimentation Framework for Bounded Synthesis

Peter Faymonville, Bernd Finkbeiner, and Leander Tentrup.
29th International Conference on Computer Aided Verification (CAV 2017), to appear.

Tool: BoSy

Encodings of Bounded Synthesis.

Peter Faymonville, Bernd Finkbeiner, Markus N. Rabe, and Leander Tentrup.
23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017).

Towards Intelligent System Health Management using Runtime Monitoring.

Christoph Torens, Florian-Michael Adolf, Peter Faymonville, and Sebastian Schirmer.
AIAA Information Systems-AIAA Infotech @ Aerospace, AIAA SciTech Forum, (AIAA 2017-0419).

A Stream-based Specification Language for Network Monitoring.

Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, and Hazem Torfah.
16th International Conference on Runtime Verification (RV 2016).

Parametric Linear Dynamic Logic.

Peter Faymonville and Martin Zimmermann.
Information and Computation, Volume 253, Part 2. Special Issue of GANDALF 2014. Journal Version of [FZ14a] .

Parametric Linear Dynamic Logic.

Peter Faymonville and Martin Zimmermann.
Fifth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014).

Monitoring Parametric Temporal Logic.

Peter Faymonville, Bernd Finkbeiner, and Doron Peled.
15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014).

Older Publications

[FWMB09] Peter Faymonville, Kai Wang, John Miller, and Serge J. Belongie. CAPTCHA-based Image Labeling on the Soylent Grid. KDD Workshop on Human Computation (HCOMP), 2009.
[GFB09] Carolina Galleguillos, Peter Faymonville, and Serge J. Belongie. BUBL: An Effective Region Labeling Tool Using a Hexagonal Lattice. IEEE First Workshop on Emergent Issues in Large Amounts of Visual Data, 2009.
[MDFF08] Jürgen Müller, Philipp Dobrigkeit, Peter Faymonville, and Tobias Flach. Exchange of contact data between mobile phones using NFCIP. Proceedings of the 4th European Workshop on RFID Systems and Technologies (RFID SysTech 08), 2008.

Student Projects

Ongoing

Completed

Teaching

Summer 2016 Project advisor for the lecture Embedded Systems.
Winter 2015/2016 Teaching assistant for the lecture Einführung in eingebettete Systeme.
Summer 2015 Teaching assistant for the proseminar Softwarezuverlässigkeit.
Winter 2014/2015 Teaching assistant for the lecture Einführung in eingebettete Systeme.
Summer 2014 Seminar advisor for Advanced Topics in Infinite Games.
Winter 2013/2014 Teaching assistant for the lecture Einführung in eingebettete Systeme.
Winter 2012/2013 Teaching assistant for the seminar Real-time Systems and Synthesis.
Winter 2011/2012 Teaching assistant for the proseminar Softwarezuverlässigkeit.
Winter 2011/2012 Teaching assistant for the lecture Verification.
Summer 2011 Teaching assistant for the seminar Games, Synthesis and Robotics.
Summer 2010 Student assistant for the lecture Programmierung 1.