Sebastian Fischmeister

179 papers A* 4A 16B 35C 20Misc 16Journal 51Unranked 36

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Breaking TEMPEST: Low-Frequency Bidirectional Covert Channel on Power Lines. ICISSP (1) Thien Dan Balsdon, Arthur Grisel-Davy, Sebastian Fischmeister
2025	J	`jnl`	AVATAR: Autonomous Vehicle Assessment Through Testing of Adversarial Patches in Real-Time. IEEE Trans. Intell. Veh. Abhijith Sharma, Apurva Narayan, Nasser Lashgarian Azad, Sebastian Fischmeister, Stefan Marksteiner
2025	C	`conf`	Mining Patterns for Maximal Coverage in Time Series. SERA Neeraj Nagar, Arthur Grisel-Davy, Sebastian Fischmeister
2025	—	`conf`	Path Diffuser: Diffusion Model for Data-Driven Traffic Simulator. ITSC Da Saem Lee, Akash Karthikeyan, Yash Vardhan Pant, Sebastian Fischmeister
2025	J	`jnl`	Path Diffuser: Diffusion Model for Data-Driven Traffic Simulator. CoRR Da Saem Lee, Akash Karthikeyan, Yash Vardhan Pant, Sebastian Fischmeister
2025	J	`jnl`	SAC-MoE: Reinforcement Learning with Mixture-of-Experts for Control of Hybrid Dynamical Systems with Uncertainty. CoRR Leroy D'Souza, Akash Karthikeyan, Yash Vardhan Pant, Sebastian Fischmeister
2025	J	`jnl`	STAF: Leveraging LLMs for Automated Attack Tree-Based Security Test Generation. CoRR Tanmay Khule, Stefan Marksteiner, Jose Alguindigue, Hannes Fuchs, Sebastian Fischmeister, Apurva Narayan
2025	J	`jnl`	Shape of Thought: When Distribution Matters More than Correctness in Reasoning Tasks. CoRR Abhranil Chandra, Ayush Agrawal, Arian Hosseini, Sebastian Fischmeister, Rishabh Agarwal, Navin Goyal, Aaron C. Courville
2025	—	`conf`	Tractable Stochastic Hybrid Model Predictive Control using Gaussian Processes for Repetitive Tasks in Unseen Environments. ECC Leroy D'Souza, Yash Vardhan Pant, Sebastian Fischmeister
2025	J	`jnl`	Tractable Stochastic Hybrid Model Predictive Control using Gaussian Processes for Repetitive Tasks in Unseen Environments. CoRR Leroy D'Souza, Yash Vardhan Pant, Sebastian Fischmeister
2024	—	`conf`	Annotating Control-Flow Graphs for Formalized Test Coverage Criteria. ICSTW Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
2024	J	`jnl`	Annotating Control-Flow Graphs for Formalized Test Coverage Criteria. CoRR Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
2024	—	`conf`	Awareness and Assistance: General Drivers' Cyber Threat Identification and the Role of an In-Vehicle Console Display. ITSC Fan He, Juliet Kern, Sebastian Fischmeister, Catherine M. Burns
2024	J	`jnl`	CANOA: CAN Origin Authentication through Power Side-channel Monitoring. ACM Trans. Cyber Phys. Syst. Shailja Thakur, Carlos Moreno, Sebastian Fischmeister
2024	—	`conf`	Preliminary Cognitive Modeling: Comparing Distraction-Based Cyber-Attacks and Alcohol-Related Impairments on Human Drivers. ICHMS Fan He, Karim Elhammady, Sebastian Fischmeister, Catherine M. Burns
2024	—	`conf`	Robust Reinforcement Learning for Linear Temporal Logic Specifications with Finite Trajectory Duration. Canadian AI Soroush Mortazavi Moghaddam, Yash Vardhan Pant, Sebastian Fischmeister
2024	—	`conf`	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 G. Robert Arrabito, Ming Hou, Sebastian Fischmeister, Tiago H. Falk, Hannah Willoughby, Madison Cameron, Liam Foley, Sarah Normandin, Simon P. Banbury
2024	J	`jnl`	VideoAgent: Self-Improving Video Generation. CoRR Achint Soni, Sreyas Venkataraman, Abhranil Chandra, Sebastian Fischmeister, Percy Liang, Bo Dai, Sherry Yang
2024	C	`conf`	Weaknesses in LLM-Generated Code for Embedded Systems Networking. QRS Murray Dunne, Kylee Schram, Sebastian Fischmeister
2023	—	`conf`	Independent Boot Process Verification using Side-Channel Power Analysis. QRS Companion Arthur Grisel-Davy, Sebastian Fischmeister
2023	C	`conf`	MAD: One-Shot Machine Activity Detector for Physics-Based Cyber Security. QRS Arthur Grisel-Davy, Sebastian Fischmeister
2023	J	`jnl`	Monitoring Software Execution Flow Through Power Consumption and Dynamic Time Warping. IEEE Embed. Syst. Lett. Boris Vidal, Carlos Moreno, Sebastian Fischmeister, Gonzalo Carvajal
2023	—	`conf`	Quantitative Risk Analysis with Qualitative Statements. TPS-ISA Karim Elhammady, Sebastian Fischmeister
2023	—	`conf`	Side-Channel Based Runtime Intrusion Detection for Network Equipment. PKDD/ECML Workshops (5) Arthur Grisel-Davy, Goksen U. Guler, Julian Dickert, Philippe Vibien, Waleed Khan, Jack Morgan, Carlos Moreno, Sebastian Fischmeister
2023	—	`conf`	Zeroth-Order Optimization Attacks on Deep Reinforcement Learning-Based Lane Changing Algorithms for Autonomous Vehicles. ICINCO (1) Dayu Zhang, Nasser Lashgarian Azad, Sebastian Fischmeister, Stefan Marksteiner
2022	—	`conf`	Metasploit for Cyber-Physical Security Testing with Real-Time Constraints. SciSec Sulav Lal Shrestha, Taylor Lee, Sebastian Fischmeister
2022	Misc	`conf`	Powertrace-based Fuzzing of CAN Connected Hardware. CSR Murray Dunne, Sebastian Fischmeister
2022	Misc	`conf`	Work-in-Progress: Boot Sequence Integrity Verification with Power Analysis. EMSOFT Arthur Grisel-Davy, Amrita Milan Bhogayata, Srijan Pabbi, Apurva Narayan, Sebastian Fischmeister
2021	J	`jnl`	Palisade: A framework for anomaly detection in embedded systems. J. Syst. Archit. Sean Kauffman, Murray Dunne, Giovani Gracioli, Waleed Khan, Nirmal Benann, Sebastian Fischmeister
2021	J	`jnl`	What can we monitor over unreliable channels? Int. J. Softw. Tools Technol. Transf. Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
2021	A	`conf`	vProfile: Voltage-Based Anomaly Detection in Controller Area Networks. DATE Nathan Liu, Carlos Moreno, Murray Dunne, Sebastian Fischmeister
2020	B	`conf`	A generalizable saliency map-based interpretation of model outcome. ICPR Shailja Thakur, Sebastian Fischmeister
2020	J	`jnl`	A generalizable saliency map-based interpretation of model outcome. CoRR Shailja Thakur, Sebastian Fischmeister
2020	—	`conf`	Attack Resilient Heterogeneous Vehicle Platooning Using Secure Distributed Nonlinear Model Predictive Control. MED Mohammad Hossein Basiri, Nasser L. Azad, Sebastian Fischmeister
2020	J	`jnl`	CANOA: CAN Origin Authentication Through Power Side-Channel Monitoring. CoRR Shailja Thakur, Carlos Moreno, Sebastian Fischmeister
2020	—	`conf`	Distributed Nonlinear Model Predictive Control and Metric Learning for Heterogeneous Vehicle Platooning with Cut-in/Cut-out Maneuvers. CDC Mohammad Hossein Basiri, Benyamin Ghojogh, Nasser L. Azad, Sebastian Fischmeister, Fakhri Karray, Mark Crowley
2020	J	`jnl`	Distributed Nonlinear Model Predictive Control and Metric Learning for Heterogeneous Vehicle Platooning with Cut-in/Cut-out Maneuvers. CoRR Mohammad Hossein Basiri, Benyamin Ghojogh, Nasser L. Azad, Sebastian Fischmeister, Fakhri Karray, Mark Crowley
2020	—	`conf`	Distributed Time-varying Kalman Filter Design and Estimation over Wireless Sensor Networks Using OWA Sensor Fusion Technique. MED Mohammad Hossein Basiri, Nasser L. Azad, Sebastian Fischmeister
2020	B	`conf`	Mining Traces of Embedded Software Systems for Insights. ICPE Sebastian Fischmeister
2020	—	`conf`	Parameterless Semi-supervised Anomaly Detection in Univariate Time Series. ECML/PKDD (1) Oleg Iegorov, Sebastian Fischmeister
2019	C	`conf`	A LSTM Approach to Detection of Autonomous Vehicle Hijacking. VEHITS Naman Singh Negi, Ons Jelassi, Stéphan Clémençon, Sebastian Fischmeister
2019	—	`conf`	Assessing the Robustness of Arrival Curves Models for Real-Time Systems. FORMATS Mahmoud Salem, Gonzalo Carvajal, Tong Liu, Sebastian Fischmeister
2019	B	`conf`	Deep Learning for System Trace Restoration. IJCNN Ilia Sucholutsky, Apurva Narayan, Matthias Schonlau, Sebastian Fischmeister
2019	J	`jnl`	Deep Learning for System Trace Restoration. CoRR Ilia Sucholutsky, Apurva Narayan, Matthias Schonlau, Sebastian Fischmeister
2019	J	`jnl`	Energy-Efficient Multiple Producer-Consumer. IEEE Trans. Parallel Distributed Syst. Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
2019	—	`conf`	Event stream abstraction using nfer: demo abstract. ICCPS Sean Kauffman, Sebastian Fischmeister
2019	C	`conf`	Kalman Filter Based Secure State Estimation and Individual Attacked Sensor Detection in Cyber-Physical Systems. ACC Mohammad Hossein Basiri, John G. Thistle, John W. Simpson-Porco, Sebastian Fischmeister
2019	B	`conf`	Mining Time for Timed Regular Specifications. SMC Apurva Narayan, Sebastian Fischmeister
2019	B	`conf`	Monitorability over Unreliable Channels. RV Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
2019	J	`jnl`	Pay attention and you won't lose it: a deep learning approach to sequence imputation. PeerJ Comput. Sci. Ilia Sucholutsky, Apurva Narayan, Matthias Schonlau, Sebastian Fischmeister
2019	—	`conf`	Safety and Security Analysis of AEB for L4 Autonomous Vehicle Using STPA. ASD@DATE Shefali Sharma, Adan Flores, Chris Hobbs, Jeff Stafford, Sebastian Fischmeister
2019	J	`jnl`	Security of Vehicle Platooning: A Game-Theoretic Approach. IEEE Access Mohammad Hossein Basiri, Mohammad Pirani, Nasser L. Azad, Sebastian Fischmeister
2019	C	`conf`	Sender Authentication for Automotive In-Vehicle Networks through Dual Analog Measurements to Determine the Location of the Transmitter. ICISSP Carlos Moreno, Sebastian Fischmeister
2018	J	`jnl`	Enabling Rapid Construction of Arrival Curves From Execution Traces. IEEE Des. Test Gonzalo Carvajal, Mahmoud Salem, Nirmal Benann, Sebastian Fischmeister
2018	J	`jnl`	Inferring event stream abstractions. Formal Methods Syst. Des. Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister
2018	A	`conf`	Mining Task Precedence Graphs from Real-Time Embedded System Traces. RTAS Oleg Iegorov, Sebastian Fischmeister
2018	J	`jnl`	Mining Timed Regular Specifications from System Traces. ACM Trans. Embed. Comput. Syst. Apurva Narayan, Greta Cutulenco, Yogi Joshi, Sebastian Fischmeister
2018	A	`conf`	Non-intrusive program tracing of non-preemptive multitasking systems using power consumption. DATE Kamal Lamichhane, Carlos Moreno, Sebastian Fischmeister
2018	J	`jnl`	Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems. Formal Methods Syst. Des. Carlos Moreno, Sebastian Fischmeister
2018	—	`conf`	Predicting SAT Solver Performance on Heterogeneous Hardware. POS@SAT Zack Newsham, Vijay Ganesh, Sebastian Fischmeister
2018	B	`conf`	Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning. RV Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister
2017	C	`conf`	A Reordering Framework for Testing Message-Passing Systems. ISORC Milad Irannejad, Guy Martin Tchamgoue, Sebastian Fischmeister
2017	J	`jnl`	Accurate Measurement of Small Execution Times - Getting Around Measurement Errors. IEEE Embed. Syst. Lett. Carlos Moreno, Sebastian Fischmeister
2017	J	`jnl`	Debugging Behaviour of Embedded-Software Developers: An Exploratory Study. CoRR Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister
2017	B	`conf`	Debugging behaviour of embedded-software developers: An exploratory study. VL/HCC Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister
2017	A*	`conf`	Fast and Energy-Efficient Digital Filters for Signal Conditioning in Low-Power Microcontrollers. DAC Carlos Moreno, Sebastian Fischmeister
2017	J	`jnl`	Guest Editorial: Special Issue on LCTES 2015. ACM Trans. Embed. Comput. Syst. Sebastian Fischmeister, Jason Xue
2017	C	`conf`	Intersert: Assertions on Distributed Process Interaction Sessions. QRS Zack Newsham, Augusto Born de Oliveira, Jean-Christophe Petkovich, Ahmad Saif Ur Rehman, Guy Martin Tchamgoue, Sebastian Fischmeister
2017	J	`jnl`	Managing the Performance/Error Tradeoff of Floating-point Intensive Applications. ACM Trans. Embed. Comput. Syst. Ramy Medhat, Michael O. Lam, Barry L. Rountree, Borzoo Bonakdarpour, Sebastian Fischmeister
2017	C	`conf`	On the Security of Safety-critical Embedded Systems: Who Watches the Watchers? Who Reprograms the Watchers?. ICISSP Carlos Moreno, Sebastian Fischmeister
2017	A	`conf`	Periodic Task Mining in Embedded System Traces. RTAS Oleg Iegorov, Reinier Torres, Sebastian Fischmeister
2017	A	`conf`	Perphecy: Performance Regression Test Selection Made Simple but Effective. ICST Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney
2017	B	`conf`	QDIME: QoS-Aware Dynamic Binary Instrumentation. MASCOTS Pansy Arafa, Guy Martin Tchamgoue, Hany Kashif, Sebastian Fischmeister
2017	J	`jnl`	Redundancy Suppression In Time-Aware Dynamic Binary Instrumentation. CoRR Pansy Arafa, Hany Kashif, Sebastian Fischmeister
2017	Misc	`conf`	Runtime verification of LTL on lossy traces. SAC Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister
2017	A*	`conf`	TREM: a tool for mining timed regular specifications from system traces. ASE Lukas Schmidt, Apurva Narayan, Sebastian Fischmeister
2017	B	`conf`	Transferring Performance Prediction Models Across Different Hardware Platforms. ICPE Pavel Valov, Jean-Christophe Petkovich, Jianmei Guo, Sebastian Fischmeister, Krzysztof Czarnecki
2016	B	`conf`	Accelerated Runtime Verification of LTL Specifications with Counting Semantics. RV Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi
2016	B	`conf`	Anomaly Detection Using Inter-Arrival Curves for Real-Time Systems. ECRTS Mahmoud Salem, Mark Crowley, Sebastian Fischmeister
2016	J	`jnl`	DataMill: a distributed heterogeneous infrastructure for robust experimentation. Softw. Pract. Exp. Jean-Christophe Petkovich, Augusto Born de Oliveira, Y. Zhang, Thomas Reidemeister, Sebastian Fischmeister
2016	C	`conf`	Efficient mode changes in multi-mode systems. ICCD Akramul Azim, Sebastian Fischmeister
2016	A	`conf`	Efficient program tracing and monitoring through power consumption - with a little help from the compiler. DATE Carlos Moreno, Sean Kauffman, Sebastian Fischmeister
2016	J	`jnl`	Integrating Dynamic-TDMA Communication Channels into COTS Ethernet Networks. IEEE Trans. Ind. Informatics Gonzalo Carvajal, Luis Araneda, Alejandro Wolf, Miguel E. Figueroa, Sebastian Fischmeister
2016	Misc	`conf`	Lessons learned on assumptions and scalability with time-aware instrumentation. EMSOFT Guy Martin Tchamgoue, Sebastian Fischmeister
2016	—	`conf`	Mining timed regular expressions from system traces. SoftwareMining@ASE Greta Cutulenco, Yogi Joshi, Apurva Narayan, Sebastian Fischmeister
2016	B	`conf`	Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace. RV Carlos Moreno, Sebastian Fischmeister
2016	J	`jnl`	Path Selection for Real-Time Communication on Priority-Aware NoCs. ACM Trans. Design Autom. Electr. Syst. Hany Kashif, Hiren D. Patel, Sebastian Fischmeister
2016	B	`conf`	Static Transformation of Power Consumption for Software Attestation. RTCSA Sean Kauffman, Carlos Moreno, Sebastian Fischmeister
2016	J	`jnl`	The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. ACM Trans. Program. Lang. Syst. 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
2015	Misc	`conf`	A framework for mining hybrid automata from input/output traces. EMSOFT Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister
2015	J	`jnl`	DAG-width of Control Flow Graphs with Applications to Model Checking. CoRR Therese Biedl, Sebastian Fischmeister, Neeraj Kumar
2015	Misc	`conf`	Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks. EMSOFT Carlos Moreno, M. Anwar Hasan, Sebastian Fischmeister
2015	C	`conf`	Generation of communication schedules using component interfaces. ETFA Akramul Azim, Rodolfo Pellizzoni, Sebastian Fischmeister
2015	—	`conf`	Instrumentation and preservation of extra-functional properties of simulink models. SpringSim (TMS-DEVS) Joachim Denil, Hany Kashif, Pansy Arafa, Hans Vangheluwe, Sebastian Fischmeister
2015	A	`conf`	Performance prediction upon toolchain migration in model-based software. MoDELS Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki
2015	B	`ed.`	Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2015, CD-ROM, Portland, OR, USA, June 18 - 19, 2015 LCTES Sam H. Noh, Sebastian Fischmeister, Jason Xue
2015	J	`jnl`	Runtime Monitoring of Cyber-Physical Systems Under Timing and Memory Constraints. ACM Trans. Embed. Comput. Syst. Ramy Medhat, Borzoo Bonakdarpour, Deepak Kumar, Sebastian Fischmeister
2015	J	`jnl`	Runtime verification with minimal intrusion through parallelism. Formal Methods Syst. Des. Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister
2015	A	`conf`	SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. SAT Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki
2015	C	`conf`	Static slack-based instrumentation of programs. ETFA Hany Kashif, Johnson J. Thomas, Hiren D. Patel, Sebastian Fischmeister
2015	B	`conf`	Time-Triggered Runtime Verification of Component-Based Multi-core Systems. RV Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
2014	J	`jnl`	Accelerated Runtime Verification of LTL Specifications with Counting Semantics. CoRR Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister
2014	C	`conf`	D-RES: Correct transitive distributed service sharing. ETFA Augusto Born de Oliveira, Akramul Azim, Sebastian Fischmeister, Ricardo Marau, Luís Almeida
2014	J	`jnl`	DTS: Dynamic TDMA scheduling for Networked Control Systems. J. Syst. Archit. Xi Chen, Akramul Azim, Xue Liu, Sebastian Fischmeister, Jun Ma
2014	J	`jnl`	Evaluation of Communication Architectures for Switched Real-Time Ethernet. IEEE Trans. Computers Gonzalo Carvajal, Chun Wah Wallace Wu, Sebastian Fischmeister
2014	A	`conf`	Generation of communication schedules for multi-mode distributed real-time applications. DATE Akramul Azim, Gonzalo Carvajal, Rodolfo Pellizzoni, Sebastian Fischmeister
2014	A	`conf`	Impact of Community Structure on SAT Solver Performance. SAT Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon
2014	J	`jnl`	Power Redistribution for Optimizing Performance in MPI Clusters. CoRR Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
2014	A	`conf`	Power-Efficient Multiple Producer-Consumer. IPDPS Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
2014	—	`conf`	Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. ICCPS Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister
2014	Misc	`conf`	SiPTA: Signal processing for trace-based anomaly detection. EMSOFT Mohammad Mehdi Zeinali Zadeh, Mahmoud Salem, Neeraj Kumar, Greta Cutulenco, Sebastian Fischmeister
2014	J	`jnl`	The use of mTags for mandatory security: a case study. Softw. Pract. Exp. Ahmad Saif Ur Rehman, Augusto Born de Oliveira, Mahesh V. Tripunitara, Sebastian Fischmeister
2014	B	`conf`	em-SPADE: a compiler extension for checking rules extracted from processor specifications. LCTES Sandeep Chaudhary, Sebastian Fischmeister, Lin Tan
2013	J	`jnl`	A comparison of compositional schedulability analysis techniques for hierarchical real-time systems. ACM Trans. Embed. Comput. Syst. Madhukar Anand, Sebastian Fischmeister, Insup Lee
2013	B	`conf`	An Efficient Periodic Resource Supply Model for Workloads with Transient Overloads. ECRTS Akramul Azim, Shreyas Sundaram, Sebastian Fischmeister
2013	A	`conf`	An open platform for mixed-criticality real-time ethernet. DATE Gonzalo Carvajal, Sebastian Fischmeister
2013	Misc	`conf`	Atacama: An Open FPGA-Based Platform for Mixed-Criticality Communication in Multi-segmented Ethernet Networks. FCCM Gonzalo Carvajal, Miguel E. Figueroa, Robert Trausmuth, Sebastian Fischmeister
2013	—	`conf`	Atacama: an open research platform for mixed-criticality communication in ethernet. ICCPS Gonzalo Carvajal, Sebastian Fischmeister
2013	Misc	`conf`	DIME: Time-aware dynamic binary instrumentation using rate-based resource allocation. EMSOFT Pansy Arafa, Hany Kashif, Sebastian Fischmeister
2013	B	`conf`	DataMill: rigorous performance evaluation made easy. ICPE Augusto Born de Oliveira, Jean-Christophe Petkovich, Thomas Reidemeister, Sebastian Fischmeister
2013	A	`conf`	GPU-based Runtime Verification. IPDPS Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister
2013	—	`conf`	Hexacopters for everyone: online access to advanced robotics platforms for your research. ICCPS Peiyi Chen, Thomas Reidemeister, Sebastian Fischmeister, Yassir Rizwan, Steven Lake Waslander
2013	B	`conf`	INSTEP: A static instrumentation framework for preserving extra-functional properties. RTCSA Hany Kashif, Pansy Arafa, Sebastian Fischmeister
2013	J	`jnl`	Implementation and evaluation of global and partitioned scheduling in a real-time OS. Real Time Syst. Giovani Gracioli, Antônio Augusto Fröhlich, Rodolfo Pellizzoni, Sebastian Fischmeister
2013	J	`jnl`	Introductions to special issue on ESWEEK 2011. Des. Autom. Embed. Syst. Reinaldo A. Bergamaschi, Sanjoy K. Baruah, Sebastian Fischmeister, Robert P. Dick, Jan Madsen, Rajesh Gupta, Vincent John Mooney III
2013	B	`conf`	Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis. LCTES Carlos Moreno, Sebastian Fischmeister, M. Anwar Hasan
2013	A	`conf`	ORTAP: An Offset-based response time analysis for a pipelined communication resource model. IEEE Real-Time and Embedded Technology and Applications Symposium Hany Kashif, Sina Gholamian, Rodolfo Pellizzoni, Hiren D. Patel, Sebastian Fischmeister
2013	B	`conf`	Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. RV Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister
2013	—	`conf`	RiTHM: a tool for enabling time-triggered runtime verification for C programs. ESEC/SIGSOFT FSE Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister
2013	J	`jnl`	Time-triggered runtime verification. Formal Methods Syst. Des. Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister
2013	A*	`conf`	Why you should care about quantile regression. ASPLOS Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney
2012	B	`conf`	CSS: Conditional State-Based Scheduling for Networked Control Systems. RTCSA Xi Chen, Akramul Azim, Xue Liu, Sebastian Fischmeister
2012	B	`conf`	Path-Aware Time-Triggered Runtime Verification. RV Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
2012	C	`conf`	Program transformation for time-aware instrumentation. ETFA Hany Kashif, Sebastian Fischmeister
2012	Misc	`conf`	Runtime verification of real-time embedded systems. EMSOFT Borzoo Bonakdarpour, Sebastian Fischmeister
2012	J	`jnl`	State-based scheduling with tree schedules: analysis and evaluation. Real Time Syst. Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan
2012	B	`conf`	Time-Triggered Program Self-Monitoring. RTCSA Borzoo Bonakdarpour, Johnson J. Thomas, Sebastian Fischmeister
2012	J	`jnl`	Tracing and recording interrupts in embedded software. J. Syst. Archit. Giovani Gracioli, Sebastian Fischmeister
2012	—	`conf`	Using link-level latency analysis for path selection for real-time communication on NoCs. ASP-DAC Hany Kashif, Hiren D. Patel, Sebastian Fischmeister
2012	J	`jnl`	mTags: augmenting microkernel messages with lightweight metadata. ACM SIGOPS Oper. Syst. Rev. Augusto Born de Oliveira, Ahmad Saif Ur Rehman, Sebastian Fischmeister
2011	B	`conf`	Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. RV Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister
2011	B	`conf`	Lowering overhead in sampling-based execution monitoring and tracing. LCTES Johnson J. Thomas, Sebastian Fischmeister, Deepak Kumar
2011	B	`conf`	Optimal Instrumentation of Data-flow in Concurrent Data Structures. OPODIS Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
2011	Misc	`ed.`	Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011 EMSOFT Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister
2011	C	`conf`	Resolving state inconsistency in distributed fault-tolerant real-time dynamic TDMA architectures. ETFA Akramul Azim, Sebastian Fischmeister
2011	B	`conf`	Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. RV Borzoo Bonakdarpour, Sebastian Fischmeister
2011	B	`conf`	Sampling-Based Runtime Verification. FM Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister
2011	B	`conf`	Software debugging and testing using the abstract diagnosis theory. LCTES Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
2010	Misc	`conf`	A TDMA Ethernet Switch for Dynamic Real-Time Communication. FCCM Gonzalo Carvajal, Sebastian Fischmeister
2010	—	`conf`	Design Choices for High-Confidence Distributed Real-Time Software. ISoLA (2) Sebastian Fischmeister, Akramul Azim
2010	J	`jnl`	Generating Reliable Code from Hybrid-Systems Models. IEEE Trans. Computers Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee
2010	C	`conf`	Model-Based Programming of Modular Robots. ISORC David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim
2010	B	`conf`	Sampling-based program execution monitoring. LCTES Sebastian Fischmeister, Yanmeng Ba
2010	Misc	`conf`	Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures. EMSOFT Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister
2010	J	`jnl`	Time-aware Instrumentation of Real-time Programs. IEEE Trans. Ind. Informatics Sebastian Fischmeister, Patrick Lam
2009	J	`jnl`	Hardware Acceleration for Programmable Real-Time Ethernet. IEEE Trans. Ind. Informatics Sebastian Fischmeister, Robert Trausmuth, Insup Lee
2009	A	`conf`	On Time-Aware Instrumentation of Programs. IEEE Real-Time and Embedded Technology and Applications Symposium Sebastian Fischmeister, Patrick Lam
2009	C	`conf`	Resource Scopes: Toward Language Support for Compositional Determinism. ISORC Madhukar Anand, Sebastian Fischmeister, Insup Lee
2009	—	`conf`	Specification and Analysis of Network Resource Requirements of Control Systems. HSCC Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur
2009	B	`conf`	Tracing interrupts in embedded software. LCTES Giovani Gracioli, Sebastian Fischmeister
2008	C	`conf`	Compositional Feasibility Analysis of Conditional Real-Time Task Models. ISORC Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee
2008	C	`conf`	Hardware acceleration for verifiable, adaptive real-time communication. ETFA Sebastian Fischmeister, Insup Lee, Robert Trausmuth
2007	J	`jnl`	A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers Sebastian Fischmeister, Oleg Sokolsky, Insup Lee
2007	Misc	`conf`	A dynamic scheduling approach to designing flexible safety-critical systems. EMSOFT Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee
2007	B	`conf`	Composition Techniques for Tree Communication Schedules. ECRTS Madhukar Anand, Sebastian Fischmeister, Insup Lee
2007	—	`ch.`	Temporal Control in Real-Time Systems. Handbook of Real-Time and Embedded Systems Insup Lee, Sebastian Fischmeister
2006	Misc	`conf`	An analysis framework for network-code programs. EMSOFT Madhukar Anand, Sebastian Fischmeister, Insup Lee
2006	—	`conf`	Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee
2006	—	`conf`	Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium Sebastian Fischmeister, Oleg Sokolsky, Insup Lee
2005	C	`conf`	Describing Multidimensional Schedules for Media-Access Control in Time-Triggered Communication. ISCC Sebastian Fischmeister
2005	Misc	`conf`	Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee
2005	B	`conf`	Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime. ECRTS Sebastian Fischmeister, Klemens Winkler
2005	A	`conf`	Towards Efficient Use of Shared Communication Media in the Timed Model. IEEE Real-Time and Embedded Technology and Applications Symposium Guido Menkhaus, Michael Holzmann, Sebastian Fischmeister, Claudiu Farcas
2003	B	`conf`	Diaolog Model Clustering for User Interface Adaptation. ICWE Guido Menkhaus, Sebastian Fischmeister
2003	A*	`conf`	Location-Detection Strategies in Pervasive Computing Environments. PerCom Sebastian Fischmeister, Guido Menkhaus, Alexander Stumpfl
2002	—	`conf`	Hermes--A Lean M-commerce Software Platform Utilizing Electronic Signatures. HICSS Sebastian Fischmeister, Günther Hagleitner, Wolfgang Pree
2002	—	`conf`	Mobile Software Agents for Location-Based Systems. Agent Technologies, Infrastructures, Tools, and Applications for E-Services Sebastian Fischmeister
2001	—	`conf`	Evaluating the Security of Three Java-Based Mobile Agent Systems. Mobile Agents Sebastian Fischmeister, Giovanni Vigna, Richard A. Kemmerer
2001	—	`conf`	Symbolon - A Novel Concept For Secure e-Commerce. I3E Sebastian Fischmeister, Günther Hagleitner, Wolfgang Pree