Scientific publications

Scientific publications

Publications, journal articles and brochures with results from the institute

Scientific publications

Export list as BibTeX file

2009

  • 2009ICEIS 2009 - Proceedings of the 11th International Conference on Enterprise Information Systems, Volume SAIC, Milan, Italy, May 6-10, 2009José Cordeiro and Joaquim Filipe, editorDetailsBIB
  • 2009Layered Queuing Networks For Simulating Enterprise Resource Planning SystemsStephan 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. DetailsURLBIB
  • 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