Machine learning for coronavirus covid-19 detection from chest x-rays
At the end of 2019, a new form of Coronavirus, called COVID-19, has widely spread in the
world. To quickly screen patients with the aim to detect this new form of pulmonary disease …
world. To quickly screen patients with the aim to detect this new form of pulmonary disease …
Precise predictive analysis for discovering communication deadlocks in MPI programs
Abstract The Message Passing Interface (MPI) is the standard API for high-performance and
scientific computing. Communication deadlocks are a frequent problem in MPI programs …
scientific computing. Communication deadlocks are a frequent problem in MPI programs …
A novel classification technique based on formal methods
In last years, we are witnessing a growing interest in the application of supervised machine
learning techniques in the most disparate fields. One winning factor of machine learning is …
learning techniques in the most disparate fields. One winning factor of machine learning is …
Precise predictive analysis for discovering communication deadlocks in MPI programs
The Message Passing Interface (MPI) is the standard API for parallelization in high-
performance and scientific computing. Communication deadlocks are a frequent problem in …
performance and scientific computing. Communication deadlocks are a frequent problem in …
A method for automatic penetration testing and mitigation: A red hat approach
Recently in the cybersecurity landscape, various figures have spread with different
peculiarities. For instance there are the Black Hat hackers, aimed to perpetrate damage on …
peculiarities. For instance there are the Black Hat hackers, aimed to perpetrate damage on …
Heuristic search for equivalence checking
Equivalence checking plays a crucial role in formal verification since it is a natural relation
for expressing the matching of a system implementation against its specification. In this …
for expressing the matching of a system implementation against its specification. In this …
Ant colony optimization for deadlock detection in concurrent systems
Ensuring deadlock freedom is one of the most critical requirements in the design and
validation of concurrent systems. The biggest challenge toward the development of effective …
validation of concurrent systems. The biggest challenge toward the development of effective …
Neural networks for driver behavior analysis
The proliferation of info-entertainment systems in nowadays vehicles has provided a really
cheap and easy-to-deploy platform with the ability to gather information about the vehicle …
cheap and easy-to-deploy platform with the ability to gather information about the vehicle …
A uml/marte model analysis method for uncovering scenarios leading to starvation and deadlocks in concurrent systems
Concurrency problems such as starvation and deadlocks should be identified early in the
design process. As larger, more complex concurrent systems are being developed, this is …
design process. As larger, more complex concurrent systems are being developed, this is …
Abstract reduction in directed model checking ccs processes
Abstract Model checking tools face a combinatorial blow up of the state-space (commonly
known as the state explosion problem) that must be addressed to formally verify concurrent …
known as the state explosion problem) that must be addressed to formally verify concurrent …