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

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

Projekt: Foschungsprojekt

Filter
Beitrag in einem Konferenzband

Suchergebnisse

  • 2008

    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, S. 2289-2294

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

  • Open Implication

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

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

    Open Access
    Datei
  • 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-156

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

  • 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-159

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

    Open Access
    Datei
  • 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. ., S. 85-92

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

    Open Access
    Datei
  • 2010

    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, Band 6174. S. 425-429 (Lecture Notes in Computer Science; Band 6174).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

    Open Access
    Datei
  • Robustness in the Presence of Liveness

    Bloem, R. P., Chatterjee, K., Greimel, K., Henzinger, T. & Jobstmann, B., 2010, Computer Aided Verification. Springer, Band 6174. S. 410-424 (Lecture Notes in Computer Science).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

    Open Access
    Datei