Export list as BibTeX file

2009

• 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
• 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, 2008. Details DOI BIB
• 2008 An Approach to Simulate Enterprise Resource Planning Systems André 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, 2008. INSTICC PRESS. Details URL BIB
• 2008 Modelling, 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 2008 Ulrich Ultes-Nitsche , Daniel Moldt and Juan Carlos Augusto , editor INSTICC PRESS. Details BIB

• An Approach for Reviewing Security Related Aspects in Agile Requirements Specifications of Web Applications Hugo Villamizar , Amadeu Anderlin Neto , Marcos Kalinowski , Alessandro Garcia and Daniel Mendez , IEEE. Details URL DOI BIB
• Power systems research–why we should cooperate Denis Bytschkow , Andreas Dotzler , Christoph Hackl , Christoph Hellings , Matthias Huber , Herbert Mangesius and Hermann Seuschek , ():, 0. Details BIB
• Service Descriptions for Cloud Services - The Customer’s Perspective Patrick Hoberg , Jan Wollersheim and Helmut Krcmar In 1st ConLife Academic Conference, Details BIB
• Systematic Design of Blockchain based Testbed for Peer-to-Peer Trading Arpit Bajpai and Markus Duchon , Details BIB