Search Results for Analysis. - Narrowed by: English - Online Library - Electronic Library - Logic design. - Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAnalysis.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-11T17:15:30ZTools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4840332024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17465-1">https://doi.org/10.1007/978-3-030-17465-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3993532024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01090-4">https://doi.org/10.1007/978-3-030-01090-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4001312024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part Ient://SD_ILS/0/SD_ILS:4006052024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part IIent://SD_ILS/0/SD_ILS:4006412024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:3995152024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346832024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Logozzo, Francesco. editor. Fähndrich, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334683.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38856-9">http://dx.doi.org/10.1007/978-3-642-38856-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349132024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Braberman, Víctor. editor. Fribourg, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334913.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40229-6">http://dx.doi.org/10.1007/978-3-642-40229-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329212024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332921.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02444-8">http://dx.doi.org/10.1007/978-3-319-02444-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3342782024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334278.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36742-7">http://dx.doi.org/10.1007/978-3-642-36742-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1965262024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-28756-5">http://dx.doi.org/10.1007/978-3-642-28756-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:1972262024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32495-6">http://dx.doi.org/10.1007/978-3-642-32495-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973632024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33365-1">http://dx.doi.org/10.1007/978-3-642-33365-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973662024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Chakraborty, Supratik. editor. Mukund, Madhavan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33386-6">http://dx.doi.org/10.1007/978-3-642-33386-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1973232024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Miné, Antoine. editor. Schmidt, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33125-1">http://dx.doi.org/10.1007/978-3-642-33125-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930792024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Cousot, Radhia. editor. Martel, Matthieu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15769-1">http://dx.doi.org/10.1007/978-3-642-15769-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1954202024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Yahav, Eran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23702-7">http://dx.doi.org/10.1007/978-3-642-23702-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1947712024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21652-7">http://dx.doi.org/10.1007/978-3-642-21652-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1941722024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19835-9">http://dx.doi.org/10.1007/978-3-642-19835-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1955992024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Fahrenberg, Uli. editor. Tripakis, Stavros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24310-3">http://dx.doi.org/10.1007/978-3-642-24310-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1956192024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Bultan, Tevfik. editor. Hsiung, Pao-Ann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24372-1">http://dx.doi.org/10.1007/978-3-642-24372-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1929252024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15297-9">http://dx.doi.org/10.1007/978-3-642-15297-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1929352024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15331-0">http://dx.doi.org/10.1007/978-3-642-15331-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1935142024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Siegler, Simon. editor. Wasser, Nathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17172-7">http://dx.doi.org/10.1007/978-3-642-17172-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1918572024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1930372024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Bouajjani, Ahmed. editor. Chin, Wei-Ngan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15643-4">http://dx.doi.org/10.1007/978-3-642-15643-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1909252024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04368-0">http://dx.doi.org/10.1007/978-3-642-04368-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1897942024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00768-2">http://dx.doi.org/10.1007/978-3-642-00768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1905642024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Palsberg, Jens. editor. Su, Zhendong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03237-0">http://dx.doi.org/10.1007/978-3-642-03237-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1910512024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Liu, Zhiming. editor. Ravn, Anders P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04761-9">http://dx.doi.org/10.1007/978-3-642-04761-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1857292024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Alpuente, María. editor. Vidal, Germán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69166-2">http://dx.doi.org/10.1007/978-3-540-69166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1887722024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Cassez, Franck. editor. Jard, Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85778-5">http://dx.doi.org/10.1007/978-3-540-85778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilitiesent://SD_ILS/0/SD_ILS:1756722024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Simon, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-017-9">http://dx.doi.org/10.1007/978-1-84800-017-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1882462024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78800-3">http://dx.doi.org/10.1007/978-3-540-78800-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1890422024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Cha, Sungdeok (Steve). editor. Choi, Jin-Young. editor. Kim, Moonzoo. editor. Lee, Insup. editor. Viswanathan, Mahesh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88387-6">http://dx.doi.org/10.1007/978-3-540-88387-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1862132024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71209-1">http://dx.doi.org/10.1007/978-3-540-71209-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1862472024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Reps, Thomas. editor. Sagiv, Mooly. editor. Bauer, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71322-7">http://dx.doi.org/10.1007/978-3-540-71322-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1870462024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74061-2">http://dx.doi.org/10.1007/978-3-540-74061-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1874202024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Raskin, Jean-François. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75454-1">http://dx.doi.org/10.1007/978-3-540-75454-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedingsent://SD_ILS/0/SD_ILS:1874572024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Namjoshi, Kedar S. editor. Yoneda, Tomohiro. editor. Higashino, Teruo. editor. Okamura, Yoshio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75596-8">http://dx.doi.org/10.1007/978-3-540-75596-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1848202024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11867340">http://dx.doi.org/10.1007/11867340</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papersent://SD_ILS/0/SD_ILS:1854592024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11951148">http://dx.doi.org/10.1007/11951148</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836042024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:1838052024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1846322024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11823230">http://dx.doi.org/10.1007/11823230</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Variations on Constants Flow Analysis of Sequential and Parallel Programsent://SD_ILS/0/SD_ILS:1848412024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Müller-Olm, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11871743">http://dx.doi.org/10.1007/11871743</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1850082024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11901914">http://dx.doi.org/10.1007/11901914</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1823662024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1827832024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11603009">http://dx.doi.org/10.1007/11603009</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830412024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11562948">http://dx.doi.org/10.1007/11562948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830432024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11547662">http://dx.doi.org/10.1007/11547662</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1830512024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papersent://SD_ILS/0/SD_ILS:4851642024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05807-4">https://doi.org/10.1007/978-3-030-05807-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:3345472024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334547.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38164-5">http://dx.doi.org/10.1007/978-3-642-38164-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346262024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Bonacina, Maria Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334626.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38574-2">http://dx.doi.org/10.1007/978-3-642-38574-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348252024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Blazy, Sandrine. editor. Paulin-Mohring, Christine. editor. Pichardie, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334825.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39634-2">http://dx.doi.org/10.1007/978-3-642-39634-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3329642024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Higashino, Teruo. editor. Katayama, Yoshiaki. editor. Masuzawa, Toshimitsu. editor. Potop-Butucaru, Maria. editor. Yamashita, Masafumi. editor.<br/>Preferred Shelf Number ONLINE(332964.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03089-0">http://dx.doi.org/10.1007/978-3-319-03089-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340142024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Qadeer, Shaz. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334014.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35632-2">http://dx.doi.org/10.1007/978-3-642-35632-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reversible Computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347082024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Dueck, Gerhard W. editor. Miller, D. Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334708.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38986-3">http://dx.doi.org/10.1007/978-3-642-38986-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350032024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335003.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40787-1">http://dx.doi.org/10.1007/978-3-642-40787-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3350232024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Fontaine, Pascal. editor. Ringeissen, Christophe. editor. Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335023.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-40885-4">http://dx.doi.org/10.1007/978-3-642-40885-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedingsent://SD_ILS/0/SD_ILS:3350462024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335046.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41036-9">http://dx.doi.org/10.1007/978-3-642-41036-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papersent://SD_ILS/0/SD_ILS:3341742024-09-11T17:15:30Z2024-09-11T17:15:30ZAuthor Glück, Robert. editor. Yokoyama, Tetsuo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334174.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36315-3">http://dx.doi.org/10.1007/978-3-642-36315-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>