Seguir
Nermin Kajtazovic
Título
Citado por
Citado por
Año
FIES: a fault injection framework for the evaluation of self-tests for COTS-based safety-critical systems
A Höller, G Schönfelder, N Kajtazovic, T Rauter, C Kreiner
2014 15th International Microprocessor Test and Verification Workshop, 105-110, 2014
342014
Building a safety architecture pattern system
C Preschern, N Kajtazovic, C Kreiner
Proceedings of the 18th European Conference on Pattern Languages of Program …, 2013
312013
Security analysis of safety patterns
C Preschern, N Kajtazovic, C Kreiner
Proceedings of the 20th Conference on Pattern Languages of Programs, 1-38, 2013
232013
Privilege-based remote attestation: Towards integrity assurance for lightweight clients
T Rauter, A Höller, N Kajtazovic, C Kreiner
Proceedings of the 1st ACM Workshop on IoT Privacy, Trust, and Security, 3-9, 2015
172015
Asset-centric security risk assessment of software components
T Rauter, A Höller, J Iber, CJ Kreiner
2nd International Workshop on MILS: Architecture and Assurance for Secure …, 2016
162016
Catalog of safety tactics in the light of the IEC 61508 safety lifecycle
C Preschern, N Kajtazovic, C Kreiner
Proceedings of VikingPLoP 2013 Conference, 79, 2013
162013
A component-based dynamic link support for safety-critical embedded systems
N Kajtazovic, C Preschern, C Kreiner
20th IEEE International Conference and Workshops on the Engineering of …, 2013
152013
Built-in security enhancements for the 1oo2 safety architecture
C Preschern, N Kajtazovic, C Kreiner
2012 IEEE International Conference on Cyber Technology in Automation …, 2012
122012
Evaluation of Diverse Compiling for Software-Fault Tolerance
A Höller, N Kajtazovic, T Rauter, KU Römer, CJ Kreiner
Design, Automation and Test in Europe Conference and Exhibition, 1-100, 2015
112015
Flexible soft error mitigation strategy for memories in mixed-critical systems
A Kajmakovic, K Diwold, N Kajtazovic, R Zupanc, G Macher
2019 IEEE International Symposium on Software Reliability Engineering …, 2019
102019
Applying patterns to model-driven development of automation systems: an industrial case study
C Preschern, N Kajtazovic, C Kreiner
Proceedings of the 17th European Conference on Pattern Languages of Programs …, 2012
102012
Predictive fail-safe improving the safety of industrial environments through model-based analytics on hidden data sources
A Kajmakovic, R Zupanc, S Mayer, N Kajtazovic, M Hoeffernig, H Vogl
2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES …, 2018
92018
Evaluation of diverse compiling for software-fault detection
A Höller, N Kajtazovic, T Rauter, K Römer, C Kreiner
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 531-536, 2015
92015
Ubtl - UML Testing Profile based Testing Language
J Iber, N Kajtazovic, A Hoeller, T Rauter, C Kreiner
International Conference on Model-Driven Engineering and Software …, 2015
72015
Pattern-based safety development methods: overview and comparison
C Preschern, N Kajtazovic, A Höller, C Kreiner
Proceedings of the 19th European Conference on Pattern Languages of Programs …, 2014
72014
Constraint-based verification of compositions in safety-critical component-based systems
N Kajtazovic, C Preschern, A Höller, C Kreiner
Software Engineering, Artificial Intelligence, Networking and Parallel …, 2015
62015
Evaluation of domain modeling decisions for two identical domain specific languages
C Preschern, N Kajtazovic, C Kreiner
Lecture Notes on Software Engineering 2 (1), 37, 2014
62014
Software-based remote attestation for safety-critical systems
C Preschern, AJ Hörmer, N Kajtazovic, C Kreiner
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
62013
A textual domain-specific language based on the UML Testing Profile
J Iber, N Kajtazović, G Macher, A Höller, T Rauter, C Kreiner
Model-Driven Engineering and Software Development: Third International …, 2015
52015
Towards pattern-based reuse in safety-critical systems
N Kajtazovic, C Preschern, A Höller, C Kreiner
Proceedings of the 19th European Conference on Pattern Languages of Programs …, 2014
52014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20