IMPACT FACTOR JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial
 
VVIoT 2019 : International Workshop on Verification and Validation of Internet of Things
VVIoT 2019 : International Workshop on Verification and Validation of Internet of Things

VVIoT 2019 : International Workshop on Verification and Validation of Internet of Things

Xian, China
Event Date: April 23, 2019 - April 23, 2019
Submission Deadline: January 21, 2019
Notification of Acceptance: February 01, 2019
Camera Ready Version Due: February 15, 2019



Call for Papers

Second International Workshop on Verification and Validation of Internet of Things
23rd of April 2019, Xian - China
(co-located with ICST 2019)
www.fe.up.pt/vviot2019


Important dates

- Submission: 21st of January 2019
- Notification: 1st of February 2019
- Camera Ready: 15th of February 2019


Abstract

Internet of Things (IoT) are unarguably considered as the next revolution of Internet. IoT are often viewed as a network of connected physical devices and systems capable of sensing and actuating the physical world, in addition to communicating with other devices and systems via information networks.
In the most sophisticated form, IoT must be capable of exhibiting self-* behaviors (e.g., self- configuration, self-healing, and self-adaption) in response to changes in the context of the physical environment without requiring any human intervention. The software is the key enabler for such flexibility and advanced features in IoT.
The tight integration of the cyber capabilities of the corresponding physical devices with the physical world brings novel verification and validation challenges.
The VVIoT workshop will be a forum for academics, industrial researchers, developers, and practitioners to discuss challenges and advances in Verification and Validation of Internet of Things.


Topics (not exhaustive)

- Testing techniques for IoT systems
- Fault Taxonomies for IoT systems
- Tools and infrastructures for IoT testing
- Simulation environments for IoT systems (e.g., how to simulate physical inputs from the environment)
- Unit, integration and system testing for IoT systems
- Model-based testing of IoT systems
- Test models for IoT systems
- IoT testing in several application domains (smart cities, e-health, smart buildings, transportation, industrial automation, etc.)
- Formal Verification techniques for IoT systems
- Testing as a service for IoT systems
- Testing heterogeneous IoT systems
- Testing time constrained IoT systems
- Extra-Functional testing of IoT systems including but not limited to Security, Privacy, Safety, and Robustness
- IoT middleware testing
- IoT infrastructure testing
- Test optimization including test minimization, prioritization, test selection for IoT Testing
- IoT interoperability testing
- Empirical evaluations on any of the above topics


Submission format

Three types of papers can be submitted to the workshop, in addition to European/National Projects Presentations:
- Full papers (10 pages): Full research reporting new ideas with proper validation. Papers reporting extensive empirical evaluations on the above-mentioned topics are also welcomed.
- Short papers (6 pages): Research in progress, tools, experience reports, new ideas, applications and lessons learned in industry.
- Extended Abstract (1-2 pages): Research in progress, tools, experience reports, new ideas, applications and lessons learned in industry.
- European/National Project presentations (in IoT testing verification and validation, e.g. H2020): An abstract for a presentation on a European, National, or International Project on the above mentioned-topics. Note that abstracts will not be published.

Submission link: https://easychair.org/conferences/?conf=vviot2019


Best Deals



Credits and Sources

[1] VVIoT 2019 : International Workshop on Verification and Validation of Internet of Things


Check other Conferences, Workshops, Seminars, and Events


OTHER SOFTWARE TESTING EVENTS

SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
ICSEA 2021: The Sixteenth International Conference on Software Engineering Advances
Barcelona, Spain
Oct 03, 2021
SEAS 2021: 10th International Conference on Software Engineering and Applications
Dubai, UAE
Feb 20, 2021
TASE 2021: The 15th International Symposium on Theoretical Aspects of Software Engineering
Shanghai
Aug 25, 2021
JSS SI on Test Automation 2021: Special Issue on - Test Automation: Trends, Benefits, and Costs

SHOW ALL

OTHER IOT EVENTS

EAI SaSeIoT 2021: th EAI International Conference on Safety and Security in Internet of Things
Cyberspace
Apr 25, 2021
INISCOM 2021: 7th EAI International Conference on Industrial Networks and Intelligent Systems
Hanoi, Vietnam
Apr 22, 2021
IoTCare 2021: 2nd EAI International Conference on IoT and Big Data Technologies for HealthCare
Leicester, United Kingdom
Oct 18, 2021
ICMISC 2021: International Conference on Recent Trends in Machine Learning, IoT, Smart Cities and Applications
Hyderabad, India
Mar 28, 2021
ICNGIoT 2020: International Conference on Next Generation of Internet of Things
GIET University, India
Feb 05, 2021
SHOW ALL

OTHER VERIFICATION EVENTS

ATVA 2021: The 19th International Symposium on Automated Technology for Verification and Analysis
Gold Coast, Australia
Oct 18, 2021
ESOP 2021: 30th European Symposium on Programming
Luxembourg
Mar 27, 2021
FMAS 2020: Second Workshop on Formal Methods for Autonomous Systems
Online
Dec 07, 2020
Indocrypt 2020: 21st International Conference on Cryptology in India
Bengaluru, India
Dec 13, 2020
CPP 2021: Certified Programs and Proofs
Copenhagen, Denmark
Jan 18, 2021
SHOW ALL

OTHER SOFTWARE ENGINEERING EVENTS

SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
SEA 2021: 10th International Conference on Software Engineering and Applications
Copenhagen, Denmark
Jun 19, 2021
SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
ICICA 2021: 10th International Conference on Intelligent Computing and Applications
Melbourne, Australia
Jun 25, 2021
ICCMS 2021: The 13th International Conference on Computer Modeling and Simulation
Melbourne, Australia
Jun 25, 2021
SHOW ALL