Stefano Marrone

According to our database1, Stefano Marrone authored at least 57 papers between 2003 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
A model-driven approach for vulnerability evaluation of modern physical protection systems.
Software and System Modeling, 2019

Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism.
Software and System Modeling, 2019

HOLMeS: eHealth in the Big Data and Deep Learning Era.
Information, 2019

2018
Comprehensive computer-aided diagnosis for breast T1-weighted DCE-MRI through quantitative dynamical features and spatio-temporal local binary patterns.
IET Computer Vision, 2018

2017
Dynamic state machines for modelling railway control systems.
Sci. Comput. Program., 2017

A model driven approach for assessing survivability requirements of critical infrastructures.
J. High Speed Networks, 2017

A Framework to Evaluate 5G Networks for Smart and Fail-Safe Communications in ERTMS/ETCS.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

An Investigation of Deep Learning for Lesions Malignancy Classification in Breast DCE-MRI.
Proceedings of the Image Analysis and Processing - ICIAP 2017, 2017

Towards a Unified Definition of Cyber and Physical Vulnerability in Critical Infrastructures.
Proceedings of the 2017 IEEE European Symposium on Security and Privacy Workshops, 2017

Chatbots Meet eHealth: Automatizing Healthcare.
Proceedings of the Workshop on Artificial Intelligence with Application in Health co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

2016
Fuzzy Decision Fusion and Multiformalism Modelling in Physical Security Monitoring.
Proceedings of the Recent Advances in Computational Intelligence in Defense and Security, 2016

Cost-energy modelling and profiling of smart domestic grids.
IJGUC, 2016

Breast segmentation using Fuzzy C-Means and anatomical priors in DCE-MRI.
Proceedings of the 23rd International Conference on Pattern Recognition, 2016

Formal security assessment of Modbus protocol.
Proceedings of the 11th International Conference for Internet Technology and Secured Transactions, 2016

Finding Resilient and Energy-saving Control Strategies in Smart Homes.
Proceedings of the 7th International Conference on Ambient Systems, 2016

2015
A secure, scalable and versatile multi-layer client-server architecture for remote intelligent data processing.
J. Reliable Intelligent Environments, 2015

Using Bayesian networks for highly available cloud-based web applications.
J. Reliable Intelligent Environments, 2015

Exploiting Bayesian Networks for the Analysis of Combined Attack Trees.
Electr. Notes Theor. Comput. Sci., 2015

On synergies of cyber and physical security modelling in vulnerability assessment of railway systems.
Computers & Electrical Engineering, 2015

Data-driven selection of motion correction techniques in breast DCE-MRI.
Proceedings of the 2015 IEEE International Symposium on Medical Measurements and Applications, 2015

Model-Based Vulnerability Assessment of Self-Adaptive Protection Systems.
Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015

Modeling Railway Control Systems in Promela.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Automatic Resource Allocation for High Availability Cloud Services.
Proceedings of the 6th International Conference on Ambient Systems, 2015

Model-Based Water Quality Assurance in Ground and Surface Provisioning Systems.
Proceedings of the 10th International Conference on P2P, 2015

2014
Towards Model-Driven V&V assessment of railway control systems.
STTT, 2014

A Petri Net Pattern-Oriented Approach for the Design of Physical Protection Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2014

An Interoperable Testing Environment for ERTMS/ETCS Control Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2014

Improving code coverage in android apps testing by exploiting patterns and automatic test case generation.
Proceedings of the WISE'14, 2014

Dynamic State Machines for Formalizing Railway Control System Specifications.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Test Specification Patterns for Automatic Generation of Test Sequences.
Proceedings of the Formal Methods for Industrial Critical Systems, 2014

A Novel Model-Based Measure for Quality Evaluation of Image Registration Techniques in DCE-MRI.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

A Cost-Energy Trade-Off Model in Smart Energy Grids.
Proceedings of the 2014 Ninth International Conference on P2P, 2014

2013
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach.
Rel. Eng. & Sys. Safety, 2013

Petri net based evaluation of energy consumption in wireless sensor nodes.
J. High Speed Networks, 2013

Vulnerability modeling and analysis for critical infrastructure protection applications.
IJCIP, 2013

Model-Driven Estimation of Distributed Vulnerability in Complex Railway Networks.
Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, 2013

Automatic Lesion Detection in Breast DCE-MRI.
Proceedings of the Image Analysis and Processing - ICIAP 2013, 2013

A Secure OsiriX Plug-In for Detecting Suspicious Lesions in Breast DCE-MRI.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2013

Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

Trustworthiness Evaluation of Multi-sensor Situation Recognition in Transit Surveillance Scenarios.
Proceedings of the Security Engineering and Intelligence Informatics, 2013

A Compositional Modelling Approach for Large Sensor Networks Design.
Proceedings of the Eighth International Conference on P2P, 2013

2012
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework.
Trans. Petri Nets and Other Models of Concurrency, 2012

PerfBPEL: A graph-based approach for the performance analysis of BPEL SOA applications.
Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Improving Verification Process in Driverless Metro Systems: The MBAT Project.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2011
Model-Driven Availability Evaluation of Railway Control Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Petri Net Modelling of Physical Vulnerability.
Proceedings of the Critical Information Infrastructure Security, 2011

Performability Modeling of Exceptions-Aware Systems in Multiformalism Tools.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2011

2010
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2009
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance.
Rel. Eng. & Sys. Safety, 2009

Interfaces and binding in component based development of formal models.
Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools, 2009

2008
Testing Complex Safety-Critical Systems in SOA Context.
Proceedings of the Second International Conference on Complex, 2008

2007
The software architecture of the OsMoSys multisolution framework.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

2005
Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems.
Proceedings of the Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 2005

2004
A Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach.
Proceedings of the Applied Parallel Computing, 2004

Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
SWN client-server composition operators in the OsMoSys framework.
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003


  Loading...