publications

2024

1. CAV

   Bisimulation Learning

   Alessandro Abate, Mirco Giacobbe, and Yannik Schnitzer

   In CAV , 2024

   arXiv Bib

   @inproceedings{abate2024bisimulation,
     author = {Abate, Alessandro and Giacobbe, Mirco and Schnitzer, Yannik},
     title = {Bisimulation Learning},
     booktitle = {{CAV}},
     series = {Lecture Notes in Computer Science},
     publisher = {Springer},
     year = {2024},
   }

2023

1. STTT

   On the road with RTLola

   Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, and 3 more authors

   Int. J. Softw. Tools Technol. Transf., 2023

   Bib HTML

   @article{DBLP:journals/sttt/BiewerFHKSS23,
     author = {Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger and K{\"{o}}hl, Maximilian A. and Schnitzer, Yannik and Schwenger, Maximilian},
     title = {On the road with RTLola},
     journal = {Int. J. Softw. Tools Technol. Transf.},
     volume = {25},
     number = {2},
     pages = {205--218},
     year = {2023},
   }

2021

1. TACAS

   RTLola on Board: Testing Real Driving Emissions on your Phone

   Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, and 3 more authors

   In TACAS , 2021

   arXiv Bib HTML

   @inproceedings{DBLP:conf/tacas/BiewerFHKSS21,
     author = {Biewer, Sebastian and Finkbeiner, Bernd and Hermanns, Holger and K{\"{o}}hl, Maximilian A. and Schnitzer, Yannik and Schwenger, Maximilian},
     title = {RTLola on Board: Testing Real Driving Emissions on your Phone},
     booktitle = {{TACAS}},
     series = {Lecture Notes in Computer Science},
     volume = {12652},
     pages = {365--372},
     publisher = {Springer},
     year = {2021},
   }