


Остановите войну!
for scientists:


default search action
Sebastian 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
- 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) - 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]