fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Export list as BibTeX file

2009

  • June 2009 A Software Architecture for Model-Based Programming of Robot Systems Michael Geisinger, Simon Barner, Martin Wojtczyk and Alois Knoll In Advances in Robotics Research – Theory, Implementation, Application, pages 135–146, Springer. Details DOI BIB
  • May 2009 Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks Christian Buckl, Stephan Sommer, Andreas Scholz, Alois Knoll, Alfons Kemper, Jörg Heuer and Anton Schmitt In The Fourth Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2009) – extended version, IEEE. Details URL BIB
  • 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