Skip to content

Nermin Kajtazovic

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

9

Active years

2012–2020

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

YearVenueTitleAuthors
2020ISSREInstrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications.Nermin Kajtazovic, Peter Hdl, Georg Macher
2019ISSREFlexible Soft Error Mitigation Strategy for Memories in Mixed-Critical Systems.Amer Kajmakovic, Konrad Diwold, Nermin Kajtazovic, Robert Zupanc, Georg Macher
2015CCSPrivilege-Based Remote Attestation: Towards Integrity Assurance for Lightweight Clients.Tobias Rauter, Andrea Hller, Nermin Kajtazovic, Christian Kreiner
2015DATEEvaluation of diverse compiling for software-fault detection.Andrea Hller, Nermin Kajtazovic, Tobias Rauter, Kay Rmer, Christian Kreiner
2015ISNCCTowards an automated generation of application confinement policies with binary analysis.Tobias Rauter, Andrea Hller, Nermin Kajtazovic, Christian Kreiner
2015MODELSWARDUbtl - UML Testing Profile based Testing Language.Johannes Iber, Nermin Kajtazovic, Andrea Hller, Tobias Rauter, Christian Kreiner
2015MODELSWARDA Textual Domain-Specific Language Based on the UML Testing Profile.Johannes Iber, Nermin Kajtazovic, Georg Macher, Andrea Hller, Tobias Rauter, Christian Kreiner
2014EuroPLopTowards pattern-based reuse in safety-critical systems.Nermin Kajtazovic, Christopher Preschern, Andrea Hller, Christian Kreiner
2014EuroPLopPattern-based safety development methods: overview and comparison.Christopher Preschern, Nermin Kajtazovic, Andrea Hller, Christian Kreiner
2014ISSREReducing Certification Costs through Assured Dynamic Software Configuration.Nermin Kajtazovic, Andrea Hller, Tobias Rauter, Christian Kreiner
2014MODELSA Lightweight Framework for Testing Safety-critical Component-based Systems on Embedded Targets.Nermin Kajtazovic, Andrea Hller, Tobias Rauter, Christian Kreiner
2014SAFECOMPTowards Assured Dynamic Configuration of Safety-Critical Embedded Systems.Nermin Kajtazovic, Christopher Preschern, Andrea Hller, Christian Kreiner
2013EuroPLopInversion of control container for safety-critical embedded systems.Nermin Kajtazovic, Christopher Preschern, Christian Kreiner
2013EuroPLopBuilding a safety architecture pattern system.Christopher Preschern, Nermin Kajtazovic, Christian Kreiner
2013ICSTSoftware-Based Remote Attestation for Safety-Critical Systems.Christopher Preschern, Andreas Johann Hrmer, Nermin Kajtazovic, Christian Kreiner
2012EuroPLopApplying patterns to model-driven development of automation systems: an industrial case study.Christopher Preschern, Nermin Kajtazovic, Christian Kreiner