Liste als BibTeX-Datei exportieren

2011

• 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, Details 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, Details URL 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, 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), 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, Details URL 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
• Juli 2010 Hardware-aware model-driven software development Simon Barner, Christian Buckl und Alois Knoll In ACACES 2010 Poster Abstracts, Seiten 89-92, Terrassa, Spain, High-Performance Embedded Architecture and Compiliation Network of Excellence. Details BIB
• Mai 2010 Towards and Adaptive Execution of Applications in Heterogeneous Embedded Networks Andreas Scholz, Stephan Sommer, Christian Buckl, Gerd Kainz, Alfons Kemper, Alois Knoll, Jörg Heuer und Anton Schmitt In Software Engineering for Sensor Network Applications (SESENA 2010), ACM/IEEE. Details URL BIB
• April 2010 Formal Modeling of Safety Requirements in the Model-Driven Development of Safety Critical Embedded Systems Dominik Sojer, Christian Buckl und Alois Knoll In Proceedings of the Eighth European Dependable Computing Conference (EDCC 2010), Details URL BIB
• April 2010 Service Migration Scenarios for Embedded Networks Stephan Sommer, Christian Buckl, Gerd Kainz, Andreas Scholz, Irina Gaponova, Alois Knoll, Alfons Kemper, Jörg Heuer und Anton Schmitt In The Fifth International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010), IEEE. Details URL BIB