!!Research output per year
!!Research output per year
Publikationen
- 12 Beitrag in einem Konferenzband
- 12 Ergebnisse
Suchergebnisse
-
2006
Automated Fault Localization for C Programs
Griesmayer, A., Staber, S. S. & Bloem, R. P., 2006, Workshop on Verification and Debugging. ., S. 82-99Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Automatic Fault Localization for Property Checking
Staber, S. S., Fey, G., Bloem, R. P. & Drechsler, R., 2006, (Angenommen/In Druck) Haifa Verification Conference. SpringerPublikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Formal analysis of hardware requirements
Pill, I. H., Bloem, R. P., Semprini, S., Roveri, M., Cimatti, A. & Cavada, R., 2006, Design Automation Conference. Association for Computing Machinery (ACM), S. 821-826Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Game-based and simulation-based improvements for LTL synthesis
Jobstmann, B. & Bloem, R. P., 2006, Games in Design and Verification. ., S. ?-?Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Rat: A tool for formal analysis of requirements
Pill, I. H., Bloem, R. P., Cimatti, A., Roveri, M., Semprini, S. & Tchaltsev, A., 2006, European Conference on Artificial Intelligence. ., S. ?-?Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Repair of boolean programs with an application to C
Griesmayer, A., Bloem, R. P. & Byron, C., 2006, Computer Aided Verification. Springer, Band 4144. S. 358-371 (LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Symbolic implementation of alternating automata
Pill, I. H., Bloem, R. P., Cimatti, A., Roveri, M. & Semprini, S., 2006, Implementation and application of automata. Berlin [u.a.]: Springer, S. 208-218Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
2005
Diagnosis is Repair
Staber, S. S., Jobstmann, B. & Bloem, R. P., 2005, 16th International Workshop on Principles of Diagnosis. ., S. 169-174Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Finding and Fixing Faults
Staber, S. S., Jobstmann, B. & Bloem, R. P., 2005, Correct Hardware Design and Verification Methods. Berlin [u.a.]: Springer, Band 3725. S. 35-49 (Lecture notes in computer science).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Formal verification of control software: A case study
Griesmayer, A., Bloem, R. P., Hautzendorfer, M. & Wotawa, F., 2005, Innovations in Applied Artificial Intelligence: IEA/AIE 2005. Ali, M. (Hrsg.). Berlin [u.a.]: Springer, S. 783-788 (Lecture Notes in Computer Science ; Band 3533).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open AccessDatei -
Program Repair as a Game
Jobstmann, B., Griesmayer, A. & Bloem, R. P., 2005, Computer Aided Verification. Berlin [u.a.]: Springer, Band 3576. S. 226-238 (LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Repair of boolean programs using games
Griesmayer, A. & Bloem, R. P., 2005, Games in Design and Verification. ., S. ?-?Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung