Efficient and scalable runtime monitoring for cyber-physical system

Zheng, Xi, Julien, Christine, Podorozhny, Rodion, Cassez, Franck and Rakotoarivelo, Thierry 2018, Efficient and scalable runtime monitoring for cyber-physical system, IEEE systems journal, vol. 12, no. 2, pp. 1667-1678, doi: 10.1109/JSYST.2016.2614599.

Attached Files
Name Description MIMEType Size Downloads

Title Efficient and scalable runtime monitoring for cyber-physical system
Author(s) Zheng, XiORCID iD for Zheng, Xi orcid.org/0000-0002-2572-2355
Julien, Christine
Podorozhny, Rodion
Cassez, Franck
Rakotoarivelo, Thierry
Journal name IEEE systems journal
Volume number 12
Issue number 2
Start page 1667
End page 1678
Total pages 12
Publisher Institute of Electrical and Electronics Engineers
Place of publication Piscataway, N.J.
Publication date 2018-06
ISSN 1932-8184
Keyword(s) collaborative work
distributed computing
formal verification
real-time systems
science & technology
computer science, information systems
engineering, electrical & electronic
operations research & management science
computer science
Language eng
DOI 10.1109/JSYST.2016.2614599
HERDC Research category C1 Refereed article in a scholarly journal
ERA Research output type C Journal article
Copyright notice ©2016, IEEE
Persistent URL http://hdl.handle.net/10536/DRO/DU:30109524

Document type: Journal Article
Collection: School of Information Technology
Connect to link resolver
Unless expressly stated otherwise, the copyright for items in DRO is owned by the author, with all rights reserved.

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 3 times in TR Web of Science
Scopus Citation Count Cited 4 times in Scopus
Google Scholar Search Google Scholar
Access Statistics: 8 Abstract Views, 2 File Downloads  -  Detailed Statistics
Created: Mon, 18 Jun 2018, 10:36:13 EST

Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.