28 results on '"Mazzanti, Franco"'
Search Results
2. Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect
3. A Case Study in Formal Analysis of System Requirements
4. The 4SECURail Formal Methods Demonstrator
5. Designing a Demonstrator of Formal Methods for Railways Infrastructure Managers
6. Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
7. Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints
8. A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems
9. Compositional Verification of Concurrent Systems by Combining Bisimulations
10. Adopting Formal Methods in an Industrial Setting: The Railways Case
11. States and Events in KandISTI : A Retrospective
12. Survey on Formal Methods and Tools in Railways: The ASTRail Approach
13. On the Industrial Uptake of Formal Methods in the Railway Domain : A Survey with Stakeholders
14. Verifying Properties of Systems Relying on Attribute-Based Communication
15. An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine
16. Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System
17. Model Checking Value-Passing Modal Specifications
18. Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System
19. From Featured Transition Systems to Modal Transition Systems with Variability Constraints
20. From EU Projects to a Family of Model Checkers : From Kandinsky to KandISTI
21. Deadlock Avoidance in Train Scheduling: A Model Checking Approach
22. Designing a Deadlock-Free Train Scheduler: A Model Checking Approach
23. VMC: A Tool for Product Variability Analysis
24. An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems
25. Tools and Verification
26. A Model-Checking Approach for Service Component Architectures
27. Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
28. A Model Checking Approach for Verifying COWS Specifications
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.