Liste als BibTeX-Datei exportieren

2011

• 2011 Model Construction and Priority Synthesis for Simple Interaction Systems Chih-Hong Cheng , Saddek Bensalem , Barbara Jobstmann , Rongjie Yan , Alois Knoll und Harald Rueß In NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, Seiten 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 und 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 und Alois Knoll In Radu Calinescu und David Garlan , Editor, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings, Seiten 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 und 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 und Helmut Krcmar In Proceedings of the 5th International Workshop on Virtualization Technologies in Distributed Computing, Seiten 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 und 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 und Christian Buckl In Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings, Seiten 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 und Christian Stanek Band . ForTISS GmbH, , Ausgabe, 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 und Helmut Krcmar In 10th International Conference on Modeling and Applied Simulation, Seiten 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 und 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 und Michael Felsberg , Editor, Pattern Recognition, 33rd DAGM Symposium, Band 6835 von Lecture Notes in Computer Science, Seiten 438–443, Frankfurt, Germany, 2011. Springer. Details DOI BIB

2010

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