Search Results for - Narrowed by: Logics and Meanings of Programs. - System Performance and Evaluation.

Lectures on Runtime Verification Introductory and Advanced Topics

2024-06-03T11:32:20Z

by Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
https://doi.org/10.1007/978-3-319-75632-5
Format: Electronic Resources

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2024-06-03T11:32:20Z

by Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
https://doi.org/10.1007/978-3-319-74313-4
Format: Electronic Resources

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2024-06-03T11:32:20Z

by Avigad, Jeremy. editor.
https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2024-06-03T11:32:20Z

by Feng, Xinyu. editor.
https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

2024-06-03T11:32:20Z

by Baier, Christel. editor. (orcid)0000-0002-5321-9343
https://doi.org/10.1007/978-3-319-89366-2
Format: Electronic Resources

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2024-06-03T11:32:20Z

by Podelski, Andreas. editor.
https://doi.org/10.1007/978-3-319-99725-4
Format: Electronic Resources

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2024-06-03T11:32:20Z

by Sun, Jing. editor.
https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2024-06-03T11:32:20Z

by Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources

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 I

2024-06-03T11:32:20Z

by Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
https://doi.org/10.1007/978-3-319-89960-2
Format: Electronic Resources

Information and Communication Technologies in Education, Research, and Industrial Applications 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers

2024-06-03T11:32:20Z

by Bassiliades, Nick. editor. (orcid)0000-0001-6035-1038
https://doi.org/10.1007/978-3-319-76168-8
Format: Electronic Resources

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

2024-06-03T11:32:20Z

by Colombo, Christian. editor.
https://doi.org/10.1007/978-3-030-03769-7
Format: Electronic Resources

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2024-06-03T11:32:20Z

by Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2024-06-03T11:32:20Z

by Piskac, Ruzica. editor.
https://doi.org/10.1007/978-3-030-03592-1
Format: Electronic Resources

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings

2024-06-03T11:32:20Z

by Falcone, Yliès. editor.
https://doi.org/10.1007/978-3-319-46982-9
Format: Electronic Resources

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2024-06-03T11:32:20Z

by Agha, Gul. editor.
https://doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources

Web Services, Formal Methods, and Behavioral Types 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

2024-06-03T11:32:20Z

by Hildebrandt, Thomas. editor.
https://doi.org/10.1007/978-3-319-33612-1
Format: Electronic Resources

Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

2024-06-03T11:32:20Z

by van Eekelen, Marko. editor.
https://doi.org/10.1007/978-3-319-46559-3
Format: Electronic Resources

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2024-06-03T11:32:20Z

by Blanchette, Jasmin Christian. editor.
https://doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources

Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

2024-06-03T11:32:20Z

by Fiems, Dieter. editor.
https://doi.org/10.1007/978-3-319-46433-6
Format: Electronic Resources

Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings

2024-06-03T11:32:20Z

by Dumas, Marlon. editor.
http://dx.doi.org/10.1007/978-3-540-79230-7
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

2024-06-03T11:32:20Z

by Cassez, Franck. editor.
http://dx.doi.org/10.1007/978-3-540-85778-5
Format: Electronic Resources

Analytical and Stochastic Modeling Techniques and Applications 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings

2024-06-03T11:32:20Z

by Al-Begain, Khalid. editor.
http://dx.doi.org/10.1007/978-3-540-68982-9
Format: Electronic Resources

Performance Evaluation: Metrics, Models and Benchmarks SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings

2024-06-03T11:32:20Z

by Kounev, Samuel. editor.
http://dx.doi.org/10.1007/978-3-540-69814-2
Format: Electronic Resources

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

2024-06-03T11:32:20Z

by Chitil, Olaf. editor.
http://dx.doi.org/10.1007/978-3-540-85373-2
Format: Electronic Resources

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings

2024-06-03T11:32:20Z

by Beckert, Bernhard. editor.
http://dx.doi.org/10.1007/978-3-540-79124-9
Format: Electronic Resources

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

2024-06-03T11:32:20Z

by Leucker, Martin. editor.
http://dx.doi.org/10.1007/978-3-540-89247-2
Format: Electronic Resources

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

2024-06-03T11:32:20Z

by Overhage, Sven. editor.
http://dx.doi.org/10.1007/978-3-540-77619-2
Format: Electronic Resources

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

2024-06-03T11:32:20Z

by Kordon, Fabrice. editor.
http://dx.doi.org/10.1007/978-3-540-71156-8
Format: Electronic Resources

Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

2024-06-03T11:32:20Z

by Wolter, Katinka. editor.
http://dx.doi.org/10.1007/978-3-540-75211-0
Format: Electronic Resources

Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers

2024-06-03T11:32:20Z

by Gurevich, Yuri. editor.
http://dx.doi.org/10.1007/978-3-540-73770-4
Format: Electronic Resources

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

2024-06-03T11:32:20Z

by Horváth, András. editor.
http://dx.doi.org/10.1007/11777830
Format: Electronic Resources

Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

2024-06-03T11:32:20Z

by Bravetti, Mario. editor.
http://dx.doi.org/10.1007/11841197
Format: Electronic Resources

Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers

2024-06-03T11:32:20Z

by Hofmeister, Christine. editor.
http://dx.doi.org/10.1007/11921998
Format: Electronic Resources

Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings

2024-06-03T11:32:20Z

by Reussner, Ralf. editor.
http://dx.doi.org/10.1007/11558569
Format: Electronic Resources

Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

2024-06-03T11:32:20Z

by Bravetti, Mario. editor.
http://dx.doi.org/10.1007/11549970
Format: Electronic Resources