Learning and analysis of sensors behavior in IoT systems using statistical model checking
出版年份 2021 全文链接
标题
Learning and analysis of sensors behavior in IoT systems using statistical model checking
作者
关键词
-
出版物
SOFTWARE QUALITY JOURNAL
Volume -, Issue -, Pages -
出版商
Springer Science and Business Media LLC
发表日期
2021-06-18
DOI
10.1007/s11219-021-09559-w
参考文献
相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。- Smart Parking in IoT-enabled Cities: A Survey
- (2019) Fadi Al-Turjman et al. Sustainable Cities and Society
- Advanced Wavelet Sampling Algorithm for IoT based environmental monitoring and management
- (2019) Zhang Tao COMPUTER COMMUNICATIONS
- A Survey of Statistical Model Checking
- (2018) Gul Agha et al. ACM Transactions on Modeling and Computer Simulation
- Improving self-adaptation planning through software architecture-based stochastic modeling
- (2016) João M. Franco et al. JOURNAL OF SYSTEMS AND SOFTWARE
- Online Analysis of Security Risks in Elastic Cloud Applications
- (2016) Athanasios Naskos et al. IEEE Cloud Computing
- Activity Discovery and Detection of Behavioral Deviations of an Inhabitant From Binary Sensors
- (2015) Jeremie Saives et al. IEEE Transactions on Automation Science and Engineering
- HASL: A new approach for performance evaluation and model checking from concepts to experimentation
- (2015) Paolo Ballarini et al. PERFORMANCE EVALUATION
- Uppaal SMC tutorial
- (2015) Alexandre David et al. International Journal on Software Tools for Technology Transfer
- Time Series Outlier Detection Based on Sliding Window Prediction
- (2014) Yufeng Yu et al. MATHEMATICAL PROBLEMS IN ENGINEERING
- Statistical model checking for biological systems
- (2014) Alexandre David et al. International Journal on Software Tools for Technology Transfer
- Statistical model checking QoS properties of systems with SBIP
- (2014) Ayoub Nouri et al. International Journal on Software Tools for Technology Transfer
- One-class support vector machines: analysis of outlier detection for wireless sensor networks in harsh environments
- (2013) Nauman Shahid et al. ARTIFICIAL INTELLIGENCE REVIEW
- Rigorous Component-Based System Design Using the BIP Framework
- (2011) Ananda Basu et al. IEEE SOFTWARE
- Real-time Bayesian anomaly detection in streaming environmental data
- (2009) David J. Hill et al. WATER RESOURCES RESEARCH
- A Large-Scale Hidden Semi-Markov Model for Anomaly Detection on User Browsing Behaviors
- (2008) Yi Xie et al. IEEE-ACM TRANSACTIONS ON NETWORKING
Publish scientific posters with Peeref
Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.
Learn MoreAsk a Question. Answer a Question.
Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.
Get Started