Export list as BibTeX file

2011

• 2011 Model Construction and Priority Synthesis for Simple Interaction Systems Chih-Hong Cheng , Saddek Bensalem , Barbara Jobstmann , Rongjie Yan , Alois Knoll and Harald Rueß In NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, pages 466–471, 2011. Details URL DOI BIB
• 2011 Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments Florian Mutter , Stefanie Gareis , Bernhard Schätz , Andreas Bayha , Franziska Grüneis , Michael Kanis and Dagmar Koss In Proceedings of the 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2011. IEEE. Details DOI BIB
• 2011 On the Hardness of Priority Synthesis Chih-Hong Cheng , Barbara Jobstmann , Christian Buckl and Alois Knoll In Radu Calinescu and David Garlan , editor, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, pages 110–117, 2011. Details URL DOI BIB
• 2011 Optimizations for Game-based Software Synthesis Chih-Hong Cheng , Barbara Jobstmann , Michael Geisinger , Sarah Diot-Girard , Christian Buckl , Alois Knoll and Harald Rueß TR-2011-12, Verimag Research Report, 2011. Details BIB
• 2011 Performance of SAP ERP with Memory Virtualization Using IBM Active Memory Expansion As an Example André Bögelsack , Marcus Homann , Holger Wittges and Helmut Krcmar In Proceedings of the 5th International Workshop on Virtualization Technologies in Distributed Computing, pages 21-28, New York, NY, USA, 2011. ACM. Details DOI BIB
• 2011 Performance und Skalierung von SAP ERP System in virtualisierten Umgebungen André Bögelsack Dissertation, Technische Universität München, München, 2011. Details BIB
• 2011 Reliability-Aware Design Optimization for Multiprocessor Embedded Systems Jia Huang , Jan Olaf Blech , Andreas Raabe , Christian Buckl and Alois Knoll In 14th Euromicro International Conference on Digital System Design (DSD), Oulu, Finland, 2011. Details URL DOI BIB
• 2011 Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice Chih-Hong Cheng , Harald Rueß , Alois Knoll and Christian Buckl In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings, pages 118–133, 2011. Details URL DOI BIB
• 2011 The Software Car: Information and Communication Technology (ICT) as an Engine for the Electromobility of the Future, Summary of results of the "eCar ICT System Architecture for Electromobility" research project sponsored by the Federal Ministry of Economics and Technology Manuel Bernhard , Christian Buckl , Volkmar Döricht , Marcus Fehling , Ludger Fiege , Helmut von Grolman , Nicolas Ivandic , Christoph Janelle , Cornel Klein , Karl-Josef Kuhn , Christian Patzlaff , Bettina Riedl , Bernhard Schätz and Christian Stanek volume . ForTISS GmbH, , edition, 2011. Details BIB
• 2011 Understanding the Performance Behavior of a SAP ERP System for the Use of Queuing Models Stephan Gradl , Manuel Mayer , Alexandru Danciu , Holger Wittges and Helmut Krcmar In 10th International Conference on Modeling and Applied Simulation, pages 361-370, 2011. Universita di Genova, Genoa. Details URL BIB
• 2011 User-friendly Model Checking Integration in Model-based Development Alarico Campetelli , Florian Hölzl and Florian Neubeck In Proceedings of the 24th International Conference on Computer Applications in Industry and Engineering, 2011. Details BIB
• 2011 Visual Motion Capturing for Kinematic Model Estimation of a Humanoid Robot Andre Gaschler In Rudolf Mester and Michael Felsberg , editor, Pattern Recognition, 33rd DAGM Symposium, volume 6835 of Lecture Notes in Computer Science, pages 438–443, Frankfurt, Germany, 2011. Springer. Details DOI BIB

2010

• December 2010 Vom Modell zum Code fuer IEC 61508, ISO 26262 und Co. Dominik Sojer , Christian Buckl and Alois Knoll In Proceedings of the 3rd Embedded Software Engineering Congress, December 2010. Details URL BIB
• November 2010 AutoFocus Tool Chain Florian Hölzl , Maria Spichkova and David Trachtenherz TUM-I1021, November 2010. Details URL BIB
• October 2010 Model-to-Metamodel Transformation for the Development of Component-Based Systems Gerd Kainz , Christian Buckl , Stephan Sommer and Alois Knoll In Dorina C. Petriu , Nicolas Rouquette and Oystein Haugen , editor, Model Driven Engineering Languages and Systems, volume 6395 of Lecture Notes in Computer Science, pages 391–405. Springer-Verlag, Berlin / Heidelberg, Germany, October 2010. Details DOI BIB
• October 2010 Model-Based Specification of Timing Requirements Christian Buckl , Irina Gaponova , Michael Geisinger , Alois Knoll and Edward A. Lee In Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT 2010), pages 239–248, Scottsdale, Arizona, USA, October 2010. Association for Computer Machinery. Details URL DOI BIB
• October 2010 MultiNet: An Intelligent Sensor Cable Stephan Sommer , Christian Buckl , Alois Knoll , Gerd Bauer and Jens Schulz In Fifth IEEE International Workshop on Practical Issues in Building Sensor Network Applications (SenseApp 2010), October 2010. IEEE. Details URL BIB
• October 2010 Propagation, Transformation and Refinement of Safety Requirements Dominik Sojer , Christian Buckl and Alois Knoll In Proceedings of the 3rd Workshop on Non-functional System Properties in Domain Specific Modeling Languages, October 2010. Details URL BIB
• October 2010 Runtime Adaptive Allocation of Dynamically Mixed Tasks on a Heterogeneous MPSoC platform Jia Huang , Andreas Raabe , Christian Buckl and Alois Knoll In Design and Architectures for Signal and Image Processing conference (DASIP), Edinburgh, UK, October 2010. Details URL DOI BIB
• September 2010 FTOS: Model-Driven Development of Fault-Tolerant Automation Systems Christian Buckl , Dominik Sojer and Alois Knoll Proceedings of the 15th IEEE International Conference on Emerging Techonologies and Factory Automation, ():, September 2010. Details URL DOI BIB