Veröffentlichungen

Veröffentlichungen

fortiss steht für anwendungsorientierte und transparente Forschung

Veröffentlichungen

Bei fortiss legen wir großen Wert auf den offenen Zugang zu wissenschaftlichem Wissen. Hierzu haben wir uns den Richtlinien der Deutschen Forschungsgemeinschaft zur "Sicherung guter wissenschaftlicher Praxis" verpflichtet. Unsere anwendungsnahen Forschungsergebnisse stehen Ihnen in Form von Open-Source-Software und wissenschaftlichen Publikationen zur Verfügung.

Aus urheberrechtlichen Gründen dürfen die Veröffentlichungen des fortiss Instituts nicht auf anderen Internetseiten zum Download angeboten werden, eine Verlinkung ist jedoch möglich.

Software

Wir bieten Open-Source-Tools für verteilte, reaktive, eingebettete Softwaresysteme, industrielle Prozess- und Steuerungssysteme und Roboterkinematik.

Publikationen

Liste als BibTeX-Datei exportieren

2009

  • 2009Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with FinitenessChih-Hong Cheng, Christian Buckl, Javier Esparza und 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 und Ulrich Ultes-Nitsche, EditorINSTICC PRESS. DetailsBIB
  • 2009Performance Overhead of ERP Systems in Paravirtualized EnvironmentsAndré Bögelsack In 11th International Conference on Enterprise Information Systems, Seiten 200-207, DetailsURLBIB
  • 2009Toward the Design of Robotic Software with Verifiable SafetyChih-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, DetailsURLDOIBIB

2008

  • 2008EasyLab: Model-Based Development of Software for Mechatronic SystemsSimon Barner, Michael Geisinger, Christian Buckl und Alois Knoll In IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, Seiten 540–545, Beijing, China, DetailsDOIBIB
  • 2008Accelerating Integral Histograms Using an Adaptive ApproachThomas Müller, Claus Lenz, Simon Barner und Alois Knoll In Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud und Driss Mammass, Editor, Image and Signal Processing, Band 5099 von LNCS, Seiten 209–217. Springer, Berlin Heidelberg, DetailsDOIBIB
  • 2008An Approach to Simulate Enterprise Resource Planning SystemsAndré Bögelsack, Holger Jehle, Holger Wittges, Jörg Schmidl und Helmut Krcmar In 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Seiten 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 und Juan Carlos Augusto, EditorINSTICC PRESS. DetailsBIB