Various Ways to Quantify BDMPs
Saved in:
| Published in: | Electronic proceedings in theoretical computer science Vol. 316; pp. 1 - 14 |
|---|---|
| Main Authors: | , , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
26.04.2020
|
| ISSN: | 2075-2180, 2075-2180 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Author | Krcal, Pavel Khan, Shahid Katoen, Joost-Pieter Bouissou, Marc |
|---|---|
| Author_xml | – sequence: 1 givenname: Marc surname: Bouissou fullname: Bouissou, Marc organization: EDF (Électricité de France) – sequence: 2 givenname: Shahid surname: Khan fullname: Khan, Shahid organization: RWTH Aachen University – sequence: 3 givenname: Joost-Pieter surname: Katoen fullname: Katoen, Joost-Pieter organization: RWTH Aachen University – sequence: 4 givenname: Pavel surname: Krcal fullname: Krcal, Pavel organization: Lloyd's Register |
| BookMark | eNpNzztPwzAUBWALFYnSdmJH2VHCvbZj1yOE8pCKWtQWRst2bCkIEmSnQ_59y2PgLOdMR_rOyajtWk_IBULBKfDrxXpbbQqGosATMqYgy5ziHEb_9hmZpfQOxzBFuRJjcvlqYtPtU_ZmhpT1XfayN23fhCG7vXtepyk5DeYj-dlfT8jufrGtHvPl6uGpulnmDhX2uRFBKIbGKqgpgAxQSwsojfNMCcvQ8iCoLVVNRVClNdwHGqykNce5dY5NyNXvr4tdStEH_RWbTxMHjaC_dfpHp486jewAL9JCUw |
| Cites_doi | 10.1016/S1474-6670(17)51368-3 10.1109/RAMS.1997.571703 10.1145/2933575.2934574 10.1201/9781351174664-112 10.1109/PRDC47002.2019.00057 10.4204/EPTCS.244.8 10.1007/978-3-662-54580-5_9 10.1109/FTCS.1999.781056 10.1007/978-3-030-17502-3_5 10.1016/S0951-8320(03)00143-1 10.3233/978-1-61499-207-3-177 10.1145/42404.42409 10.1109/RAMS.2002.981616 10.1016/0951-8320(94)90030-2 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.4204/EPTCS.316.1 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 2075-2180 |
| EndPage | 14 |
| ExternalDocumentID | 10_4204_EPTCS_316_1 |
| GroupedDBID | 5VS AAYXX ADBBV ALMA_UNASSIGNED_HOLDINGS BCNDV CITATION E3Z GROUPED_DOAJ KQ8 M~E OK1 |
| ID | FETCH-LOGICAL-c191t-a6f6931ab90d2007f0d7b017ace396b31b4f62b59d26f95ba4ef2fb72d418bcc3 |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001045273300001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 2075-2180 |
| IngestDate | Sat Nov 29 02:05:30 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c191t-a6f6931ab90d2007f0d7b017ace396b31b4f62b59d26f95ba4ef2fb72d418bcc3 |
| PageCount | 14 |
| ParticipantIDs | crossref_primary_10_4204_EPTCS_316_1 |
| PublicationCentury | 2000 |
| PublicationDate | 2020-04-26 |
| PublicationDateYYYYMMDD | 2020-04-26 |
| PublicationDate_xml | – month: 04 year: 2020 text: 2020-04-26 day: 26 |
| PublicationDecade | 2020 |
| PublicationTitle | Electronic proceedings in theoretical computer science |
| PublicationYear | 2020 |
| References | Fussell (fussell72new) 1972; 15 Hahn (Qcomp2019) 2019; 11429 Bouissou (bouissou2018extensions) 2018 Bouissou (bouissoulefebvre2002) 2002 Collet (collet1995extension) 1995 Fox (fox1988computing) 1988; 31 Bouissou (bouissou2003new) 2003; 82 Bon (bonbouissou1992) 1992; 40 Keilson (keilson1986) 1986 Katoen (DBLP:series/natosec/Katoen13) 2013; 34 Bouissou (bouissouSafecomp1991) 1991 Bouissou (bouissouHernu2016) 2016 Bäckström (backstromPSAM2014) 2014 Katoen (DBLP:conf/lics/Katoen16) 2016 Bon (boncollet1994) 1994; 43 Sullivan (sullivan1999galileo) 1999 Hensel (DBLP:journals/corr/abs-2002-07080) 2020; abs/2002.07080 Budde (DBLP:conf/tacas/BuddeDHHJT17) 2017; 10206 Khan (khanprdc) 2019 Bäckström (bouissouPSAM2018) 2018 Bouissou (bouissou2005yamsfigseq) 2005 Bäckström (backstromPSAM2016) 2016 (RiskSpectrumTheoryManual) 2019 Bouissou (bouissou2013MCacceleration) 2013 Bouissou (bouissou2017benchmark) 2017 Collet (colletrenault1997) 1997 |
| References_xml | – volume-title: Proceedings of Safecomp'91 year: 1991 ident: bouissouSafecomp1991 article-title: Knowledge Modelling and Reliability Processing: Presentation of the FIGARO Language and Associated Tools doi: 10.1016/S1474-6670(17)51368-3 – volume: abs/2002.07080 year: 2020 ident: DBLP:journals/corr/abs-2002-07080 article-title: The Probabilistic Model Checker Storm publication-title: CoRR – volume-title: Proceedings of RAMS’97 year: 1997 ident: colletrenault1997 article-title: Path-probability evaluation with repeated rates doi: 10.1109/RAMS.1997.571703 – start-page: 31 volume-title: LICS year: 2016 ident: DBLP:conf/lics/Katoen16 article-title: The Probabilistic Model Checking Landscape doi: 10.1145/2933575.2934574 – start-page: 889 volume-title: Safety and Reliability–Safe Societies in a Changing World year: 2018 ident: bouissou2018extensions article-title: Extensions of the I&AB method for the reliability assessment of the spent fuel pool of EPR doi: 10.1201/9781351174664-112 – start-page: 266 volume-title: PRDC year: 2019 ident: khanprdc article-title: Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs doi: 10.1109/PRDC47002.2019.00057 – volume: 15 start-page: 262 year: 1972 ident: fussell72new article-title: A New Methodology for Obtaining Cut Sets for Fault Trees publication-title: Trans. Amer. Nucl. Soc. – volume-title: Proceedings of PSAM'12 year: 2014 ident: backstromPSAM2014 article-title: Quantification of MCS with BDD, Accuracy and Inclusion of Success in the Calculation – the RiskSpectrum MCS BDD Algorithm – start-page: 200 volume-title: Proceedings of MARS Workshop year: 2017 ident: bouissou2017benchmark article-title: A Benchmark on Reliability of Complex Discrete Systems: Emergency Power Supply of a Nuclear Power Plant doi: 10.4204/EPTCS.244.8 – volume: 10206 start-page: 151 volume-title: TACAS 2017 year: 2017 ident: DBLP:conf/tacas/BuddeDHHJT17 article-title: JANI: Quantitative Model and Tool Interaction doi: 10.1007/978-3-662-54580-5_9 – start-page: 232 volume-title: FTCS year: 1999 ident: sullivan1999galileo article-title: The Galileo fault tree analysis tool doi: 10.1109/FTCS.1999.781056 – volume: 11429 start-page: 69 volume-title: TACAS 2019 year: 2019 ident: Qcomp2019 article-title: The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models doi: 10.1007/978-3-030-17502-3_5 – volume: 82 start-page: 149 issue: 2 year: 2003 ident: bouissou2003new article-title: A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes publication-title: Rel. Eng. & Sys. Safety doi: 10.1016/S0951-8320(03)00143-1 – volume-title: Proceedings Of Int. School of Physic 1986 North-Holland year: 1986 ident: keilson1986 article-title: Stochastic models in reliability theory – volume-title: Proceedings of the Int. Conf. on Energy and Environment year: 2005 ident: bouissou2005yamsfigseq article-title: Automated Dependability Analysis of Complex Systems with the KB3 Workbench: the Experience of EDF R&D – year: 1995 ident: collet1995extension article-title: An Extension of Boolean PSA Methods publication-title: Probabilistic Safety Assessment, Seoul – volume-title: RiskSpectrum Analysis Tools: Theory Manual year: 2019 ident: RiskSpectrumTheoryManual – volume: 34 start-page: 177 volume-title: EDSS year: 2013 ident: DBLP:series/natosec/Katoen13 article-title: Model Checking Meets Probability: A Gentle Introduction doi: 10.3233/978-1-61499-207-3-177 – volume-title: Proceedings of PSAM'13 year: 2016 ident: backstromPSAM2016 article-title: MCS BDD – Description and Verification of the Method Implemented in RiskSpectrum – start-page: 27 volume-title: Proceedings of the 22nd European Safety and Reliability Conference (ESREL’13) year: 2013 ident: bouissou2013MCacceleration article-title: A Simple yet Efficient Acceleration Technique for Monte Carlo Simulation – volume: 31 start-page: 440 issue: 4 year: 1988 ident: fox1988computing article-title: Computing Poisson probabilities publication-title: Comm. ACM doi: 10.1145/42404.42409 – volume-title: Proceedings of RAMS’2002 year: 2002 ident: bouissoulefebvre2002 article-title: A Path-Based Algorithm to Evaluate Asymptotic Unavailability for Large Markov Models doi: 10.1109/RAMS.2002.981616 – volume: 43 start-page: 263 year: 1994 ident: boncollet1994 article-title: An Algorithm in Order to Implement Reliability Exponential Approximations publication-title: Rel. Eng. & Sys. Safety doi: 10.1016/0951-8320(94)90030-2 – volume-title: Proceedings of PSAM'14 year: 2018 ident: bouissouPSAM2018 article-title: Introduction and Demonstration of the I&AB Quantification Method as Implemented with RiskSpectrum PSA – volume: 40 start-page: 45 issue: 2 year: 1992 ident: bonbouissou1992 article-title: Fiabilité des grands systèmes séquentiels: résultats théoriques et applications dans le cadre du logiciel GSI publication-title: Revue de Statistique Appliquée – year: 2016 ident: bouissouHernu2016 article-title: Boolean approximation for calculating the reliability of a very large repairable system with dependencies among components publication-title: Proc. ESREL 2016, Glasgow |
| SSID | ssj0000392496 |
| Score | 2.146121 |
| SourceID | crossref |
| SourceType | Index Database |
| StartPage | 1 |
| Title | Various Ways to Quantify BDMPs |
| Volume | 316 |
| WOSCitedRecordID | wos001045273300001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: DOAJ (Directory of Open Access Journals) customDbUrl: eissn: 2075-2180 dateEnd: 20201231 omitProxy: false ssIdentifier: ssj0000392496 issn: 2075-2180 databaseCode: DOA dateStart: 20090101 isFulltext: true titleUrlDefault: https://www.doaj.org/ providerName: Directory of Open Access Journals – providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2075-2180 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0000392496 issn: 2075-2180 databaseCode: M~E dateStart: 20090101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LT9wwELYq6KGXQqGoUFjlwA2ZJo7jxMcWqJAQaKsuFbfIdmItl2S1ySK48Ns7fuQB4gAHLlFkZfKayYxn8o0_hA7BLmhacIUhmjFMSy2wiIjERcJ1wgqeUUUt2UR6dZXd3PCphxU1lk4grars_p4v3lXVMAbKNq2zb1B3f1IYgH1QOmxB7bB9leL_QfZrca3iwa7e8GclDCDo4ejX6eW0eVKJHyhwhjjWeORj396oPO_DkQ-WfQJfr0Bp9cp3_Kjedc99TXUu5h1c3nGv-z6Qum5aPL0dA4Mvlko4LmVx5zH8vhJBDCwUu3Z357AITD8wTBncf5byhTHvceNo7DOjUfB1DaXP3TolIYXXfjadnfw9BuHjaIhe3R_7Z0GthxpCkmPEcyucg3AOufI6SRNuAICXj0NFLoxNLmrZCLubdg2dRv7H6OKjKcxoLjLbRJ99EhH8dMr_gj6U1Rba6Ag6Au-vt9HE20JgbCFo66CzhcDawld0_ftsdnKOPSEGVpBWt1gwzXgcCcnDwtSYdVikElyqUGXMmYwjSTUjMuEFYZonUsC3R7RMSUGjTCoV76C1qq7KbyigMiSiSFgmlFmOiWYqZlqUmZJCK_D7u-iwe8Z84dY9yV94lXuvO-w7-jQYzD5aa5er8gB9VHftbbOc2DrIxCrjP1PsTSc |
| linkProvider | ISSN International Centre |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Various+Ways+to+Quantify+BDMPs&rft.jtitle=Electronic+proceedings+in+theoretical+computer+science&rft.au=Bouissou%2C+Marc&rft.au=Khan%2C+Shahid&rft.au=Katoen%2C+Joost-Pieter&rft.au=Krcal%2C+Pavel&rft.date=2020-04-26&rft.issn=2075-2180&rft.eissn=2075-2180&rft.volume=316&rft.spage=1&rft.epage=14&rft_id=info:doi/10.4204%2FEPTCS.316.1&rft.externalDBID=n%2Fa&rft.externalDocID=10_4204_EPTCS_316_1 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2075-2180&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2075-2180&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2075-2180&client=summon |