Nermin Kajtazovic

32 papers A 1B 1C 2Misc 5Journal 5Unranked 17

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Degradation Detection in a Redundant Sensor Architecture. Sensors Amer Kajmakovic, Konrad Diwold, Kay Römer, Jesús Puerta Pestana, Nermin Kajtazovic
2021	J	`jnl`	A Compiler and Language Support for Designing Mixed-Criticality Applications. J. Univers. Comput. Sci. Nermin Kajtazovic, Peter Hödl, Leo Happ Botler
2020	—	`conf`	Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications. ISSRE Workshops Nermin Kajtazovic, Peter Hödl, Georg Macher
2020	B	`conf`	Jit fault detection: increasing availability in 1oo2 systems just-in-time. ARES Leo Botler, Nermin Kajtazovic, Konrad Diwold, Kay Römer
2019	—	`conf`	Flexible Soft Error Mitigation Strategy for Memories in Mixed-Critical Systems. ISSRE Workshops Amer Kajmakovic, Konrad Diwold, Nermin Kajtazovic, Robert Zupanc, Georg Macher
2019	J	`jnl`	Safety Architecture Pattern System with Security Aspects. Trans. Pattern Lang. Program. Christopher Preschern, Nermin Kajtazovic, Christian Kreiner
2018	—	`conf`	Predictive Fail-Safe Improving the Safety of Industrial Environments through Model-based Analytics on hidden Data Sources. SIES Amer Kajmakovic, Robert Zupanc, Simon Mayer, Nermin Kajtazovic, Martin Höffernig, Herwig Vogl
2016	—	`conf`	Asset-Centric Security Risk Assessment of Software Components. MILS@HiPEAC Tobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner
2015	—	`conf`	A Textual Domain-Specific Language Based on the UML Testing Profile. MODELSWARD (Revised Selected Papers) Johannes Iber, Nermin Kajtazovic, Georg Macher, Andrea Höller, Tobias Rauter, Christian Kreiner
2015	—	`ch.`	Constraint-Based Verification of Compositions in Safety-Critical Component-Based Systems. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner
2015	A	`conf`	Evaluation of diverse compiling for software-fault detection. DATE Andrea Höller, Nermin Kajtazovic, Tobias Rauter, Kay Römer, Christian Kreiner
2015	—	`conf`	Privilege-Based Remote Attestation: Towards Integrity Assurance for Lightweight Clients. IoTPTS@AsiaCCS Tobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner
2015	C	`conf`	Towards an automated generation of application confinement policies with binary analysis. ISNCC Tobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner
2015	C	`conf`	Ubtl - UML Testing Profile based Testing Language. MODELSWARD Johannes Iber, Nermin Kajtazovic, Andrea Höller, Tobias Rauter, Christian Kreiner
2014	—	`conf`	A Lightweight Framework for Testing Safety-critical Component-based Systems on Embedded Targets. ModComp@MoDELS Nermin Kajtazovic, Andrea Höller, Tobias Rauter, Christian Kreiner
2014	J	`jnl`	Efficient development and reuse of domain-specific languages for automation systems. Int. J. Metadata Semant. Ontologies Christopher Preschern, Nermin Kajtazovic, Christian Kreiner
2014	—	`conf`	FIES: A Fault Injection Framework for the Evaluation of Self-Tests for COTS-Based Safety-Critical Systems. MTV Andrea Höller, Gerhard Schonfelder, Nermin Kajtazovic, Tobias Rauter, Christian Kreiner
2014	—	`conf`	Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages. SERENE Andrea Höller, Nermin Kajtazovic, Christopher Preschern, Christian Kreiner
2014	J	`jnl`	On Design-time Modelling and Verification of Safety-critical Component-based Systems. Int. J. Networked Distributed Comput. Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner
2014	Misc	`conf`	Pattern-based safety development methods: overview and comparison. EuroPLoP Christopher Preschern, Nermin Kajtazovic, Andrea Höller, Christian Kreiner
2014	—	`conf`	Reducing Certification Costs through Assured Dynamic Software Configuration. ISSRE Workshops Nermin Kajtazovic, Andrea Höller, Tobias Rauter, Christian Kreiner
2014	—	`conf`	Towards Assured Dynamic Configuration of Safety-Critical Embedded Systems. SAFECOMP Workshops Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner
2014	Misc	`conf`	Towards pattern-based reuse in safety-critical systems. EuroPLoP Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner
2013	—	`conf`	A Component-Based Dynamic Link Support for Safety-Critical Embedded Systems. ECBS Nermin Kajtazovic, Christopher Preschern, Christian Kreiner
2013	—	`conf`	A Persistent Naming Scheme for Embedded Systems in Automation. ECBS Nermin Kajtazovic, Christopher Preschern, Christian Kreiner
2013	Misc	`conf`	Building a safety architecture pattern system. EuroPLoP Christopher Preschern, Nermin Kajtazovic, Christian Kreiner
2013	Misc	`conf`	Inversion of control container for safety-critical embedded systems. EuroPLoP Nermin Kajtazovic, Christopher Preschern, Christian Kreiner
2013	—	`conf`	Software-Based Remote Attestation for Safety-Critical Systems. ICST Workshops Christopher Preschern, Andreas Johann Hörmer, Nermin Kajtazovic, Christian Kreiner
2013	—	`conf`	Verifying generic IEC 61508 CPU self-tests with fault injection. IDT Christopher Preschern, Nermin Kajtazovic, Andrea Höller, Christian Steger, Christian Kreiner
2012	—	`conf`	An Architecture for Safe and Secure Automation System Devices and Maintenance Process. ECBS Christopher Preschern, Nermin Kajtazovic, Christian Kreiner
2012	Misc	`conf`	Applying patterns to model-driven development of automation systems: an industrial case study. EuroPLoP Christopher Preschern, Nermin Kajtazovic, Christian Kreiner
2012	—	`conf`	Lightweight Introduction of EAST-ADL2 in an Automotive Software Product Line. HICSS Andrea Leitner, Nermin Kajtazovic, Roland Mader, Christian Kreiner, Christian Steger, Reinhold Weiss