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.
References
Filter by:
2017
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.
Moreno, C., & Fischmeister, S. (2017). Accurate Measurement of Small Execution Times — Getting Around Measurement Errors Embedded Systems Letters (ESL).
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
Carvajal, G., Salem, M., Benann, N., & Fischmeister, S. (2017). Enabling Rapid Construction of Arrival Curves From Execution Traces IEEE Design & Test, PP. https://doi.org/10.1109/MDAT.2017.2771210
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). Non-Intrusive Runtime Monitoring Through Power Consumption to Enforce Safety and Security Properties in Embedded Systems Formal Methods in Software Design (FMSD).
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.