Maximilian Schwenger

Citované v

	Všetky	Od 2020
Citácie	344	305
h-index	8	8
i10-index	8	8

2017201820192020202120222023202420253 11 19 53 48 71 57 72 4

Verejný prístup

všetky položky

12 článkov

0 článkov

dostupné

nedostupné

Na základe mandátov na financovanie

Spoluautori

Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityOverená e-mailová adresa na: cispa.de
Hazem TorfahAssistant Professor, CSE, Chalmers University of TechnologyOverená e-mailová adresa na: chalmers.se
Peter FaymonvilleITK EngineeringOverená e-mailová adresa na: faymonville.de
Leander TentrupSaarland University, Saarland Informatics CampusOverená e-mailová adresa na: cs.uni-saarland.de
Christoph TorensDLR, Institute of Flight Systems, Braunschweig, GermanyOverená e-mailová adresa na: dlr.de
Sebastian SchirmerDLR, Institute of Flight Systems, Department Unmanned Aircraft, Braunschweig, GermanyOverená e-mailová adresa na: dlr.de
Martin ZimmermannAalborg UniversityOverená e-mailová adresa na: cs.aau.dk
Paulo TabuadaVijay K. Dhir Professor of Engineering, UCLAOverená e-mailová adresa na: ee.ucla.edu
Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityOverená e-mailová adresa na: tu-dortmund.de
Alexander WeinertResearch Group Lead Distributed Systems, German Aerospace CenterOverená e-mailová adresa na: dlr.de
Corto MascleLaBRIOverená e-mailová adresa na: labri.fr
Vera DembergSaarland University, Computer Science, Saarland Informatics CampusOverená e-mailová adresa na: coli.uni-saarland.de
David M HowcroftEdinburgh Napier UniversityOverená e-mailová adresa na: napier.ac.uk
Álvaro TorralbaAalborg UniversityOverená e-mailová adresa na: cs.aau.dk
Joerg HoffmannProfessor, Saarland Informatics Campus, Saarland University and German Research Center for AI (DFKI)Overená e-mailová adresa na: cs.uni-saarland.de

Sledovať

Maximilian Schwenger

CISPA Helmholtz Center for Information Security

Overená e-mailová adresa na: cispa.saarland - Domovská stránka

Runtime Verification Cyber-physical Systems


Názov Zoradiť podľa citácií Zoradiť podľa roka Zoradiť podľa názvu	Citované v Citované v	Rok
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	96	2019
Real-time stream-based monitoring P Faymonville, B Finkbeiner, M Schwenger, H Torfah arXiv preprint arXiv:1711.03829, 2017	49*	2017
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft J Baumeister, B Finkbeiner, S Schirmer, M Schwenger, C Torens International Conference on Computer Aided Verification, 2020	46	2020
FPGA stream-monitoring of real-time properties J Baumeister, B Finkbeiner, M Schwenger, H Torfah ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-24, 2019	38	2019
Verified rust monitors for lola specifications B Finkbeiner, S Oswald, N Passing, M Schwenger International Conference on Runtime Verification, 431-450, 2020	25	2020
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics C Mascle, D Neider, M Schwenger, P Tabuada, A Weinert, ... HSCC'20: 23rd ACM International Conference on Hybrid Systems: Computation …, 2020	20	2020
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	14	2021
Let’s not Trust Experience Blindly: Formal Monitoring of Humans and other CPS M Schwenger Saarland University, 2019	12	2019
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
Monitoring cyber-physical systems: from design to integration M Schwenger International Conference on Runtime Verification, 87-106, 2020	8	2020
Robust monitoring for medical cyber-physical systems B Finkbeiner, A Keller, J Schmidt, M Schwenger Proceedings of the Workshop on Medical Cyber Physical Systems and Internet …, 2021	6	2021
Automatic optimizations for stream-based monitoring languages J Baumeister, B Finkbeiner, M Kruse, M Schwenger International Conference on Runtime Verification, 451-461, 2020	6	2020
From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation M Schwenger, A Torralba, J Hoffmann, DM Howcroft, V Demberg Proceedings of COLING 2016, the 26th International Conference on …, 2016	5	2016
Computer Aided Verification L D’Antoni, M Helfrich, J Kretinsky, E Ramneantu, M Weininger, ...	5	1994
Statically-analyzed stream monitoring for cyber-physical Systems. M Schwenger Saarland University, Saarbrücken, Germany, 2022	3	2022
Blame-Preserving Secure Compilation M Patrignani, M Kruse January, 2023	1	2023
Simplex architecture meets RTLola B Finkbeiner, J Schmidt, M Schwenger MT-CPS, 2020	1	2020
On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB J Baumeister, B Finkbeiner, M Schwenger, H Torfah CyberCardia@ ESWeek, 2019	1	2019
Conservative Hybrid Automata from Development Artifacts N Metzger, S Schmitt, M Schwenger arXiv preprint arXiv:2111.05613, 2021		2021
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft S Schirmer, M Schwenger, C Torens arXiv preprint arXiv:2004.06488, 2020		2020

Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.

Články 1–20

Citácie za rok

Duplicitné citácie

Zlúčené citácie

Pridať spoluautorovSpoluautori

Sledovať

Citované v

Spoluautori