Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
K
Kashif, H., J. Thomas, H. Patel, and S. Fischmeister, "Static Slack-Based Instrumentation of Programs", Proc. of the 20th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA), Luxembourg, September, 2015.
[pdf] (603.77 KB)
Kashif, H., and H. Patel, "Bounding Buffer Space Requirements for Real-Time Priority-Aware Networks", Proceedings of the Asia South Pacific Design Automation Conference (ASPDAC), SunTec, Singapore, January, 2014.
[paper] (316.03 KB)
(Best Paper Candidate)
Kashif, H., P. Arafa, and S. Fischmeister, "INSTEP: A Static Instrumentation Framework for Preserving Extra-functional Properties", Proc. of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Taipei, Taiwan, August, 2013.
[paper] (341.77 KB)
Kashif, H., S. Gholamian, R. Pellizzoni, H. D. Patel, and S. Fischmeister, "ORTAP: An Offset-based Response Time Analysis for a Pipelined Communication Resource Model", Proc. of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Philadelphia, USA, pp. 247--258, April, 2013.
[paper] (1.91 MB)
Kashif, H., and S. Fischmeister, "Program Transformation for Time-aware Instrumentation", Proc. of the 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA), Krakow, Poland, pp. 1-8, September, 2012.
[paper] (409.92 KB)
Kashif, H., H. D. Patel, and S. Fischmeister, "Using Link-level Latency Analysis for Path Selection for Real-time Communication on NoCs", Proceedings of the Asia South Pacific Design Automation Conference (ASPDAC), Sydney, Australia, pp. 499-504, February, 2012.
[paper] (356.32 KB)
Kashif, H., H. Patel, and S. Fischmeister, "Path Selection for Real-Time Communication on Priority-Aware NoCs", ACM Transactions on Design Automation of Electronic Systems , vol. 21, issue 3, pp. 1-25, 2016.
Kashif, H., S. Gholamian, and H. Patel, "SLA: A Stage-level Latency Analysis for Real-time Communication in a Pipelined Resource Model", IEEE Transactions on Computers, vol. PP, issue 99, April, 2014.
[paper] (763.8 KB)
Kauffman, S., and S. Fischmeister, "Event Stream Abstraction Using Nfer: Demo Abstract", International Conference on Cyber-Physical Systems, Montreal, Canada, ACM, pp. 332 to 333, 2019.
[pdf] (310.36 KB)
Kauffman, S., K. Havelund, and S. Fischmeister, "Monitorability Over Unreliable Channels", International Conference on Runtime Verification (RV), Porto, Portugal, pp. 256 to 272, 2019.
[pdf] (413.94 KB)
Kauffman, S., and S. Fischmeister, "Mining Temporal Intervals from Real-time System Traces", 6th International Workshop on Software Mining, Champaign, USA, 2017.
[paper] (358.91 KB)
Kauffman, S., C. Moreno, and S. Fischmeister, "Static Transformation of Power Consumption for Software Attestation", IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Daegu, South Korea, 2016.
[paper] (366.59 KB)
Kauffman, S., K. Havelund, and S. Fischmeister, "What Can We Monitor Over Unreliable Channels?", International Journal on Software Tools for Technology Transfer, vol. 23, issue 4, pp. 579--600, 2021.
[pdf] (793.42 KB)
Kauffman, S., M. Dunne, G. Gracioli, W. Khan, N. Benann, and S. Fischmeister, "Palisade: A Framework for Anomaly Detection in Embedded Systems", Journal of Systems Architecture, pp. 1--17, 2020.
[pdf] (2.04 MB)
Kauffman, S., K. Havelund, R. Joshi, and S. Fischmeister, "Inferring Event Stream Abstractions", Formal Methods in System Design, pp. 29, 2018.
Ketata, A., C. Moreno, S. Fischmeister, J. Liang, and K. Czarnecki, "Performance Prediction upon Toolchain Migration in Model-Based Software", International Conference on Model Driven Engineering Languages and Systems (MODELS), Ottawa, Canada, pp. 302 - 311, 2015.
[pdf] (198.56 KB)
Koch, K-M., M. Loge, W. Pree, and S. Fischmeister, "Embedded Systems Knowledge Base", Proc. of the 3rd International Conference on Knowledge Management, Graz, Austria, J.UCS Journal of Universal Computer Science, September, 2003.
[paper] (278.14 KB)