Christian Kreiner

Proceedings of the International Symposium on Networks, Computers and Communications, 2015

Automotive embedded software: Migration challenges to multi-core computing platforms.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Evaluation paradigm selection according to Common Criteria for an incremental product development.

[BibT_eX]

[DOI]

Andreas Daniel Sinnhofer

Wolfgang Raschke

Christian Steger

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

Integration of Heterogeneous Tools to a Seamless Automotive Toolchain.

[BibT_eX]

[DOI]

Eric Armengaud

Proceedings of the Systems, Software and Services Process Improvement, 2015

Patterns for common criteria certification.

[BibT_eX]

[DOI]

Andreas Daniel Sinnhofer

Wolfgang Raschke

Christian Steger

Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

Patterns for software integrity protection.

[BibT_eX]

[DOI]

Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

Model transformation and synchronization process patterns.

[BibT_eX]

[DOI]

Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

Pattern catalog for multicore migration of embedded automotive systems.

[BibT_eX]

[DOI]

Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

Trident architectural views: a pattern for dependable systems design.

[BibT_eX]

[DOI]

Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

Patterns for automated software diversity to support security and reliability.

[BibT_eX]

[DOI]

Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

Incorporation of Model-Based System and Software Development Environments.

[BibT_eX]

[DOI]

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

A Lean Automotive E/E-System Design Approach with Integrated Requirements Management Capability.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 9th European Conference, 2015

Service Deterioration Analysis (SDA): An Early Development Phase Dependability Analysis Method.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

A Virtual Fault Injection Framework for Reliability-Aware Software Development.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

QEMU-Based Fault Injection for a System-Level Analysis of Software Countermeasures Against Fault Attacks.

[BibT_eX]

[DOI]

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

SAHARA: a security-aware hazard and risk analysis method.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Evaluation of diverse compiling for software-fault detection.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Privilege-Based Remote Attestation: Towards Integrity Assurance for Lightweight Clients.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM Workshop on IoT Privacy, Trust, and Security, 2015

Diverse Compiling for Microprocessor Fault Detection in Temporal Redundant Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

2014

Effective development of automation systems through domain-specific modeling in a small enterprise context.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

Automotive real-time operating systems: a model-based configuration approach.

[BibT_eX]

[DOI]

SIGBED Rev., 2014

On Design-time Modelling and Verification of Safety-critical Component-based Systems.

[BibT_eX]

[DOI]

Int. J. Networked Distributed Comput., 2014

Efficient development and reuse of domain-specific languages for automation systems.

[BibT_eX]

[DOI]

Int. J. Metadata Semant. Ontologies, 2014

CDL: an extensible constraints framework for model-based development.

[BibT_eX]

[DOI]

Markus Krallinger

Int. J. Metadata Semant. Ontologies, 2014

Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014

Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

Supporting evolving security models for an agile security evaluation.

[BibT_eX]

[DOI]

Proceedings of the IEEE 1st Workshop on Evolving Security and Privacy Requirements Engineering, 2014

Patterns of Software Modeling.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2014 Workshops, 2014

FIES: A Fault Injection Framework for the Evaluation of Self-Tests for COTS-Based Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th International Microprocessor Test and Verification Workshop, 2014

A Lightweight Framework for Testing Safety-critical Component-based Systems on Embedded Targets.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Embedding research in the industrial field: a case of a transition to a software product line.

[BibT_eX]

[DOI]

Proceedings of the WISE'14, 2014

Reducing Certification Costs through Assured Dynamic Software Configuration.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Automated Generation of AUTOSAR Description File for Safety-Critical Software Architectures.

[BibT_eX]

[DOI]

Eric Armengaud

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

Integrating Functional Safety, Automotive SPICE and Six Sigma - The AQUA Knowledge Base and Integration Examples.

[BibT_eX]

[DOI]

Proceedings of the Systems, Software and Services Process Improvement, 2014

Patterns for hardware-independent development for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 19th European Conference on Pattern Languages of Programs, 2014

Pattern-based safety development methods: overview and comparison.

[BibT_eX]

[DOI]

Proceedings of the 19th European Conference on Pattern Languages of Programs, 2014

Automotive safety case pattern.

[BibT_eX]

[DOI]

Harald Sporer

Proceedings of the 19th European Conference on Pattern Languages of Programs, 2014

Module matrix: a pattern for interdisciplinary industry training design.

[BibT_eX]

[DOI]

Proceedings of the 19th European Conference on Pattern Languages of Programs, 2014

Towards pattern-based reuse in safety-critical systems.

[BibT_eX]

[DOI]

Proceedings of the 19th European Conference on Pattern Languages of Programs, 2014

Hardware/Software Co-Design of Elliptic-Curve Cryptography for Resource-Constrained Applications.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Power And Fault Emulation for Software Verification and System Stability Testing in Safety Critical Environments.

[BibT_eX]

[DOI]

Armin Krieg

IEEE Trans. Ind. Informatics, 2013

OASIS: An automotive analysis and safety engineering instrument.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2013

Verifying generic IEC 61508 CPU self-tests with fault injection.

[BibT_eX]

[DOI]

Proceedings of the 8th International Design and Test Symposium, 2013

Software-Based Remote Attestation for Safety-Critical Systems.

[BibT_eX]

[DOI]

Andreas Johann Hörmer

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Mechanisms to Handle Structural Variability in MATLAB/Simulink Models.

[BibT_eX]

[DOI]

Wolfgang Ebner

Proceedings of the Safe and Secure Software Reuse, 2013

Implementing Functional Safety Standards - Experiences from the Trials about Required Knowledge and Competencies (SafEUr).

[BibT_eX]

[DOI]

Proceedings of the Systems, Software and Services Process Improvement, 2013

Automotive Knowledge Alliance AQUA - Integrating Automotive SPICE, Six Sigma, and Functional Safety.

[BibT_eX]

[DOI]

Proceedings of the Systems, Software and Services Process Improvement, 2013

Building a safety architecture pattern system.

[BibT_eX]

[DOI]

Proceedings of the 18th European Conference on Pattern Languages of Program, 2013

A binding time guide to creational patterns.

[BibT_eX]

[DOI]

Proceedings of the 18th European Conference on Pattern Languages of Program, 2013

Inversion of control container for safety-critical embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 18th European Conference on Pattern Languages of Program, 2013

Special session: Remote-labs access in internet and performance learning environment projects.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Engineering Education Conference, 2013

Using a remote lab for teaching energy harvesting enhanced wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Global Engineering Education Conference, 2013

A Persistent Naming Scheme for Embedded Systems in Automation.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

A Component-Based Dynamic Link Support for Safety-Critical Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

Automatized high-level evaluation of security properties for RTL hardware designs.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Embedded Systems Security, 2013

2012

Improving domain representation with multi-paradigm modeling.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

Optimizing problem space representations through domain multi-modeling.

[BibT_eX]

[DOI]

Reinhold Weiß

Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

Lightweight Introduction of EAST-ADL2 in an Automotive Software Product Line.

[BibT_eX]

[DOI]

Proceedings of the 45th Hawaii International International Conference on Systems Science (HICSS-45 2012), 2012

EU Project SafEUr - Competence Requirements for Functional Safety Managers.

[BibT_eX]

[DOI]

Proceedings of the Systems, Software and Services Process Improvement, 2012

Applying patterns to model-driven development of automation systems: an industrial case study.

[BibT_eX]

[DOI]

Proceedings of the 17th European Conference on Pattern Languages of Programs, 2012

A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

An Architecture for Safe and Secure Automation System Devices and Maintenance Process.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

Analyzing the Complexity of Domain Model Representations.

[BibT_eX]

[DOI]

Reinhold Weiss

Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012

2011

A development methodology for variant-rich automotive software architectures.

[BibT_eX]

[DOI]

Elektrotech. Informationstechnik, 2011

Towards multi-modeling for domain description.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2011

Applying Multi-model Based Components for Virtual Organizations.

[BibT_eX]

[DOI]

Ulrich Krenn

Proceedings of the 19th International Euromicro Conference on Parallel, 2011

Software Product Lines - An Agile Success Factor?

[BibT_eX]

[DOI]

Proceedings of the Systems, Software and Service Process Improvement, 2011

A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010

A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Agility Meets Systems Engineering: A Catalogue of Success Factors from Industry Practice.

[BibT_eX]

[DOI]

Proceedings of the Systems, Software and Services Process Improvement, 2010

ECQL: A Query and Action Language for Model-Based Applications.

[BibT_eX]

[DOI]

Ulrich Krenn

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

2009

Interpreting Model-Based Components for Information Systems.

[BibT_eX]

[DOI]

Martin Schmid

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008

Model-typed component interfaces.

[BibT_eX]

[DOI]

Egon Teiniker

J. Syst. Archit., 2008

Data Model Driven Enterprise Service Bus Interceptors.

[BibT_eX]

[DOI]

Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

2007

Implementing Model-Based Data Structures using Transient Model Extensions.

[BibT_eX]

[DOI]

J. Softw., 2007

Platform Design for Software Product Lines of Data-intensive Systems.

[BibT_eX]

[DOI]

Proceedings of the 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), 2007

Model-Based Data Processing with Transient Model Extensions.

[BibT_eX]

[DOI]