167 results on '"Ledru, Yves"'
Search Results
2. A Process-Centric Approach to Insider Threats Identification in Information Systems
3. Alliance of model-driven engineering with a proof-based formal approach
4. Incremental Development of a Safety Critical System Combining formal Methods and DSMLs : − Application to a Railway System −
5. A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules
6. Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation
7. An Environment for the ParTraP Trace Property Language (Tool Demonstration)
8. Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B
9. Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling
10. B for Modeling Secure Information Systems : The B4MSecure Platform
11. Incremental Development of a Safety Critical System Combining formal Methods and DSMLs
12. A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules
13. Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation
14. B Formal Validation of ERTMS/ETCS Railway Operating Rules
15. A Rigorous Reasoning about Model Transformations Using the B Method
16. Automated Reviewing of Healthcare Security Policies
17. Model-Based Filtering of Combinatorial Test Suites
18. Taking into Account Functional Models in the Validation of IS Security Policies
19. Validation of Security-Design Models Using Z
20. Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B
21. An Environment for the ParTraP Trace Property Language (Tool Demonstration)
22. Test of the ICARE Platform Fusion Mechanism
23. Derivation of UML Class Diagrams as Static Views of Formal B Developments
24. Filtering TOBIAS Combinatorial Test Suites
25. An Overview of RoZ : A Tool for Integrating UML and Z Specifications
26. Specification and Animation of a Bank Transfer using KIDS/VDM
27. A VDM specification of the steam-boiler problem
28. Environment-based Development of Reactive Systems
29. Proof-based development of specifications with KIDS/VDM
30. Two approaches towards the formalisation of VDM
31. B for Modeling Secure Information Systems
32. Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling
33. Prioritizing test cases with string distances
34. Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies
35. Object oriented concepts identification from formal B specifications
36. Reducing Regression Test Suites using the Word2Vec Natural Language Processing Tool
37. A Rigorous Reasoning about Model Transformations Using the B Method
38. Automated Reviewing of Healthcare Security Policies
39. Model-Based Filtering of Combinatorial Test Suites
40. Taking into Account Functional Models in the Validation of IS Security Policies
41. Validation of Security-Design Models Using Z
42. Dynamic graphical UML views from formal B specifications
43. An SMT-based approach for generating trace examples and counter-examples of parametric properties
44. An SMT-based approach for generating trace examples and counter-examples of parametric properties
45. Test of the ICARE Platform Fusion Mechanism
46. Object Oriented Concepts Identification from Formal B Specifications
47. Derivation of UML Class Diagrams as Static Views of Formal B Developments
48. Filtering TOBIAS Combinatorial Test Suites
49. An Overview of RoZ : A Tool for Integrating UML and Z Specifications
50. A VDM specification of the steam-boiler problem
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.