Concepedia

Peter Faymonville

PF

7

Publications

136

Citations

7

H-Index

2009

Active since

Affiliations

Saarland University(Current)

Peter Faymonville is an author at Saarland University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSystems EngineeringFormal VerificationVerificationSoftware AnalysisAutomated ReasoningComputer Engineering

Publications per year

2009–2022

7

Publications

7

Real-time Stream-based Monitoring

Peter Faymonville, Bernd Finkbeiner, Maximilian Schwenger et al. · arXiv (Cornell University) · 2017 · 25 citations · Full text

Engineering, Computer Architecture, Data Streaming Architecture +22

Parametric Linear Dynamic Logic

Peter Faymonville, Martín Zimmermann · Information and Computation · 2016 · 25 citations

Applied Logic, Engineering, Automated Reasoning +3

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.

Swen Jacobs, Roderick Bloem, Maximilien Colange et al. · arXiv (Cornell University) · 2019 · 20 citations · Full text

Reactive Synthesis Competition, Engineering, Program Analysis +13

Parametric Linear Dynamic Logic

Peter Faymonville, Martín Zimmermann · Electronic Proceedings in Theoretical Computer Science · 2014 · 18 citations · Full text

Applied Logic, Engineering, Verification +16

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

Swen Jacobs, Guillermo A. Pérez, Remco Abraham et al. · arXiv (Cornell University) · 2022 · 18 citations · Full text

Rows per page

1–5 of 7