Sebastian Fischmeister
Orcid: 0000-0002-8327-0000Affiliations:
- University of Waterloo, Canada
According to our database1,
Sebastian Fischmeister
authored at least 160 papers
between 2001 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
ACM Trans. Cyber Phys. Syst., April, 2024
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2024, 2024
Preliminary Cognitive Modeling: Comparing Distraction-Based Cyber-Attacks and Alcohol-Related Impairments on Human Drivers.
Proceedings of the 4th IEEE International Conference on Human-Machine Systems, 2024
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.
Proceedings of the 4th IEEE International Conference on Human-Machine Systems, 2024
2023
Monitoring Software Execution Flow Through Power Consumption and Dynamic Time Warping.
IEEE Embed. Syst. Lett., June, 2023
Proceedings of the 5th IEEE International Conference on Trust, 2023
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Zeroth-Order Optimization Attacks on Deep Reinforcement Learning-Based Lane Changing Algorithms for Autonomous Vehicles.
Proceedings of the 20th International Conference on Informatics in Control, 2023
2022
Proceedings of the Science of Cyber Security - 4th International Conference, 2022
Proceedings of the International Conference on Embedded Software, 2022
Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
J. Syst. Archit., 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
2020
Dataset, June, 2020
Proceedings of the ICPE '20: ACM/SPEC International Conference on Performance Engineering, 2020
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2020
Distributed Time-varying Kalman Filter Design and Estimation over Wireless Sensor Networks Using OWA Sensor Fusion Technique.
Proceedings of the 28th Mediterranean Conference on Control and Automation, 2020
Attack Resilient Heterogeneous Vehicle Platooning Using Secure Distributed Nonlinear Model Predictive Control.
Proceedings of the 28th Mediterranean Conference on Control and Automation, 2020
Proceedings of the 25th International Conference on Pattern Recognition, 2020
Distributed Nonlinear Model Predictive Control and Metric Learning for Heterogeneous Vehicle Platooning with Cut-in/Cut-out Maneuvers.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
2019
The Effects of Toolchain Configuration on the WCET of SCADE Generated Software: Dataset.
Dataset, August, 2019
IEEE Trans. Parallel Distributed Syst., 2019
Pay attention and you won't lose it: a deep learning approach to sequence imputation.
PeerJ Comput. Sci., 2019
Proceedings of the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Proceedings of the International Joint Conference on Neural Networks, 2019
Sender Authentication for Automotive In-Vehicle Networks through Dual Analog Measurements to Determine the Location of the Transmitter.
Proceedings of the 5th International Conference on Information Systems Security and Privacy, 2019
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019
Proceedings of the Workshop on Autonomous Systems Design, 2019
Kalman Filter Based Secure State Estimation and Individual Attacked Sensor Detection in Cyber-Physical Systems.
Proceedings of the 2019 American Control Conference, 2019
2018
ACM Trans. Embed. Comput. Syst., 2018
Non-intrusive runtime monitoring through power consumption to enforce safety and security properties in embedded systems.
Formal Methods Syst. Des., 2018
IEEE Des. Test, 2018
<i>P</i>revent : A Predictive Run-Time Verification Framework Using Statistical Learning.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
Proceedings of Pragmatics of SAT 2015, 2018
Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning.
Proceedings of the Runtime Verification - 18th International Conference, 2018
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018
Non-intrusive program tracing of non-preemptive multitasking systems using power consumption.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
2017
ACM Trans. Embed. Comput. Syst., 2017
IEEE Embed. Syst. Lett., 2017
Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017
Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
Proceedings of the 25th IEEE International Symposium on Modeling, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
On the Security of Safety-critical Embedded Systems: Who Watches the Watchers? Who Reprograms the Watchers?.
Proceedings of the 3rd International Conference on Information Systems Security and Privacy, 2017
Fast and Energy-Efficient Digital Filters for Signal Conditioning in Low-Power Microcontrollers.
Proceedings of the 54th Annual Design Automation Conference, 2017
2016
The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations.
ACM Trans. Program. Lang. Syst., 2016
ACM Trans. Design Autom. Electr. Syst., 2016
IEEE Trans. Ind. Informatics, 2016
Softw. Pract. Exp., 2016
Non-intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace.
Proceedings of the Runtime Verification - 16th International Conference, 2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016
Proceedings of the 5th International Workshop on Software Mining, 2016
Proceedings of the 34th IEEE International Conference on Computer Design, 2016
Proceedings of the 2016 International Conference on Embedded Software, 2016
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016
Efficient program tracing and monitoring through power consumption - with a little help from the compiler.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
2015
ACM Trans. Embed. Comput. Syst., 2015
Formal Methods Syst. Des., 2015
Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, 2015
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015
Proceedings of the Runtime Verification - 6th International Conference, 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Exp-HE: a family of fast exponentiation algorithms resistant to SPA, fault, and combined attacks.
Proceedings of the 2015 International Conference on Embedded Software, 2015
Proceedings of the 2015 International Conference on Embedded Software, 2015
2014
IEEE Trans. Computers, 2014
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014
em-SPADE: a compiler extension for checking rules extracted from processor specifications.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014
Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014
Proceedings of the 2014 International Conference on Embedded Software, 2014
Generation of communication schedules for multi-mode distributed real-time applications.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
2013
A comparison of compositional schedulability analysis techniques for hierarchical real-time systems.
ACM Trans. Embed. Comput. Syst., 2013
Implementation and evaluation of global and partitioned scheduling in a real-time OS.
Real Time Syst., 2013
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the Runtime Verification - 4th International Conference, 2013
INSTEP: A static instrumentation framework for preserving extra-functional properties.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013
ORTAP: An Offset-based response time analysis for a pipelined communication resource model.
Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013
Non-intrusive program tracing and debugging of deployed embedded systems through side-channel analysis.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013
Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013
Hexacopters for everyone: online access to advanced robotics platforms for your research.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013
Atacama: An Open FPGA-Based Platform for Mixed-Criticality Communication in Multi-segmented Ethernet Networks.
Proceedings of the 21st IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2013
DIME: Time-aware dynamic binary instrumentation using rate-based resource allocation.
Proceedings of the International Conference on Embedded Software, 2013
Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013
2012
ACM SIGOPS Oper. Syst. Rev., 2012
Real Time Syst., 2012
Proceedings of the Runtime Verification, Third International Conference, 2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
Proceedings of the 12th International Conference on Embedded Software, 2012
Using link-level latency analysis for path selection for real-time communication on NoCs.
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012
2011
Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification.
Proceedings of the Runtime Verification - Second International Conference, 2011
Proceedings of the Runtime Verification - Second International Conference, 2011
Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011
Proceedings of the FM 2011: Formal Methods, 2011
Resolving state inconsistency in distributed fault-tolerant real-time dynamic TDMA architectures.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011
2010
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2010
Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures.
Proceedings of the 10th International conference on Embedded software, 2010
2009
IEEE Trans. Ind. Informatics, 2009
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009
2008
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008
Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008
2007
Proceedings of the Handbook of Real-Time and Embedded Systems., 2007
IEEE Trans. Computers, 2007
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007
2006
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006
2005
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005
Describing Multidimensional Schedules for Media-Access Control in Time-Triggered Communication.
Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 2005
Distributed-code generation from hybrid systems models for time-delayed multirate systems.
Proceedings of the EMSOFT 2005, 2005
Non-blocking Deterministic Replacement of Functionality, Timing, and Data-Flow for Hard Real-Time Systems at Runtime.
Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005
2003
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003
Proceedings of the Web Engineering, International Conference, 2003
2002
Proceedings of the Agent Technologies, 2002
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002
2001
Proceedings of the Mobile Agents, 5th International Conference, 2001
Proceedings of the Towards The E-Society: E-Commerce, 2001