RiSE - Rigorous Systems Engineering

Könighofer, Robert (Co-Investigator (CoI))
Khalimov, Ayrat (Co-Investigator (CoI))
Bloem, Roderick (Principal Investigator (PI))
Könighofer, Bettina (Co-Investigator (CoI))
Jacobs, Swen (Co-Investigator (CoI))

Institute of Applied Information Processing and Communications (7050)

Project: Research project

19 Conference paper
2 Other report
2 Doctoral Thesis
1 Poster
More
- 1 Article

25 results

2015
Assume-Guarantee Synthesis for Concurrent Reactive Programs with Partial Information
Bloem, R. P., Chatterjee, K., Jacobs, S. & Könighofer, R., 2015, Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Berlin Heidelberg: Springer, p. 517-532 (Lecture Notes in Computer Science; vol. 9035).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Cooperative Reactive Synthesis
Bloem, R., Ehlers, R. & Könighofer, R., 2015, Automated Technology for Verification and Analysis (ATVA'15). Berlin-Heidelberg: Springer, p. 394-410 (Lecture Notes in Computer Science; vol. 9364).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Demiurge 1.2.0: A SAT-Based Synthesis Tool
Könighofer, R. & Seidl, M., 2015, .
Research output: Book/Report › Other report

Open Access
File
Satisfiability-Based Methods for Controller Synthesis
Könighofer, R., 2015
Research output: Thesis › Doctoral Thesis

Open Access
File
Shield Synthesis: - Runtime Enforcement for Reactive Systems
Bloem, R. P., Könighofer, B., Könighofer, R. & Wang, C., 2015, Tools and Algorithms for the Construction and Analysis of Systems (TACAS) - 21st International Conference. Berlin Heidelberg: Springer, p. 533-548 (Lecture Notes in Computer Science; vol. 9035).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Synthesizing cooperative reactive mission plans
Ehlers, R., Könighofer, R. & Bloem, R., 2015, International Conference on Intelligent Robots and Systems (IROS'15). Institute of Electrical and Electronics Engineers, p. 3478-3485
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
2014

Automatic Error Localization for Software using Deductive Verification
Könighofer, R., Tögl, R. & Bloem, R. P., 2014, Hardware and Software: Verification and Testing - Proceedings of the 10th International Haifa Verification Conference (HVC 2014). Berlin Heidelberg: Springer, Vol. 8855. p. 92-98 (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Controller Synthesis with Uninterpreted Functions
Hofferek, G., 2014
Research output: Thesis › Doctoral Thesis

Open Access
File
Demiurge: A SAT-Based Synthesis Tool
Könighofer, R. & Seidl, M., 2014, .
Research output: Book/Report › Other report

Open Access
File
How to Handle Assumptions in Synthesis
Bloem, R. P., Ehlers, R., Jacobs, S. & Könighofer, R., 2014, Proceedings 3rd Workshop on Synthesis (SYNT 2014). Electronic Proceedings in Theoretical Computer Science, p. 34-50 (EPTCS; vol. 157).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Partial Witnesses from Preprocessed Quantified Boolean Formulas
Seidl, M. & Könighofer, R., 2014, Design, Automation and Test in Europe (DATE'14). Institute of Electrical and Electronics Engineers, p. 1-6
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
SAT-based methods for circuit synthesis
Bloem, R. P., Egly, U., Klampfl, P., Könighofer, R. & Lonsing, F., 2014, Formal Methods in Computer-Aided Design. Institute of Electrical and Electronics Engineers, p. 31-34
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
SAT-Based Synthesis Methods for Safety Specs
Bloem, R. P., Könighofer, R. & Seidl, M., 2014, Verification, Model Checking, and Abstract Interpretation, 15th International Conference. McMillan, K. L. & Rival, X. (eds.). Berlin-Heidelberg: Springer, p. 1-20 (Lecture Notes in Computer Science; vol. 8318).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Suraq - A Controller Synthesis Tool using Uninterpreted Functions
Hofferek, G. & Gupta, A., 2014, Haifa Verification Conference. ., Vol. 8855. p. 68-74 (Lecture Notes in Computer Science).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Synthesis of Synchronization using Uninterpreted Functions
Bloem, R. P., Hofferek, G., Könighofer, B., Könighofer, R., Außerlechner, S. & Spörk, R., 2014, Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014. ., p. 35-42
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
Synthesizing Robust Systems
Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T., Hofferek, G., Jobstmann, B., Könighofer, B. & Könighofer, R., 2014, In: Acta informatica. 51, 3, p. 193-220
Research output: Contribution to journal › Article › peer-review
2013

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 proceeding › Conference paper › peer-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 proceeding › Conference paper › peer-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 conference › Poster

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 proceeding › Conference paper › peer-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 proceeding › Conference paper › peer-review

Open Access
File
Symbolically Synthesizing Small Circuits
Ehlers, R., Könighofer, R. & Hofferek, G., 2012, Proceedings of the 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012). ., p. 91-100
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-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). p. 47-53 (Electronic Proceedings in Theoretical Computer Science; vol. 84).
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Open Access
File
2011

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 proceeding › Conference paper › peer-review

Open Access
File
Specification-centered robustness
Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T. A. & Jobstmann, B., 14 Jul 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 proceeding › Conference paper › peer-review

Open Access
File

RiSE - Rigorous Systems Engineering

Research output

Search results