332 results on '"Rauzy, Antoine"'
Search Results
2. New Challenges and Opportunities in Reliability Engineering of Complex Technical Systems
3. Government inter-organizational, digital transformation projects: five key lessons learned from a Norwegian case study
4. Synchronization of System Architecture, Multi-physics and Safety Models
5. Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0
6. A new method for safety assessment of complex avionic systems.
7. Investigating on Combining System Dynamics and Machine Learning for Predicting Safety Performance in Construction Projects.
8. Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0
9. Model Synchronization: A Formal Framework for the Management of Heterogeneous Models
10. FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses
11. Model synthesis using boolean expression diagrams
12. Modeling patterns for reliability assessment of safety instrumented systems
13. Safety Analysis of a Data Center’s Electrical System Using Production Trees
14. Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts
15. Incremental Modeling Methodology of Railway System Specifications
16. Minimal Critical Sequences in Model-based Safety and Security Analyses: Commonalities and Differences
17. Assessment of expected production of a deep‐sea mining system: An integrated model‐based systems engineering and discrete event simulation approach
18. AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms
19. Safety Assessment of an Electrical System with AltaRica 3.0
20. A Model-Based Methodology to Formalize Specifications of Railway Systems
21. Production trees: A new modeling methodology for production availability analyses
22. Synchronization of System Architecture, Multi-physics and Safety Models
23. FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses
24. Model Synchronization: A Formal Framework for the Management of Heterogeneous Models
25. Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0
26. Modeling the CBTC Railway System of Siemens with ScOLa
27. Application of machine learning to limited datasets: prediction of project success
28. Assessment of expected production of a deep-sea mining system: An integrated model-based systems engineering and discrete event simulation approach
29. An online remedial summer course for new students
30. Towards a sound semantics for dynamic fault trees
31. On the extension of Importance Measures to complex components
32. Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica
33. Modeling Cyberattack Propagation and Impacts on Cyber-Physical System Safety: An Experiment
34. Assessment of expected production of a deep-sea mining system: An integrated model-based systems engineering and discrete event simulation approach
35. Modeling automotive safety mechanisms: A Markovian approach
36. Binary Decision Diagrams for Reliability Studies
37. Imperfect Coverage Models: Status and Trends
38. Safety Analysis of a Data Center’s Electrical System Using Production Trees
39. Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts
40. Incremental Modeling Methodology of Railway System Specifications
41. The AltaRica 3.0 Project for Model-Based Safety Assessment
42. Almana: A BDD Minimization Tool Integrating Heuristic and RewritingMethods
43. Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees
44. Revision in extended propositional calculus
45. Toupie=μ-calculus+constraints
46. Toupie: A constraint language for model checking
47. Polynomial restrictions of SAT: What can be done with an efficient implementation of the Davis and Putnam's procedure?
48. A Guided Tour of AltaRicaWizard, the AltaRica 3.0 Integrated Modeling Environment
49. Abstract executions of stochastic discrete event systems
50. Abstract executions of stochastic discrete event systems
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.