587 citations
- Delft University of TechnologyNL6 papers
- ETH ZurichCH4 papers
- University of BaselCH4 papers
- Beijing Institute of TechnologyCN2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Ericsson (Sweden)SE2 papers
- Forschungszentrum JülichDE2 papers
- KTH Royal Institute of TechnologySE2 papers
- Aalto UniversityFI1 paper
- ABB (Canada)CA1 paper
- ABB (India)IN1 paper
- Association for Computing MachineryUS1 paper
5 papers · 1 filter
Qualitative Analysis for Validating IEC 62443-4-2 Requirements in DevSecOps
Christian Göttel, Maëlle Kabir-Querrec, David Kozhaya +2
Validation of conformance to cybersecurity standards for industrial automation and control systems is an expensive and time consuming process which can delay the time to market. It…
Modeling Hierarchical Usage Context for Software Exceptions based on Interaction Data
Hui Chen, Kostadin Damevski, David Shepherd +1
Traces of user interactions with a software system, captured in production, are commonly used as an input source for user experience testing. In this paper, we present an alternati…
An IoT application development using IoTSuite
Saurabh Chauhan, Pankesh Patel
Application development in the Internet of Things (IoT) is challenging because it involves dealing with issues that attribute to different life-cycle phases. First, the application…
Building the Web of Knowledge with Smart IoT Applications (Extended Version)
Amelie Gyrard, Pankesh Patel, Amit Sheth +1
The Internet of Things (IoT) is experiencing fast adoption in the society, from industrial to home applications. The number of deployed sensors and connected devices to the Interne…
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems
Chandrakana Nandi, Aurelien Monot, Manuel Oriol
This paper introduces a new technique for dynamic verification of component-based real-time systems based on statistical inference. Verifying such systems requires checking two typ…