Export list as BibTeX file

2009

• April 2009 Developing Service Oriented Sensor/Actuator Networks using a Tailored Middleware Stephan Sommer, Christian Buckl and Alois Knoll In 6th International Conference on Information Technology : New Generations (ITNG 2009), IEEE. Details URL BIB
• 2009 eSOA - SOA für eingebettete Netze Andreas Scholz, Christian Buckl, Stephan Sommer, Alfons Kemper, Alois Knoll, Jörg Heuer and Martin Winter In Proceedings of the Workshop on Service Oriented Computing at KIVS 2009), Details URL BIB
• 2009 Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification Chih-Hong Cheng, Alois Knoll, Christian Buckl, Javier Esparza and Yang Chen In MariaSimonetta Balsamo, William J. Knottenbelt and Andrea Marin, editor, Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, 15-18 December 2009, Daejeon, Korea, pages 72–77, Details URL DOI BIB
• 2009 FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems Chih-Hong Cheng, Christian Buckl, Javier Esparza and Alois Knoll CoRR, abs/0905.3946():, 2009. Details URL BIB
• 2009 ICEIS 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume SAIC, Milan, Italy, May 6-10, 2009 José Cordeiro and Joaquim Filipe, editor Details BIB
• 2009 Layered Queuing Networks For Simulating Enterprise Resource Planning Systems Stephan Gradl, André Bögelsack, Holger Wittges and Helmut Krcmar In 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, pages 85-92, INSTICC. Details URL BIB
• 2009 Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness Chih-Hong Cheng, Christian Buckl, Javier Esparza and Alois Knoll CoRR, abs/0905.3951():, 2009. Details URL BIB
• 2009 Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009 Daniel Moldt, Juan Carlos Augusto and Ulrich Ultes-Nitsche, editor INSTICC PRESS. Details BIB
• 2009 Performance Overhead of ERP Systems in Paravirtualized Environments André Bögelsack In 11th International Conference on Enterprise Information Systems, pages 200-207, Details URL BIB
• 2009 Toward the Design of Robotic Software with Verifiable Safety Chih-Hong Cheng, Markus Rickert, Christian Buckl, Edward A. Lee and Alois Knoll In Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pages 622–623, Details URL DOI BIB