Leonardo Montecchi

According to our database1, Leonardo Montecchi authored at least 43 papers between 2008 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A Template-Based Methodology for the Specification and Automated Composition of Performability Models.
IEEE Trans. Reliab., 2020

A Formal Definition of Stochastic Activity Networks Templates.
CoRR, 2020

Model-Driven Fault Injection in Java Source Code.
Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

An Eclipse-Based Editor for SAN Templates.
Proceedings of the Dependable Computing - EDCC 2020 Workshops, 2020

Automated Planning for Supporting Knowledge-Intensive Processes.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2020

2019
The RoCS Framework to Support the Development of Autonomous Robots.
J. Softw. Eng. Res. Dev., 2019

Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants.
J. Braz. Comput. Soc., 2019

Towards a metamodel for supporting decisions in knowledge-intensive processes.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Towards a Structured Specification of Coding Conventions.
Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems.
Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019

Exploiting MDE for Platform-Independent Testing of Service Orchestrations.
Proceedings of the 15th European Dependable Computing Conference, 2019

The RoCS Framework to Support the Development of Autonomous Robots.
Proceedings of the XXII Iberoamerican Conference on Software Engineering, 2019

2018
PrivAPP: An integrated approach for the design of privacy-aware applications.
Softw. Pract. Exp., 2018

System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions.
IEEE Syst. J., 2018

Refactorings for replacing dynamic instructions with static ones: the case of ruby.
Proceedings of the XXII Brazilian Symposium on Programming Languages, 2018

Probabilistic Modeling of Failure Domino Effects in Chemical Plants.
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018

A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence.
Proceedings of the 14th European Dependable Computing Conference, 2018

2017
Assessing the Impact of Cascading Failures in Urban Electricity Networks.
Proceedings of the 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2017

SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems.
Proceedings of the Model-Based Safety and Assessment - 5th International Symposium, 2017

2016
Modeling QoE in Dependable Tele-Immersive Applications: A Case Study of World Opera.
IEEE Trans. Parallel Distributed Syst., 2016

Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes.
Proceedings of the 12th European Dependable Computing Conference, 2016

D-MBTDD: An Approach for Reusing Test Artefacts in Evolving System.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015
Continuous and Transparent User Identity Verification for Secure Internet Services.
IEEE Trans. Dependable Secur. Comput., 2015

Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform.
Electron. Notes Theor. Comput. Sci., 2015

Executable Models to Support Automated Software FMEA.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Evolving a Software Products Line for E-commerce Systems: a Case Study.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System.
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

Software Faults Emulation at Model-Level: Towards Automated Software FMEA.
Proceedings of the IEEE International Conference on Dependable Systems and Networks Workshops, 2015

Towards a UML Profile for Privacy-Aware Applications.
Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

2014
A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models.
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

2013
A reusable modular toolchain for automated dependability evaluation.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262.
Proceedings of the SAFECOMP 2013, 2013

Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012
Quantitative Security Evaluation of a Multi-biometric Authentication System.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Model-based analysis of a protocol for reliable communication in railway worksites.
Proceedings of the 15th ACM International Conference on Modeling, 2012

Modelling and Model-Based Assessment.
Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011
Dependability Concerns in Model-Driven Engineering.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

Towards a MDE Transformation Workflow for Dependability Analysis.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010
Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2010

2009
QoS Perceived by Users of Ubiquitous UMTS: Compositional Models and Thorough Analysis.
J. Softw., 2009

2008
Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008


  Loading...