39 results on '"Leonardo Montecchi"'
Search Results
2. Modeling the Variability of System Safety Analysis Using State-Machine Diagrams.
3. Extending a security ontology framework to model CAPEC attack paths and TAL adversary profiles.
4. Modeling attacker behavior in Cyber-Physical-Systems.
5. Characterizing and Injecting Faults in Executable Models Specified with fUML.
6. A proposal for organizing source code variability in the git version control system.
7. Model-Driven Fault Injection in Java Source Code.
8. Using Metamodels to Improve Model-Based Testing of Service Orchestrations.
9. Automated Planning for Supporting Knowledge-Intensive Processes.
10. An Eclipse-Based Editor for SAN Templates.
11. Towards a Structured Specification of Coding Conventions.
12. Exploiting MDE for Platform-Independent Testing of Service Orchestrations.
13. The RoCS Framework to Support the Development of Autonomous Robots.
14. Towards a metamodel for supporting decisions in knowledge-intensive processes.
15. A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence.
16. Probabilistic Modeling of Failure Domino Effects in Chemical Plants.
17. Refactorings for replacing dynamic instructions with static ones: the case of ruby.
18. SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems.
19. Assessing the Impact of Cascading Failures in Urban Electricity Networks.
20. D-MBTDD: An Approach for Reusing Test Artefacts in Evolving System.
21. A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain.
22. Combining SAN and P-Graphs for the Analysis and Optimization of Industrial Processes.
23. Addressing Verification and Validation Challenges in Future Cyber-Physical Systems.
24. Quantifying the Impact of External Attacks on a Distributed Automatic Track Warning System.
25. Software Faults Emulation at Model-Level: Towards Automated Software FMEA.
26. Towards a UML Profile for Privacy-Aware Applications.
27. Executable Models to Support Automated Software FMEA.
28. Evolving a Software Products Line for E-commerce Systems: a Case Study.
29. A DSL-Supported Workflow for the Automated Assembly of Large Stochastic Models.
30. Meeting the challenges in the design and evaluation of a trackside real-time safety-critical system.
31. A reusable modular toolchain for automated dependability evaluation.
32. Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis.
33. Model-based analysis of a protocol for reliable communication in railway worksites.
34. Quantitative Security Evaluation of a Multi-biometric Authentication System.
35. Towards a MDE Transformation Workflow for Dependability Analysis.
36. Dependability Concerns in Model-Driven Engineering.
37. Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments.
38. Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults.
39. On the Need of a Methodological Approach for the Assessment of Software Architectures within ISO26262.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.