default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Nermin Kajtazovic
@article{DBLP:journals/sensors/KajmakovicDRPK22,
author = {Amer Kajmakovic and
Konrad Diwold and
Kay R{\"{o}}mer and
Jes{\'{u}}s Puerta Pestana and
Nermin Kajtazovic},
title = {Degradation Detection in a Redundant Sensor Architecture},
journal = {Sensors},
volume = {22},
number = {12},
pages = {4649},
year = {2022},
url = {https://doi.org/10.3390/s22124649},
doi = {10.3390/S22124649},
timestamp = {Sun, 28 Sep 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/KajmakovicDRPK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/KajtazovicHB21,
author = {Nermin Kajtazovic and
Peter H{\"{o}}dl and
Leo Happ Botler},
title = {A Compiler and Language Support for Designing Mixed-Criticality Applications},
journal = {J. Univers. Comput. Sci.},
volume = {27},
number = {8},
pages = {894--911},
year = {2021},
url = {https://doi.org/10.3897/jucs.71831},
doi = {10.3897/JUCS.71831},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/KajtazovicHB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/BotlerKDR20,
author = {Leo Botler and
Nermin Kajtazovic and
Konrad Diwold and
Kay R{\"{o}}mer},
editor = {Melanie Volkamer and
Christian Wressnegger},
title = {Jit fault detection: increasing availability in 1oo2 systems just-in-time},
booktitle = {{ARES} 2020: The 15th International Conference on Availability, Reliability
and Security, Virtual Event, Ireland, August 25-28, 2020},
pages = {9:1--9:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3407023.3407054},
doi = {10.1145/3407023.3407054},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/BotlerKDR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KajtazovicHM20,
author = {Nermin Kajtazovic and
Peter H{\"{o}}dl and
Georg Macher},
title = {Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory
Layouts in Mixed-critical Applications},
booktitle = {2020 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Coimbra, Portugal, October 12-15, 2020},
pages = {73--78},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISSREW51248.2020.00040},
doi = {10.1109/ISSREW51248.2020.00040},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/KajtazovicHM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tedu/PreschernKK19,
author = {Christopher Preschern and
Nermin Kajtazovic and
Christian Kreiner},
title = {Safety Architecture Pattern System with Security Aspects},
journal = {Trans. Pattern Lang. Program.},
volume = {4},
pages = {22--75},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-14291-9\_2},
doi = {10.1007/978-3-030-14291-9\_2},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tedu/PreschernKK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KajmakovicDKZM19,
author = {Amer Kajmakovic and
Konrad Diwold and
Nermin Kajtazovic and
Robert Zupanc and
Georg Macher},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Flexible Soft Error Mitigation Strategy for Memories in Mixed-Critical
Systems},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
2019},
pages = {440--445},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSREW.2019.00108},
doi = {10.1109/ISSREW.2019.00108},
timestamp = {Mon, 28 Dec 2020 11:31:03 +0100},
biburl = {https://dblp.org/rec/conf/issre/KajmakovicDKZM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/KajmakovicZMKHV18,
author = {Amer Kajmakovic and
Robert Zupanc and
Simon Mayer and
Nermin Kajtazovic and
Martin H{\"{o}}ffernig and
Herwig Vogl},
title = {Predictive Fail-Safe Improving the Safety of Industrial Environments
through Model-based Analytics on hidden Data Sources},
booktitle = {13th {IEEE} International Symposium on Industrial Embedded Systems,
{SIES} 2018, Graz, Austria, June 6-8, 2018},
pages = {1--4},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/SIES.2018.8442104},
doi = {10.1109/SIES.2018.8442104},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/KajmakovicZMKHV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hipeac/RauterHKK16,
author = {Tobias Rauter and
Andrea H{\"{o}}ller and
Nermin Kajtazovic and
Christian Kreiner},
editor = {Sergey Tverdyshev},
title = {Asset-Centric Security Risk Assessment of Software Components},
booktitle = {International Workshop on {MILS:} Architecture and Assurance for Secure
Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016},
publisher = {Zenodo},
year = {2016},
url = {https://doi.org/10.5281/zenodo.47992},
doi = {10.5281/ZENODO.47992},
timestamp = {Thu, 02 Aug 2018 14:39:18 +0200},
biburl = {https://dblp.org/rec/conf/hipeac/RauterHKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/RauterHKK15,
author = {Tobias Rauter and
Andrea H{\"{o}}ller and
Nermin Kajtazovic and
Christian Kreiner},
editor = {Richard Chow and
G{\"{o}}kay Saldamli},
title = {Privilege-Based Remote Attestation: Towards Integrity Assurance for
Lightweight Clients},
booktitle = {Proceedings of the 1st {ACM} Workshop on IoT Privacy, Trust, and Security,
IoTPTS@AsiaCCS 2015, Singapore, Republic of Singapore, April 14, 2015},
pages = {3--9},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2732209.2732211},
doi = {10.1145/2732209.2732211},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/RauterHKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HollerKRRK15,
author = {Andrea H{\"{o}}ller and
Nermin Kajtazovic and
Tobias Rauter and
Kay R{\"{o}}mer and
Christian Kreiner},
editor = {Wolfgang Nebel and
David Atienza},
title = {Evaluation of diverse compiling for software-fault detection},
booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe
Conference {\&} Exhibition, {DATE} 2015, Grenoble, France, March
9-13, 2015},
pages = {531--536},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2755873},
timestamp = {Fri, 16 Jan 2026 12:32:21 +0100},
biburl = {https://dblp.org/rec/conf/date/HollerKRRK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isncc/RauterHKK15,
author = {Tobias Rauter and
Andrea H{\"{o}}ller and
Nermin Kajtazovic and
Christian Kreiner},
title = {Towards an automated generation of application confinement policies
with binary analysis},
booktitle = {International Symposium on Networks, Computers and Communications,
{ISNCC} 2015, Yasmine Hammamet, Tunisia, May 13-15, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ISNCC.2015.7238568},
doi = {10.1109/ISNCC.2015.7238568},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/isncc/RauterHKK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/IberKHRK15,
author = {Johannes Iber and
Nermin Kajtazovic and
Andrea H{\"{o}}ller and
Tobias Rauter and
Christian Kreiner},
editor = {Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires and
Philippe Desfray and
Joaquim Filipe},
title = {Ubtl - {UML} Testing Profile based Testing Language},
booktitle = {{MODELSWARD} 2015 - Proceedings of the 3rd International Conference
on Model-Driven Engineering and Software Development, ESEO, Angers,
Loire Valley, France, 9-11 February, 2015},
pages = {99--110},
publisher = {SciTePress},
year = {2015},
url = {https://doi.org/10.5220/0005241300990110},
doi = {10.5220/0005241300990110},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/IberKHRK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/IberKMHRK15,
author = {Johannes Iber and
Nermin Kajtazovic and
Georg Macher and
Andrea H{\"{o}}ller and
Tobias Rauter and
Christian Kreiner},
editor = {Philippe Desfray and
Joaquim Filipe and
Slimane Hammoudi and
Lu{\'{\i}}s Ferreira Pires},
title = {A Textual Domain-Specific Language Based on the {UML} Testing Profile},
booktitle = {Model-Driven Engineering and Software Development - Third International
Conference, {MODELSWARD} 2015, Angers, France, February 9-11, 2015,
Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {580},
pages = {155--171},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-27869-8\_9},
doi = {10.1007/978-3-319-27869-8\_9},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/IberKMHRK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/KajtazovicPHK15,
author = {Nermin Kajtazovic and
Christopher Preschern and
Andrea H{\"{o}}ller and
Christian Kreiner},
editor = {Roger Lee},
title = {Constraint-Based Verification of Compositions in Safety-Critical Component-Based
Systems},
booktitle = {Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed
Computing},
series = {Studies in Computational Intelligence},
volume = {569},
pages = {113--130},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10389-1\_9},
doi = {10.1007/978-3-319-10389-1\_9},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/sci/KajtazovicPHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmso/PreschernKK14,
author = {Christopher Preschern and
Nermin Kajtazovic and
Christian Kreiner},
title = {Efficient development and reuse of domain-specific languages for automation
systems},
journal = {Int. J. Metadata Semant. Ontologies},
volume = {9},
number = {3},
pages = {215--226},
year = {2014},
url = {https://doi.org/10.1504/IJMSO.2014.063133},
doi = {10.1504/IJMSO.2014.063133},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmso/PreschernKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijndc/KajtazovicPHK14,
author = {Nermin Kajtazovic and
Christopher Preschern and
Andrea H{\"{o}}ller and
Christian Kreiner},
title = {On Design-time Modelling and Verification of Safety-critical Component-based
Systems},
journal = {Int. J. Networked Distributed Comput.},
volume = {2},
number = {3},
pages = {175--188},
year = {2014},
url = {https://doi.org/10.2991/ijndc.2014.2.3.7},
doi = {10.2991/IJNDC.2014.2.3.7},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijndc/KajtazovicPHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europlop/PreschernKHK14,
author = {Christopher Preschern and
Nermin Kajtazovic and
Andrea H{\"{o}}ller and
Christian Kreiner},
editor = {Veli{-}Pekka Eloranta and
Uwe van Heesch},
title = {Pattern-based safety development methods: overview and comparison},
booktitle = {Proceedings of the 19th European Conference on Pattern Languages of
Programs, EuroPLoP 2014, Irsee, Germany, July 9-13, 2014},
pages = {28:1--28:20},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2721956.2721958},
doi = {10.1145/2721956.2721958},
timestamp = {Tue, 06 Nov 2018 16:59:05 +0100},
biburl = {https://dblp.org/rec/conf/europlop/PreschernKHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europlop/KajtazovicPHK14,
author = {Nermin Kajtazovic and
Christopher Preschern and
Andrea H{\"{o}}ller and
Christian Kreiner},
editor = {Veli{-}Pekka Eloranta and
Uwe van Heesch},
title = {Towards pattern-based reuse in safety-critical systems},
booktitle = {Proceedings of the 19th European Conference on Pattern Languages of
Programs, EuroPLoP 2014, Irsee, Germany, July 9-13, 2014},
pages = {33:1--33:15},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2721956.2721977},
doi = {10.1145/2721956.2721977},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/europlop/KajtazovicPHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KajtazovicHRK14,
author = {Nermin Kajtazovic and
Andrea H{\"{o}}ller and
Tobias Rauter and
Christian Kreiner},
title = {Reducing Certification Costs through Assured Dynamic Software Configuration},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {515--520},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.90},
doi = {10.1109/ISSREW.2014.90},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/KajtazovicHRK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KajtazovicHRK14,
author = {Nermin Kajtazovic and
Andrea H{\"{o}}ller and
Tobias Rauter and
Christian Kreiner},
editor = {Federico Ciccozzi and
Massimo Tivoli and
Jan Carlson},
title = {A Lightweight Framework for Testing Safety-critical Component-based
Systems on Embedded Targets},
booktitle = {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), Valencia, Spain, September 29, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1281},
pages = {78--87},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1281/8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/KajtazovicHRK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/HollerSKRK14,
author = {Andrea H{\"{o}}ller and
Gerhard Schonfelder and
Nermin Kajtazovic and
Tobias Rauter and
Christian Kreiner},
title = {{FIES:} {A} Fault Injection Framework for the Evaluation of Self-Tests
for COTS-Based Safety-Critical Systems},
booktitle = {15th International Microprocessor Test and Verification Workshop,
{MTV} 2014, Austin, TX, USA, December 15-16, 2014},
pages = {105--110},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/MTV.2014.27},
doi = {10.1109/MTV.2014.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/HollerSKRK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KajtazovicPHK14,
author = {Nermin Kajtazovic and
Christopher Preschern and
Andrea H{\"{o}}ller and
Christian Kreiner},
editor = {Andrea Bondavalli and
Andrea Ceccarelli and
Frank Ortmeier},
title = {Towards Assured Dynamic Configuration of Safety-Critical Embedded
Systems},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2014 Workshops:
ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, {SASSUR.} Florence, Italy,
September 8-9, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8696},
pages = {167--179},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10557-4\_20},
doi = {10.1007/978-3-319-10557-4\_20},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/KajtazovicPHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/HollerKPK14,
author = {Andrea H{\"{o}}ller and
Nermin Kajtazovic and
Christopher Preschern and
Christian Kreiner},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Formal Fault Tolerance Analysis of Algorithms for Redundant Systems
in Early Design Stages},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {71--85},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_6},
doi = {10.1007/978-3-319-12241-0\_6},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/HollerKPK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/KajtazovicPK13,
author = {Nermin Kajtazovic and
Christopher Preschern and
Christian Kreiner},
editor = {Jerzy W. Rozenblit},
title = {A Component-Based Dynamic Link Support for Safety-Critical Embedded
Systems},
booktitle = {20th {IEEE} International Conference and Workshops on Engineering
of Computer Based Systems, {ECBS} 2013, Scottsdale, AZ, USA, April
22-24, 2013},
pages = {92--99},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ECBS.2013.19},
doi = {10.1109/ECBS.2013.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/KajtazovicPK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/KajtazovicPK13a,
author = {Nermin Kajtazovic and
Christopher Preschern and
Christian Kreiner},
editor = {Jerzy W. Rozenblit},
title = {A Persistent Naming Scheme for Embedded Systems in Automation},
booktitle = {20th {IEEE} International Conference and Workshops on Engineering
of Computer Based Systems, {ECBS} 2013, Scottsdale, AZ, USA, April
22-24, 2013},
pages = {157--165},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ECBS.2013.18},
doi = {10.1109/ECBS.2013.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/KajtazovicPK13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europlop/PreschernKK13,
author = {Christopher Preschern and
Nermin Kajtazovic and
Christian Kreiner},
editor = {Uwe van Heesch and
Christian Kohls},
title = {Building a safety architecture pattern system},
booktitle = {Proceedings of the 18th European Conference on Pattern Languages of
Program, EuroPLoP 2013, Irsee, Germany, July 10-14, 2013},
pages = {17:1--17:55},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2739011.2739028},
doi = {10.1145/2739011.2739028},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/europlop/PreschernKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europlop/KajtazovicPK13,
author = {Nermin Kajtazovic and
Christopher Preschern and
Christian Kreiner},
editor = {Uwe van Heesch and
Christian Kohls},
title = {Inversion of control container for safety-critical embedded systems},
booktitle = {Proceedings of the 18th European Conference on Pattern Languages of
Program, EuroPLoP 2013, Irsee, Germany, July 10-14, 2013},
pages = {19:1--19:12},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2739011.2739030},
doi = {10.1145/2739011.2739030},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/europlop/KajtazovicPK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PreschernHKK13,
author = {Christopher Preschern and
Andreas Johann H{\"{o}}rmer and
Nermin Kajtazovic and
Christian Kreiner},
title = {Software-Based Remote Attestation for Safety-Critical Systems},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {8--12},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.7},
doi = {10.1109/ICSTW.2013.7},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PreschernHKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idt/PreschernKHSK13,
author = {Christopher Preschern and
Nermin Kajtazovic and
Andrea H{\"{o}}ller and
Christian Steger and
Christian Kreiner},
title = {Verifying generic {IEC} 61508 {CPU} self-tests with fault injection},
booktitle = {8th International Design and Test Symposium, {IDT} 2013, Marrakesh,
Morocco, 16-18 December, 2013},
pages = {1--2},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IDT.2013.6727145},
doi = {10.1109/IDT.2013.6727145},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/idt/PreschernKHSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PreschernKK12,
author = {Christopher Preschern and
Nermin Kajtazovic and
Christian Kreiner},
editor = {Miroslav Popovic and
Bernhard Sch{\"{a}}tz and
Sebastian Voss},
title = {An Architecture for Safe and Secure Automation System Devices and
Maintenance Process},
booktitle = {{IEEE} 19th International Conference and Workshops on Engineering
of Computer-Based Systems, {ECBS} 2012, Novi Sad, Serbia, April 11-13,
2012},
pages = {82--89},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ECBS.2012.12},
doi = {10.1109/ECBS.2012.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/PreschernKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europlop/PreschernKK12,
author = {Christopher Preschern and
Nermin Kajtazovic and
Christian Kreiner},
editor = {Christian Kohls and
Andreas Fie{\ss}er},
title = {Applying patterns to model-driven development of automation systems:
an industrial case study},
booktitle = {17th European Conference on Pattern Languages of Programs, EuroPLoP
2012, Irsee, Germany, July 11-15, 2012},
pages = {5:1--5:10},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2602928.2603081},
doi = {10.1145/2602928.2603081},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/europlop/PreschernKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/LeitnerKMKSW12,
author = {Andrea Leitner and
Nermin Kajtazovic and
Roland Mader and
Christian Kreiner and
Christian Steger and
Reinhold Weiss},
title = {Lightweight Introduction of {EAST-ADL2} in an Automotive Software
Product Line},
booktitle = {45th Hawaii International International Conference on Systems Science
{(HICSS-45} 2012), Proceedings, 4-7 January 2012, Grand Wailea, Maui,
HI, {USA}},
pages = {5526--5535},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HICSS.2012.414},
doi = {10.1109/HICSS.2012.414},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/LeitnerKMKSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-22 04:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
