Nermin Kajtazovic

发表

Pattern-based safety development methods: overview and comparison

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

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

Christian Steger, Reinhold Weiss, Nermin Kajtazovic, 2012, 2012 45th Hawaii International Conference on System Sciences.

Evaluation of Diverse Compiling for Software-Fault Tolerance

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2015, DATE 2015.

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

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2014, 2014 15th International Microprocessor Test and Verification Workshop.

Building a safety architecture pattern system

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

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

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 .

Asset-Centric Security Risk Assessment of Software Components

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2016, MILS@HiPEAC.

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 .

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

Nermin Kajtazovic, Simon Mayer, Amer Kajmakovic, 2018, 2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES).

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 .

Evaluation of diverse compiling for software-fault detection

Kay Römer, Nermin Kajtazovic, Andrea Höller, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

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).

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

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2014, ModComp@MoDELS.

Verifying generic IEC 61508 CPU self-tests with fault injection

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

Towards an automated generation of application confinement policies with binary analysis

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2015, 2015 International Symposium on Networks, Computers and Communications (ISNCC).

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

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2015, MODELSWARD.

Safety Architecture Pattern System with Security Aspects

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

Evaluation of Variant Management Capabilities of Automotive Software Engineering Tools

Nermin Kajtazovic, 2011 .

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

Kay Römer, Nermin Kajtazovic, Konrad Diwold, 2020, ARES.

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

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

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

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2015, IoTPTS@AsiaCCS.

Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems

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

Inversion of control container for safety-critical embedded systems

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

Challenges in Mitigating Soft Errors in Safety-critical Systems with COTS Microprocessors

Nermin Kajtazovic, Konrad Diwold, Amer Kajmakovic, 2020 .

Reducing Certification Costs through Assured Dynamic Software Configuration

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.

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

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

Ubtl UML testing profile based testing language

Nermin Kajtazovic, Andrea Höller, Christian Kreiner, 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

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..

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

Nermin Kajtazovic, Georg Macher, Konrad Diwold, 2019, 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

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.