2024
Automating system tests of legacy software.
Proceedings of the 29th European Conference on Pattern Languages of Programs, 2024
2021
A Pattern Story about C Programming.
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.
Proceedings of the EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, 2020
2019
Safety Architecture Pattern System with Security Aspects.
Trans. Pattern Lang. Program., 2019
Patterns for returning data from C functions.
Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019
C patterns on data lifetime and ownership.
Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019
Patterns for returning error information in C.
Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019
Patterns to escape the #ifdef hell.
Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019
2017
Patterns for C Iterator Interfaces.
Proceedings of the 22nd European Conference on Pattern Languages of Programs, 2017
2016
Proceedings of the 21st European Conference on Pattern Languages of Programs, 2016
2015
Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems.
Proceedings of the Software Engineering, 2015
Idioms for error handling in C.
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.
Softw. Syst. Model., 2014
On Design-time Modelling and Verification of Safety-critical Component-based Systems.
Int. J. Networked Distributed Comput., 2014
Efficient development and reuse of domain-specific languages for automation systems.
Int. J. Metadata Semant. Ontologies, 2014
A Pattern Language on how to provide Feedback on Scientific Papers.
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.
Proceedings of the Software Engineering for Resilient Systems - 6th International Workshop, 2014
Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2014
Pattern-based safety development methods: overview and comparison.
Proceedings of the 19th European Conference on Pattern Languages of Programs, 2014
Towards pattern-based reuse in safety-critical systems.
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.
IEEE Trans. Ind. Informatics, 2013
Verifying generic IEC 61508 CPU self-tests with fault injection.
Proceedings of the 8th International Design and Test Symposium, 2013
Software-Based Remote Attestation for Safety-Critical Systems.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Building a safety architecture pattern system.
Proceedings of the 18th European Conference on Pattern Languages of Program, 2013
Introduction of design pattern(s) for power-management in embedded systems.
Proceedings of the 18th European Conference on Pattern Languages of Program, 2013
Inversion of control container for safety-critical embedded systems.
Proceedings of the 18th European Conference on Pattern Languages of Program, 2013
A Persistent Naming Scheme for Embedded Systems in Automation.
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.
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.
Proceedings of the Workshop on Embedded Systems Security, 2013
2012
Applying patterns to model-driven development of automation systems: an industrial case study.
Proceedings of the 17th European Conference on Pattern Languages of Programs, 2012
Structuring Modular Safety Software Certification by Using Common Criteria Concepts.
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.
Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012
2010
Cost-Effective Routing for a Greener Internet.
Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010