{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T18:53:46Z","timestamp":1725821626703},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319194578"},{"type":"electronic","value":"9783319194585"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19458-5_11","type":"book-chapter","created":{"date-parts":[[2015,5,11]],"date-time":"2015-05-11T11:41:14Z","timestamp":1431344474000},"page":"162-177","source":"Crossref","is-referenced-by-count":3,"title":["On the Formal Analysis of Photonic Signal Processing Systems"],"prefix":"10.1007","author":[{"given":"Umair","family":"Siddique","sequence":"first","affiliation":[]},{"given":"Sidi Mohamed","family":"Beillahi","sequence":"additional","affiliation":[]},{"given":"Sofi\u00e8ne","family":"Tahar","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"IBM: Silicon photonics (2015), \n http:\/\/www.zurich.ibm.com\/st\/photonics\/silicon.html"},{"key":"11_CR2","unstructured":"Intel-based Optical PCI Express (2015), \n http:\/\/www.intel.com\/content\/www\/us\/en\/research\/intel-labs-silicon-photonics-optical-pci-express-server.html"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Beillahi, S.M., Siddique, U.: Formal Analysis of Photonic Signal Processing Systems (2015), \n http:\/\/hvg.ece.concordia.ca\/projects\/optics\/psp.html","DOI":"10.1007\/978-3-319-19458-5_11"},{"key":"11_CR4","unstructured":"Beillahi, S.M., Siddique, U., Tahar, S.: On the Formalization of Signal-Flow-Graphs in HOL. Technical report, Department of Electrical and Computer Engineering, Concordia University, Montreal, QC, Canada (November 2014)"},{"key":"11_CR5","unstructured":"Binh, L.N.: Photonic Signal Processing: Techniques and Applications. Optical Science and Engineering. Taylor & Francis (2010)"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1016\/0030-4018(89)90324-6","volume":"70","author":"D. Harvey","year":"1989","unstructured":"Harvey, D., Millar, C.A., Urquhart, P.: Fibre Reflection Mach-Zehnder Interferometer. Optics Communcation\u00a070, 304\u2013308 (1989)","journal-title":"Optics Communcation"},{"key":"11_CR7","unstructured":"MIT\u2019s CTR (2015), \n https:\/\/mphotonics.mit.edu\/ctr-documents"},{"issue":"17","key":"11_CR8","doi-asserted-by":"publisher","first-page":"2920","DOI":"10.1016\/j.ijleo.2012.08.080","volume":"124","author":"S.B. Dey","year":"2013","unstructured":"Dey, S.B., Mandal, S., Jana, N.N.: Quadruple Optical Ring Resonator based Filter on Silicon-on-insulator. Optik - International Journal for Light and Electron Optics\u00a0124(17), 2920\u20132927 (2013)","journal-title":"Optik - International Journal for Light and Electron Optics"},{"issue":"12","key":"11_CR9","doi-asserted-by":"publisher","first-page":"4439","DOI":"10.1364\/OPEX.13.004439","volume":"13","author":"S. Emelett","year":"2005","unstructured":"Emelett, S., Soref, R.: Synthesis of Dual-Microring-Resonator Cross-Connect Filters. Optics Express\u00a013(12), 4439\u20134456 (2005)","journal-title":"Optics Express"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1063\/1.1764011","volume":"709","author":"A. Driessen","year":"2004","unstructured":"Driessen, A., et al.: Microresonators as Building Blocks for VLSI Photonics. AIP Conference Proceedings\u00a0709(1), 1\u201318 (2004)","journal-title":"AIP Conference Proceedings"},{"key":"11_CR11","unstructured":"Signal Flow Graph Simplification\u00a0Program for MATLAB (2015), \n http:\/\/www.mathworks.com\/matlabcentral\/fileexchange\/22-mason-m"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BFb0031814","volume-title":"Formal Methods in Computer-Aided Design","author":"J. Harrison","year":"1996","unstructured":"Harrison, J.: HOL Light: A Tutorial Introduction. In: Srivas, M., Camilleri, A. (eds.) FMCAD 1996. LNCS, vol.\u00a01166, pp. 265\u2013269. Springer, Heidelberg (1996)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-03359-9_17","volume-title":"Theorem Proving in Higher Order Logics","author":"O. Hasan","year":"2009","unstructured":"Hasan, O., Khan Afshar, S., Tahar, S.: Formal Analysis of Optical Waveguides in HOL. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol.\u00a05674, pp. 228\u2013243. Springer, Heidelberg (2009)"},{"key":"11_CR14","unstructured":"Ladkin, P.B.: An Overview of IEC 61508 on EEPE Functional Safety (2008)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-319-06200-6_10","volume-title":"NASA Formal Methods","author":"M. Yousri Mahmoud","year":"2014","unstructured":"Yousri Mahmoud, M., Tahar, S.: On the Quantum Formalization of Coherent Light in HOL. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2014. LNCS, vol.\u00a08430, pp. 128\u2013142. Springer, Heidelberg (2014)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Mason, S.J.: Feedback Theory, Further Properties of Signal Flow Graphs. In: Proceeding of IRE, vol.\u00a044, pp. 920\u2013926 (July 1956)","DOI":"10.1109\/JRPROC.1956.275147"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Mason, S.J.: Feedback Theory, Some Properties of Signal Flow Graphs. In: Proceeding of IRE, vol.\u00a041, pp. 1144\u20131156 (September 1953)","DOI":"10.1109\/JRPROC.1953.274449"},{"key":"11_CR18","unstructured":"RTCA\/DO-178B: Software Considerations in Airborne Systems and Equipment Certification (1992)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Rumley, S., Glick, M., Dutt, R., Bergman, K.: Impact of Photonic Switch Radix on Realizing Optical Interconnection Networks for Exascale Systems. In: IEEE Optical Interconnects Conference, pp. 98\u201399 (2014)","DOI":"10.1109\/OIC.2014.6886098"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/978-3-642-38088-4_25","volume-title":"NASA Formal Methods","author":"U. Siddique","year":"2013","unstructured":"Siddique, U., Aravantinos, V., Tahar, S.: Formal Stability Analysis of Optical Resonators. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol.\u00a07871, pp. 368\u2013382. Springer, Heidelberg (2013)"},{"key":"11_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-319-08970-6_31","volume-title":"Interactive Theorem Proving","author":"U. Siddique","year":"2014","unstructured":"Siddique, U., Mahmoud, M.Y., Tahar, S.: On the Formalization of Z-Transform in HOL. In: Klein, G., Gamboa, R. (eds.) ITP 2014. LNCS, vol.\u00a08558, pp. 483\u2013498. Springer, Heidelberg (2014)"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"Siddique, U., Tahar, S.: Towards the Formal Analysis of Microresonators Based Photonic Systems. In: IEEE\/ACM Design Automation and Test in Europe, pp. 1\u20136 (2014)","DOI":"10.7873\/DATE2014.164"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"744","DOI":"10.1007\/978-3-642-45221-5_50","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"S.H. Taqdees","year":"2013","unstructured":"Taqdees, S.H., Hasan, O.: Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light. In: McMillan, K., Middeldorp, A., Voronkov, A. (eds.) LPAR-19 2013. LNCS, vol.\u00a08312, pp. 744\u2013758. Springer, Heidelberg (2013)"},{"issue":"12","key":"11_CR24","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1145\/362814.362819","volume":"13","author":"J.C. Tiernan","year":"1970","unstructured":"Tiernan, J.C.: An Efficient Search Algorithm to Find the Elementary Circuits of a Graph. Communnications of the ACM\u00a013(12), 722\u2013726 (1970)","journal-title":"Communnications of the ACM"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Weaver, T.: High-Flying Photonics. SPIE OE Magazine (2004), \n http:\/\/spie.org\/x17123.xml","DOI":"10.1117\/2.5200404.0002"},{"issue":"1","key":"11_CR26","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/j.optcom.2006.10.077","volume":"272","author":"P.P. Yupapin","year":"2007","unstructured":"Yupapin, P.P., Li, C., Saeung, P.: Characteristics of Complementary Ring-Resonator Add\/Drop Filters Modeling by Using Graphical Approach. Optics Communications\u00a0272(1), 81\u201386 (2007)","journal-title":"Optics Communications"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19458-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T09:05:11Z","timestamp":1676451911000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19458-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319194578","9783319194585"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19458-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}
