Roderick Bloem

Bloem, R. (Co-Investigator (CoI)), Horn, M. (Co-Investigator (CoI)), Wotawa, F. (Co-Investigator (CoI)), Bösch, W. (Co-Investigator (CoI)) & Eichberger, A. (Co-Investigator (CoI))

1/05/16 → 30/04/19

Project: Research project

Boano, C. A. (Co-Investigator (CoI)), Kubin, G. (Co-Investigator (CoI)), Bloem, R. (Co-Investigator (CoI)), Horn, M. (Co-Investigator (CoI)), Pernkopf, F. (Co-Investigator (CoI)), Zakany, N. (Co-Investigator (CoI)), Mangard, S. (Co-Investigator (CoI)), Witrisal, K. (Co-Investigator (CoI)), Römer, K. U. (Co-Investigator (CoI)), Aichernig, B. (Co-Investigator (CoI)), Bösch, W. (Co-Investigator (CoI)), Baunach, M. C. (Co-Investigator (CoI)), Tappler, M. (Co-Investigator (CoI)), Malenko, M. (Co-Investigator (CoI)), Weiser, S. (Co-Investigator (CoI)), Eichlseder, M. (Co-Investigator (CoI)), Leitinger, E. (Co-Investigator (CoI)), Grosinger, J. (Co-Investigator (CoI)), Großwindhager, B. (Co-Investigator (CoI)), Ebrahimi, M. (Co-Investigator (CoI)), Alothman Alterkawi, A. B. (Co-Investigator (CoI)), Knoll, C. (Co-Investigator (CoI)), Teschl, R. (Co-Investigator (CoI)), Saukh, O. (Co-Investigator (CoI)), Rath, M. (Co-Investigator (CoI)), Steinberger, M. (Co-Investigator (CoI)), Steinbauer-Wagner, G. (Co-Investigator (CoI)) & Tranninger, M. (Co-Investigator (CoI))

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. (Co-Investigator (CoI)) & Könighofer, R. (Co-Investigator (CoI))

1/03/15 → 28/02/18

Project: Research project

TARGET - Test Case Generation for Embedded Systems

Bloem, R. (Co-Investigator (CoI))

1/10/14 → 30/09/17

Project: Research project

FWF - DK LogICS - Doctoral Program: Logical Methods in Computer Science

Bloem, R. (Co-Investigator (CoI)) & Braud-Santoni, N. (Co-Investigator (CoI))

1/03/14 → 28/02/23

Project: Research project

EU-DALIA_FFG - Assistant for DAily LIfe Activities at Home

Bloem, R. (Co-Investigator (CoI)) & Lindstaedt, S. (Principal Investigator (PI))

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. (Principal Investigator (PI)) & Schmidt, J.-M. (Principal Investigator (PI))

1/03/13 → 28/02/17

Project: Research project

EU - STANCE - A Source code analysis Toolbox for software security AssuraNCE

Tögl, R. (Co-Investigator (CoI)), Könighofer, R. (Co-Investigator (CoI)) & Bloem, R. (Principal Investigator (PI))

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. (Co-Investigator (CoI)), Unterluggauer, T. (Co-Investigator (CoI)), Könighofer, R. (Co-Investigator (CoI)), Mangard, S. (Co-Investigator (CoI)), Wenger, E. (Co-Investigator (CoI)), Spreitzer, R. C. (Co-Investigator (CoI)), Mendel, F. (Co-Investigator (CoI)), Schmidt, J.-M. (Principal Investigator (PI)) & Bloem, R. (Principal Investigator (PI))

1/05/12 → 31/05/15

Project: Research project

FWF - QUAINT - Quantified Decision Procedures and Interpolation for Error Correction

Hofferek, G. (Co-Investigator (CoI)), Könighofer, R. (Co-Investigator (CoI)) & Bloem, R. (Principal Investigator (PI))

1/01/12 → 30/09/15

Project: Research project

FWF - RiSE - Rigorous Systems Engineering

Könighofer, R. (Co-Investigator (CoI)), Khalimov, A. (Co-Investigator (CoI)), Bloem, R. (Principal Investigator (PI)), Könighofer, B. (Co-Investigator (CoI)) & Jacobs, S. (Co-Investigator (CoI))

1/03/11 → 31/08/19

Project: Research project

EU - SEPIA - Secure, Embedded Platform with advanced Process Isolation and Anonymity Capabilities

Winter, J. (Co-Investigator (CoI)), Dietrich, K. (Co-Investigator (CoI)), Pirker, M. (Co-Investigator (CoI)), Hein, D. (Co-Investigator (CoI)), Bloem, R. (Co-Investigator (CoI)), Tögl, R. (Co-Investigator (CoI)) & Podesser, S. (Co-Investigator (CoI))

1/06/10 → 31/05/13

Project: Research project

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Khalimov, A. (Co-Investigator (CoI)), Greimel, K. (Co-Investigator (CoI)), Jacobs, S. (Co-Investigator (CoI)), Hofferek, G. (Co-Investigator (CoI)), Könighofer, B. (Co-Investigator (CoI)), Könighofer, R. (Co-Investigator (CoI)) & Bloem, R. (Principal Investigator (PI))

1/01/10 → 31/12/12

Project: Research project

acTVsM! - Advanced Cryptographic Trusted Virtual Security Module

Tögl, R. (Co-Investigator (CoI)), Pirker, M. (Co-Investigator (CoI)), Niederl, A. (Co-Investigator (CoI)) & Bloem, R. (Principal Investigator (PI))

1/04/09 → 31/03/11

Project: Research project

EU - SECRICOM - Seamless communication for crisis management

Danner, P. (Co-Investigator (CoI)), Kraxberger, S. (Co-Investigator (CoI)), Hein, D. (Co-Investigator (CoI)), Lipp, P. (Principal Investigator (PI)) & Bloem, R. (Principal Investigator (PI))

1/04/08 → 30/11/11

Project: Research project

Formal Methods for Design & Verification

Jacobs, S. (Co-Investigator (CoI)), Bloem, R. (Co-Investigator (CoI)), Könighofer, R. (Co-Investigator (CoI)), Könighofer, B. (Co-Investigator (CoI)), Khalimov, A. (Co-Investigator (CoI)), Hofferek, G. (Co-Investigator (CoI)) & Braud-Santoni, N. (Co-Investigator (CoI))

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. (Co-Investigator (CoI)), Hofferek, G. (Co-Investigator (CoI)), Greimel, K. (Co-Investigator (CoI)) & Bloem, R. (Principal Investigator (PI))

1/01/08 → 30/06/10

Project: Research project

EU - Prosyd - Property-Based System Design

Pill, I. H. (Co-Investigator (CoI)), Staber, S. S. (Co-Investigator (CoI)), Griesmayer, A. (Co-Investigator (CoI)), Jobstmann, B. (Co-Investigator (CoI)) & Bloem, R. (Principal Investigator (PI))

1/01/04 → 31/12/06

Project: Research project

Roderick Bloem

Projects

Search results