Modelling and verifying time‐aware processes for cyber‐physical environments-Reference-Cited by-同舟云学术

Modelling and verifying time‐aware processes for cyber‐physical environments

Published:2019-02 Issue:1 Volume:13 Page:36-48
ISSN:1751-8806
Container-title:IET Software
language:en
Short-container-title:IET softw.

Author:

Graja Imen¹^ORCID,Kallel Slim¹^ORCID,Guermouche Nawal²,Cheikhrouhou Saoussen¹,Hadj Kacem Ahmed¹

Affiliation:

1. ReDCAD Laboratory University of Sfax Sfax Tunisia

2. LAAS-CNRS Université de Toulouse INSA Toulouse France

Publisher

Institution of Engineering and Technology (IET)

Subject

Computer Graphics and Computer-Aided Design

Link

https://onlinelibrary.wiley.com/doi/pdf/10.1049/iet-sen.2018.5034

Reference58 articles.

1. Wan K. Alagar V.: ‘Dependable context-sensitive services in cyber physical systems’.IEEE Int. Conf. Trust Security and Privacy in Computing and Communications (TrustCom 2011) Changsha China November2011 pp.687–694

2. Lee E.A.: ‘CPS foundations’.ACM/IEEE Design Automation Conf. (DAC) Anaheim CA USA June2010 pp.737–742

3. Graja I. Kallel S. Guermouche N. et al.: ‘BPMN4CPS: a BPMN extension for modeling cyber-physical systems’.IEEE Int. Conf. Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) Paris France June2016 pp.152–157

4. Lee E.A.: ‘Time-critical networking – invited presentation’.2009 IEEE/LEOS Summer Topical Meeting (LEOSST) Newport Beach CA USA July2009 pp.149–150

5. Lohmann D. Schroder Preikschat W. Spinczyk O.: ‘Functional and non-functional properties in a family of embedded operating systems’.Int. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS) Sedona AZ USA February2005 pp.413–420

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the Interplay Between Business Process Management and Internet-of-Things;Business & Information Systems Engineering;2024-03-18

2. Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets;IEEE Transactions on Industrial Informatics;2023-03

3. A Smart Contract-Based Access Control Framework For Smart Healthcare Systems;The Computer Journal;2022-12-30

4. Correlation Dimension Based Stability Analysis for Cyber-Physical Systems;IEEE Transactions on Industrial Informatics;2022-02

5. Towards modeling a Service-Oriented application managing a Smart City using UML 2.x;2021 IEEE 30th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE);2021-10