Yannik Schnitzer

2022202320247 5 17

Public access

2 articles

0 articles

available

not available

Based on funding mandates

Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Maximilian A. KöhlSaarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Maximilian SchwengerCISPA Helmholtz Center for Information SecurityVerified email at cispa.saarland
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Mirco GiacobbeUniversity of BirminghamVerified email at bham.ac.uk
David ParkerProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk

Yannik Schnitzer

Verified email at cs.ox.ac.uk


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
RTLola on board: Testing real driving emissions on your phone S Biewer, B Finkbeiner, H Hermanns, MA Köhl, Y Schnitzer, M Schwenger International Conference on Tools and Algorithms for the Construction and …, 2021	16	2021
On the road with RTLola: Testing real driving emissions on your phone S Biewer, B Finkbeiner, H Hermanns, MA Köhl, Y Schnitzer, M Schwenger International Journal on Software Tools for Technology Transfer 25 (2), 205-218, 2023	8	2023
Bisimulation learning A Abate, M Giacobbe, Y Schnitzer International Conference on Computer Aided Verification, 161-183, 2024	5	2024
Model Checking and Strategy Synthesis with Abstractions and Certificates A Abate, M Giacobbe, D Roy, Y Schnitzer Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024		2024
Certifiably Robust Policies for Uncertain Parametric Environments Y Schnitzer, A Abate, D Parker arXiv preprint arXiv:2408.03093, 2024		2024

The system can't perform the operation now. Try again later.

Articles 1–5

Citations per year