EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems

  • Könighofer, Robert (Co-Investigator (CoI))
  • Hofferek, Georg (Co-Investigator (CoI))
  • Greimel, Karin (Co-Investigator (CoI))
  • Bloem, Roderick (Principal Investigator (PI))

Project: Research project

Filter
Conference paper

Search results

  • Better Quality in Synthesis through Quantitative Objectives

    Bloem, R. P., Chatterjee, K., Henziger, T. & Jobstmann, B., 2009, International Conference on Computer Aided Verification. ., p. 140-156

    Research output: Chapter in Book/Report/Conference proceedingConference paper

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

    Research output: Chapter in Book/Report/Conference proceedingConference paper

    Open Access
    File
  • Formal Analysis of a TPM-Based Secrets Distribution and Storage Scheme

    Tögl, R., Hofferek, G., Greimel, K., Leung, A., Phan, R. C-W. & Bloem, R. P., 2008, International Symposium on Trusted Computing (TrustCom 2008) Proceedings, in 9th ICYCS Conference Proceedings. Los Alamitos, CA, USA: IEEE Computer Society, p. 2289-2294

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  • Open Implication

    Greimel, K., Bloem, R. P., Jobstmann, B. & Vardi, M., 2008, Automata, Languages and Programming - ICALP 2008. ., p. 361-372

    Research output: Chapter in Book/Report/Conference proceedingConference paper

    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 paper

    Open Access
    File
  • 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 paper

    Open Access
    File
  • Synthesizing Robust Systems

    Bloem, R. P., Greimel, K., Henzinger, T. & Jobstmann, B., 2009, Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009. ., p. 85-92

    Research output: Chapter in Book/Report/Conference proceedingConference paper

    Open Access
    File