Computer Safety, Reliability, and Security: SAFECOMP google.de
books.google.de
... Andrea Höller, and Christian Kreiner Institute for Technical Informatics, Graz University of TechnologyGraz, Austria {nermin.kajtazovic ...
Software Engineering for Resilient Systems: 7th ...google.de
books.google.de
... Andrea Höller, Tobias Rauter, Johannes Iber, and Christian Kreiner A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol ...
Andrea Höller | csauthors.net
www.csauthors.net
Andrea Höller. ,. Johannes Iber. ,. Christian Kreiner. Proceedings of the International Conference on Embedded Wireless Systems and Networks,
Systems, Software and Services Process Improvement: 23rd European ...
books.google.ch
Development and Production Processes for Secure Embedded Control Devices Tobias Rauter(B), Andrea Höller, Johannes Iber, and Christian Kreiner Institute ...
International Workshop on MILS: Architecture and …
mils-workshop-2016.mils.community
International Workshop on MILS: Architecture and Assurance for Secure Systems ... Tobias Rauter, Andrea Höller, Johannes Iber and Christian Kreiner. 12:00
Automatized high-level evaluation of security properties for RTL...
dl.acm.org
Automatized High-Level Evaluation of Security Properties for RTL Hardware Designs. Andrea Höller, Christopher Preschern,. Christian Steger, Christian Kreiner.
Evaluation of diverse compiling for software-fault detection
dl.acm.org
Andrea Höller, Nermin Kajtazovic, Tobias Rauter, Kay Römer, and Christian Kreiner. Institute for Technical Informatics, Graz University of Technology.
Patterns for automated software diversity to support security and...
dl.acm.org
Authors: Andrea Höller · Graz University of Technology · Tobias Rauter · Graz University of Technology · Johannes Iber · Graz University of Technology · Christian Kreiner · Graz University of Technology ...
Nermin KajtazovicDBLP
dblp.org
— Andrea Höller, Nermin Kajtazovic, Tobias Rauter, Kay Römer, Christian Kreiner: Evaluation of diverse compiling for software-fault detection — Andrea Höller, Nermin Kajtazovic, Tobias Rauter, Kay Römer, Christian Kreiner: Evaluation of diverse compiling for software-fault detection ...
dblp: European Conference on Pattern …
dblp.uni-trier.de
Georg Macher, Andrea Höller, Eric Armengaud, Christian Kreiner: Pattern catalog for multicore migration of embedded automotive systems. 24:1-24:11. view.
dblp: Gerhard Schonfelder
dblp1.uni-trier.de
Andrea Höller, Gerhard Schonfelder, Nermin Kajtazovic, Tobias Rauter, Christian Kreiner: FIES: A Fault Injection Framework for the Evaluation of Self-Tests for COTS ...
dblp: Norbert Druml
dblp.uni-trier.de
Andrea Höller, Norbert Druml, Christian Kreiner, Christian Steger, Tomaz Felicijan: Hardware/Software Co-Design of Elliptic-Curve Cryptography for Resource ...
Towards Assured Dynamic Configuration of Safety-Critical ...Springer
link.springer.com
von N Kajtazovic · · Zitiert von: 3 — Andrea Höller & … Christian Kreiner. Show authors. Part of the book series ... Nermin Kajtazovic, Christopher Preschern, Andrea Höller & Christian Kreiner. von N Kajtazovic · · Zitiert von: 3 — Andrea Höller & … Christian Kreiner. Show authors. Part of the book series ... Nermin Kajtazovic, Christopher Preschern, Andrea Höller & Christian Kreiner.
Constraint-Based Verification of Compositions in Safety-Critical...
link.springer.com
Nermin Kajtazovic, Christopher Preschern, Andrea Höller, and Christian Kreiner. Abstract. Component-based Software Engineering (CBSE) is currently a key.
Alle Infos zum Namen "Andrea Höller"
3rd International Conference on Model-Driven Engineering ...ModelsWard
modelsward.scitevents.org
34: Ubtl - UML Testing Profile based Testing Language Johannes Iber, Nermin Kajtazovic, Andrea Höller, Tobias Rauter and Christian Kreiner; 37: DCCSS - A : Ubtl - UML Testing Profile based Testing Language Johannes Iber, Nermin Kajtazovic, Andrea Höller, Tobias Rauter and Christian Kreiner; 37: DCCSS - A ...
EuroPLoP | EuroPLoP
www.europlop.net
Papers at EuroPLoP Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Kreiner: Towards pattern-based reuse in safety-critical systems;
CEUR-WS.org/Vol Model-Driven Engineering for Component-Based...
ceur-ws.org
Nermin Kajtazovic, Andrea Höller, Tobias Rauter, Christian Kreiner; : submitted by Federico Ciccozzi : published on CEUR-WS.org |valid HTML5| ...
EuroPLoP 2016
europlop.net
Pattern Catalog for Designing Configurability into Domain-Specific Language ElementsJohannes Iber , Andrea Höller, Tobias Rauter, Christian Kreiner · Public ... › content › eur...
Program – SERENE
serene.disim.univaq.it
Andrea Höller, Tobias Rauter, Johannes Iber, Christian Kreiner – “Towards Dynamic Software Diversity for Dependable and Resilient ...
sortiert nach Relevanz / Datum