Moreno, C., & Fischmeister, S. (2017). Non-Intrusive Runtime Monitoring Through Power Consumption to Enforce Safety and Security Properties in Embedded Systems Formal Methods in Software Design (FMSD).
References
Filter by:
Schmidt, L., Narayan, A., & Fischmeister, S. (2017). TREM: A Tool for Mining Timed Regular Specifications from System Traces Presented at the Proceedings of the 32nd IEEE ACM International Conference on Automated Software Engineering conference. Urbana-Champaign, USA.
Arafa, P., Tchamgoue, G. M., Kashif, H., & Fischmeister, S. (2017). QDIME: QoS-aware Dynamic Binary Instrumentation Presented at the IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems conference. Banff, Canada.
Newsham, Z., Oliveira, A., Petkovich, J., Rehman, A., Tchamgoue, G., & Fischmeister, S. (2017). Intersert: Assertions on Distributed Process Interaction Sessions Presented at the IEEE International Conference on Software Quality, Reliability & Security (QRS) conference. Prague, Czech Republic.
Joshi, Y., Tchamgoue, G. M., & Fischmeister, S. (2017). Runtime Verification of LTL on Lossy Traces 32nd ACM Symposium on Applied Computing (SAC), 1379-1386. Marrakech, Morocco. https://doi.org/10.1145/3019612.3019827
Narayan, A., Benann, N., & Fischmeister, S. (2017). Mining Specifications using Nested Words Presented at the Proceedings of the 6th International Workshop on Software Mining conference. Urbana-Champaign, USA.
Moreno, C., & Fischmeister, S. (2017). On the Security of Safety-Critical Embedded Systems: Who Watches the Watchers? Who Reprograms the Watchers? Presented at the International Conference on Information Systems Security and Privacy (ICISSP) conference. Porto, Portugal.
Moreno, C., & Fischmeister, S. (2017). Accurate Measurement of Small Execution Times - Getting Around Measurement Errors N/A.
Kauffman, S., & Fischmeister, S. (2017). Mining Temporal Intervals from Real-time System Traces Presented at the 6th International Workshop on Software Mining conference. Champaign, USA.
Narayan, A., Kauffman, S., Morgan, J., Tchamgoue, G. M., Joshi, Y., Fischmeister, S., & Hobbs, C. (2017). System Call Logs with Natural Random Faults: Experimental Design and Application Presented at the Silicon Errors in Logic &Mdash; System Effects (SELSE) conference. Boston, USA.