Export list as BibTeX file

2009

• 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
• 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