Christopher Preschern

Proceedings of the EuroPLoP'21: European Conference on Pattern Languages of Programs 2021, Graz, Austria, July 7, 2021

2020

Patterns for Organizing Files in Modular C Programs.

[BibT_eX]

[DOI]

Proceedings of the EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, 2020

2019

Safety Architecture Pattern System with Security Aspects.

[BibT_eX]

[DOI]

Trans. Pattern Lang. Program., 2019

Patterns for returning data from C functions.

[BibT_eX]

[DOI]

Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019

C patterns on data lifetime and ownership.

[BibT_eX]

[DOI]

Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019

Patterns for returning error information in C.

[BibT_eX]

[DOI]

Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019

Patterns to escape the #ifdef hell.

[BibT_eX]

[DOI]

Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019

2017

Patterns for C Iterator Interfaces.

[BibT_eX]

[DOI]

Proceedings of the 22nd European Conference on Pattern Languages of Programs, 2017

2016

API patterns in C.

[BibT_eX]

[DOI]

Proceedings of the 21st European Conference on Pattern Languages of Programs, 2016

2015

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

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 2015

Idioms for error handling in C.

[BibT_eX]

[DOI]

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

2014

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

[BibT_eX]

[DOI]

Andrea Leitner

Softw. Syst. Model., 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

A Pattern Language on how to provide Feedback on Scientific Papers.

[BibT_eX]

[DOI]

Proceedings of the 8th Nordic Conference on Pattern Languages of Programs, VikingPLoP 2014, 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

Pattern-based safety development methods: overview and comparison.

[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

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

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

Building a safety architecture pattern system.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Manuel Menghin

Norbert Druml

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

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

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

Structuring Modular Safety Software Certification by Using Common Criteria Concepts.

[BibT_eX]

[DOI]

Kurt Dietrich

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

2010

Cost-Effective Routing for a Greener Internet.

[BibT_eX]

[DOI]

Bernd Bergler