Conformance relations and hyperproperties for doping detection in time and space

Biewer, S., Dimitrova, R., Fries, M. et al. (4 more authors) (2022) Conformance relations and hyperproperties for doping detection in time and space. Logical Methods in Computer Science, 18 (1). 14. ISSN 1860-5974

Abstract

Metadata

Authors/Creators:
  • Biewer, S.
  • Dimitrova, R.
  • Fries, M.
  • Gazda, M.
  • Heinze, T.
  • Hermanns, H.
  • Mousavi, M.R.
Copyright, Publisher and Additional Information: © 2022 S. Biewer, R. Dimitrova, M. Fries, M. Gazda, T. Heinze, H. Hermanns, and M. R. Mousavi. This work is licensed under the Creative Commons Attribution License. (http://creativecommons.org/licenses/by/4.0)
Keywords: Software Doping; Conformance Testing; Hybrid Systems
Dates:
  • Accepted: 3 November 2021
  • Published (online): 19 January 2022
  • Published: 19 January 2022
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 07 Feb 2022 13:24
Last Modified: 07 Feb 2022 13:24
Status: Published
Publisher: Centre pour la Communication Scientifique Directe (CCSD)
Refereed: Yes
Identification Number: https://doi.org/10.46298/lmcs-18(1:14)2022

Download

Share / Export

Statistics