Liste als BibTeX-Datei exportieren

2009

• April 2009 Developing Service Oriented Sensor/Actuator Networks using a Tailored Middleware Stephan Sommer, Christian Buckl und 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 und 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 und Yang Chen In MariaSimonetta Balsamo, William J. Knottenbelt und Andrea Marin, Editor, Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, 15-18 December 2009, Daejeon, Korea, Seiten 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 und 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 und Joaquim Filipe, Editor Details BIB
• 2009 Layered Queuing Networks For Simulating Enterprise Resource Planning Systems Stephan Gradl, André Bögelsack, Holger Wittges und Helmut Krcmar In 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Seiten 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 und 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 und 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, Seiten 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 und 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, Seiten 622–623, Details URL DOI BIB