Peter Faymonville

Contact

Peter Faymonville (Ph.D. Student)

Reactive Systems Group
Universität des Saarlandes
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

[AFFST17]

Stream Runtime Monitoring on UAS.

Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, and Christoph Torens.
17th International Conference on Runtime Verification (RV 2017).

[FFT17]

BoSy: An Experimentation Framework for Bounded Synthesis

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

Tool: BoSy

[FFRT17]

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).

[TAFS17]

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).

[FFST16]

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).

[FZ17a]

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] .

[FZ14a]

Parametric Linear Dynamic Logic.

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

[FFP14]

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

Jens Kreber, tbd
Jannic Warken, Synthesis and Analysis of Strategies for Automated Parking Garages

Completed

Sebastian Schirmer, Runtime Monitoring with LOLA , Master Thesis (in cooperation with DLR FT-UL , Braunschweig), 2016
Carolyn Guthoff, Bounded Synthesis for distributed architectures , Bachelor Thesis, 2015
Kai Hornung, Monitoring First-order Parametric Temporal Logic , Bachelor Thesis, 2015
Tobias Salzmann, Decidability of Semilinear Petri Games, Bachelor Thesis, 2012

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.