Find Research Outputs

Search concepts
Selected filters
2013

PARTY: parameterized synthesis of token rings

Khalimov, A., Jacobs, S. & Bloem, R. P., 2013, International Conference on Computer Aided Verification. ., p. 1-2

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Synthesizing Multiple Boolean Functions using Interpolation on a Single Proof

Hofferek, G., Gupta, A., Könighofer, B., Jiang, J-H. R. & Bloem, R. P., 2013, FMCAD 2013 - Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers, p. 77-84

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Towards Efficient Parameterized Synthesis

Khalimov, A., Jacobs, S. & Bloem, R. P., 2013, Verification, Model Checking, and Abstract Interpretation. Berlin: Springer, Vol. 7737. p. 108-127 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File
2012

FoREnSiC - An Automatic Debugging Environment for C Programs

Bloem, R. P., Drechsler, R., Fey, G., Finder, A., Hofferek, G., Könighofer, R., Raik, J., Repinski, U. & Sülflow, A., 2012.

Research output: Contribution to conferencePosterResearch

Open Access
File

FoREnSiC - An Automatic Debugging Environment for C Programs

Bloem, R. P., Drechsler, R., Fey, G., Finder, A., Hofferek, G., Könighofer, R., Raik, J., Repinski, U. & Sülflow, A., 2012, Haifa Verification Conference. Springer, Vol. 7857. p. 260-265 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Generalized Reactivity(1) Synthesis without a Monolithic Strategy

Schlaipfer, M., Hofferek, G. & Bloem, R. P., 2012, Hardware and Software: Verification and Testing. 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Berlin Heidelberg: Springer, Vol. 7261. p. 20-34 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Parameterized Synthesis

Bloem, R. P. & Jacobs, S., 2012, Tools and Algorithms for the Construction and Analysis of Systems. Berlin [u.a.]: Springer, Vol. 7214. p. 362-376 (Lecture notes in computer science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Repair with On-The-Fly Program Analysis

Könighofer, R. & Bloem, R. P., 2012, Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers. Springer, Vol. 7857. p. 56-71 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Synthesizing Robust Systems with RATSY

Bloem, R. P., Gamauf, H-J., Hofferek, G., Könighofer, B. & Könighofer, R., 2012, Proceedings First Workshop on Synthesis (SYNT 2012). Electronic Proceedings in Theoretical Computer Science, Vol. 84. p. 47-53

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File
2011

acTvSM Deliverable 6.1: Business Model and Product Roadmap

Tögl, R., Pirker, M., Bloem, R. P., Lindsberger, G. & Posch, S., 2011, .

Research output: Book/ReportOther reportResearch

Automated Error Localization and Correction for Imperative Programs

Könighofer, R. & Bloem, R. P., 2011, Proceedings of 11th International Conference 2011 Formal Methods in Computer Aided Design (FMCAD 2011). Piscataway, NJ, USA: Institute of Electrical and Electronics Engineers, p. 91-100

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Controller Synthesis for Pipelined Circuits Using Uninterpreted Functions

Hofferek, G. & Bloem, R. P., 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MemoCODE 2011). Piscataway, NJ, USA: Institute of Electrical and Electronics Engineers, p. 31-42

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Debugging Unrealizable Specifications with Model-Based Diagnosis

Könighofer, R., Hofferek, G. & Bloem, R. P., 2011, Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Berlin Heidelberg: Springer, Vol. 6504. p. 29-45 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File

Specification-centered robustness

Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T. A. & Jobstmann, B., 2011, 2011 6th International Symposium on Industrial Embedded Systems. Piscataway, NJ: Institute of Electrical and Electronics Engineers, p. 176-185

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2010

DIAMOND Website (Deliverable D5.1)

Robal, T., Raik, J., Hofferek, G., Bloem, R. P., Eisner, C. & Carlsson, G., 2010, .

Research output: Book/ReportOther reportResearch

Open Access
File

RATSY - A new Requirements Analysis Tool with Synthesis

Bloem, R. P., Cimatti, A., Greimel, K., Hofferek, G., Könighofer, R., Roveri, M., Schuppan, V. & Seeber, R., 2010, Computer Aided Verification. Toulli, T. (ed.). Springer, Vol. 6174. p. 425-429 (Lecture Notes in Computer Science; vol. 6174).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File
Graphical user interfaces
Specifications
Formal specification

Robustness in the Presence of Liveness

Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T. & Jobstmann, B., 2010, Computer Aided Verification. Springer, Vol. 6174. p. 410-424 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
File