Analysis and verification of ECA rules in intelligent environments-Reference-Cited by-同舟云学术

Analysis and verification of ECA rules in intelligent environments

Published:2018-06-21 Issue:3 Volume:10 Page:261-273
ISSN:1876-1372
Container-title:Journal of Ambient Intelligence and Smart Environments
language:
Short-container-title:AIS

Author:

Cacciagrano Diletta Romana¹,Corradini Flavio¹,Culmone Rosario¹,Gorogiannis Nikos²,Mostarda Leonardo¹,Raimondi Franco²,Vannucchi Claudia¹

Affiliation:

1. Computer Science Division, University of Camerino, Camerino, Italy. E-mails: diletta.cacciagrano@unicam.it, flavio.corradini@unicam.it, rosario.culmone@unicam.it, leonardo.mostarda@unicam.it, claudia.vannucchi@unicam.it

2. Department of Computer Science, Middlesex University, London, UK. E-mails: n.gkorogiannis@mdx.ac.uk, f.raimondi@mdx.ac.uk

Publisher

IOS Press

Subject

Software

Reference33 articles.

1. Binary decision diagrams;Akers;IEEE Transactions on computers,1978

2. Introduction to the inaugural issue of the Journal of Reliable Intelligent Environments;Augusto;Journal of Reliable Intelligent Environments,2015

3. J.C. Augusto and M.J. Hornos, Using simulation and verification to inform the development of intelligent environments, in: Intelligent Environments (Workshops), 2012, pp. 413–424.

4. An agent-based multilayer architecture for bioinformatics grids;Bartocci;IEEE Transactions on Nanobioscience,2007

5. UPPAAL — a tool suite for automatic verification of real-time systems

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

1. A Lean Simulation Framework for Stress Testing IoT Cloud Systems;IEEE Transactions on Software Engineering;2024-07

2. RCPM: A Rule-Based Configurable Process Mining Method;Computer Supported Cooperative Work and Social Computing;2023

3. Formal Analysis of Database Trigger Systems Using Event-B;International Journal of Software Innovation;2021-10

4. Classification of dairy cows’ behavior by energy-efficient sensor;Journal of Reliable Intelligent Environments;2021-05-31

5. Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review;IEEE Access;2021