Nermin Kajtazovic

According to our database, Nermin Kajtazovic authored at least 32 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Degradation Detection in a Redundant Sensor Architecture.

Amer Kajmakovic, Konrad Diwold, Kay Römer, Jesús Pestana, Nermin Kajtazovic

Sensors, 2022

2021

A Compiler and Language Support for Designing Mixed-Criticality Applications.

Nermin Kajtazovic, Peter Hödl, Leo Happ Botler

J. Univers. Comput. Sci., 2021

2020

Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications.

Nermin Kajtazovic, Peter Hödl, Georg Macher

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Jit fault detection: increasing availability in 1oo2 systems just-in-time.

Leo Botler, Nermin Kajtazovic, Konrad Diwold, Kay Römer

Proceedings of the ARES 2020: The 15th International Conference on Availability, 2020

2019

Safety Architecture Pattern System with Security Aspects.

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner

Trans. Pattern Lang. Program., 2019

Flexible Soft Error Mitigation Strategy for Memories in Mixed-Critical Systems.

Amer Kajmakovic, Konrad Diwold, Nermin Kajtazovic, Robert Zupanc, Georg Macher

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

2018

Predictive Fail-Safe Improving the Safety of Industrial Environments through Model-based Analytics on hidden Data Sources.

Amer Kajmakovic, Robert Zupanc, Simon Mayer, Nermin Kajtazovic, Martin Höffernig, Herwig Vogl

Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

2016

Asset-Centric Security Risk Assessment of Software Components.

Tobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner

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

2015

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

Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner

Proceedings of the Software Engineering, 2015

A Textual Domain-Specific Language Based on the UML Testing Profile.

Johannes Iber, Nermin Kajtazovic, Georg Macher, Andrea Höller, Tobias Rauter, Christian Kreiner

Proceedings of the Model-Driven Engineering and Software Development, 2015

Ubtl - UML Testing Profile based Testing Language.

Johannes Iber, Nermin Kajtazovic, Andrea Höller, Tobias Rauter, Christian Kreiner

Proceedings of the MODELSWARD 2015, 2015

Towards an automated generation of application confinement policies with binary analysis.

Tobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner

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

Evaluation of diverse compiling for software-fault detection.

Andrea Höller, Nermin Kajtazovic, Tobias Rauter, Kay Römer, Christian Kreiner

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

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

Tobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner

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

2014

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

Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner

Int. J. Networked Distributed Comput., 2014

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

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner

Int. J. Metadata Semant. Ontologies, 2014

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

Andrea Höller, Nermin Kajtazovic, Christopher Preschern, Christian Kreiner

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

Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems.

Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner

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

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

Andrea Höller, Gerhard Schonfelder, Nermin Kajtazovic, Tobias Rauter, Christian Kreiner

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

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

Nermin Kajtazovic, Andrea Höller, Tobias Rauter, Christian Kreiner

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

Reducing Certification Costs through Assured Dynamic Software Configuration.

Nermin Kajtazovic, Andrea Höller, Tobias Rauter, Christian Kreiner

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

Pattern-based safety development methods: overview and comparison.

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, Christian Kreiner

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

Towards pattern-based reuse in safety-critical systems.

Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner

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

2013

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

Christopher Preschern, Nermin Kajtazovic, Andrea Höller, Christian Steger, Christian Kreiner

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

Software-Based Remote Attestation for Safety-Critical Systems.

Christopher Preschern, Andreas Johann Hörmer, Nermin Kajtazovic, Christian Kreiner

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

Building a safety architecture pattern system.

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner

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

Inversion of control container for safety-critical embedded systems.

Nermin Kajtazovic, Christopher Preschern, Christian Kreiner

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

A Persistent Naming Scheme for Embedded Systems in Automation.

Nermin Kajtazovic, Christopher Preschern, Christian Kreiner

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.

Nermin Kajtazovic, Christopher Preschern, Christian Kreiner

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

2012

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

Andrea Leitner, Nermin Kajtazovic, Roland Mader, Christian Kreiner, Christian Steger, Reinhold Weiss

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

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

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner

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

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

Christopher Preschern, Nermin Kajtazovic, Christian Kreiner

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