Sebastian Fischmeister

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Security-aware optimal actuator placement in vehicle platooning Asian Journal of Control	2024-07-25	Paper
A Verifiable Language for Programming Real-Time Communication Schedules IEEE Transactions on Computers	2018-06-12	Paper
Generating Reliable Code from Hybrid-Systems Models IEEE Transactions on Computers	2017-07-27	Paper
Evaluation of Communication Architectures for Switched Real-Time Ethernet IEEE Transactions on Computers	2017-06-20	Paper
\textsf{SATGraf}: visualizing the evolution of SAT formula structure in solvers Lecture Notes in Computer Science	2015-11-20	Paper
Runtime verification with minimal intrusion through parallelism Formal Methods in System Design	2015-10-30	Paper
Impact of Community Structure on SAT Solver Performance Lecture Notes in Computer Science	2014-09-26	Paper
Implementation and evaluation of global and partitioned scheduling in a real-time OS Real-Time Systems	2014-07-14	Paper
Time-triggered runtime verification Formal Methods in System Design	2014-06-30	Paper
State-based scheduling with tree schedules: analysis and evaluation Real-Time Systems	2012-07-30	Paper
Specification and Analysis of Network Resource Requirements of Control Systems Hybrid Systems: Computation and Control	2009-04-30	Paper
scientific article; zbMATH DE number 2084803 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 2013372 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 1951098 (Why is no real title available?)	2003-07-21	Paper

Research outcomes over time

This page was built for person: Sebastian Fischmeister