Scientific publications

Export list as BibTeX file

2010

• 2010 Modeling ERP Business Processes Using Layered Queueing Networks Stephan Gradl , Manuel Mayer , Holger Wittges and Helmut Krcmar In 12th International Conference on Enterprise Information Systems, pages 255-260, 2010. INSTICC. Details URL BIB
• 2010 Performance-Messung eines Portalsystems in virtualisierter Umgebung am Fallbeispiel SAP. Holger Jehle Dissertation, Technische Universität München, München, 2010. Details BIB
• 2010 Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments Manfred Broy , Martin Feilkas , Markus Herrmannsdörfer , Stefano Merenda and Daniel Ratiu Proceedings of the IEEE, 98():526 - 545, 2010. Details DOI BIB
• 2010 Towards an evolutionary model generation for ERP performance simulation Daniel Tertilt , Stefanie Leimeister , Stephan Gradl , Manuel Mayer and Helmut Krcmar In IADIS International Conference on Intelligent Systems and Agents (ISA), 2010. Details URL BIB

2009

• September 2009 Efficient Communication in Control-Oriented Embedded Networks Andreas Scholz , Irina Gaponova , Stephan Sommer , Alfons Kemper , Alois Knoll , Christian Buckl , Jörg Heuer and Anton Schmitt In Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation, September 2009. Details URL BIB
• June 2009 eSOA - Service Oriented Architectures adapted for Embedded Networks Andreas Scholz , Christian Buckl , Stephan Sommer , Alfons Kemper , Alois Knoll , Jörg Heuer and Anton Schmitt In Proceedings of the 7th International Conference on Industrial Informatics), June 2009. Details URL BIB
• June 2009 A Software Architecture for Model-Based Programming of Robot Systems Michael Geisinger , Simon Barner , Martin Wojtczyk and Alois Knoll In Advances in Robotics Research – Theory, Implementation, Application, pages 135–146, June 2009. Springer. Details DOI BIB
• May 2009 Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks Christian Buckl , Stephan Sommer , Andreas Scholz , Alois Knoll , Alfons Kemper , Jörg Heuer and Anton Schmitt In The Fourth Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2009) – extended version, May 2009. IEEE. Details URL BIB
• April 2009 Developing Service Oriented Sensor/Actuator Networks using a Tailored Middleware Stephan Sommer , Christian Buckl and Alois Knoll In 6th International Conference on Information Technology : New Generations (ITNG 2009), April 2009. IEEE. Details URL BIB
• 2009 eSOA - SOA für eingebettete Netze Andreas Scholz , Christian Buckl , Stephan Sommer , Alfons Kemper , Alois Knoll , Jörg Heuer and Martin Winter In Proceedings of the Workshop on Service Oriented Computing at KIVS 2009), 2009. Details URL BIB
• 2009 Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification Chih-Hong Cheng , Alois Knoll , Christian Buckl , Javier Esparza and Yang Chen In MariaSimonetta Balsamo , William J. Knottenbelt and Andrea Marin , editor, Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, 15-18 December 2009, Daejeon, Korea, pages 72–77, 2009. Details URL DOI BIB
• 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, 2009. 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, 2009. 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, 2009. 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, August 2008. 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, 2008. Details DOI BIB