CAP Project

CAP Project

The CAP Sino-German Project

  • Home
  • Work Packages
    • WP1: Exploiting Modularity and Compositionality
    • WP2: Abstraction-Based Model Reduction
    • WP3: Approaches for Parametrized Systems
  • Partners & People
  • Announcements
  • Publications
  • Deliverables

Publication

[DimitrovaGMBH20] Conformance-Based Doping Detection for Cyber-Physical Systems Dimitrova, R.; Gazda, M.; Mousavi, M. R.; Biewer, S. and Hermanns, H. In Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, pages 59-77, Springer, Lecture Notes in Computer Science 12136, 2020.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-50086-3_4

Latest news

  • CAP Workshop in Beijing
  • Paper accepted in IJCAI’18
  • Paper accepted in PLDI’18
  • Paper accepted in VMCAI’18
  • SETTA’17 best paper award

Admin area

  • Log in
Copyright © 2023 CAP Project. Theme by Colorlib Powered by WordPress