Projekte pro Jahr
Suchergebnisse
-
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 - 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
-
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 - SECRICOM - Seamless communication for crisis management
Danner, P., Kraxberger, S., Hein, D., Lipp, P. & Bloem, R.
1/09/08 → 30/11/11
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 - 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 - 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
-
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
-
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
-
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
-
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-DALIA_FFG - Assistant for DAily LIfe Activities at Home
1/04/13 → 31/03/16
Projekt: Forschungsprojekt
-
DK LogICS - Logische Methoden in der Informatik
Bloem, R. & Braud-Santoni, N.
1/03/14 → 28/02/23
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
-
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
-
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
-
FERMION - Formale Verifizierung maskierter Hardware-Implementierungen
2/01/19 → 1/01/22
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
-
EU - FOCETA - Grundlagen für kontinierliches Engineering von vertraunswertiger Autonomie
1/10/20 → 30/09/23
Projekt: Forschungsprojekt
-
EU - SAFEST - Sichere und gesicherte Hardware: Erleichterung der digitalen Gesellschaft von ESTonia
1/01/21 → 31/12/23
Projekt: Forschungsprojekt
-
ArchCM4SSV - Architektonische Gegenmaßnahmen für Sicherheit und Sicherheitsüberprüfung
1/07/21 → 30/06/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