Sebastian Biewer und Holger Hermanns - Info zur Person

(1 - 22 von 22

)

Diesel-Abgastest per App während der Fahrt - Pressetext

www.pressetext.com

... und eine kostenlose App namens „LolaDrives"https://www.loladrives.app/, die Sebastian Biewer, Doktorand von Holger Hermanns, Informatik-Professor an der ... › news › diesel-abgastest-pe...

Tuesday April 5th - etaps 2022

etaps.org

Finding Semantic Bugs Fast; Sebastian Biewer and Holger Hermanns. On the Detection of Doped Software by Falsification; Simon Robillard and Helene Coullon. › programme

Conformance Relations and Hyperproperties for Doping ...

kclpure.kcl.ac.uk

von S Biewer · · Zitiert von: 3 — Sebastian Biewer, Rayna Dimitrova, Maciej Gazda, Michael Fries, Thomas Heinze, Holger Hermanns, Mohammadreza Mousavi · Overview · Citation formats ... › portal

Fundamental Approaches to Software Engineering: 25th ...

books.google.de

71 On the Detection of Doped Software by Falsification Sebastian Biewer and Holger Hermanns Estimating Worst-case ...

Tools and Algorithms for the Construction and Analysis of ...

books.google.de

Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, and Maximilian Schwenger Replicating Restart with ...

[ ] RTLola on Board: Testing Real Driving Emissions on your...

arxiv.org

von S Biewer · · Zitiert von: 5 — Authors:Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger. › cs

CONFORMANCE RELATIONS AND HYPERPROPERTIES ...

web.p.ebscohost.com

von S BIEWER · · Zitiert von: 3 — SEBASTIAN BIEWER a, RAYNA DIMITROVA b, MICHAEL FRIES c, MACIEJ GAZDA d,. THOMAS HEINZE c, HOLGER HERMANNS a,e, AND MOHAMMAD REZA MOUSAVI f. › login

Program – RV 2018

rv2018.isp.uni-luebeck.de

10:00, Maximilian Alexander Köhl, Holger Hermanns and Sebastian Biewer Efficient Monitoring of Real Driving Emissions. 10:30-11:00, Coffee Break ☕️.

On the Detection of Doped Software by Falsification - Springer

link.springer.com

von S Biewer · — Saarland University, Saarland Informatics Campus, Saarbrücken, Germany. Sebastian Biewer & Holger Hermanns · Institute of Intelligent Software, ... › chapter

MT-CPS Program

sites.google.com

— 16:30 Cyber-Physical Doping Tests, Sebastian Biewer, Pedro R. D'Argenio and Holger Hermanns. 17:00 From MITL to timed automata, ... › asu.edu

Best Papers - ETAPS 2021etaps.org › best-papers

etaps.org

vor 7 Tagen · Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. K ohl, Yannik Schnitzer and Maximilian Schwenger. RTLola on Board: ...

Altmetric – Formal Techniques for Distributed Objects, Components,...

www.altmetric.com

Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns, Dimitrova R, Gazda M, Mousavi MR, Biewer S, Hermanns ...

Doping Tests for Cyber-Physical Systems

ouci.dntb.gov.ua

... Notes in Computer Science, 2019, p Publisher: Springer International Publishing. Authors: Sebastian Biewer, Pedro D'Argenio, Holger Hermanns ...

Draisine | Power to the People. Verified.

www.powver.org

verification), Felix Freiberger (verification), Holger Hermanns, Sebastian Biewer ( motor control), Florian Schießl(motor control and electronics) and Dries Callebaut (below, constructor). Our “Draisine” is propelled by a 200W electric motor, and ...

Conformance-Based Doping Detection for Cyber-Physical ...

hal.inria.fr

von R Dimitrova · · Zitiert von: 3 — Rayna Dimitrova, Maciej Gazda, Mohammad Mousavi, Sebastian Biewer, Holger Hermanns. Conformance-Based Doping Detection for Cyber-Physical Systems. › hal

RTLola on Board: Testing Real Driving Emissions on your Phone ...www.springerprofessional.de › rtlola-on-board-testi...

www.springerprofessional.de

Authors: Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger. Publisher: Springer International ...

Rayna Dimitrova

raynadimitrova.github.io

with Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer and Holger Hermanns FORTE 2020; Near-Optimal Reactive Synthesis Incorporating Runtime ...

FORTE IFIP Digital Library

dl.ifip.org

Conformance-Based Doping Detection for Cyber-Physical Systems. Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns. › conf › forte2020

Publications | Power to the People. Verified.

www.powver.org

supplementary material; Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns: Is your software on dope? › publicati...

QEST 2019: 16th International Conference on Quantitative Evaluation...

www.qest.org

Sebastian Biewer, Pedro R. D'Argenio and Holger Hermanns. Doping Tests for Cyber-Physical Systems. Giovanni Bacci, Mikkel Hansen and Kim Guldstrand Larsen. › qest2019

RTLola on Board: Testing Real Driving Emissions on your ...

www.springerprofessional.de

verfasst von: Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, Maximilian Schwenger. Mehr anzeigen. › ...

RV'21https://uva-mcps-lab.github.io › ke...

uva-mcps-lab.github.io

Joint work with Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns, Maximilian A. Köhl, Yannik Schnitzer, and Maximilian Schwenger. › ke...

Alle Infos zum Namen "Sebastian Biewer"

Verwandte Suchanfragen zu Sebastian Biewer

Mohammad Reza
Felix Freiberger
Maximilian Schwenger

Gilles Barthe
Rayna Dimitrova
Christian Lander

Julius Biewer
Gilles Nies
Timo Schusser

Personen
Vorname "Sebastian" (47648)
Name "Biewer" (253)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Sebastian Biewer und Holger Hermanns Person-Info