Christopher Preschern

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2013, 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS).

System of safety-critical embedded Architecture Patterns

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2013 .

Idioms for error handling in C

Christopher Preschern, 2015, EuroPLoP.

Pisciculture Automation System Product Line (Piscas)

Christopher Preschern, 2012 .

Software-Based Remote Attestation for Safety-Critical Systems

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

Quantitative Security Estimation based on Safety Architecture Design Patterns

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2014 .

Towards Predictable Dynamic Linking for Safety-critical Component-based Systems

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2013 .

Applying and Evaluating Architectural IEC 61508 Safety Patterns

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2014 .

Evaluation of Domain Modeling Decisions for Two Identical Domain Specific Languages

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2014 .

Towards pattern-based reuse in safety-critical systems

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2014, EuroPLoP.

Security analysis of safety patterns

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2013 .

Pattern-Based Development of Embedded Systems for Safety and Security

Christopher Preschern, 2014 .

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

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2012, 2012 IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems.

A Persistent Naming Scheme for Embedded Systems in Automation

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2013, 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS).

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

Christopher Preschern, Christian Kreiner, Andrea Leitner, 2012, Software & Systems Modeling.

Verifying generic IEC 61508 CPU self-tests with fault injection

Christian Steger, Christopher Preschern, Nermin Kajtazovic, 2013, 2013 8th IEEE Design and Test Symposium.

Structuring Modular Safety Software Certification by Using Common Criteria Concepts

Christopher Preschern, Kurt Dietrich, 2012, 2012 38th Euromicro Conference on Software Engineering and Advanced Applications.

Patterns for returning error information in C

Christopher Preschern, 2019, EuroPLoP.

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

Christian Steger, Christopher Preschern, Andrea Höller, 2013, WESS '13.

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

Christian Steger, Reinhold Weiss, Christopher Preschern, 2013, IEEE Transactions on Industrial Informatics.

Safety Architecture Pattern System with Security Aspects

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2019, Trans. Pattern Lang. Program..

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

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2014, Int. J. Metadata Semant. Ontologies.

Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2014, SAFECOMP Workshops.

Patterns for Organizing Files in Modular C Programs

Christopher Preschern, Christopher Preschern, 2020, EuroPLoP.

API patterns in C

Christopher Preschern, C. Preschern, 2016, EuroPLoP.

C patterns on data lifetime and ownership

Christopher Preschern, Christopher Preschern, 2019, EuroPLoP.

Introduction of design pattern(s) for power-management in embedded systems

Christian Steger, Reinhold Weiss, Christopher Preschern, 2015, EuroPLoP '13.

Inversion of control container for safety-critical embedded systems

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2015, EuroPLoP '13.

Cost-Effective Routing for a Greener Internet

Christopher Preschern, Stefan Kraxberger, Andreas Reiter, 2010, 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing.

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

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2014, SERENE.

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

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2014, Int. J. Networked Distributed Comput..

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

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner, 2012, EuroPLoP '12.

Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, 2015, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing.

A Pattern Story about C Programming

Christopher Preschern, 2021, EuroPLoP.

Catalog of security tactics linked to common criteria requirements

Christopher Preschern, Christopher Preschern, 2012 .

Domain-Specific Language Architecture for Automation Systems : An Industrial Case Study

Christopher Preschern, Christian Kreiner, Andrea Leitner, 2012 .