2020
|
1. |
de Weck, Olivier; Krob, Daniel; Lefei, Li; Lui, Pao Chuen; Rauzy, Antoine; Zhang, Xinguo. Handling the COVID-19 crisis: Toward an agile model-based systems approach. Systems Engineering 2020 ;Volum 23.(5) s. 656-670 NTNU
Untitled
|
2019
|
2. |
Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. AltaRica 3.0 in ten modelling patterns. International Journal of Critical Computer-Based Systems 2019 ;Volum 9.(1-2) s. 133-165 NTNU
Untitled
|
|
3. |
Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11842 LNCS. s. 157-172 NTNU
Untitled
|
|
4. |
Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. Modeling patterns for the assessment of maintenance policies with altaRica 3.0. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11842 LNCS. s. 32-46 NTNU
Untitled
|
|
5. |
Rauzy, Antoine; Haskins, Cecilia. Foundations for model‐based systems engineering and model‐based safety assessment. Systems Engineering 2019 ;Volum 22.(2) s. 146-155 NTNU
Untitled
|
|
6. |
Rauzy, Antoine; Yang, Liu. Decision diagram algorithms to extract minimal cutsets of finite degradation models. Information 2019 ;Volum 10.(12) NTNU
Untitled
|
|
7. |
Rauzy, Antoine; Yang, Liu. Finite degradation structures. Journal of Applied Logics (JAL-FLAP) 2019 ;Volum 6.(7) s. 1447-1474 NTNU
Untitled
|
|
8. |
Yang, Liu; Rauzy, Antoine. FDS-ML: A new modeling formalism for probabilistic risk and safety analyses. Lecture Notes in Computer Science (LNCS) 2019 ;Volum 11842 LNCS. s. 78-92 NTNU
Untitled
|
|
9. |
Yang, Liu; Rauzy, Antoine. Model synthesis using boolean expression diagrams. Reliability Engineering & System Safety 2019 ;Volum 186. s. 78-87 NTNU
Untitled
|
|
10. |
Yang, Liu; Rauzy, Antoine; Lundteigen, Mary Ann. Finite Degradation Analysis of Multiple Safety Instrumented Systems. I: Proceedings of the 29th European Safety and Reliability Conference(ESREL). 22 – 26 September 2019 Hannover, Germany. Research Publishing Services 2019 ISBN 978-981-11-2724-3. s. 886-894 NTNU
Untitled
|
2018
|
11. |
Issad, Melissa; Kloul, Leila; Rauzy, Antoine. Scenario-oriented reverse engineering of complex railway system specifications. Systems Engineering 2018 ;Volum 21.(2) s. 91-104 NTNU
Untitled
|
|
12. |
Issad, Melissa; Kloul, Leila; Rauzy, Antoine; Berkani, Karim. Modeling the CBTC Railway System of Siemens with ScOLa. International Journal of Intelligent Transportation Systems Research 2018 ;Volum 16.(3) s. 163-172 NTNU
Untitled
|
|
13. |
Meng, Huixing; Kloul, Leila; Rauzy, Antoine. Modeling patterns for reliability assessment of safety instrumented systems. Reliability Engineering & System Safety 2018 ;Volum 180. s. 111-123 NTNU
Untitled
|
|
14. |
Meng, Huixing; Kloul, Leila; Rauzy, Antoine. Production availability analysis of Floating Production Storage and Offloading (FPSO) systems. Applied Ocean Research 2018 ;Volum 74. s. 117-126 NTNU
Untitled
|
|
15. |
Rauzy, Antoine. Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment. Entropy 2018 ;Volum 20.(3) s. 1-26 NTNU
Untitled
|
|
16. |
Sultana, Sharmin; Bucelli, Marta; Zhang, Juntao; Rauzy, Antoine. How systems engineering may be useful in preparing FMECA—lesson learnt from a practical case. I: Safety and Reliability – Safe Societies in a Changing World. Proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway. CRC Press 2018 ISBN 9781351174657. NTNU
Untitled
|
|
17. |
Yang, Liu; Rauzy, Antoine; Haskins, Cecilia. Finite Degradation Structures: a Formal Framework to Support the Interface between MBSE and MBSA. 4th IEEE International Systems Engineering Symposium (ISSE); 2018-10-01 - 2018-10-03 NTNU
Untitled
|
|
18. |
Zhang, Yun; Barros, Anne; Rauzy, Antoine; Lunde, Erling. A modelling methodology for the assessment of preventive maintenance on a compressor drive system. I: Safety and Reliability – Safe Societies in a Changing World. Proceedings of ESREL 2018, June 17-21, 2018, Trondheim, Norway. CRC Press 2018 ISBN 9781351174657. s. 555-564 NTNU
Untitled
|
2017
|
19. |
Aupetit, Benjamin; Batteux, Michel; Rauzy, Antoine; Roussel, Jean-Marc. Safety Analyzes of Mechatronics Systems: a Case Study. IFAC-PapersOnLine 2017 ;Volum 50.(1) s. 11150-11155 NTNU
Untitled
|
|
20. |
Batteux, Michel; Prosvirnova, Tatiana; Rauzy, Antoine. AltaRica 3.0 assertions: The whys and wherefores. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability 2017 ;Volum 231.(6) s. 691-700 NTNU
Untitled
|
|
21. |
Bennaceur, Walid Mokhtar; Kloul, Leila; Rauzy, Antoine. Safety Analysis of a Data Center’s Electrical System Using Production Trees. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10437 LNCS. s. 82-96 NTNU
Untitled
|
|
22. |
Issad, Melissa; Kloul, Leila; Rauzy, Antoine. A scenario-based FMEA method and its evaluation in a railway context. Proceedings. Annual Reliability and Maintainability Symposium (RAMS) 2017 s. - NTNU
Untitled
|
|
23. |
Kloul, Leïla; Rauzy, Antoine. Production trees: A new modeling methodology for production availability analyses. Reliability Engineering & System Safety 2017 ;Volum 167. s. 561-571 NTNU
Untitled
|
|
24. |
Legendre, Anthony; Lanusse, Agnes; Rauzy, Antoine. Toward model synchronization between safety analysis and system architecture design in industrial contexts. Lecture Notes in Computer Science (LNCS) 2017 ;Volum 10437 LNCS. s. 35-49 NTNU
Untitled
|
|
25. |
Meng, Huixing; Kloul, Leila; Rauzy, Antoine. Modeling patterns for performance analyses of offshore production systems. ISOPE - International Offshore and Polar Engineering Conference. Proceedings 2017 s. 1199-1205 NTNU
Untitled
|
|
26. |
Zhang, Yun; Barros, Anne Cecile Pénélope; Rauzy, Antoine. Assessment of a condition-based maintenance policy for Subsea systems: A preliminary study. I: Risk, Reliability and Safety: Innovating Theory and Practice : Proceedings of ESREL 2016 (Glasgow, Scotland, 25-29 September 2016). CRC Press 2017 ISBN 9781138029972. s. 1129-1136 NTNU
Untitled
|
2016
|
27. |
Zhang, Yun; Rauzy, Antoine; Barros, Anne. A new modelling methodology for the assessment of maintenance policies of subsea systems. I: Proceedings of the 9th IMA International Conference on Modelling in Industrial Maintenance and Reliability. Imperial College Press 2016 ISBN 978-0-905091-31-0. s. 242-247 NTNU
Untitled
|
2015
|
28. |
Aupetit, Benjamin; Batteux, Michel; Rauzy, Antoine; Roussel, Jean-Marc. Improving performance of the AltaRica 3.0 stochastic simulator. I: Safety and Reliability of Complex Engineered Systems. CRC Press 2015 ISBN 9781138028791. s. 1815-1823
Untitled
|
|
29. |
Brameret, Pierre-Antoine; Rauzy, Antoine; Roussel, Jean-Marc. Automated generation of partial Markov chain from high level descriptions. Reliability Engineering & System Safety 2015 ;Volum 139. s. 179-187
Untitled
|
|
30. |
Dutuit, Yves; Rauzy, Antoine. On the Extension of Importance Measures to Complex Components. Reliability Engineering & System Safety 2015 ;Volum 142. s. 161-168
Untitled
|
|
31. |
Issad, Mélissa; Kloul, Leïla; Rauzy, Antoine. A contribution to safety analysis of railway systems using Scola. I: Safety and Reliability of Complex Engineered Systems. CRC Press 2015 ISBN 9781138028791. s. 459-465
Untitled
|
|
32. |
Lipaczewski, Michael; Ortmeier, Frank; Prosvirnova, Tatiana; Rauzy, Antoine; Struck, Simon. Comparison of Modeling Formalisms for Safety Analyses: SAML and AltaRica. Reliability Engineering & System Safety 2015 ;Volum 140. s. 191-199
Untitled
|
|
33. |
Meng, Huixing; Kloul, Leïla; Rauzy, Antoine. Production availability modeling of a FPSO system with stochastic Petri nets. I: Safety and Reliability of Complex Engineered Systems. CRC Press 2015 ISBN 9781138028791. s. 2271-2279
Untitled
|
|
34. |
Prosvirnova, Tatiana; Rauzy, Antoine. Automated generation of Minimal Cutsets from AltaRica 3.0 models. International Journal of Critical Computer-Based Systems 2015 ;Volum 6.(1) s. 50-80
Untitled
|
|
35. |
Rauzy, Antoine; Blériot-Fabre, Chaire. Towards a Sound Semantics for Dynamic Fault Trees. Reliability Engineering & System Safety 2015 ;Volum 142. s. 184-191
Untitled
|
2014
|
36. |
Cherfi, Abraham; Leeman, Michel; Meurville, Florent; Rauzy, Antoine. Modeling Automotive Safety Mechanisms: A Markovian Approach. Reliability Engineering & System Safety 2014 ;Volum 130. s. 42-49
Untitled
|
|
37. |
Milcent, Frédéric; Prosvirnova, Tatiana; Rauzy, Antoine. Modélisation des réseaux en AltaRica 3.0. I: Actes du congrès Lambda-Mu 19. Dijon, France: Institut pour la Maîtrise des Risques 2014 ISBN 978-2-35147-037-4. NTNU
Untitled
|
|
38. |
Prosvirnova, Tatiana; Rauzy, Antoine. The Structural Constructions of AltaRica 3.0. I: Actes du congrès Lambda-Mu 19. Dijon, France: Institut pour la Maîtrise des Risques 2014 ISBN 978-2-35147-037-4. NTNU
Untitled
|
2013
|
39. |
Dutuit, Yves; Rauzy, Antoine. Importance Factors of Coherent Systems: a Review. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability 2013 ;Volum 228.(3) s. 313-323 NTNU
Untitled
|
|
40. |
Kloul, Leïla; Prosvirnova, Tatiana; Rauzy, Antoine. Modeling systems with mobile components: a comparison between AltaRica and PEPA nets. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability 2013 ;Volum 227.(6) s. 599-613 NTNU
Untitled
|
|
41. |
Nusbaumer, Olivier; Rauzy, Antoine. Fault Tree Linking versus Event Tree Linking Approaches: a Reasoned Comparison. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability 2013 ;Volum 227.(3) s. 315-326 NTNU
Untitled
|
2011
|
42. |
Rauzy, Antoine. Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees. Reliability Engineering & System Safety 2011 ;Volum 96.(7) s. 785-792 NTNU
Untitled
|
2010
|
43. |
Ibàñez-Llano, Christina; Rauzy, Antoine; Meléndez, Enrique; Nieto, Fernando. Hybrid approach for the assessment of PSA models by means of binary decision diagrams. Reliability Engineering & System Safety 2010 ;Volum 95.(10) s. 1076-1092 NTNU
Untitled
|
|
44. |
Innal, Fares; Dutuit, Yves; Rauzy, Antoine; Signoret, Jean-Pierre. New insight into the average probability of failure on demand and the probability of dangerous failure per hour of safety instrumented systems. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability 2010 ;Volum 224.(2) s. 75-86 NTNU
Untitled
|
2009
|
45. |
Epstein, Steven; Reinhart, Mark; Rauzy, Antoine. The Open PSA Initiative for next generation probabilistic safety assessment. Kerntechnik (1987) 2009 ;Volum 74.(3) s. 101-105 NTNU
Untitled
|
|
46. |
Ibàñez-Llano, Christina; Rauzy, Antoine; Meléndez, Enrique; Nieto, Fernando. Minimal cutsets-based reduction approach for the use of binary decision diagrams on probabilistic safety assessment fault tree models. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability 2009 ;Volum 223.(4) s. 301-311 NTNU
Untitled
|
2008
|
47. |
Amari, Suprasad; Myers, Albert; Rauzy, Antoine. Imperfect Coverage Models: Status and Trends. I: Handbook of Performability Engineering. Springer 2008 ISBN 9781848001305. s. 321-348 NTNU
Untitled
|
|
48. |
Dutuit, Yves; Innal, Fares; Rauzy, Antoine; Signoret, Jean-Pierre. Probabilistic assessments in relationship with Safety Integrity Levels by using Fault Trees. Reliability Engineering & System Safety 2008 ;Volum 93.(12) s. 1867-1876 NTNU
Untitled
|
|
49. |
Dutuit, Yves; Rauzy, Antoine; Signoret, Jean-Pierre. A Snapshot of Methods and Tools to Assess Safety Integrity Levels of High Integrity Protection Systems.. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability 2008 ;Volum 222.(3) s. 371-379 NTNU
Untitled
|
|
50. |
Myers, Andrew; Rauzy, Antoine. Assessment of Redundant Systems with Imperfect Coverage by means of Binary Decision Diagrams. Reliability Engineering & System Safety 2008 ;Volum 93.(7) s. 1025-1035 NTNU
Untitled
|