Sebastian Fischmeister

Available identifiers

zbMath Open fischmeister.sebastianMaRDI QIDQ438211

List of research outcomes

Publication	Date of Publication	Type
Security-aware optimal actuator placement in vehicle platooning	2024-07-25	Paper
A Verifiable Language for Programming Real-Time Communication Schedules	2018-06-12	Paper
Generating Reliable Code from Hybrid-Systems Models	2017-07-27	Paper
Evaluation of Communication Architectures for Switched Real-Time Ethernet	2017-06-20	Paper
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers	2015-11-20	Paper
Runtime verification with minimal intrusion through parallelism	2015-10-30	Paper
Impact of Community Structure on SAT Solver Performance	2014-09-26	Paper
Implementation and evaluation of global and partitioned scheduling in a real-time OS	2014-07-14	Paper
Time-triggered runtime verification	2014-06-30	Paper
State-based scheduling with tree schedules: analysis and evaluation	2012-07-30	Paper
Specification and Analysis of Network Resource Requirements of Control Systems	2009-04-30	Paper
https://portal.mardi4nfdi.de/entity/Q4735983	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4436615	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4413558	2003-07-21	Paper

Research outcomes over time

This page was built for person: Sebastian Fischmeister