33 results on '"Simona Bernardi"'
Search Results
2. A model-based approach for analysing network communication timeliness in IMA systems at concept level.
3. Detectors of Smart Grid Integrity Attacks: an Experimental Assessment.
4. On Formalising and Analysing the Tweetchain Protocol.
5. Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs.
6. Using Process Mining and Model-Driven Engineering to Enhance Security of Web Information Systems.
7. Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets.
8. A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study.
9. Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets.
10. A model-based approach for the specification and verification of clinical guidelines.
11. Modelling and Verification of Survivability Requirements for Critical Systems.
12. Towards a Systematic Model-driven Approach for the Detection of Web Threats and Use Cases.
13. Model-Driven Availability Evaluation of Railway Control Systems.
14. Modelling and analysing resilience as a security issue within UML.
15. Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile.
16. Performance aware open-world software in a 3-layer architecture.
17. ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.
18. Adding Dependability Analysis Capabilities to the MARTE Profile.
19. A UML profile for dependability analysis of real-time embedded systems.
20. On Performance Bounds for Interval Time Petri Nets.
21. Stochastic Petri Nets and Inheritance for Dependability Modelling.
22. A class Diagram framework for collecting dependability requirements in automation systems.
23. Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems.
24. Petri Nets and Dependability.
25. Building Petri net scenarios for dependable automation systems.
26. Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.
27. From UML sequence diagrams and statecharts to analysable petrinet models.
28. Performance Validation of Fault-Tolerance Software: A Compositional Approach.
29. Concurrent Generalized Petri Nets: Regenerative Conditions.
30. UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance.
31. Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality.
32. Dependable Computing - EDCC 2020 Workshops - AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings
33. Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.