default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSebastian Fischmeister
Person information
- affiliation: University of Waterloo, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j34]Shailja Thakur
, Carlos Moreno, Sebastian Fischmeister:
CANOA: CAN Origin Authentication through Power Side-channel Monitoring. ACM Trans. Cyber Phys. Syst. 8(2): 13 (2024)- [c122]Soroush Mortazavi Moghaddam, Yash Vardhan Pant, Sebastian Fischmeister:
Robust Reinforcement Learning for Linear Temporal Logic Specifications with Finite Trajectory Duration. Canadian AI 2024 - [c121]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: 1-4 - [c120]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: 1-6 - [c119]Sean Kauffman, Carlos Moreno, Sebastian Fischmeister:
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria. ICSTW 2024: 55-62 - [c118]Fan He, Juliet Kern, Sebastian Fischmeister, Catherine M. Burns:
Awareness and Assistance: General Drivers' Cyber Threat Identification and the Role of an In-Vehicle Console Display. ITSC 2024: 3607-3612 - [c117]Murray Dunne, Kylee Schram, Sebastian Fischmeister:
Weaknesses in LLM-Generated Code for Embedded Systems Networking. QRS 2024: 250-261 - [i11]Sean Kauffman, Carlos Moreno, Sebastian Fischmeister:
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria. CoRR abs/2407.04144 (2024) - [i10]Achint Soni, Sreyas Venkataraman, Abhranil Chandra, Sebastian Fischmeister, Percy Liang, Bo Dai, Sherry Yang:
VideoAgent: Self-Improving Video Generation. CoRR abs/2410.10076 (2024) - 2023
- [j33]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): 101-104 (2023) - [c116]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: 665-673 - [c115]Arthur Grisel-Davy, Goksen U. Guler, Julian Dickert, Philippe Vibien, Waleed Khan, Jack Morgan, Carlos Moreno, Sebastian Fischmeister:
Side-Channel Based Runtime Intrusion Detection for Network Equipment. PKDD/ECML Workshops (5) 2023: 261-276 - [c114]Arthur Grisel-Davy, Sebastian Fischmeister:
Independent Boot Process Verification using Side-Channel Power Analysis. QRS Companion 2023: 196-207 - [c113]Arthur Grisel-Davy, Sebastian Fischmeister:
MAD: One-Shot Machine Activity Detector for Physics-Based Cyber Security. QRS 2023: 684-695 - [c112]Karim Elhammady, Sebastian Fischmeister:
Quantitative Risk Analysis with Qualitative Statements. TPS-ISA 2023: 350-359 - 2022
- [c111]Murray Dunne, Sebastian Fischmeister:
Powertrace-based Fuzzing of CAN Connected Hardware. CSR 2022: 239-244 - [c110]Arthur Grisel-Davy, Amrita Milan Bhogayata, Srijan Pabbi, Apurva Narayan, Sebastian Fischmeister:
Work-in-Progress: Boot Sequence Integrity Verification with Power Analysis. EMSOFT 2022: 3-4 - [c109]Sulav Lal Shrestha, Taylor Lee, Sebastian Fischmeister:
Metasploit for Cyber-Physical Security Testing with Real-Time Constraints. SciSec 2022: 260-275 - 2021
- [j32]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: 101876 (2021) - [j31]Sean Kauffman, Klaus Havelund, Sebastian Fischmeister:
What can we monitor over unreliable channels? Int. J. Softw. Tools Technol. Transf. 23(4): 579-600 (2021) - [c108]Nathan Liu, Carlos Moreno, Murray Dunne, Sebastian Fischmeister:
vProfile: Voltage-Based Anomaly Detection in Controller Area Networks. DATE 2021: 1142-1147 - 2020
- [c107]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: 2849-2856 - [c106]Shailja Thakur, Sebastian Fischmeister:
A generalizable saliency map-based interpretation of model outcome. ICPR 2020: 4099-4106 - [c105]Mohammad Hossein Basiri, Nasser L. Azad, Sebastian Fischmeister:
Attack Resilient Heterogeneous Vehicle Platooning Using Secure Distributed Nonlinear Model Predictive Control. MED 2020: 307-312 - [c104]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: 325-330 - [c103]Oleg Iegorov, Sebastian Fischmeister:
Parameterless Semi-supervised Anomaly Detection in Univariate Time Series. ECML/PKDD (1) 2020: 644-659 - [c102]Sebastian Fischmeister:
Mining Traces of Embedded Software Systems for Insights. ICPE 2020: 3 - [d2]Sean Kauffman, Murray Dunne, Giovani Gracioli, Waleed Khan, Nirmal Benann, Sebastian Fischmeister:
Palisade: A Framework for Anomaly Detection in Embedded Systems Dataset. IEEE DataPort, 2020
- [i9]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 abs/2004.00417 (2020) - [i8]Shailja Thakur, Carlos Moreno, Sebastian Fischmeister:
CANOA: CAN Origin Authentication Through Power Side-Channel Monitoring. CoRR abs/2006.06993 (2020) - [i7]Shailja Thakur, Sebastian Fischmeister:
A generalizable saliency map-based interpretation of model outcome. CoRR abs/2006.09504 (2020)
2010 – 2019
- 2019
- [j30]Mohammad Hossein Basiri, Mohammad Pirani, Nasser L. Azad, Sebastian Fischmeister:
Security of Vehicle Platooning: A Game-Theoretic Approach. IEEE Access 7: 185565-185579 (2019) - [j29]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: e210 (2019) - [j28]Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister:
Energy-Efficient Multiple Producer-Consumer. IEEE Trans. Parallel Distributed Syst. 30(3): 560-574 (2019) - [c101]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: 3841-3848 - [c100]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: 5:1-5:13 - [c99]Mahmoud Salem, Gonzalo Carvajal, Tong Liu, Sebastian Fischmeister:
Assessing the Robustness of Arrival Curves Models for Real-Time Systems. FORMATS 2019: 23-40 - [c98]Sean Kauffman, Sebastian Fischmeister:
Event stream abstraction using nfer: demo abstract. ICCPS 2019: 332-333 - [c97]Carlos Moreno, Sebastian Fischmeister:
Sender Authentication for Automotive In-Vehicle Networks through Dual Analog Measurements to Determine the Location of the Transmitter. ICISSP 2019: 596-605 - [c96]Ilia Sucholutsky, Apurva Narayan, Matthias Schonlau, Sebastian Fischmeister:
Deep Learning for System Trace Restoration. IJCNN 2019: 1-8 - [c95]Sean Kauffman, Klaus Havelund, Sebastian Fischmeister:
Monitorability over Unreliable Channels. RV 2019: 256-272 - [c94]Apurva Narayan, Sebastian Fischmeister:
Mining Time for Timed Regular Specifications. SMC 2019: 63-69 - [c93]Naman Singh Negi, Ons Jelassi, Stéphan Clémençon, Sebastian Fischmeister:
A LSTM Approach to Detection of Autonomous Vehicle Hijacking. VEHITS 2019: 475-482 - [d1]Sean Kauffman, Sebastian Fischmeister:
The Effects of Toolchain Configuration on the WCET of SCADE Generated Software: Dataset. IEEE DataPort, 2019 - [i6]Ilia Sucholutsky, Apurva Narayan, Matthias Schonlau, Sebastian Fischmeister:
Deep Learning for System Trace Restoration. CoRR abs/1904.05411 (2019) - 2018
- [j27]Gonzalo Carvajal, Mahmoud Salem, Nirmal Benann, Sebastian Fischmeister:
Enabling Rapid Construction of Arrival Curves From Execution Traces. IEEE Des. Test 35(4): 23-30 (2018) - [j26]Sean Kauffman, Klaus Havelund, Rajeev Joshi, Sebastian Fischmeister:
Inferring event stream abstractions. Formal Methods Syst. Des. 53(1): 54-82 (2018) - [j25]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): 113-137 (2018) - [j24]Apurva Narayan, Greta Cutulenco, Yogi Joshi, Sebastian Fischmeister:
Mining Timed Regular Specifications from System Traces. ACM Trans. Embed. Comput. Syst. 17(2): 46:1-46:21 (2018) - [c92]Kamal Lamichhane, Carlos Moreno, Sebastian Fischmeister:
Non-intrusive program tracing of non-preemptive multitasking systems using power consumption. DATE 2018: 1147-1150 - [c91]Oleg Iegorov, Sebastian Fischmeister:
Mining Task Precedence Graphs from Real-Time Embedded System Traces. RTAS 2018: 251-260 - [c90]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: 187-204 - [c89]Zack Newsham, Vijay Ganesh, Sebastian Fischmeister:
Predicting SAT Solver Performance on Heterogeneous Hardware. POS@SAT 2018: 18-33 - [c88]Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister:
Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning. SEFM 2018: 205-220 - 2017
- [j23]Carlos Moreno, Sebastian Fischmeister:
Accurate Measurement of Small Execution Times - Getting Around Measurement Errors. IEEE Embed. Syst. Lett. 9(1): 17-20 (2017) - [j22]Sebastian Fischmeister, Jason Xue:
Guest Editorial: Special Issue on LCTES 2015. ACM Trans. Embed. Comput. Syst. 16(2): 29:1 (2017) - [j21]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): 184:1-184:19 (2017) - [c87]Carlos Moreno, Sebastian Fischmeister:
Fast and Energy-Efficient Digital Filters for Signal Conditioning in Low-Power Microcontrollers. DAC 2017: 43:1-43:6 - [c86]Carlos Moreno, Sebastian Fischmeister:
On the Security of Safety-critical Embedded Systems: Who Watches the Watchers? Who Reprograms the Watchers?. ICISSP 2017: 493-498 - [c85]Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney:
Perphecy: Performance Regression Test Selection Made Simple but Effective. ICST 2017: 103-113 - [c84]Milad Irannejad, Guy Martin Tchamgoue, Sebastian Fischmeister:
A Reordering Framework for Testing Message-Passing Systems. ISORC 2017: 109-116 - [c83]Lukas Schmidt, Apurva Narayan, Sebastian Fischmeister:
TREM: a tool for mining timed regular specifications from system traces. ASE 2017: 901-906 - [c82]Pansy Arafa, Guy Martin Tchamgoue, Hany Kashif, Sebastian Fischmeister:
QDIME: QoS-Aware Dynamic Binary Instrumentation. MASCOTS 2017: 132-142 - [c81]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: 216-223 - [c80]Oleg Iegorov, Reinier Torres, Sebastian Fischmeister:
Periodic Task Mining in Embedded System Traces. RTAS 2017: 331-340 - [c79]Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister:
Runtime verification of LTL on lossy traces. SAC 2017: 1379-1386 - [c78]Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister:
Debugging behaviour of embedded-software developers: An exploratory study. VL/HCC 2017: 89-93 - [c77]Pavel Valov, Jean-Christophe Petkovich, Jianmei Guo, Sebastian Fischmeister, Krzysztof Czarnecki:
Transferring Performance Prediction Models Across Different Hardware Platforms. ICPE 2017: 39-50 - [i5]Pansy Arafa, Hany Kashif, Sebastian Fischmeister:
Redundancy Suppression In Time-Aware Dynamic Binary Instrumentation. CoRR abs/1703.02873 (2017) - [i4]Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister:
Debugging Behaviour of Embedded-Software Developers: An Exploratory Study. CoRR abs/1704.03397 (2017) - 2016
- [j20]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): 1411-1440 (2016) - [j19]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): 1806-1816 (2016) - [j18]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): 53:1-53:25 (2016) - [j17]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): 15:1-15:20 (2016) - [c76]Carlos Moreno, Sean Kauffman, Sebastian Fischmeister:
Efficient program tracing and monitoring through power consumption - with a little help from the compiler. DATE 2016: 1556-1561 - [c75]Mahmoud Salem, Mark Crowley, Sebastian Fischmeister:
Anomaly Detection Using Inter-Arrival Curves for Real-Time Systems. ECRTS 2016: 97-106 - [c74]Guy Martin Tchamgoue, Sebastian Fischmeister:
Lessons learned on assumptions and scalability with time-aware instrumentation. EMSOFT 2016: 2:1-2:7 - [c73]Akramul Azim, Sebastian Fischmeister:
Efficient mode changes in multi-mode systems. ICCD 2016: 592-599 - [c72]Greta Cutulenco, Yogi Joshi, Apurva Narayan, Sebastian Fischmeister:
Mining timed regular expressions from system traces. SoftwareMining@ASE 2016: 3-10 - [c71]Sean Kauffman, Carlos Moreno, Sebastian Fischmeister:
Static Transformation of Power Consumption for Software Attestation. RTCSA 2016: 188-194 - [c70]Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister, Yogi Joshi:
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. RV 2016: 251-267 - [c69]Carlos Moreno, Sebastian Fischmeister:
Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace. RV 2016: 268-284 - 2015
- [j16]Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister:
Runtime verification with minimal intrusion through parallelism. Formal Methods Syst. Des. 46(3): 317-348 (2015) - [j15]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): 79:1-79:29 (2015) - [c68]Carlos Moreno, M. Anwar Hasan, Sebastian Fischmeister:
Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks. EMSOFT 2015: 157-166 - [c67]Ramy Medhat, S. Ramesh, Borzoo Bonakdarpour, Sebastian Fischmeister:
A framework for mining hybrid automata from input/output traces. EMSOFT 2015: 177-186 - [c66]Akramul Azim, Rodolfo Pellizzoni, Sebastian Fischmeister:
Generation of communication schedules using component interfaces. ETFA 2015: 1-9 - [c65]Hany Kashif, Johnson J. Thomas, Hiren D. Patel, Sebastian Fischmeister:
Static slack-based instrumentation of programs. ETFA 2015: 1-8 - [c64]Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki:
Performance prediction upon toolchain migration in model-based software. MoDELS 2015: 302-311 - [c63]Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister:
Time-Triggered Runtime Verification of Component-Based Multi-core Systems. RV 2015: 153-168 - [c62]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: 62-70 - [c61]Joachim Denil, Hany Kashif, Pansy Arafa, Hans Vangheluwe, Sebastian Fischmeister:
Instrumentation and preservation of extra-functional properties of simulink models. SpringSim (TMS-DEVS) 2015: 47-54 - [e2]Sam H. Noh, Sebastian Fischmeister, Jason Xue:
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. ACM 2015, ISBN 978-1-4503-3257-6 [contents] - [i3]Therese Biedl, Sebastian Fischmeister, Neeraj Kumar:
DAG-width of Control Flow Graphs with Applications to Model Checking. CoRR abs/1503.00793 (2015) - 2014
- [j14]Xi Chen, Akramul Azim, Xue Liu, Sebastian Fischmeister, Jun Ma:
DTS: Dynamic TDMA scheduling for Networked Control Systems. J. Syst. Archit. 60(2): 194-205 (2014) - [j13]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): 1511-1523 (2014) - [j12]Gonzalo Carvajal, Chun Wah Wallace Wu, Sebastian Fischmeister:
Evaluation of Communication Architectures for Switched Real-Time Ethernet. IEEE Trans. Computers 63(1): 218-229 (2014) - [c60]Akramul Azim, Gonzalo Carvajal, Rodolfo Pellizzoni, Sebastian Fischmeister:
Generation of communication schedules for multi-mode distributed real-time applications. DATE 2014: 1-6 - [c59]Mohammad Mehdi Zeinali Zadeh, Mahmoud Salem, Neeraj Kumar, Greta Cutulenco, Sebastian Fischmeister:
SiPTA: Signal processing for trace-based anomaly detection. EMSOFT 2014: 6:1-6:10 - [c58]Augusto Born de Oliveira, Akramul Azim, Sebastian Fischmeister, Ricardo Marau, Luís Almeida:
D-RES: Correct transitive distributed service sharing. ETFA 2014: 1-6 - [c57]Ramy Medhat, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister:
Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems. ICCPS 2014: 115-126 - [c56]Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister:
Power-Efficient Multiple Producer-Consumer. IPDPS 2014: 669-678 - [c55]Sandeep Chaudhary, Sebastian Fischmeister, Lin Tan:
em-SPADE: a compiler extension for checking rules extracted from processor specifications. LCTES 2014: 105-114 - [c54]Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon:
Impact of Community Structure on SAT Solver Performance. SAT 2014: 252-268 - [i2]Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister:
Power Redistribution for Optimizing Performance in MPI Clusters. CoRR abs/1410.6824 (2014) - [i1]Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister:
Accelerated Runtime Verification of LTL Specifications with Counting Semantics. CoRR abs/1411.2239 (2014) - 2013
- [j11]Reinaldo A. Bergamaschi, Sanjoy K. Baruah, Sebastian Fischmeister, Robert P. Dick, Jan Madsen, Rajesh Gupta, Vincent John Mooney III:
Introductions to special issue on ESWEEK 2011. Des. Autom. Embed. Syst. 17(2): 215-219 (2013) - [j10]Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister:
Time-triggered runtime verification. Formal Methods Syst. Des. 43(1): 29-60 (2013) - [j9]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): 669-714 (2013) - [j8]Madhukar Anand, Sebastian Fischmeister, Insup Lee:
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems. ACM Trans. Embed. Comput. Syst. 13(1): 2:1-2:37 (2013) - [c53]Augusto Born de Oliveira, Sebastian Fischmeister, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney:
Why you should care about quantile regression. ASPLOS 2013: 207-218 - [c52]Gonzalo Carvajal, Sebastian Fischmeister:
An open platform for mixed-criticality real-time ethernet. DATE 2013: 153-156 - [c51]Akramul Azim, Shreyas Sundaram, Sebastian Fischmeister:
An Efficient Periodic Resource Supply Model for Workloads with Transient Overloads. ECRTS 2013: 249-258 - [c50]Pansy Arafa, Hany Kashif, Sebastian Fischmeister:
DIME: Time-aware dynamic binary instrumentation using rate-based resource allocation. EMSOFT 2013: 25:1-25:10 - [c49]Gonzalo Carvajal, Miguel E. Figueroa, Robert Trausmuth, Sebastian Fischmeister:
Atacama: An Open FPGA-Based Platform for Mixed-Criticality Communication in Multi-segmented Ethernet Networks. FCCM 2013: 121-128 - [c48]Peiyi Chen, Thomas Reidemeister, Sebastian Fischmeister, Yassir Rizwan, Steven Lake Waslander:
Hexacopters for everyone: online access to advanced robotics platforms for your research. ICCPS 2013: 247 - [c47]Gonzalo Carvajal, Sebastian Fischmeister:
Atacama: an open research platform for mixed-criticality communication in ethernet. ICCPS 2013: 248 - [c46]Shay Berkovich, Borzoo Bonakdarpour, Sebastian Fischmeister:
GPU-based Runtime Verification. IPDPS 2013: 1025-1036 - [c45]Carlos Moreno, Sebastian Fischmeister, M. Anwar Hasan:
Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis. LCTES 2013: 77-88 - [c44]Hany Kashif, Sina Gholamian, Rodolfo Pellizzoni, Hiren D. Patel, Sebastian Fischmeister:
ORTAP: An Offset-based response time analysis for a pipelined communication resource model. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 247-258 - [c43]Hany Kashif, Pansy Arafa, Sebastian Fischmeister:
INSTEP: A static instrumentation framework for preserving extra-functional properties. RTCSA 2013: 257-266 - [c42]Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister:
Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques. RV 2013: 304-321 - [c41]Samaneh Navabpour, Yogi Joshi, Chun Wah Wallace Wu, Shay Berkovich, Ramy Medhat, Borzoo Bonakdarpour, Sebastian Fischmeister:
RiTHM: a tool for enabling time-triggered runtime verification for C programs. ESEC/SIGSOFT FSE 2013: 603-606 - [c40]Augusto Born de Oliveira, Jean-Christophe Petkovich, Thomas Reidemeister, Sebastian Fischmeister:
DataMill: rigorous performance evaluation made easy. ICPE 2013: 137-148 - 2012
- [j7]Giovani Gracioli, Sebastian Fischmeister:
Tracing and recording interrupts in embedded software. J. Syst. Archit. 58(9): 372-385 (2012) - [j6]Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan:
State-based scheduling with tree schedules: analysis and evaluation. Real Time Syst. 48(4): 430-462 (2012) - [j5]Augusto Born de Oliveira, Ahmad Saif Ur Rehman, Sebastian Fischmeister:
mTags: augmenting microkernel messages with lightweight metadata. ACM SIGOPS Oper. Syst. Rev. 46(2): 67-79 (2012) - [c39]Hany Kashif, Hiren D. Patel, Sebastian Fischmeister:
Using link-level latency analysis for path selection for real-time communication on NoCs. ASP-DAC 2012: 499-504 - [c38]Borzoo Bonakdarpour, Sebastian Fischmeister:
Runtime verification of real-time embedded systems. EMSOFT 2012: 249-250 - [c37]Hany Kashif, Sebastian Fischmeister:
Program transformation for time-aware instrumentation. ETFA 2012: 1-8 - [c36]Xi Chen, Akramul Azim, Xue Liu, Sebastian Fischmeister:
CSS: Conditional State-Based Scheduling for Networked Control Systems. RTCSA 2012: 78-87 - [c35]Borzoo Bonakdarpour, Johnson J. Thomas, Sebastian Fischmeister:
Time-Triggered Program Self-Monitoring. RTCSA 2012: 260-269 - [c34]Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister:
Path-Aware Time-Triggered Runtime Verification. RV 2012: 199-213 - 2011
- [c33]Akramul Azim, Sebastian Fischmeister:
Resolving state inconsistency in distributed fault-tolerant real-time dynamic TDMA architectures. ETFA 2011: 1-9 - [c32]Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister:
Sampling-Based Runtime Verification. FM 2011: 88-102 - [c31]Johnson J. Thomas, Sebastian Fischmeister, Deepak Kumar:
Lowering overhead in sampling-based execution monitoring and tracing. LCTES 2011: 101-110 - [c30]Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister:
Software debugging and testing using the abstract diagnosis theory. LCTES 2011: 111-120 - [c29]Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister:
Optimal Instrumentation of Data-flow in Concurrent Data Structures. OPODIS 2011: 497-512 - [c28]Borzoo Bonakdarpour, Sebastian Fischmeister:
Runtime Monitoring of Time-Sensitive Systems - [Tutorial Supplement]. RV 2011: 19-33 - [c27]Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister:
Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification. RV 2011: 208-222 - [e1]Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister:
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. ACM 2011, ISBN 978-1-4503-0714-7 [contents] - 2010
- [j4]Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee:
Generating Reliable Code from Hybrid-Systems Models. IEEE Trans. Computers 59(9): 1281-1294 (2010) - [j3]Sebastian Fischmeister, Patrick Lam:
Time-aware Instrumentation of Real-time Programs. IEEE Trans. Ind. Informatics 6(4): 652-663 (2010) - [c26]Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister:
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures. EMSOFT 2010: 199-208 - [c25]Gonzalo Carvajal, Sebastian Fischmeister:
A TDMA Ethernet Switch for Dynamic Real-Time Communication. FCCM 2010: 119-126 - [c24]Sebastian Fischmeister, Akramul Azim:
Design Choices for High-Confidence Distributed Real-Time Software. ISoLA (2) 2010: 327-342 - [c23]David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim:
Model-Based Programming of Modular Robots. ISORC 2010: 66-74 - [c22]Sebastian Fischmeister, Yanmeng Ba:
Sampling-based program execution monitoring. LCTES 2010: 133-142
2000 – 2009
- 2009
- [j2]Sebastian Fischmeister, Robert Trausmuth, Insup Lee:
Hardware Acceleration for Programmable Real-Time Ethernet. IEEE Trans. Ind. Informatics 5(3): 325-337 (2009) - [c21]Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur:
Specification and Analysis of Network Resource Requirements of Control Systems. HSCC 2009: 381-395 - [c20]Madhukar Anand, Sebastian Fischmeister, Insup Lee:
Resource Scopes: Toward Language Support for Compositional Determinism. ISORC 2009: 295-304 - [c19]Giovani Gracioli, Sebastian Fischmeister:
Tracing interrupts in embedded software. LCTES 2009: 137-146 - [c18]Sebastian Fischmeister, Patrick Lam:
On Time-Aware Instrumentation of Programs. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 305-314 - 2008
- [c17]Sebastian Fischmeister, Insup Lee, Robert Trausmuth:
Hardware acceleration for verifiable, adaptive real-time communication. ETFA 2008: 1425-1432 - [c16]Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee:
Compositional Feasibility Analysis of Conditional Real-Time Task Models. ISORC 2008: 391-398 - 2007
- [j1]Sebastian Fischmeister, Oleg Sokolsky, Insup Lee:
A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers 56(11): 1505-1519 (2007) - [c15]Madhukar Anand, Sebastian Fischmeister, Insup Lee:
Composition Techniques for Tree Communication Schedules. ECRTS 2007: 235-246 - [c14]Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee:
A dynamic scheduling approach to designing flexible safety-critical systems. EMSOFT 2007: 67-74 - [r1]Insup Lee, Sebastian Fischmeister:
Temporal Control in Real-Time Systems. Handbook of Real-Time and Embedded Systems 2007 - 2006
- [c13]Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee:
Generating Sound and Resource-Aware Code from Hybrid Systems Models. ASWSD 2006: 48-66 - [c12]Madhukar Anand, Sebastian Fischmeister, Insup Lee:
An analysis framework for network-code programs. EMSOFT 2006: 122-131 - [c11]Sebastian Fischmeister, Oleg Sokolsky, Insup Lee:
Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium 2006: 311-324 - 2005
- [c10]Sebastian Fischmeister, Klemens Winkler:
Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime. ECRTS 2005: 106-114 - [c9]Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee:
Distributed-code generation from hybrid systems models for time-delayed multirate systems. EMSOFT 2005: 210-213 - [c8]Sebastian Fischmeister:
Describing Multidimensional Schedules for Media-Access Control in Time-Triggered Communication. ISCC 2005: 664-670 - [c7]Guido Menkhaus, Michael Holzmann, Sebastian Fischmeister, Claudiu Farcas:
Towards Efficient Use of Shared Communication Media in the Timed Model. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 342-351 - 2003
- [c6]Guido Menkhaus, Sebastian Fischmeister:
Diaolog Model Clustering for User Interface Adaptation. ICWE 2003: 194-203 - [c5]Sebastian Fischmeister, Guido Menkhaus, Alexander Stumpfl:
Location-Detection Strategies in Pervasive Computing Environments. PerCom 2003: 273-278 - 2002
- [c4]Sebastian Fischmeister, Günther Hagleitner, Wolfgang Pree:
Hermes--A Lean M-commerce Software Platform Utilizing Electronic Signatures. HICSS 2002: 307 - [c3]Sebastian Fischmeister:
Mobile Software Agents for Location-Based Systems. Agent Technologies, Infrastructures, Tools, and Applications for E-Services 2002: 226-239 - 2001
- [c2]Sebastian Fischmeister, Günther Hagleitner, Wolfgang Pree:
Symbolon - A Novel Concept For Secure e-Commerce. I3E 2001: 603-616 - [c1]Sebastian Fischmeister, Giovanni Vigna, Richard A. Kemmerer:
Evaluating the Security of Three Java-Based Mobile Agent Systems. Mobile Agents 2001: 31-41
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-08 02:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
