Publikationen pro Jahr
Publikationen pro Jahr
- 1 – 50 von 58 Ergebnissen
Suchergebnisse
-
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, Band 9035. S. 517-532 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Cooperative Reactive Synthesis
Bloem, R., Ehlers, R. & Könighofer, R., 2015, Automated Technology for Verification and Analysis (ATVA'15). Berlin-Heidelberg: Springer, S. 394-410 (Lecture Notes in Computer Science; Band 9364).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Demiurge 1.2.0: A SAT-Based Synthesis Tool
Könighofer, R. & Seidl, M., 2015, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
Open AccessDatei -
Satisfiability-Based Methods for Controller Synthesis
Könighofer, R., 2015Publikation: Studienabschlussarbeit › Dissertation
Open AccessDatei -
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, S. 533-548 (Lecture Notes in Computer Science; Band 9035).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, S. 3478-3485Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, Band 8855. S. 92-98 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Automating Test-Suite Augmentation
Bloem, R. P., Könighofer, R., Röck, F. & Tautschnig, M., 2014, International Conference on Quality Software. ., S. 67-72Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Controller Synthesis with Uninterpreted Functions
Hofferek, G., 2014Publikation: Studienabschlussarbeit › Dissertation
Open AccessDatei -
Demiurge: A SAT-Based Synthesis Tool
Könighofer, R. & Seidl, M., 2014, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
Open AccessDatei -
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, S. 34-50 (EPTCS; Band 157).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, S. 1-6Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, S. 31-34Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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. (Hrsg.). Berlin-Heidelberg: Springer, S. 1-20 (Lecture Notes in Computer Science; Band 8318).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Suraq - A Controller Synthesis Tool using Uninterpreted Functions
Hofferek, G. & Gupta, A., 2014, Haifa Verification Conference. ., Band 8855. S. 68-74 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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. ., S. 35-42Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, S. 193-220Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
-
2013
Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies
Könighofer, R., Hofferek, G. & Bloem, R. P., 2013, in: International Journal on Software Tools for Technology Transfer. 15, 5-6, S. 563-583Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open AccessDatei -
FP7 DIAMOND: Design Error Diagnosis and Correction Success Stories
Raik, J., Jenihhin, M., Könighofer, R., Hofferek, G., Finder, A. & Fey, G., 2013, (Angenommen/In Druck) IEEE European Test Symposium. .Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband
-
Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall
Bloem, R. P., Greimel, K., Könighofer, R. & Röck, F., 2013, VALID Proceedings. ., S. 1-6Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, S. 77-84Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Towards Efficient Parameterized Synthesis
Khalimov, A., Jacobs, S. & Bloem, R. P., 2013, Verification, Model Checking, and Abstract Interpretation. Berlin: Springer, Band 7737. S. 108-127 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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.Publikation: Konferenzbeitrag › Poster
Open AccessDatei -
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, Band 7857. S. 260-265 (Lecture Notes in Computer Science; Band 7857).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, Band 7261. S. 20-34 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Parameterized Synthesis
Bloem, R. P. & Jacobs, S., 2012, Tools and Algorithms for the Construction and Analysis of Systems. Berlin [u.a.]: Springer, Band 7214. S. 362-376 (Lecture notes in computer science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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, Band 7857. S. 56-71 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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). ., S. 91-100Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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). S. 47-53 (Electronic Proceedings in Theoretical Computer Science; Band 84).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
2011
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, S. 91-100Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, S. 31-42Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
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, Band 6504. S. 29-45 (Lecture Notes in Computer Science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Definition of the Diagnostic Model
Drechsler, R., Fey, G., Finder, A., Sülflow, A., Könighofer, R., Hofferek, G., Ingelsson, U., Arbel, E., Raik, J., Scholefield, S. & Jutman, A., 2011, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
-
Report on Reasoning Engines and Dynamic Techniques
Drechsler, R., Fey, G., Finder, A., Hofferek, G., Könighofer, R., Arbel, E., Raik, J., Repinski, U., Jutman, A. & Scholefield, S., 2011, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
-
Specification-centered robustness
Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T. A. & Jobstmann, B., 14 Juli 2011, 2011 6th International Symposium on Industrial Embedded Systems. Piscataway, NJ: Institute of Electrical and Electronics Engineers, S. 176-185Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Status on Implementation-Level Correction
Hofferek, G., Könighofer, R., Schmidt, J-M., Fey, G., Finder, A., Sülflow, A., Ingelsson, U., Repinski, U., Raik, J., Karputkin, A. & Scholefield, S., 2011, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
-
Status on Post-Silicon and In-Situ Repair
Larsson, E., Ingelsson, U., Carlsson, G., Jutman, A. & Hofferek, G., 2011, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
-
Transaction-Level Diagnosis
Hofferek, G., Könighofer, R., Fey, G., Finder, A., Larsson, E., Repinski, U. & Raik, J., 2011, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
-
2010
Definition of the DIAMOND Platform
Rokhlenko, O., Eisner, C., Fey, G., Finder, A., Raik, J., Jenihhin, M., Carlsson, G., Hofferek, G. & Könighofer, R., 2010, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
Open AccessDatei -
DIAMOND Website (Deliverable D5.1)
Robal, T., Raik, J., Hofferek, G., Bloem, R. P., Eisner, C. & Carlsson, G., 2010, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
Open AccessDatei -
Final report
Pravadelli, G., Fummi, F., Letombe, F., Hofferek, G., Perbellini, G., Roveri, M., Hui-Bon-Hoa, C., Müller, W. & Dellacherie, S., 2010, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
-
Final validation of the COCONUT flow and Tools Integration
Dellacherie, S., Hofferek, G., Pravadelli, G., Bresolin, D., Bombieri, N., Di Guglielmo, L., Geretti, L., Villa, T., Perbellini, G., Roveri, M., Narasamdya, I., Quigley, R., Marques-Silva, J., Letombe, F., Müller, W., Becker, M. & Hui-Bon-Hoa, C., 2010, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
-
Future plan on use and dissemination
Letombe, F., Hofferek, G., Pravadelli, G., Perbellini, G., Roveri, M., Narasamdya, I., Hui-Bon-Hoa, C., Quigley, R., Becker, M., Müller, W., Dellacherie, S. & Fummi, F., 2010, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
-
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. (Hrsg.). Springer, S. 425-429 (Lecture Notes in Computer Science; Band 6174).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Requirements & Concept of the Diagnostic Model
Fey, G., Finder, A., Hofferek, G., Könighofer, R., Larsson, E., Raik, J. & Rokhlenko, O., 2010, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
Open AccessDatei -
Robustness in the Presence of Liveness
Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T. & Jobstmann, B., 2010, Computer Aided Verification. Springer, S. 410-424 (Lecture Notes in Computer Science; Band 6174).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Status on Implementation-Level Diagnosis
Fey, G., Finder, A., Hofferek, G., Könighofer, R., Larsson, E., Ingelsson, U., Raik, J., Arbel, E., Jutman, A., Carlsson, G. & Scholefield, S., 2010, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
-
Status on Reasoning Engines and Dynamic Techniques
Drechsler, R., Fey, G., Finder, A., Hofferek, G., Könighofer, R., Raik, J., Rokhlenko, O. & Scholefield, S., 2010, .Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht
-
2009
Better Quality in Synthesis through Quantitative Objectives
Bloem, R. P., Chatterjee, K., Henziger, T. & Jobstmann, B., 2009, International Conference on Computer Aided Verification. ., S. 140-156Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Debugging Formal Specifications Using Simple Counterstrategies
Könighofer, R., Hofferek, G. & Bloem, R. P., 2009, Proceedings of 9th International Conference 2009 Formal Methods in Computer Aided Design FMCAD 2009. ., S. 152-159Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei