Learning and analysis of sensors behavior in IoT systems using statistical model checking
Published 2021 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
Learning and analysis of sensors behavior in IoT systems using statistical model checking
Authors
Keywords
-
Journal
SOFTWARE QUALITY JOURNAL
Volume -, Issue -, Pages -
Publisher
Springer Science and Business Media LLC
Online
2021-06-18
DOI
10.1007/s11219-021-09559-w
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- 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
Create your own webinar
Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.
Create NowAsk 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