Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.
Export 5 results:
Filters: Keyword is network code [Clear All Filters]
, "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), "Design Choices for High-Confidence Distributed Real-time Software", Proc. of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Heraclion, Crete, Greece, pp. 327-342, October, 2010.
[paper] (374.08 KB)
[paper] (374.08 KB), "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), "Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures", Proc. of the International Conference on Embedded Software (EMSOFT), Scottsdale, Arizona, USA, pp. 199-208, October, 2010.
[paper] (563.09 KB)
[paper] (563.09 KB), "A Verifiable Language for Programming Real-Time Communication Schedules", IEEE Transactions on Computers, vol. 56, issue 11, pp. 1505 - 1519, 11/2007.
[paper] (1.39 MB)
[paper] (1.39 MB)