We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof
Hofferek G., Gupta A., Könighofer B., Jiang J., Bloem R.
2013 Formal Methods in Computer-Aided Design, FMCAD 2013
Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall
Bloem R., Greimel K., Könighofer R., Röck F.
VALID Proceedings
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies
Könighofer R., Hofferek G., Bloem R.
International Journal on Software Tools for Technology Transfer, Vol. 15(5-6), 2013
Towards Efficient Parameterized Synthesis
Khalimov A., Jacobs S., Bloem R.
Verification, Model Checking, and Abstract Interpretation
PARTY: parameterized synthesis of token rings
Khalimov A., Jacobs S., Bloem R.
International Conference on Computer Aided Verification
Synthesizing Robust Systems with RATSY
Bloem R., Gamauf H., Hofferek G., Könighofer B., Könighofer R.
Proceedings First Workshop on Synthesis (SYNT 2012)
Parameterized Synthesis
Bloem R., Jacobs S.
Tools and Algorithms for the Construction and Analysis of Systems
Generalized Reactivity(1) Synthesis without a Monolithic Strategy
Schlaipfer M., Hofferek G., Bloem R.
Hardware and Software: Verification and Testing
FoREnSiC - An Automatic Debugging Environment for C Programs
Bloem R., Drechsler R., Fey G., Finder A., Hofferek G., Könighofer R., Raik J., Repinski U., Sülflow A.
Haifa Verification Conference
Repair with On-The-Fly Program Analysis
Könighofer R., Bloem R.
Hardware and Software: Verification and Testing
Specification-centered robustness
Bloem R., Chatterjee K., Greimel K., Henzinger T., Jobstmann B.
2011 6th International Symposium on Industrial Embedded Systems
acTvSM Deliverable 6.1: Business Model and Product Roadmap
Tögl R., Pirker M., Bloem R., Lindsberger G., Posch S.
2011
Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions
Hofferek G., Bloem R.
9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011
Debugging Unrealizable Specifications with Model-Based Diagnosis
Könighofer R., Hofferek G., Bloem R.
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Automated Error Localization and Correction for Imperative Programs
Könighofer R., Bloem R.
Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011)
DIAMOND Website (Deliverable D5.1)
Robal T., Raik J., Hofferek G., Bloem R., Eisner C., Carlsson G.
2010
Robustness in the Presence of Liveness
Bloem R., Chatterjee K., Greimel K., Henzinger T., Jobstmann B.
Computer Aided Verification
RATSY - A new Requirements Analysis Tool with Synthesis
Bloem R., Cimatti A., Greimel K., Hofferek G., Könighofer R., Roveri M., Schuppan V., Seeber R.
Computer Aided Verification
Better Quality in Synthesis through Quantitative Objectives
Bloem R., Chatterjee K., Henziger T., Jobstmann B.
International Conference on Computer Aided Verification
Synthesizing Robust Systems
Bloem R., Greimel K., Henzinger T., Jobstmann B.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009