Sebastian Fischmeister

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 85

Top Venues

CoRR

EMSOFT

DATE

Publications

Fan He, Karim Elhammady, Sebastian Fischmeister, Catherine M. Burns
Preliminary Cognitive Modeling: Comparing Distraction-Based Cyber-Attacks and Alcohol-Related Impairments on Human Drivers. ICHMS (2024)
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria. CoRR (2024)
G. Robert Arrabito, Ming Hou, Sebastian Fischmeister, Tiago H. Falk, Hannah Willoughby, Madison Cameron, Liam Foley, Sarah Normandin, Simon P. Banbury
Tracking user trust and mental states during cyber-attacks: A survey of existing methods and future research directions on AI-enabled decision-making for the Royal Canadian Navy. ICHMS (2024)
Shailja Thakur, Carlos Moreno, Sebastian Fischmeister
CANOA: CAN Origin Authentication through Power Side-channel Monitoring. ACM Trans. Cyber Phys. Syst. 8 (2) (2024)
Boris Vidal, Carlos Moreno, Sebastian Fischmeister, Gonzalo Carvajal
Monitoring Software Execution Flow Through Power Consumption and Dynamic Time Warping. IEEE Embed. Syst. Lett. 15 (2) (2023)
Dayu Zhang, Nasser Lashgarian Azad, Sebastian Fischmeister, Stefan Marksteiner
Zeroth-Order Optimization Attacks on Deep Reinforcement Learning-Based Lane Changing Algorithms for Autonomous Vehicles. ICINCO (1) (2023)
Arthur Grisel-Davy, Sebastian Fischmeister
Independent Boot Process Verification using Side-Channel Power Analysis. QRS Companion (2023)
Arthur Grisel-Davy, Sebastian Fischmeister
MAD: One-Shot Machine Activity Detector for Physics-Based Cyber Security. QRS (2023)
Karim Elhammady, Sebastian Fischmeister
Quantitative Risk Analysis with Qualitative Statements. TPS-ISA (2023)
Arthur Grisel-Davy, Amrita Milan Bhogayata, Srijan Pabbi, Apurva Narayan, Sebastian Fischmeister
Work-in-Progress: Boot Sequence Integrity Verification with Power Analysis. EMSOFT (2022)
Murray Dunne, Sebastian Fischmeister
Powertrace-based Fuzzing of CAN Connected Hardware. CSR (2022)
Sulav Lal Shrestha, Taylor Lee, Sebastian Fischmeister
Metasploit for Cyber-Physical Security Testing with Real-Time Constraints. SciSec (2022)
Sean Kauffman, Murray Dunne, Giovani Gracioli, Waleed Khan, Nirmal Benann, Sebastian Fischmeister
Palisade: A framework for anomaly detection in embedded systems. J. Syst. Archit. 113 (2021)
Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
What can we monitor over unreliable channels? Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Nathan Liu, Carlos Moreno, Murray Dunne, Sebastian Fischmeister
vProfile: Voltage-Based Anomaly Detection in Controller Area Networks. DATE (2021)
Oleg Iegorov, Sebastian Fischmeister
Parameterless Semi-supervised Anomaly Detection in Univariate Time Series. ECML/PKDD (1) (2020)
Shailja Thakur, Sebastian Fischmeister
A generalizable saliency map-based interpretation of model outcome. CoRR (2020)
Mohammad Hossein Basiri, Nasser L. Azad, Sebastian Fischmeister
Distributed Time-varying Kalman Filter Design and Estimation over Wireless Sensor Networks Using OWA Sensor Fusion Technique. MED (2020)
Mohammad Hossein Basiri, Benyamin Ghojogh, Nasser L. Azad, Sebastian Fischmeister, Fakhri Karray, Mark Crowley
Distributed Nonlinear Model Predictive Control and Metric Learning for Heterogeneous Vehicle Platooning with Cut-in/Cut-out Maneuvers. CoRR (2020)
Shailja Thakur, Carlos Moreno, Sebastian Fischmeister
CANOA: CAN Origin Authentication Through Power Side-Channel Monitoring. CoRR (2020)
Shailja Thakur, Sebastian Fischmeister
A generalizable saliency map-based interpretation of model outcome. ICPR (2020)
Mohammad Hossein Basiri, Benyamin Ghojogh, Nasser L. Azad, Sebastian Fischmeister, Fakhri Karray, Mark Crowley
Distributed Nonlinear Model Predictive Control and Metric Learning for Heterogeneous Vehicle Platooning with Cut-in/Cut-out Maneuvers. CDC (2020)
Sebastian Fischmeister
Mining Traces of Embedded Software Systems for Insights. ICPE (2020)
Mohammad Hossein Basiri, Nasser L. Azad, Sebastian Fischmeister
Attack Resilient Heterogeneous Vehicle Platooning Using Secure Distributed Nonlinear Model Predictive Control. MED (2020)
Sean Kauffman, Sebastian Fischmeister
Event stream abstraction using nfer: demo abstract. ICCPS (2019)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
Energy-Efficient Multiple Producer-Consumer. IEEE Trans. Parallel Distributed Syst. 30 (3) (2019)
Carlos Moreno, Sebastian Fischmeister
Sender Authentication for Automotive In-Vehicle Networks through Dual Analog Measurements to Determine the Location of the Transmitter. ICISSP (2019)
Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
Monitorability over Unreliable Channels. RV (2019)
Apurva Narayan, Sebastian Fischmeister
Mining Time for Timed Regular Specifications. SMC (2019)
Shefali Sharma, Adan Flores, Chris Hobbs, Jeff Stafford, Sebastian Fischmeister
Safety and Security Analysis of AEB for L4 Autonomous Vehicle Using STPA. ASD@DATE (2019)
Ilia Sucholutsky, Apurva Narayan, Matthias Schonlau, Sebastian Fischmeister
Deep Learning for System Trace Restoration. IJCNN (2019)
Mohammad Hossein Basiri, Mohammad Pirani, Nasser L. Azad, Sebastian Fischmeister
Security of Vehicle Platooning: A Game-Theoretic Approach. IEEE Access 7 (2019)
Ilia Sucholutsky, Apurva Narayan, Matthias Schonlau, Sebastian Fischmeister
Deep Learning for System Trace Restoration. CoRR (2019)
Naman Singh Negi, Ons Jelassi, Stéphan Clémençon, Sebastian Fischmeister
A LSTM Approach to Detection of Autonomous Vehicle Hijacking. VEHITS (2019)
Mahmoud Salem, Gonzalo Carvajal, Tong Liu, Sebastian Fischmeister
Assessing the Robustness of Arrival Curves Models for Real-Time Systems. FORMATS (2019)
Mohammad Hossein Basiri, John G. Thistle, John W. Simpson-Porco, Sebastian Fischmeister
Kalman Filter Based Secure State Estimation and Individual Attacked Sensor Detection in Cyber-Physical Systems. ACC (2019)
Ilia Sucholutsky, Apurva Narayan, Matthias Schonlau, Sebastian Fischmeister
Pay attention and you won't lose it: a deep learning approach to sequence imputation. PeerJ Comput. Sci. 5 (2019)
Apurva Narayan, Greta Cutulenco, Yogi Joshi, Sebastian Fischmeister
Mining Timed Regular Specifications from System Traces. ACM Trans. Embed. Comput. Syst. 17 (2) (2018)
Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister
Inferring event stream abstractions. Formal Methods Syst. Des. 53 (1) (2018)
Kamal Lamichhane, Carlos Moreno, Sebastian Fischmeister
Non-intrusive program tracing of non-preemptive multitasking systems using power consumption. DATE (2018)
Zack Newsham, Vijay Ganesh, Sebastian Fischmeister
Predicting SAT Solver Performance on Heterogeneous Hardware. POS@SAT (2018)
Gonzalo Carvajal, Mahmoud Salem, Nirmal Benann, Sebastian Fischmeister
Enabling Rapid Construction of Arrival Curves From Execution Traces. IEEE Des. Test 35 (4) (2018)
Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister
Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning. RV (2018)
Carlos Moreno, Sebastian Fischmeister
Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems. Formal Methods Syst. Des. 53 (1) (2018)
Oleg Iegorov, Sebastian Fischmeister
Mining Task Precedence Graphs from Real-Time Embedded System Traces. RTAS (2018)
Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister
revent : A Predictive Run-Time Verification Framework Using Statistical Learning. SEFM (2018)
Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister
Managing the Performance/Error Tradeoff of Floating-point Intensive Applications. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Lukas Schmidt, Apurva Narayan, Sebastian Fischmeister
TREM: a tool for mining timed regular specifications from system traces. ASE (2017)
Zack Newsham, Augusto Born de Oliveira, Jean-Christophe Petkovich, Ahmad Saif Ur Rehman, Guy Martin Tchamgoue, Sebastian Fischmeister
Intersert: Assertions on Distributed Process Interaction Sessions. QRS (2017)
Pavel Valov, Jean-Christophe Petkovich, Jianmei Guo, Sebastian Fischmeister, Krzysztof Czarnecki
Transferring Performance Prediction Models Across Different Hardware Platforms. ICPE (2017)
Pansy Arafa, Guy Martin Tchamgoue, Hany Kashif, Sebastian Fischmeister
QDIME: QoS-Aware Dynamic Binary Instrumentation. MASCOTS (2017)
Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney
Perphecy: Performance Regression Test Selection Made Simple but Effective. ICST (2017)
Oleg Iegorov, Reinier Torres, Sebastian Fischmeister
Periodic Task Mining in Embedded System Traces. RTAS (2017)
Carlos Moreno, Sebastian Fischmeister
Accurate Measurement of Small Execution Times - Getting Around Measurement Errors. IEEE Embed. Syst. Lett. 9 (1) (2017)
Pansy Arafa, Hany Kashif, Sebastian Fischmeister
Redundancy Suppression In Time-Aware Dynamic Binary Instrumentation. CoRR (2017)
Sebastian Fischmeister, Jason Xue
Guest Editorial: Special Issue on LCTES 2015. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister
Debugging Behaviour of Embedded-Software Developers: An Exploratory Study. CoRR (2017)
Carlos Moreno, Sebastian Fischmeister
Fast and Energy-Efficient Digital Filters for Signal Conditioning in Low-Power Microcontrollers. DAC (2017)
Carlos Moreno, Sebastian Fischmeister
On the Security of Safety-critical Embedded Systems: Who Watches the Watchers? Who Reprograms the Watchers?. ICISSP (2017)
Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister
Runtime verification of LTL on lossy traces. SAC (2017)
Milad Irannejad, Guy Martin Tchamgoue, Sebastian Fischmeister
A Reordering Framework for Testing Message-Passing Systems. ISORC (2017)
Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister
Debugging behaviour of embedded-software developers: An exploratory study. VL/HCC (2017)
Akramul Azim, Sebastian Fischmeister
Efficient mode changes in multi-mode systems. ICCD (2016)
Greta Cutulenco, Yogi Joshi, Apurva Narayan, Sebastian Fischmeister
Mining timed regular expressions from system traces. SoftwareMining@ASE (2016)
Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
Static Transformation of Power Consumption for Software Attestation. RTCSA (2016)
Guy Martin Tchamgoue, Sebastian Fischmeister
Lessons learned on assumptions and scalability with time-aware instrumentation. EMSOFT (2016)
Mahmoud Salem, Mark Crowley, Sebastian Fischmeister
Anomaly Detection Using Inter-Arrival Curves for Real-Time Systems. ECRTS (2016)
Gonzalo Carvajal, Luis Araneda, Alejandro Wolf, Miguel E. Figueroa, Sebastian Fischmeister
Integrating Dynamic-TDMA Communication Channels into COTS Ethernet Networks. IEEE Trans. Ind. Informatics 12 (5) (2016)
Hany Kashif, Hiren D. Patel, Sebastian Fischmeister
Path Selection for Real-Time Communication on Priority-Aware NoCs. ACM Trans. Design Autom. Electr. Syst. 21 (3) (2016)
Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney, José Nelson Amaral, Tim Brecht, Lubomír Bulej, Cliff Click, Lieven Eeckhout, Sebastian Fischmeister, Daniel Frampton, Laurie J. Hendren, Michael Hind, Antony L. Hosking, Richard E. Jones, Tomas Kalibera, Nathan Keynes, Nathaniel Nystrom, Andreas Zeller
The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. ACM Trans. Program. Lang. Syst. 38 (4) (2016)
Carlos Moreno, Sean Kauffman, Sebastian Fischmeister
Efficient program tracing and monitoring through power consumption - with a little help from the compiler. DATE (2016)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. RV (2016)
Carlos Moreno, Sebastian Fischmeister
Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace. RV (2016)
Jean-Christophe Petkovich, Augusto Born de Oliveira, Y. Zhang, Thomas Reidemeister, Sebastian Fischmeister
DataMill: a distributed heterogeneous infrastructure for robust experimentation. Softw. Pract. Exp. 46 (10) (2016)
Hany Kashif, Johnson J. Thomas, Hiren D. Patel, Sebastian Fischmeister
Static slack-based instrumentation of programs. ETFA (2015)
Ramy Medhat, Borzoo Bonakdarpour, Deepak Kumar, Sebastian Fischmeister
Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Therese C. Biedl, Sebastian Fischmeister, Neeraj Kumar
DAG-width of Control Flow Graphs with Applications to Model Checking. CoRR (2015)
Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister
Runtime verification with minimal intrusion through parallelism. Formal Methods Syst. Des. 46 (3) (2015)
Joachim Denil, Hany Kashif, Pansy Arafa, Hans Vangheluwe, Sebastian Fischmeister
Instrumentation and preservation of extra-functional properties of simulink models. SpringSim (TMS-DEVS) (2015)
Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki
Performance prediction upon toolchain migration in model-based software. MoDELS (2015)
Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister
A framework for mining hybrid automata from input/output traces. EMSOFT (2015)
Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
Time-Triggered Runtime Verification of Component-Based Multi-core Systems. RV (2015)
Carlos Moreno, M. Anwar Hasan, Sebastian Fischmeister
Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks. EMSOFT (2015)
Akramul Azim, Rodolfo Pellizzoni, Sebastian Fischmeister
Generation of communication schedules using component interfaces. ETFA (2015)
Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. SAT (2015)
Gonzalo Carvajal, Chun Wah Wallace Wu, Sebastian Fischmeister
Evaluation of Communication Architectures for Switched Real-Time Ethernet. IEEE Trans. Computers 63 (1) (2014)
Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. CoRR (2014)
Mohammad Mehdi Zeinali Zadeh, Mahmoud Salem, Neeraj Kumar, Greta Cutulenco, Sebastian Fischmeister
SiPTA: Signal processing for trace-based anomaly detection. EMSOFT (2014)
Ahmad Saif Ur Rehman, Augusto Born de Oliveira, Mahesh V. Tripunitara, Sebastian Fischmeister
The use of mTags for mandatory security: a case study. Softw. Pract. Exp. 44 (12) (2014)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
Power-Efficient Multiple Producer-Consumer. IPDPS (2014)
Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon
Impact of Community Structure on SAT Solver Performance. SAT (2014)
Akramul Azim, Gonzalo Carvajal, Rodolfo Pellizzoni, Sebastian Fischmeister
Generation of communication schedules for multi-mode distributed real-time applications. DATE (2014)
Xi Chen, Akramul Azim, Xue Liu, Sebastian Fischmeister, Jun Ma
DTS: Dynamic TDMA scheduling for Networked Control Systems. J. Syst. Archit. 60 (2) (2014)
Sandeep Chaudhary, Sebastian Fischmeister, Lin Tan
em-SPADE: a compiler extension for checking rules extracted from processor specifications. LCTES (2014)
Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
Power Redistribution for Optimizing Performance in MPI Clusters. CoRR (2014)
Augusto Born de Oliveira, Akramul Azim, Sebastian Fischmeister, Ricardo Marau, Luís Almeida
D-RES: Correct transitive distributed service sharing. ETFA (2014)
Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister
Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. ICCPS (2014)
Giovani Gracioli, Antônio Augusto Fröhlich, Rodolfo Pellizzoni, Sebastian Fischmeister
Implementation and evaluation of global and partitioned scheduling in a real-time OS. Real Time Syst. 49 (6) (2013)
Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister
GPU-based Runtime Verification. IPDPS (2013)
Carlos Moreno, Sebastian Fischmeister, M. Anwar Hasan
Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis. LCTES (2013)

Sebastian Fischmeister.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Fischmeister