Paul Krger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2020–2024
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISoLA | Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. | Pauline Blohm, Martin Frnzle, Paula Herber, Paul Krger, Anne Remke |
| 2024 | RV | Stream-Based Monitoring Under Measurement Noise. | Bernd Finkbeiner, Martin Frnzle, Florian Kohn, Paul Krger |
| 2021 | FPL | Choice - A Tunable PUF-Design for FPGAs. | Franz-Josef Streit, Paul Krger, Andreas Becher, Jens Schlumberger, Stefan Wildermann, Jrgen Teich |
| 2020 | ISoLA | Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems. | Martin Frnzle, Paul Krger |