Export list as BibTeX file

2012

• 2012 Cyber-Physical Systems: Imminent Challenges Manfred Broy, Maria Victoria Cengarle and Eva Geisberger In Radu Calinescu and David Garlan, editor, Large-Scale Complex IT Systems. Development, Operation and Management, volume 7539 of Lecture Notes in Computer Science, pages 1-28. Springer, Details BIB
• 2012 Cyber-Physical Systems: Innovationsmotor für Mobilität, Gesundheit, Energie und Produktion Manfred Broy, Eva Geisberger, Maria Victoria Cengarle, Patrick Keil, Jürgen Niehaus, Christian Thiel and Hans-Jürgen Thönnißen-Fries , , 2012. Details URL BIB
• 2012 Deriving fault-detection mechanisms from safety requirements Dominik Sojer, Christian Buckl and Alois Knoll Springer Computer Science - Research and Development, ():, 2012. Details URL DOI BIB
• 2012 Distributed Priority Synthesis Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem and Harald Rueß In Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012., pages 57–72, Details URL DOI BIB
• 2012 Distributed priority synthesis using knowledge Chih-Hong Cheng, Rongjie Yan, Harald Rueß and Saddek Bensalem In Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA, pages 129–132, Details URL DOI BIB
• 2012 Early Safety Evaluation of Design Decisions in E/E Architecture according to ISO 26262 Vladimir Rupanov, Christian Buckl, Ludger Fiege, Michael Armbruster, Alois Knoll and Gernot Spiegelberg In Proceedings of the 3rd International ACM SIGSOFT Symposium on Architecting Critical Systems, Details BIB
• 2012 Easy-to-use SAP sizing based on evolutionary generated scalability models Daniel Tertilt and Helmut Krcmar In Conference on Enterprise Information Systems, pages 162-170, Details URL BIB
• 2012 Embedded Systems and Software Challenges in Electric Vehicles Samarjit Chakraborty, Martin Lukasiewycz, Christian Buckl, Suhaib Fahmy, Naehyuck Chang, Sangyoung Park, Younghyun Kim, Patrick Leteinturier and Hans Adlkoferl In In Design, Automation and Test in Europe (DATE), Details BIB
• 2012 Establishing a Smart Grid Node Architecture and Demonstrator in an Office Environment Using the SOA Approach Dagmar Koss, Denis Bytschkow, Pragya Kirti Gupta, Bernhard Schätz, Florian Sellmayr and Steffen Bauereiß ICSE :International Workshop on Software Engineering Challenges for the Smart Grid(SE4SG), Details BIB
• 2012 Game solving for industrial automation and control Chih-Hong Cheng, Michael Geisinger, Harald Rueß, Christian Buckl and Alois Knoll In IEEE International Conference on Robotics and Automation, ICRA 2012, 14-18 May, 2012, St. Paul, Minnesota, USA, pages 4367–4372, Details URL DOI BIB