Skip to main navigation Skip to search Skip to main content

SPHINX - A Co-Evolution Framework for Model Refactoring and Proof Adaptation in Cyber-Physical Systems

Project: Funded research › EU - European Union

Project Details

StatusFinished
Effective start/end date01.02.2014 → 31.01.2016

Fields of science

  • 102027 Web engineering
  • 102 Computer Sciences
  • 102015 Information systems

JKU Focus areas

  • Sustainable Development: Responsible Technologies and Management
  • Digital Transformation
  • 1 Conference proceedings

  • A Component-Based Approach to Hybrid Systems Safety Verification

    Müller, A., Mitsch, S., Retschitzegger, W., Schwinger, W. & Platzer, A., 2016, Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Ábrahám, E. & Huisman, M. (eds.). Springer, Vol. 9681. p. 441-456 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9681).

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

  • 1 Contributed talk