Sort by: Author Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

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 icon [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. PDF icon [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. PDF icon [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. PDF icon [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. PDF icon [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. PDF icon [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. PDF icon [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 icon [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 icon [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. PDF icon [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. PDF icon [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 icon [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 icon [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 icon [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. PDF icon [paper] (278.14 KB)

Publications search

Opportunities

Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.