Veröffentlichungen

Martin Feilkas; Florian Hölzl; Christian Pfaller; Sabine Rittmann; Bernhard Schätz; Wolfgang Schwitzer; Wassiou Sitou; Maria Spichkova and David Trachtenherz. Technischer Bericht TUM-I1103, A Refined Top-Down Methodology for the Development of Automotive Software Systems: The KeylessEntry System. Case Study 2011

Akkaya, Cigdem; Wolf Petra and Krcmar, Helmut. The Surprisingly Low Effect of National Culture on E-Government Adoption: A Cross-Cultural Comparison. 18th Americas Conference on Information Systems (AMCIS) 2012

Alarico Campetelli, Florian Hölzl and Philipp Neubeck. User-friendly Model Checking Integration in Model-based Development. 24th International Conference on Computer Applications in Industry and Engineering (CAINE 2011) 2011

Andre Gaschler. Real-time marker-based motion tracking: Application to kinematic model estimation of a humanoid robot. Master's thesis, Technische Universität München, Germany, February 2011.

Andre Gaschler. Visual motion capturing for kinematic model estimation of a humanoid robot. In Rudolf Mester and Michael Felsberg, editors, Pattern Recognition, 33rd DAGM Symposium, volume 6835 of Lecture Notes in Computer Science, pages 438-443, Frankfurt, Germany, September 2011. Springer.

Bernhard Schätz. Saying Hello World with PETE - A Solution to the TTC 2011 Instructive Case. Proceedings of the 2011 TOOLS Workshop Transformation Tool Contest, 2011

Bögelsack, André; Homann, Marcus; Wittges, Holger and Krcmar, Helmut. Performance of SAP ERP with Memory Virtualization using IBM Active Memory Expansion as an example. 20th International ACM Symposium on High-Performance Parallel and Distributed Computing VTDC11 - The 5th International Workshop on Virtualization Technologies in Distributed Computing 2011

Brunnert, Stefan; Hoberg, Patrick; Steyer, Maria-Alexandra; Leimeister, Stefanie und Krcmar, Helmut. Der Markt für Elektrofahrzeuge: Politisch-wirtschaftliche Rahmenbedingungen der Angebots- und Nachfrageseite. Energiewirtschaftliche Tagesfragen, 2010, Vol. 60, Nr. 11, S. 48-53.

Chih-Hong Cheng, Alois Knoll, Michael Luttenberger, and Christian Buckl. GAVS+: an Open Platform for the Research of Algorithmic Game Solving. In Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), LNCS. Springer, April 2011.

Chih-Hong Cheng, Barbara Jobstmann, Christian Buckl and Alois Knoll. On the Hardness of Priority Synthesis. In Proceedings of the 16th International Conference on Implementation and Application of Automata (CIAA'11), LNCS. Springer, July 2011.

Chih-Hong Cheng, Christian Buckl, Alois Knoll, and Harald Rueß. Synthesis of Fault-Tolerant Embedded Systems using Games: from Theory to Practice. In Proceedings of the Twelfth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011). Springer. Jan 2011.

Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl and Alois Knoll. Algorithms for Synthesizing Priorities in Component-based Systems. In Proceedings of the Ninth International Symposium on Automated Technology for Verification and Analysis (ATVA). Taipei, Taiwan, Oct 2011. 

Christian Buckl, Alois Knoll, Ina Schieferdecker, and Justyna Zander. Model-Based Analysis and Development of Dependable Systems. In Model-Based Engineering of Embedded Real-Time Systems. Lecture Notes in Computer Science Vol, 6000. Springer Verlag, Jan 2011. 

Christian Buckl, Bernhard Schätz, Marcus Fehling, Karl-Josef Kuhn, Cornel Klein et. al. Mehr Software (im) Wagen: Informations- und Kommunikationstechnik (IKT) als Motor der Elektromobilität der Zukunft. Abschlussbericht des vom Bundesministerium für Wirtschaft und Technologie geförderten Verbundvorhabens "eCar-IKT-Systemarchitektur für Elektromobilität" 2011

Christian Buckl, Michael Geisinger. Middleware-Architekturen zur Integration von Systemen in Systems-of-Systems. In Tagungsband Embedded Software Engineering Kongress. December 2011.

Dominik Sojer, Christian Buckl and Alois Knoll. Synthesis of Diagnostic Techniques Based on an IEC 61508-aware Metamodel. In Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11), IEEE, June 2011.

Dominik Sojer, Christian Buckl, and Alois Knoll. Deriving fault-detection mechanisms from safety requirements. Computer Science - Research and Development. Springer Verlag, November 2011.

Dominik Sojer. Synthesis of fault detection mechanisms. In Proceedings of the 35th IEEE International Computer Software and Applications Conference (COMPSAC 2011), July 2011.

Gerd Kainz, Christian Buckl, and Alois Knoll. Automated model-to-metamodel transformations based on the concepts of deep instantiation. In The 14th International Conference on Model Driven Engineering Languages and Systems (MODELS 2011). ACM/IEEE, October 2011.

Gwen Salaün, Bernhard Schätz: Formal Methods for Industrial Critical Systems. 16th International Workshop, FMICS 2011. Proceedings Springer 2011

Hardik Shah, Andreas Raabe and Alois Knoll. Priority division: A high-speed shared-memory bus arbitration with bounded latency. In Design, Automation and Test in Europe 2011 (DATE'11). Grenoble, France. March 2011.

Hattendorf, Anton; Raabe, Andreas; Knoll, Alois. "Shared memory protection for spatial separation in multicore architectures", 7th IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 299-302, 20-22 June 2012. IEEE Xplore

Hoberg, Patrick und Krcmar, Helmut. Treiber und Hürden der Einführung von Shared Service Centern in der Verwaltungs-IT. Multikonferenz Wirtschaftsinformatik (MKWI) 2012.

Hoberg, Patrick; Wollersheim, Jan and Krcmar, Helmut. Service Descriptions for Cloud Services - The Customer’s Perspective. ConLife Academic Conference 2012.

Hoberg, Patrick; Wollersheim, Jan and Krcmar, Helmut. The Business Perspective on Cloud Computing - A Literature Review of Research on Cloud Computing. 18th Americas Conference on Information Systems (AMCIS) 2012.

Hoberg, Patrick; Wollersheim, Jan; Böhm, Markus und Krcmar, Helmut. Cloud Computing - Überblick und Herausforderungen für das Controlling. Controlling, Zeitschrift für erfolgsorientierte Unternehmenssteuerung, 2012, Vol. 24, Nr. 6, S. 294-300.

Jan Olaf Blech and Benjamin Grégoire. Certifying Compilers Using Higher-Order Theorem Provers as Certificate Checkers. Formal Methods in System Design, Springer, 2011.

Jan Olaf Blech and Sidi Ould Biha. Verification of PLC Properties Based on Formal Semantics. In Coq. 9th International Conference on Software Engineering and Formal Methods (SEFM), Montevideo, Uruguay, vol. 7041 of LNCS, Springer, 2011.

Jan Olaf Blech, Anton Hattendorf, and Jia Huang. An invariant preserving transformation for plc models. In IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, Newport Beach, CA, March 2011.

Jan Olaf Blech, Anton Hattendorf, Jia Huang. An Invariant Preserving Transformation for PLC Models. IEEE International Workshop on Model-Based Engineering for Real- Time Embedded Systems Design, 2011.

Jan Olaf Blech, Benoît Boyer, Thanh Hung Nguyen. On the Simulation of Time-Triggered Systems on a Chip with BIP. arxiv.org/abs/1109.5505, 2011.

Jan Olaf Blech. A Tool for the Certification of PLCs based on a Coq Semantics for Sequential Function Charts. arxiv.org/abs/1102.3529, 2011.

Jan Olaf Blech. A Tool for the Certification of Sequential Function Chart based System Specifications. 6th International Workshop on Systems Software Verification. Nijmegen, The Netherlands, August 2011.

Jan Olaf Blech. Probabilistic Compositional Reasoning for Guaranteeing Fault Tolerance Properties. 15th International Conference On Principles Of Distributed Systems, vol. 7109 of LNCS, Springer, December 2011.

Jan Olaf Blech. Proving the Security of ElGamal Encryption Via Indistinguishability Logic. ACM Symposium On Applied Computing (SAC), 2011.

Jia Huang, Andreas Raabe, Christian Buckl, Alois Knoll. A Workflow for Runtime Adaptive Task Allocation on a Heterogeneous Multiprocessor Platform. Design Automation and Test in Europe 2011 (DATE’11). March 2011.

Jia Huang, Christian Buckl, Andreas Raabe and Alois Knoll. Energy-Aware Task Allocation for Network-on-Chip Based Heterogeneous Multiprocessor Systems. In 19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing (PDP). Cyprus. Feb 2011.

Jia Huang, Jan Blech, Andreas Raabe and Christian Buckl. Reliability-Aware Design Optimization for Multiprocessor Embedded Systems. In Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), August 2011.

Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl and Alois Knoll. Analysis and Optimization of Fault-Tolerant Task Scheduling on Multiprocessor Embedded Systems. In International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS). Embedded System Week. Taipei, Taiwan, Oct 2011.

Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl and Alois Knoll. Reliability-Aware Design Optimization for Multiprocessor Embedded Systems. In 14th Euromicro International Conference on Digital System Design (DSD). Oulu, Finland. Aug 2011.

Jia Huang, Jan Olaf Blech, Andreas Raabe, Christian Buckl and Alois Knoll. Analysis and Optimization of Fault-Tolerant Task Scheduling on Multiprocessor Embedded Systems. In Proceedings of the International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS). Embedded System Week. Taipei, Taiwan, Oct 2011. 

Jurisch, Marlen; Greger, Vanessa; Wolf, Petra and Krcmar, Helmut. Entwicklung eines Domänenmodells zur Identifikation und Analyse von Prozessketten. Gemeinsame Fachtagung Verwaltungsinformatik (FTVI) und Fachtagung Rechtsinformatik (FTRI) 2012.

Kai Huang, Jian-Jia Chen, and Lothar Thiele. Energy-Efficient Scheduling Algorithms for Periodic Power Management for Real-Time Event Streams. 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Japan, August 2011.

Kai Lampka, Kai Huang, and Jian-JIa Chen. Dynamic Counters and the Efficient and Effective Online Power Management of Embedded Real-time Systems. In Proceedings of the International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS). Embedded System Week. October 2011.

Krcmar, Helmut; Wolf, Petra; Wolf, Malthe und Dirtheuer, Kerstin. eGovernment Monitor 2012 – Nutzung und Akzeptanz von Bürgerdiensten im internationalen Vergleich. Studie der Initiative D21 e.V. und dem Institute for Public Information Management (ipima) 2012.

Krcmar, Helmut; Wolf, Petra; Wolf, Malthe und Dirtheuer, Kerstin. eGovernment Monitor 2011 – Nutzung und Akzeptanz von Bürgerdiensten im internationalen Vergleich. Studie der Initiative D21 e.V. und dem Institute for Public Information Management (ipima) 2011.

Manfred Broy and María Victoria Cengarle. UML formal semantics: lessons learned. Software and Systems Modeling, Expert's Voice, 10(4):441–446, 2011.

Manfred Broy, Sascha Kirstan, Helmut Krcmar, Bernhard Schätz. What is the Benefit of a Model-Based Design of Embedded Software Systems in the Car Industry? In: Jörg Rech, Christian Bunse. Emerging Technologies for the Evolution and Maintenance of Software Models  IGI, 2011.

Manuel Giuliani and Alois Knoll. Evaluating supportive and instructive robot roles in human-robot interaction. In Proceedings of the International Conference on Social Robotics 2011 (ICSR 2011), Amsterdam, Netherlands, November 2011. 

María Victoria Cengarle and Peter Hergersberg. Schwache Passwörter ganz stark. Max-Planck-Gesellschaft, Aktuelles aus der Forschung, April 2011.

Markus Weißmann, Stefan Bedenk, Christian Buckl and Alois Knoll. Model Checking Industrial Robot Systems. In Proceedings of the 18th International SPIN Workshop on Model Checking of Software, LNCS, Springer, July 2011.

Florian Mutter, Bernhard Schätz, Stefanie Gareis. Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments. 18th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, (ECBS 2011), 2011.

Holger Giese, Michaela Huhn, Jan Philipps, Bernhard Schätz. Modellbasierte Entwicklung eingebetteter Systeme VII. Proceedings des Dagstuhl-Workshop  WS-NR. 11072. fortiss gGmbH, 2011.

Obermeier, Manuela; Greger, Vanessa; Wolf, Petra and Krcmar Helmut. Struktur, Elemente und Bausteine von IT-Strategien in der öffentlichen Verwaltung. Informatik 2012: 42. Jahrestagung der Gesellschaft für Informatik: Lecture Notes in Informatics - Proceedings 2012.

Bakr Al-Batran, Bernhard Schätz, Benjamin Hummel. Semantic Clone Detection for Model-Based Development of Embedded Systems. MoDELS 2011. Springer, 2011.

Simon Barner, Andreas Raabe, Christian Buckl, and Alois Knoll. Beschreibung der Plattformabhängigkeit eingebetteter Applikationen mit Dienstmodellen. In Tagungsband des Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, pages 31-40. February 2011.

Tertilt, Daniel and Krcmar, Helmut. Evolutionary Algorithms for Component Response Time Modeling in Performance Simulation. SimTech 2011

Tertilt, Daniel and Krcmar, Helmut. Generic Performance Prediction for ERP and SOA Applications. European Conference on Information Systems (ECIS) 2011

Teufl, S.; Khalil, M.; Dongyue Mou and Geisberger, E. Experience with content-based requirements engineering assessments. Requirements Engineering Conference (RE), 2011 19th IEEE International , vol., no., pp.345-346, Aug. 29 2011-Sept. 2 2011 doi: 10.1109/RE.2011.6051668

Ziaie, Pujan; Wollersheim, Jan and Krcmar, Helmut. Introducing Software Design Elements for IT-Benchmarking Purposes. 7th International Conference on Next Generation Web Services Practices (NWeSP) 2011

Ziaie, Pujan; Ziller, Markus; Wollersheim, Jan and Krcmar, Helmut. Introducing a Generic Concept for an Online IT-Benchmarking System. International Journal of Computer Information Systems and Industrial Management Applications, 2012, Vol. 5, Nr. 1, S. 137–150