Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-50 av 84 << Forrige 1 2    Neste >>

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 Untitled
 
2 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
 
3 Rauzy, Antoine; Yang, Liu.
Decision diagram algorithms to extract minimal cutsets of finite degradation models. Information 2019 ;Volum 10.(12)
NTNU Untitled
 
4 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
 
5 Yang, Liu; Rauzy, Antoine.
Model synthesis using boolean expression diagrams. Reliability Engineering & System Safety 2019 ;Volum 186. s. 78-87
NTNU Untitled
 
6 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
7 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
 
8 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
 
9 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
 
10 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
 
11 Rauzy, Antoine.
Notes on Computational Uncertainties in Probabilistic Risk/Safety Assessment. Entropy 2018 ;Volum 20.(3) s. 1-26
NTNU Untitled
 
12 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
 
13 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
 
14 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
15 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
 
16 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
 
17 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
 
18 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
 
19 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
 
20 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
 
21 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
 
22 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
23 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
24 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
 
25 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
 
26 Dutuit, Yves; Rauzy, Antoine.
On the Extension of Importance Measures to Complex Components. Reliability Engineering & System Safety 2015 ;Volum 142. s. 161-168
Untitled
 
27 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
 
28 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
 
29 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
 
30 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
 
31 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
32 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
 
33 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
 
34 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
35 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
 
36 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
 
37 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
38 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
39 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
 
40 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
41 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
 
42 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
43 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
 
44 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
 
45 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
 
46 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
 
47 Rauzy, Antoine.
Binary Decision Diagrams for Reliability Studies. I: Handbook of Performability Engineering. Springer 2008 ISBN 9781848001305. s. 381-396
NTNU Untitled
 
48 Rauzy, Antoine.
Guarded Transition Systems: a new States/Events Formalism for Reliability Studies. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability 2008 ;Volum 222.(4) s. 495-505
NTNU Untitled
 
49 Rauzy, Antoine.
Some Disturbing Facts about Depth First Left Most Variable Ordering Heuristics for Binary Decision Diagrams. Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability 2008 ;Volum 222.(4) s. 573-582
NTNU Untitled
 
2007
50 Rauzy, Antoine; Gauthier, Jean; Leduc, Xavier.
Assessment of Large Automatically Generated Fault Trees by means of Binary Decision Diagrams. Reliability Engineering & System Safety 2007 ;Volum 221.(2) s. 95-105
NTNU Untitled
 
    Vis neste liste