Articles with public access mandates - Peter FaymonvilleLearn more
Available somewhere: 8
StreamLAB: stream-based monitoring of cyber-physical systems
P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, M Stenger, ...
International Conference on Computer Aided Verification, 421-431, 2019
Mandates: German Research Foundation, European Commission
Bosy: An experimentation framework for bounded synthesis
P Faymonville, B Finkbeiner, L Tentrup
International Conference on Computer Aided Verification, 325-332, 2017
Mandates: European Commission
Encodings of bounded synthesis
P Faymonville, B Finkbeiner, MN Rabe, L Tentrup
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
Mandates: European Commission
A stream-based specification language for network monitoring
P Faymonville, B Finkbeiner, S Schirmer, H Torfah
International Conference on Runtime Verification, 152-168, 2016
Mandates: German Research Foundation
Parametric linear dynamic logic
P Faymonville, M Zimmermann
Information and Computation 253, 237-256, 2017
Mandates: German Research Foundation
Stream runtime monitoring on UAS
FM Adolf, P Faymonville, B Finkbeiner, S Schirmer, C Torens
International Conference on Runtime Verification, 33-49, 2017
Mandates: German Research Foundation, European Commission
Monitoring parametric temporal logic
P Faymonville, B Finkbeiner, D Peled
Verification, Model Checking, and Abstract Interpretation: 15th …, 2014
Mandates: German Research Foundation
Real-time Stream Monitoring with StreamLAB
P Faymonville, B Finkbeiner, M Schledjewski, M Schwenger, L Tentrup, ...
MT-CPS, 2019
Mandates: German Research Foundation, European Commission
Publication and funding information is determined automatically by a computer program