Projekte pro Jahr
Suchergebnisse
-
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
-
TRUSTED - VerTRaUen, Sicherheit & AuTonomie im FahrzEug Der Zukunft
1/11/19 → 31/10/22
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 - RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Projekt: Forschungsprojekt
-
FWF - QUAINT - Quant. Entscheidungsprozeduren Interpolation f. Korrektur
Hofferek, G., Könighofer, R. & Bloem, R.
1/01/12 → 30/09/15
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
-
FERMION - Formale Verifizierung maskierter Hardware-Implementierungen
2/01/19 → 1/01/22
Projekt: Forschungsprojekt
-
FATE - Fehlergesteuerte Analyse und Prüfung für Robustheit und Stabilität der Konstruktion
1/11/22 → 31/10/25
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
-
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 - SECRICOM - Seamless communication for crisis management
Danner, P., Kraxberger, S., Hein, D., Lipp, P. & Bloem, R.
1/09/08 → 30/11/11
Projekt: Forschungsprojekt
-
EU - SAFEST - Sichere und gesicherte Hardware: Erleichterung der digitalen Gesellschaft von ESTonia
1/01/21 → 31/12/23
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
-
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
-
EU - FOCETA - Grundlagen für kontinierliches Engineering von vertraunswertiger Autonomie
1/10/20 → 30/09/23
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
-
EU-DALIA_FFG - Assistant for DAily LIfe Activities at Home
1/04/13 → 31/03/16
Projekt: Forschungsprojekt
-
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
-
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
-
DK LogICS - Logische Methoden in der Informatik
Bloem, R. & Braud-Santoni, N.
1/03/14 → 28/02/23
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
-
ArchCM4SSV - Architektonische Gegenmaßnahmen für Sicherheit und Sicherheitsüberprüfung
1/07/21 → 30/06/22
Projekt: Forschungsprojekt
-
ADVANCED - Adaptive Verifikation und Anomalieerkennung für komplexe Designs
1/11/19 → 31/10/22
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