Sebastian Fischmeister

According to our database1, Sebastian Fischmeister authored at least 135 papers between 2001 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Energy-Efficient Multiple Producer-Consumer.
IEEE Trans. Parallel Distrib. Syst., 2019

Pay attention and you won't lose it: a deep learning approach to sequence imputation.
PeerJ Computer Science, 2019

Security of Vehicle Platooning: A Game-Theoretic Approach.
IEEE Access, 2019

A LSTM Approach to Detection of Autonomous Vehicle Hijacking.
Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 2019

Mining Time for Timed Regular Specifications.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

Monitorability over Unreliable Channels.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Deep Learning for System Trace Restoration.
Proceedings of the International Joint Conference on Neural Networks, 2019

Sender Authentication for Automotive In-Vehicle Networks through Dual Analog Measurements to Determine the Location of the Transmitter.
Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019

Event stream abstraction using nfer: demo abstract.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

Assessing the Robustness of Arrival Curves Models for Real-Time Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Safety and Security Analysis of AEB for L4 Autonomous Vehicle Using STPA.
Proceedings of the Workshop on Autonomous Systems Design, 2019

Kalman Filter Based Secure State Estimation and Individual Attacked Sensor Detection in Cyber-Physical Systems.
Proceedings of the 2019 American Control Conference, 2019

2018
Mining Timed Regular Specifications from System Traces.
ACM Trans. Embedded Comput. Syst., 2018

Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems.
Formal Methods in System Design, 2018

Inferring event stream abstractions.
Formal Methods in System Design, 2018

Enabling Rapid Construction of Arrival Curves From Execution Traces.
IEEE Design & Test, 2018

Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Predicting SAT Solver Performance on Heterogeneous Hardware.
Proceedings of Pragmatics of SAT 2015, 2018

Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Mining Task Precedence Graphs from Real-Time Embedded System Traces.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018

Non-intrusive program tracing of non-preemptive multitasking systems using power consumption.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
Managing the Performance/Error Tradeoff of Floating-point Intensive Applications.
ACM Trans. Embedded Comput. Syst., 2017

Guest Editorial: Special Issue on LCTES 2015.
ACM Trans. Embedded Comput. Syst., 2017

Accurate Measurement of Small Execution Times - Getting Around Measurement Errors.
Embedded Systems Letters, 2017

Redundancy Suppression In Time-Aware Dynamic Binary Instrumentation.
CoRR, 2017

Transferring Performance Prediction Models Across Different Hardware Platforms.
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Debugging behaviour of embedded-software developers: An exploratory study.
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

Runtime verification of LTL on lossy traces.
Proceedings of the Symposium on Applied Computing, 2017

Periodic Task Mining in Embedded System Traces.
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Intersert: Assertions on Distributed Process Interaction Sessions.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

QDIME: QoS-Aware Dynamic Binary Instrumentation.
Proceedings of the 25th IEEE International Symposium on Modeling, 2017

TREM: a tool for mining timed regular specifications from system traces.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A Reordering Framework for Testing Message-Passing Systems.
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

Perphecy: Performance Regression Test Selection Made Simple but Effective.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

On the Security of Safety-critical Embedded Systems: Who Watches the Watchers? Who Reprograms the Watchers?.
Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017

Fast and Energy-Efficient Digital Filters for Signal Conditioning in Low-Power Microcontrollers.
Proceedings of the 54th Annual Design Automation Conference, 2017

2016
The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations.
ACM Trans. Program. Lang. Syst., 2016

Path Selection for Real-Time Communication on Priority-Aware NoCs.
ACM Trans. Design Autom. Electr. Syst., 2016

Integrating Dynamic-TDMA Communication Channels into COTS Ethernet Networks.
IEEE Trans. Industrial Informatics, 2016

DataMill: a distributed heterogeneous infrastructure for robust experimentation.
Softw., Pract. Exper., 2016

Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Accelerated Runtime Verification of LTL Specifications with Counting Semantics.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Static Transformation of Power Consumption for Software Attestation.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Mining timed regular expressions from system traces.
Proceedings of the 5th International Workshop on Software Mining, 2016

Efficient mode changes in multi-mode systems.
Proceedings of the 34th IEEE International Conference on Computer Design, 2016

Lessons learned on assumptions and scalability with time-aware instrumentation.
Proceedings of the 2016 International Conference on Embedded Software, 2016

Anomaly Detection Using Inter-Arrival Curves for Real-Time Systems.
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

Efficient program tracing and monitoring through power consumption - with a little help from the compiler.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints.
ACM Trans. Embedded Comput. Syst., 2015

Runtime verification with minimal intrusion through parallelism.
Formal Methods in System Design, 2015

DAG-width of Control Flow Graphs with Applications to Model Checking.
CoRR, 2015

Instrumentation and preservation of extra-functional properties of simulink models.
Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015

SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Time-Triggered Runtime Verification of Component-Based Multi-core Systems.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Performance prediction upon toolchain migration in model-based software.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Static slack-based instrumentation of programs.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Generation of communication schedules using component interfaces.
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks.
Proceedings of the 2015 International Conference on Embedded Software, 2015

A framework for mining hybrid automata from input/output traces.
Proceedings of the 2015 International Conference on Embedded Software, 2015

2014
Evaluation of Communication Architectures for Switched Real-Time Ethernet.
IEEE Trans. Computers, 2014

The use of mTags for mandatory security: a case study.
Softw., Pract. Exper., 2014

DTS: Dynamic TDMA scheduling for Networked Control Systems.
J. Syst. Archit., 2014

Power Redistribution for Optimizing Performance in MPI Clusters.
CoRR, 2014

Impact of Community Structure on SAT Solver Performance.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

em-SPADE: a compiler extension for checking rules extracted from processor specifications.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

Power-Efficient Multiple Producer-Consumer.
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014

Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

D-RES: Correct transitive distributed service sharing.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

SiPTA: Signal processing for trace-based anomaly detection.
Proceedings of the 2014 International Conference on Embedded Software, 2014

Generation of communication schedules for multi-mode distributed real-time applications.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems.
ACM Trans. Embedded Comput. Syst., 2013

Implementation and evaluation of global and partitioned scheduling in a real-time OS.
Real-Time Systems, 2013

Time-triggered runtime verification.
Formal Methods in System Design, 2013

Introductions to special issue on ESWEEK 2011.
Design Autom. for Emb. Sys., 2013

DataMill: rigorous performance evaluation made easy.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

RiTHM: a tool for enabling time-triggered runtime verification for C programs.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques.
Proceedings of the Runtime Verification - 4th International Conference, 2013

INSTEP: A static instrumentation framework for preserving extra-functional properties.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

ORTAP: An Offset-based response time analysis for a pipelined communication resource model.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

GPU-based Runtime Verification.
Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013

Hexacopters for everyone: online access to advanced robotics platforms for your research.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Atacama: an open research platform for mixed-criticality communication in ethernet.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Atacama: An Open FPGA-Based Platform for Mixed-Criticality Communication in Multi-segmented Ethernet Networks.
Proceedings of the 21st IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2013

DIME: Time-aware dynamic binary instrumentation using rate-based resource allocation.
Proceedings of the International Conference on Embedded Software, 2013

An Efficient Periodic Resource Supply Model for Workloads with Transient Overloads.
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

An open platform for mixed-criticality real-time ethernet.
Proceedings of the Design, Automation and Test in Europe, 2013

Why you should care about quantile regression.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012
mTags: augmenting microkernel messages with lightweight metadata.
Operating Systems Review, 2012

State-based scheduling with tree schedules: analysis and evaluation.
Real-Time Systems, 2012

Tracing and recording interrupts in embedded software.
J. Syst. Archit., 2012

Path-Aware Time-Triggered Runtime Verification.
Proceedings of the Runtime Verification, Third International Conference, 2012

CSS: Conditional State-Based Scheduling for Networked Control Systems.
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Time-Triggered Program Self-Monitoring.
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Program transformation for time-aware instrumentation.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Runtime verification of real-time embedded systems.
Proceedings of the 12th International Conference on Embedded Software, 2012

Using link-level latency analysis for path selection for real-time communication on NoCs.
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

2011
Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification.
Proceedings of the Runtime Verification - Second International Conference, 2011

Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement].
Proceedings of the Runtime Verification - Second International Conference, 2011

Optimal Instrumentation of Data-flow in Concurrent Data Structures.
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Lowering overhead in sampling-based execution monitoring and tracing.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Software debugging and testing using the abstract diagnosis theory.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Sampling-Based Runtime Verification.
Proceedings of the FM 2011: Formal Methods, 2011

Resolving state inconsistency in distributed fault-tolerant real-time dynamic TDMA architectures.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010
Time-aware Instrumentation of Real-time Programs.
IEEE Trans. Industrial Informatics, 2010

Generating Reliable Code from Hybrid-Systems Models.
IEEE Trans. Computers, 2010

Sampling-based program execution monitoring.
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

Model-Based Programming of Modular Robots.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Design Choices for High-Confidence Distributed Real-Time Software.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

A TDMA Ethernet Switch for Dynamic Real-Time Communication.
Proceedings of the 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2010

Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures.
Proceedings of the 10th International conference on Embedded software, 2010

2009
Hardware Acceleration for Programmable Real-Time Ethernet.
IEEE Trans. Industrial Informatics, 2009

On Time-Aware Instrumentation of Programs.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Tracing interrupts in embedded software.
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Resource Scopes: Toward Language Support for Compositional Determinism.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Specification and Analysis of Network Resource Requirements of Control Systems.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2008
Compositional Feasibility Analysis of Conditional Real-Time Task Models.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Hardware acceleration for verifiable, adaptive real-time communication.
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

2007
Temporal Control in Real-Time Systems.
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

A Verifiable Language for Programming Real-Time Communication Schedules.
IEEE Trans. Computers, 2007

A dynamic scheduling approach to designing flexible safety-critical systems.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Composition Techniques for Tree Communication Schedules.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006
Network-Code Machine: Programmable Real-Time Communication Schedules.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

An analysis framework for network-code programs.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Generating Sound and Resource-Aware Code from Hybrid Systems Models.
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005
Towards Efficient Use of Shared Communication Media in the Timed Model.
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Describing Multidimensional Schedules for Media-Access Control in Time-Triggered Communication.
Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 2005

Distributed-code generation from hybrid systems models for time-delayed multirate systems.
Proceedings of the EMSOFT 2005, 2005

Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime.
Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

2003
Location-Detection Strategies in Pervasive Computing Environments.
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

Diaolog Model Clustering for User Interface Adaptation.
Proceedings of the Web Engineering, International Conference, 2003

2002
Mobile Software Agents for Location-Based Systems.
Proceedings of the Agent Technologies, 2002

Hermes--A Lean M-commerce Software Platform Utilizing Electronic Signatures.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

2001
Evaluating the Security of Three Java-Based Mobile Agent Systems.
Proceedings of the Mobile Agents, 5th International Conference, 2001

Symbolon - A Novel Concept For Secure e-Commerce.
Proceedings of the Towards The E-Society: E-Commerce, 2001


  Loading...