Projekte pro Jahr
Suchergebnisse
-
Laufend
FATE - Fehlergesteuerte Analyse und Prüfung für Robustheit und Stabilität der Konstruktion
1/11/22 → 31/10/25
Projekt: Forschungsprojekt
-
-
Abgeschlossen
ArchCM4SSV - Architektonische Gegenmaßnahmen für Sicherheit und Sicherheitsüberprüfung
1/07/21 → 30/06/22
Projekt: Forschungsprojekt
-
EU - SAFEST - Sichere und gesicherte Hardware: Erleichterung der digitalen Gesellschaft von ESTonia
1/01/21 → 31/12/23
Projekt: Forschungsprojekt
-
EU - FOCETA - Grundlagen für kontinierliches Engineering von vertraunswertiger Autonomie
1/10/20 → 30/09/23
Projekt: Forschungsprojekt
-
TRUSTED - VerTRaUen, Sicherheit & AuTonomie im FahrzEug Der Zukunft
1/11/19 → 31/10/22
Projekt: Forschungsprojekt
-
ADVANCED - Adaptive Verifikation und Anomalieerkennung für komplexe Designs
1/11/19 → 31/10/22
Projekt: Forschungsprojekt
-
FERMION - Formale Verifizierung maskierter Hardware-Implementierungen
2/01/19 → 1/01/22
Projekt: Forschungsprojekt
-
Enable-S3 - Europäische Initiative zur Validierung von hochautomatisierten und sicheren Systeme
Bloem, R., Horn, M., Wotawa, F., Bösch, W. & Eichberger, A.
1/05/16 → 30/04/19
Projekt: Forschungsprojekt
-
Verlaesslichkeit im Internet der Dinge
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Projekt: Forschungsprojekt
-
EU - IMMORTAL - IMMORTAL – Integriertes Modelling, Fault Management, Verifikation und verlässliche Design-Umgebung für Cyber-Physical Systeme.
Bloem, R. & Könighofer, R.
1/03/15 → 28/02/18
Projekt: Forschungsprojekt
-
-
DK LogICS - Logische Methoden in der Informatik
Bloem, R. & Braud-Santoni, N.
1/03/14 → 28/02/23
Projekt: Forschungsprojekt
-
EU-DALIA_3_FFG - Assistant for DAily LIfe Activities at Home
1/04/13 → 31/03/16
Projekt: Forschungsprojekt
-
Arrowhead - Production and Energy System Automation Intelligent-Built environment and urban infrastructure for sustainable and friendly cities
Bloem, R. & Schmidt, J.
1/03/13 → 28/02/17
Projekt: Forschungsprojekt
-
EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE
Tögl, R., Könighofer, R. & Bloem, R.
1/10/12 → 30/09/15
Projekt: Forschungsprojekt
-
NewP@ass - New verification & valdidation methods enabling widespread use of Privacy and @nonymity in electronically secured systems
Röck, F., Unterluggauer, T., Könighofer, R., Mangard, S., Wenger, E., Spreitzer, R. C., Mendel, F., Schmidt, J. & Bloem, R.
1/05/12 → 31/05/15
Projekt: Forschungsprojekt
-
FWF - QUAINT - Quant. Entscheidungsprozeduren Interpolation f. Korrektur
Hofferek, G., Könighofer, R. & Bloem, R.
1/01/12 → 30/09/15
Projekt: Forschungsprojekt
-
RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Projekt: Forschungsprojekt
-
EU - SEPIA - Secure, Embedded Platform with advanced Process Isolation and Anonymity Capabilities
Winter, J., Dietrich, K., Pirker, M., Hein, D., Bloem, R., Tögl, R. & Podesser, S.
1/06/10 → 31/05/13
Projekt: Forschungsprojekt
-
EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design
Khalimov, A., Greimel, K., Jacobs, S., Hofferek, G., Könighofer, B., Könighofer, R. & Bloem, R.
1/01/10 → 31/12/12
Projekt: Forschungsprojekt
-
acTVsM! - Advanced Cryptographic Trusted Virtual Security Module
Tögl, R., Pirker, M., Niederl, A. & Bloem, R.
1/04/09 → 31/03/11
Projekt: Forschungsprojekt
-
EU - SECRICOM - Seamless communication for crisis management
Danner, P., Kraxberger, S., Hein, D., Lipp, P. & Bloem, R.
1/09/08 → 30/11/11
Projekt: Forschungsprojekt
-
Formal Methods for Design & Verification
Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.
1/02/08 → 15/07/19
Projekt: Arbeitsgebiet
-
EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems
Könighofer, R., Hofferek, G., Greimel, K. & Bloem, R.
1/01/08 → 30/06/10
Projekt: Forschungsprojekt
-
EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Projekt: Forschungsprojekt