Export list as BibTeX file

2011

• 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, Details 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, Details URL 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, 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), 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, Details URL 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
• July 2010 Hardware-aware model-driven software development Simon Barner, Christian Buckl and Alois Knoll In ACACES 2010 Poster Abstracts, pages 89-92, Terrassa, Spain, High-Performance Embedded Architecture and Compiliation Network of Excellence. Details BIB
• May 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 and 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 and 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 and Anton Schmitt In The Fifth International Workshop on Service Oriented Architectures in Converging Networked Environments (SOCNE 2010), IEEE. Details URL BIB