|
|||||||||||||||
|
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|||||||||||||||
|
|||||||||||||||
|
|||||||||||||||
|
2019
|
||
| 1. | 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 |
|
|
|
||
| 2. | 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 |
|
|
|
||
| 3. | 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 |
|
|
|
||
| 4. | 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 |
|
|
|
||
| 5. | Rauzy, Antoine; Yang, Liu. Decision diagram algorithms to extract minimal cutsets of finite degradation models. Information 2019 ;Volum 10.(12) NTNU |
|
|
|
||
| 6. | Rauzy, Antoine; Yang, Liu. Finite degradation structures. Journal of Applied Logics (JAL-FLAP) 2019 ;Volum 6.(7) s. 1447-1474 NTNU |
|
|
|
||
| 7. | 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 |
|
|
|
||
| 8. | Yang, Liu; Rauzy, Antoine. Model synthesis using boolean expression diagrams. Reliability Engineering & System Safety 2019 ;Volum 186. s. 78-87 NTNU |
|
|
|
||
| 9. | 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 |
|
|
2018
|
||
| 10. | 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 |
|
|
|
||
| 11. | 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 |
|
|
|
||
| 12. | 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 |
|
|
|
||
| 13. | 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 |
|
|
|
||
| 14. | Rauzy, Antoine. Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment. Entropy 2018 ;Volum 20.(3) s. 1-26 NTNU |
|
|
|
||
| 15. | 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 |
|
|
|
||
| 16. | 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 |
|
|
|
||
| 17. | 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 |
|
|
2017
|
||
| 18. | 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 |
|
|
|
||
| 19. | 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 |
|
|
|
||
| 20. | 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 |
|
|
|
||
| 21. | 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 |
|
|
|
||
| 22. | 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 |
|
|
|
||
| 23. | 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 |
|
|
|
||
| 24. | 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 |
|
|
|
||
| 25. | 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 |
|
|
2016
|
||
| 26. | 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 |
|
|
2015
|
||
| 27. | 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 |
|
|
|
||
| 28. | 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 |
|
|
|
||
| 29. | Dutuit, Yves; Rauzy, Antoine. On the Extension of Importance Measures to Complex Components. Reliability Engineering & System Safety 2015 ;Volum 142. s. 161-168 |
|
|
|
||
| 30. | 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 |
|
|
|
||
| 31. | 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 |
|
|
|
||
| 32. | 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 |
|
|
|
||
| 33. | 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 |
|
|
|
||
| 34. | Rauzy, Antoine; Blériot-Fabre, Chaire. Towards a Sound Semantics for Dynamic Fault Trees. Reliability Engineering & System Safety 2015 ;Volum 142. s. 184-191 |
|
|
2014
|
||
| 35. | 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 |
|
|
|
||
| 36. | 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 |
|
|
|
||
| 37. | 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 |
|
|
2013
|
||
| 38. | 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 |
|
|
|
||
| 39. | 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 |
|
|
|
||
| 40. | 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 |
|
|
2011
|
||
| 41. | Rauzy, Antoine. Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees. Reliability Engineering & System Safety 2011 ;Volum 96.(7) s. 785-792 NTNU |
|
|
2010
|
||
| 42. | 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 |
|
|
|
||
| 43. | 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 |
|
|
2009
|
||
| 44. | 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 |
|
|
|
||
| 45. | 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 |
|
|
2008
|
||
| 46. | 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 |
|
|
|
||
| 47. | 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 |
|
|
|
||
| 48. | 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 |
|
|
|
||
| 49. | 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 |
|
|
|
||
| 50. | Rauzy, Antoine. Binary Decision Diagrams for Reliability Studies. I: Handbook of Performability Engineering. Springer 2008 ISBN 9781848001305. s. 381-396 NTNU |
|