EU - Prosyd - Property-Based System Design

Research output

Research output per year 2005 2005 2006 2006

• 12 Conference paper

Research output per year

Research output per year

Search results

• 2006

  Automated Fault Localization for C Programs

  Griesmayer, A., Staber, S. S. & Bloem, R. P., 2006, Workshop on Verification and Debugging. ., p. 82-99

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Automatic Fault Localization for Property Checking

  Staber, S. S., Fey, G., Bloem, R. P. & Drechsler, R., 2006, (Accepted/In press) Haifa Verification Conference. Springer

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• 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), p. 821-826

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Game-based and simulation-based improvements for LTL synthesis

  Jobstmann, B. & Bloem, R. P., 2006, Games in Design and Verification. ., p. ?-?

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• 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. ., p. ?-?

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Repair of boolean programs with an application to C

  Griesmayer, A., Bloem, R. P. & Byron, C., 2006, Computer Aided Verification. Springer, Vol. 4144. p. 358-371 (LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• 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, p. 208-218

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• 2005

  Diagnosis is Repair

  Staber, S. S., Jobstmann, B. & Bloem, R. P., 2005, 16th International Workshop on Principles of Diagnosis. ., p. 169-174

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Finding and Fixing Faults

  Staber, S. S., Jobstmann, B. & Bloem, R. P., 2005, Correct Hardware Design and Verification Methods. Berlin [u.a.]: Springer, Vol. 3725. p. 35-49 (Lecture notes in computer science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• 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. (ed.). Berlin [u.a.]: Springer, p. 783-788 (Lecture Notes in Computer Science ; vol. 3533).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  Open Access

  File

  • Control Software 100%
  • Formal Verification 100%
  • model checker 50%

• Program Repair as a Game

  Jobstmann, B., Griesmayer, A. & Bloem, R. P., 2005, Computer Aided Verification. Berlin [u.a.]: Springer, Vol. 3576. p. 226-238 (LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

• Repair of boolean programs using games

  Griesmayer, A. & Bloem, R. P., 2005, Games in Design and Verification. ., p. ?-?

  Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review