Publications

1. Christian Buckl, Irina Gaponova, Michael Geisinger, Alois Knoll, and Edward Lee. Model-based specification of timing requirements. In Proceedings of the 10th ACM international conference on Embedded software (EMSOFT 2010), Scottsdale, Arizona, USA, October 2010. Association for Computer Machinery. to appear.
2. Gerd Kainz, Christian Buckl, Stephan Sommer, and Alois Knoll. Model-to-metamodel-transformation for the development of component-based systems. In The 13th International Conference on Model Driven Engeneering Languages and Systems (MODELS 2010). ACM/IEEE, October 2010. to appear.
3. Stephan Sommer, Christian Buckl, and Alois Knoll. MultiNet: An Intelligent Sensor Cable. In 5th IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SENSEAPP 2010). IEEE, October 2010. to appear.
4. Chih-Hong Cheng, Christian Buckl, Michael Luttenberger, and Alois Knoll. GAVS: Game arena visualization and synthesis. In Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10), September 2010. to appear
5. Christian Buckl, Dominik Sojer, and Alois Knoll. FTOS: Model-driven development of fault-tolerant automation systems. Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, September 2010. to appear.
6. Andreas Scholz, Stephan Sommer, Christian Buckl, Alfons Kemper, Alois Knoll, Jörg Heuer, and Anton Schmitt. Towards and adaptive execution of applications in heterogeneous embedded networks. In Software Engineering for Sensor Network Applications (SESENA 2010). ACM/IEEE, May 2010. 
7. Stephan Sommer, Andreas Scholz, Irina Gaponova, Alois Knoll, Alfons Kemper, Christian Buckl, Jörg Heuer, and Anton Schmitt. Services Migration Scenarios for Embedded Networks. In The 5th Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2009). IEEE, April 2010. 
8. Christian Buckl, Gerd Kainz, Stephan Sommer, and Alois Knoll. Modell-zu-Metamodell-Transformationen zur Entwicklung von komponentenbasierten Systemen. In 6. Dagstuhl-Workshop der Reihe "Modellbasierte Entwicklung eingebetteter  Systeme". pages 208-215. Februar 2010.
9. Nationale Roadmap Embedded Systems. ZVEI, December 2009.(pdf)
10. Chih-Hong Cheng, Alois Knoll, Javier Esparza, Christian Buckl, and Yang Chen. Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification. In Proceedings of the 8th IEEE International Symposium on Computational Intelligence in Robotics and Automation (CIRA'09). IEEE, December 2009.
11. Chih-Hong Cheng, Christian Buckl, Javier Esparza, and Alois Knoll. Modeling and verification for timing satisfaction of fault-tolerant systems with finiteness. In Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT'09), pages 208-215. IEEE, October 2009.
12. Andreas Scholz, Irina Gaponova, Stephan Sommer, Alfons Kemper, Alois Knoll, Christian Buckl, Jörg Heuer, and Anton Schmitt. Efficient communication in control-oriented embedded networks. In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation, September 2009.
13. Stephan Sommer, Andreas Scholz, Christian Buckl, Alois Knoll, Alfons Kemper, Jörg Heuer, and Anton Schmitt. Towards the internet of things: Integration of web services and field level devices. In International Workshop on the Future Internet of Things and Services - Embedded Web Services for Pervasive Devices (at FITS 2009), September 2009.
14. Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee, and Alois Knoll. Toward the design of robotic software with verifiable safety. In Proceedings of the 33rd IEEE International Computer Software and Applications Conference (Fast Abstract), July 2009.
15. Chih-Hong Cheng, Christian Buckl, Javier Esparza, and Alois Knoll. Toward an efficient methodology for the analysis of fault-tolerant systems. In 4th International Workshop on Systems Software Verification (SSV'09) (Doctoral Symposium), June 2009.
16. Andreas Scholz, Christian Buckl, Stephan Sommer, Alfons Kemper, Alois Knoll, Jörg Heuer, and Anton Schmitt. eSOA - service oriented architectures adapted for embedded networks. In Proceedings of the 7th International Conference on Industrial Informatics), June 2009. (http )
17. Christian Buckl, Stephan Sommer, Andreas Scholz, Alois Knoll, Alfons Kemper, Jörg Heuer, and Anton Schmitt. Services to the field: An approach for resource constrained sensor/actor networks. In The Fourth Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2009) - extended version. IEEE, May 2009. (.pdf )
18. Stephan Sommer, Christian Buckl, and Alois Knoll. Developing service oriented sensor/actuator networks using a tailored middleware. In 6th International Conference on Information Technology : New Generations (ITNG 2009). IEEE, April 2009. (http )
19. Andreas Scholz, Christian Buckl, Stephan Sommer, Alfons Kemper, Alois Knoll, Jörg Heuer, and Martin Winter. eSOA - SOA für eingebettete netze. In Proceedings of the Workshop on Service Oriented Computing at KIVS 2009), 2009. (http )