Early diagnosis of liver metastases from colorectal cancer through CT radiomics and formal methods: a pilot study
Background: Liver metastases are a leading cause of cancer-associated deaths in patients
affected by colorectal cancer (CRC). The multidisciplinary strategy to treat CRC is more …
affected by colorectal cancer (CRC). The multidisciplinary strategy to treat CRC is more …
Deep learning for heart disease detection through cardiac sounds
Most of death causes are related to cardiovascular disease. In fact, there are several
anomalies afflicting the heart beat, for instance heart murmur or artefact. We propose a …
anomalies afflicting the heart beat, for instance heart murmur or artefact. We propose a …
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 …
Clone detection through process algebras and java bytecode
A Santone - Proceedings of the 5th International Workshop on …, 2011 - dl.acm.org
In this paper we present a formal method-based approach in detecting source code clones
by means of analysing and comparing the Java Bytecode that is produced when the source …
by means of analysing and comparing the Java Bytecode that is produced when the source …
High Grade Brain Cancer Segmentation by means of Deep Learning
Image segmentation is becoming a component of medical image processing with a
significant role to analyze gross anatomy, to locate an infirmity and to plan the surgical …
significant role to analyze gross anatomy, to locate an infirmity and to plan the surgical …
Incremental construction of systems: An efficient characterization of the lacking sub-system
Software engineering research is driven by the aim of making software development more
dynamic, flexible and evolvable. Nowadays the emphasis is on the evolution of pre-existing …
dynamic, flexible and evolvable. Nowadays the emphasis is on the evolution of pre-existing …
Communication and resource deadlock analysis using IMDS formalism and model checking
WB Daszczuk - The computer journal, 2017 - academic.oup.com
Modern static deadlock detection techniques deal with the global properties of the verified
systems, using methods that explore the state space. Local features, like partial deadlocks or …
systems, using methods that explore the state space. Local features, like partial deadlocks or …
DELFIN+: An efficient deadlock detection tool for CCS processes
Model checking is a formal technique for proving the correctness of a system with respect to
a desired behavior. However, deadlock detection via model checking is particularly difficult …
a desired behavior. However, deadlock detection via model checking is particularly difficult …