Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
A
, "A Dynamic Scheduling Approach to Designing Flexible Safety-Critical Systems", Proc. of the 7th Annual ACM Conference on Embedded Software (EMSOFT), Salzburg, Austria, pp. 67--74, October, 2007.
[paper] (302.29 KB)
[paper] (302.29 KB) , "Resource Scopes: Toward Language Support for Compositional Determinism", Proc. of the 12th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (ISORC), Tokyo, Japan, pp. 295–304, March, 2009.
[paper] (224.03 KB)
[paper] (224.03 KB) , "Compositional Feasibility Analysis of Conditional Real-Time Task Models", Proc. of the IEEE International Symposium on Object/Component/Service-oriented Real-Time Computing (ISORC), Orlando, USA, pp. 391–398, May, 2008.
[paper] (742.76 KB)
[paper] (742.76 KB) , "Generating Sound and Resource-Aware Code from Hybrid System Models", Model-Driven Development of Reliable Automotive Services, San Diego, USA, pp. 48–66, August, 2008.
[paper] (277.46 KB)
[paper] (277.46 KB) , "Composition Techniques for Tree Communication Schedules", Proc. of the 19th Euromicro Conference on Real-Time Systems (ECRTS), Pisa, Italy, pp. 235–246, July, 2007.
[paper] (698.16 KB)
[paper] (698.16 KB) , "An Analysis Framework for Network-Code Programs", Proc. of the ACM & IEEE International Conference on Embedded Software (EMSOFT), Seoul, South Korea, pp. 122–131, October, 2006.
[paper] (494.91 KB)
[paper] (494.91 KB) , "Distributed Code Generation from Hybrid Systems Models for Time-delayed Multirate Systems", Proc. of the ACM Conference on Embedded Software (EMSOFT), New York, USA, pp. 210–213, September, 2005.
[paper] (320.51 KB)
[paper] (320.51 KB) , "A Comparison of Compositional Schedulability Analysis Techniques for Hierarchical Real-time Systems", ACM Transactions on Embedded Computing Systems, vol. 13, issue 1, pp. 1 -- 37, Aug, 2013.
, "State-based scheduling with tree schedules: analysis and evaluation", Real-Time Systems, vol. 48, issue 4, pp. 430 - 462, 2012.
[paper] (1.24 MB)
[paper] (1.24 MB) , "Generating Reliable Code from Hybrid-Systems Models", IEEE Transactions on Computers, vol. 59, pp. 1281–1294, July, 2010.
[paper] (1.91 MB)
[paper] (1.91 MB) , "Debugging Behaviour of Embedded-Software Developers: An Exploratory Study", IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), Raleigh, USA, 2017.
[pdf] (202.08 KB)
[pdf] (202.08 KB) , "QDIME: QoS-aware Dynamic Binary Instrumentation", IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Banff, Canada, 2017.
[pdf] (560.77 KB)
[pdf] (560.77 KB) , "DIME: Time-aware Dynamic Binary Instrumentation Using Rate-based Resource Allocation", Proc. of the 13th International Conference on Embedded Software (EMSOFT), Montreal, Canada, Sept, 2013.
[paper] (320.59 KB)
[paper] (320.59 KB) , "Model-based Programming of Modular Robots", Proc. of the 13th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (ISORC), Carmona, Spain, pp. 66-74, May, 2010.
[paper] (912.13 KB)
[paper] (912.13 KB) , "Plug-and-Play for Medical Devices: Experiences from a Case Study", Biomedical Instrumentation & Technology, vol. 43, 2009.
[paper] (530.32 KB)
[paper] (530.32 KB) , "Efficient mode changes in multi-mode systems", International Conference on Computer Design (ICCD), pp. 592--599, 2016.
[pdf] (161.65 KB)
[pdf] (161.65 KB) , "Generation of Communication Schedules Using Component Interfaces", Proc. of the International Conference on Emerging Technologies and Factory Automation (ETFA), Luxembourg, 2015.
[pdf] (331.37 KB)
[pdf] (331.37 KB) , "Generation of Communication Schedules for Multi-Mode Distributed Real-Time Applications", Proceedings of Design, Automation and Test in Europe (DATE), Grenoble, France, pp. 1--6, March, 2014.
[paper] (1.21 MB)
[paper] (1.21 MB) , "An Efficient Periodic Resource Supply Model for Workloads with Transient Overloads", Proc. of the Euromicro Conference on Real-Time Systems (ECRTS), Paris, France, pp. 249 -- 258, Jul, 2013.
[paper] (411.17 KB)
[paper] (411.17 KB) , "Resolving State Inconsistency in Distributed Fault-Tolerant Real-Time Dynamic TDMA Architectures", Proc. of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Toulouse, France, pp. 1-9, September, 2011.
[paper] (304.27 KB)
[paper] (304.27 KB)