fortiss scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Export list as BibTeX file

2009

  • 2009Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with FinitenessChih-Hong Cheng, Christian Buckl, Javier Esparza and Alois KnollCoRR, abs/0905.3951():, 2009. DetailsURLBIB
  • 2009Modelling, 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 2009Daniel Moldt, Juan Carlos Augusto and Ulrich Ultes-Nitsche, editorINSTICC PRESS. DetailsBIB
  • 2009Performance Overhead of ERP Systems in Paravirtualized EnvironmentsAndré Bögelsack In 11th International Conference on Enterprise Information Systems, pages 200-207, DetailsURLBIB
  • 2009Toward the Design of Robotic Software with Verifiable SafetyChih-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, DetailsURLDOIBIB

2008

  • August 2008Rapid Prototyping of an Adaptive Light-source for Mobile Manipulators with EasyKit and EasyLabMartin 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, DetailsDOIBIB
  • 2008EasyLab: Model-Based Development of Software for Mechatronic SystemsSimon 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, DetailsDOIBIB
  • 2008Accelerating Integral Histograms Using an Adaptive ApproachThomas 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, DetailsDOIBIB
  • 2008An Approach to Simulate Enterprise Resource Planning SystemsAndré 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. DetailsURLBIB
  • 2008Modelling, 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 2008Ulrich Ultes-Nitsche, Daniel Moldt and Juan Carlos Augusto, editorINSTICC PRESS. DetailsBIB