fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Export list as BibTeX file

2009

  • 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

2008

  • August 2008 Rapid Prototyping of an Adaptive Light-source for Mobile Manipulators with EasyKit and EasyLab Martin Wojtczyk, Simon Barner, Michael Geisinger and Alois Knoll In Proceedings of the 8th International Conference on Solid State Lighting: Applications, SPIE Optics and Photonics, Illumination Engineering, Details DOI BIB
  • 2008 EasyLab: Model-Based Development of Software for Mechatronic Systems Simon Barner, Michael Geisinger, Christian Buckl and Alois Knoll In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, pages 540–545, Beijing, China, Details DOI BIB
  • 2008 Accelerating Integral Histograms Using an Adaptive Approach Thomas Müller, Claus Lenz, Simon Barner and Alois Knoll In Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud and Driss Mammass, editor, Image and Signal Processing, volume 5099 of LNCS, pages 209–217. Springer, Berlin Heidelberg, Details DOI BIB
  • 2008 An Approach to Simulate Enterprise Resource Planning Systems André Bögelsack, Holger Jehle, Holger Wittges, Jörg Schmidl and Helmut Krcmar In 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, pages 160-169, INSTICC PRESS. Details URL BIB
  • 2008 Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2008, In conjunction with ICEIS 2008, Barcelona, Spain, June 2008 Ulrich Ultes-Nitsche, Daniel Moldt and Juan Carlos Augusto, editor INSTICC PRESS. Details BIB
  • September 0 CyberDS: Auditable Monitoring in the Cloud Lev Sorokin and Ulrich Schöpp volume of SafeComp '24 Proceedings, pages 15, , edition, September 0. , . Details URL BIB
  • An Approach for Reviewing Security Related Aspects in Agile Requirements Specifications of Web Applications Hugo Villamizar, Amadeu Anderlin Neto, Marcos Kalinowski, Alessandro Garcia and Daniel Mendez volume , , , edition, 0. , IEEE. Details URL DOI BIB