AI-big data analytics for building automation and management systems: a survey, actual challenges and future perspectives
In theory, building automation and management systems (BAMSs) can provide all the
components and functionalities required for analyzing and operating buildings. However, in …
components and functionalities required for analyzing and operating buildings. However, in …
Formal methods in railways: a systematic map** study
Formal methods are mathematically based techniques for the rigorous development of
software-intensive systems. The railway signaling domain is a field in which formal methods …
software-intensive systems. The railway signaling domain is a field in which formal methods …
The waymo open sim agents challenge
Simulation with realistic, interactive agents represents a key task for autonomous vehicle
software development. In this work, we introduce the Waymo Open Sim Agents Challenge …
software development. In this work, we introduce the Waymo Open Sim Agents Challenge …
A survey of algorithms for black-box safety validation of cyber-physical systems
Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-
critical applications, but require rigorous testing before deployment. The complexity of these …
critical applications, but require rigorous testing before deployment. The complexity of these …
The probabilistic model checker Storm
We present the probabilistic model checker Storm. Storm supports the analysis of discrete-
and continuous-time variants of both Markov chains and Markov decision processes. Storm …
and continuous-time variants of both Markov chains and Markov decision processes. Storm …
Automated verification and synthesis of stochastic hybrid systems: A survey
Stochastic hybrid systems have received significant attentions as a relevant modeling
framework describing many systems, from engineering to the life sciences: they enable the …
framework describing many systems, from engineering to the life sciences: they enable the …
Adversarial sample detection for deep neural network through model mutation testing
Deep neural networks (DNN) have been shown to be useful in a wide range of applications.
However, they are also known to be vulnerable to adversarial samples. By transforming a …
However, they are also known to be vulnerable to adversarial samples. By transforming a …
A formal approach for the analysis of BPMN collaboration models
BPMN collaboration models have acquired increasing relevance in software development
since they shorten the communication gap between domain experts and IT specialists and …
since they shorten the communication gap between domain experts and IT specialists and …
Challenges in application of Petri nets in manufacturing systems
Petri nets are a useful mathematical formalism for specification of manufacturing systems,
supported by various analysis and verification methods. The progress made in automating …
supported by various analysis and verification methods. The progress made in automating …
Formal methods in industry
Formal methods encompass a wide choice of techniques and tools for the specification,
development, analysis, and verification of software and hardware systems. Formal methods …
development, analysis, and verification of software and hardware systems. Formal methods …