{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:29:17Z","timestamp":1761611357443},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319084336"},{"type":"electronic","value":"9783319084343"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08434-3_4","type":"book-chapter","created":{"date-parts":[[2014,6,30]],"date-time":"2014-06-30T23:14:35Z","timestamp":1404170075000},"page":"30-44","source":"Crossref","is-referenced-by-count":16,"title":["Towards the Formal Reliability Analysis of Oil and Gas Pipelines"],"prefix":"10.1007","author":[{"given":"Waqar","family":"Ahmad","sequence":"first","affiliation":[]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[]},{"given":"Sofi\u00e8ne","family":"Tahar","sequence":"additional","affiliation":[]},{"given":"Mohammad Salah","family":"Hamdi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"BP Leak the World\u2019s Worst Accidental Oil Spill, London Telegraph (August 03, 2010), http:\/\/www.telegraph.co.uk\/finance\/newsbysector\/energy\/oilandgas\/7924009\/bp-leak-the-worlds-worst-accidental-oil-spill.html (2014)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Zhang, Z., Shao, B.: Reliability Evaluation of Different Pipe Section in Different Period. In: Service Operations and Logistics, and Informatics, pp. 1779\u20131782. IEEE (2008)","DOI":"10.1109\/SOLI.2008.4682818"},{"issue":"1","key":"4_CR3","first-page":"86","volume":"2","author":"K. Kolowrocki","year":"2009","unstructured":"Kolowrocki, K.: Reliability and Risk Analysis of Multi-State Systems With Degrading Components. Electronic Journal of International Group on Reliability\u00a02(1), 86\u2013104 (2009)","journal-title":"Electronic Journal of International Group on Reliability"},{"issue":"2-3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.ijpvp.2010.01.002","volume":"87","author":"J. Soszynska","year":"2010","unstructured":"Soszynska, J.: Reliability and Risk Evaluation of a Port Oil Pipeline Transportation System in Variable Operation conditions. International Journal of Pressure Vessels and Piping\u00a087(2-3), 81\u201387 (2010)","journal-title":"International Journal of Pressure Vessels and Piping"},{"key":"4_CR5","unstructured":"Pipeline Integrity\u00a0Solution GE-Energy (2014), http:\/\/www.ge-energy.com\/products_and_services\/services\/pipeline_integrity_services\/"},{"key":"4_CR6","unstructured":"Pipecheck - Pipeline Integrity\u00a0Assessment Software (2014), http:\/\/www.creaform3d.com\/en\/ndt-solutions\/pipecheck-damage-assessment-software"},{"issue":"3","key":"4_CR7","first-page":"349","volume":"31","author":"D. Pandey","year":"1998","unstructured":"Pandey, D.: Probabilistic Models for Condition Assessment of Oil and Gas Pipelines. Independent Nondestructive Testing and Evaluation International\u00a031(3), 349\u2013358 (1998)","journal-title":"Independent Nondestructive Testing and Evaluation International"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Boca, P., Bowen, J., Siddiqi, J.: Formal Methods: State of the Art and New Directions. Springer (2009)","DOI":"10.1007\/978-1-84882-736-3"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Hasan, O., Tahar, S.: Performance Analysis of ARQ Protocols using a Theorem Prover. In: International Symposium on Performance Analysis of Systems and Software, pp. 85\u201394. IEEE Computer Society (2008)","DOI":"10.1109\/ISPASS.2008.4510741"},{"key":"4_CR10","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic Model Checking for Systems Biology. In: Symbolic Systems Biology, pp. 31\u201359. Jones and Bartlett (2010)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-642-24559-6_27","volume-title":"Formal Methods and Software Engineering","author":"M. Elleuch","year":"2011","unstructured":"Elleuch, M., Hasan, O., Tahar, S., Abid, M.: Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.\u00a06991, pp. 388\u2013403. Springer, Heidelberg (2011)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Hasan, O., Patel, J., Tahar, S.: Formal Reliability Analysis of Combinational Circuits using Theorem Proving. J. Applied Logic\u00a09(1), 41\u201360 (2011)","DOI":"10.1016\/j.jal.2011.01.002"},{"key":"4_CR13","unstructured":"Fruth, M.: Formal Methods for the Analysis of Wireless Network Protocols. PhD thesis, Oxford University, UK (2011)"},{"issue":"1","key":"4_CR14","first-page":"181","volume":"98","author":"M. Kaufman","year":"2004","unstructured":"Kaufman, M.: Some Key Research Problems in Automated Theorem Proving for Hardware and Software Verification. Revista de la Real Academia de Ciencias Exactas, F\u00edsicas y Naturales. Serie A: Matem\u00e1ticas\u00a098(1), 181 (2004)","journal-title":"Revista de la Real Academia de Ciencias Exactas, F\u00edsicas y Naturales. Serie A: Matem\u00e1ticas"},{"key":"4_CR15","unstructured":"Brown, C.: Automated Reasoning in Higher-order Logic. College Publications (2007)"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1007\/3-540-61511-3_112","volume-title":"Automated Deduction - Cade-13","author":"D. Kapur","year":"1996","unstructured":"Kapur, D., Subramaniam, M.: Lemma Discovery in Automating Induction. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol.\u00a01104, pp. 538\u2013552. Springer, Heidelberg (1996)"},{"key":"4_CR17","unstructured":"Hurd, J.: Formal Verification of Probabilistic Algorithms. PhD Thesis, University of Cambridge, UK (2002)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-642-14052-5_27","volume-title":"Interactive Theorem Proving","author":"T. Mhamdi","year":"2010","unstructured":"Mhamdi, T., Hasan, O., Tahar, S.: On the Formalization of the Lebesgue Integration Theory in HOL. In: Kaufmann, M., Paulson, L.C. (eds.) ITP 2010. LNCS, vol.\u00a06172, pp. 387\u2013402. Springer, Heidelberg (2010)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-22863-6_12","volume-title":"Interactive Theorem Proving","author":"J. H\u00f6lzl","year":"2011","unstructured":"H\u00f6lzl, J., Heller, A.: Three Chapters of Measure Theory in Isabelle\/HOL. In: van Eekelen, M., Geuvers, H., Schmaltz, J., Wiedijk, F. (eds.) ITP 2011. LNCS, vol.\u00a06898, pp. 135\u2013151. Springer, Heidelberg (2011)"},{"key":"4_CR20","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-73595-3_2","volume-title":"Automated Deduction \u2013 CADE-21","author":"O. Hasan","year":"2007","unstructured":"Hasan, O., Tahar, S.: Formalization of Continuous Probability Distributions. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 3\u201318. Springer, Heidelberg (2007)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Hasan, O., Tahar, S.: Verification of Tail Distribution Bounds in a Theorem Prover. In: Numerical Analysis and Applied Mathematics, vol.\u00a0936, pp. 259\u2013262. American Institute of Physics (2007)","DOI":"10.1063\/1.2790124"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/978-3-642-05089-3_28","volume-title":"FM 2009: Formal Methods","author":"O. Hasan","year":"2009","unstructured":"Hasan, O., Abbasi, N., Akbarpour, B., Tahar, S., Akbarpour, R.: Formal Reasoning about Expectation Properties for Continuous Random Variables. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 435\u2013450. Springer, Heidelberg (2009)"},{"issue":"5","key":"4_CR23","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1109\/TC.2009.165","volume":"59","author":"O. Hasan","year":"2010","unstructured":"Hasan, O., Tahar, S., Abbasi, N.: Formal Reliability Analysis using Theorem Proving. IEEE Transactions on Computers\u00a059(5), 579\u2013592 (2010)","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Abbasi, N., Hasan, O., Tahar, S.: Formal Analysis of Soft Errors using Theorem Proving. In: Symbolic Computation in Software Science. EPTCS, vol.\u00a0122, pp. 75\u201384 (2013)","DOI":"10.4204\/EPTCS.122.7"},{"issue":"2","key":"4_CR25","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/j.jcss.2013.05.002","volume":"80","author":"N. Abbasi","year":"2014","unstructured":"Abbasi, N., Hasan, O., Tahar, S.: An Approach for Lifetime Reliability Analysis using Theorem Proving. Journal of Computer and System Sciences\u00a080(2), 323\u2013345 (2014)","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-540-71067-7_6","volume-title":"Theorem Proving in Higher Order Logics","author":"K. Slind","year":"2008","unstructured":"Slind, K., Norrish, M.: A Brief Overview of HOL4. In: Mohamed, O.A., Mu\u00f1oz, C., Tahar, S. (eds.) TPHOLs 2008. LNCS, vol.\u00a05170, pp. 28\u201332. Springer, Heidelberg (2008)"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Bilintion, R., Allan, R.: Reliability Evaluation of Engineering System. Springer (1992)","DOI":"10.1007\/978-1-4899-0685-4"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Gordon, M.: Mechanizing Programming Logics in Higher-Order Logic. In: Current Trends in Hardware Verification and Automated Theorem Proving, pp. 387\u2013439. Springer (1989)","DOI":"10.1007\/978-1-4612-3658-0_10"},{"key":"4_CR29","unstructured":"Harrison, J.: Formalized Mathematics. Technical Report\u00a036, Turku Centre for Computer Science (1996)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer (1996)","DOI":"10.1007\/978-1-4612-2360-3"},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A. Church","year":"1940","unstructured":"Church, A.: A Formulation of the Simple Theory of Types. Journal of Symbolic Logic\u00a05, 56\u201368 (1940)","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR32","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1977","unstructured":"Milner, R.: A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences\u00a017, 348\u2013375 (1977)","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR33","unstructured":"Ahmad, W.: Formalization of Reliability Block Diagram for Analyzing Oil and Gas Pipelines (2014), http:\/\/save.seecs.nust.edu.pk\/wahmad\/frsaogp.html"},{"key":"4_CR34","volume-title":"Probability and Statistics with Reliability, Queuing and Computer Science Applications","author":"K.S. Trivedi","year":"2002","unstructured":"Trivedi, K.S.: Probability and Statistics with Reliability, Queuing and Computer Science Applications, 2nd edn. John Wiley and Sons Ltd., Chichester (2002)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08434-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T01:49:47Z","timestamp":1565574587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08434-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319084336","9783319084343"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08434-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}