Projects per year
Search results
-
Active
FATE - Fault-driven Analysis and Testing for Design Robustness and Stability
1/11/22 → 31/10/25
Project: Research project
-
EU - SAFEST - Secure and Assured hardware: Facilitating ESTonia’s digital society
1/01/21 → 31/12/23
Project: Research project
-
EU - FOCETA - Foundations for continuous engineering of trustworthy autonomy
1/10/20 → 30/09/23
Project: Research project
-
-
Finished
ArchCM4SSV - Architectural Countermeasures for Security & Security Verification
1/07/21 → 30/06/22
Project: Research project
-
ADVANCED - Adaptive Verification and Anomaly Detection for Complex Designs
1/11/19 → 31/10/22
Project: Research project
-
TRUSTED - Trutst, security & autonomy in automation of the future
1/11/19 → 31/10/22
Project: Research project
-
FERMION - Formal Verification of Masked Hardware Implementations
2/01/19 → 1/01/22
Project: Research project
-
Enable-S3 - European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
Bloem, R., Horn, M., Wotawa, F., Bösch, W. & Eichberger, A.
1/05/16 → 30/04/19
Project: Research project
-
Dependable Internet of Things
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
Project: Research project
-
EU - IMMORTAL - IMMORTAL – Integrated Modelling, Fault Management, Verification and Reliable Design Environment for Cyber-Physical Systems
Bloem, R. & Könighofer, R.
1/03/15 → 28/02/18
Project: Research project
-
-
Doctoral Program: LogICS - Logical Methods in Computer Science
Bloem, R. & Braud-Santoni, N.
1/03/14 → 28/02/23
Project: Research project
-
EU-DALIA_3_FFG - Assistant for DAily LIfe Activities at Home
1/04/13 → 31/03/16
Project: Research project
-
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
Project: Research project
-
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
Project: Research project
-
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
Project: Research project
-
FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction
Hofferek, G., Könighofer, R. & Bloem, R.
1/01/12 → 30/09/15
Project: Research project
-
RiSE - Rigorous Systems Engineering
Könighofer, R., Khalimov, A., Bloem, R., Könighofer, B. & Jacobs, S.
1/03/11 → 31/08/19
Project: Research project
-
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
Project: Research project
-
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
Project: Research project
-
acTVsM! - Advanced Cryptographic Trusted Virtual Security Module
Tögl, R., Pirker, M., Niederl, A. & Bloem, R.
1/04/09 → 31/03/11
Project: Research project
-
EU - SECRICOM - Seamless communication for crisis management
Danner, P., Kraxberger, S., Hein, D., Lipp, P. & Bloem, R.
1/09/08 → 30/11/11
Project: Research project
-
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
Project: Research area
-
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
Project: Research project
-
EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Project: Research project