Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /

Runtime verification : third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised selected papers /

Saved in:

Bibliographic Details
Meeting name:	RV (Conference) (3rd : 2012 : Istanbul, Turkey)
Imprint:	Berlin ; New York : Springer, ©2013.
Description:	1 online resource.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 7687 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 7687. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Computer software -- Verification -- Congresses. Formal methods (Computer science) -- Congresses. Computer software -- Testing -- Congresses. Computer software -- Testing. Computer software -- Verification. Formal methods (Computer science) Software. Conference papers and proceedings. Congresses.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11078066

Hidden Bibliographic Details
Varying Form of Title:	RV 2012
Other authors / contributors:	Qadeer, Shaz. Tasiran, Serdar.
ISBN:	9783642356322 364235632X 3642356311 9783642356315 9783642356315
Notes:	Includes bibliographical references and index.
Summary:	This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.

Similar Items

Runtime verification : 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings /
Published: (2015)

Runtime verification : second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Published: (2012)

Runtime verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Published: (2014)

Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings /
Published: (2019)

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, proceedings /
Published: (2013)

Runtime verification : 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
Published: (2017)

Runtime verification : 21st international conference, RV 2021, virtual event, October 11-14, 2021 : proceedings /
Published: (2021)

Runtime verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings /
Published: (2018)

Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings /
Published: (2016)

Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /
Published: (2007)

Lectures on runtime verification : introductory and advanced topics /
Published: (2018)

Tests and proofs : 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012. Proceedings /
Published: (2012)

Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings /
Published: (2011)

Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings /
Published: (2010)

Runtime verification : 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings /
Published: (2020)

Leveraging applications of formal methods, verification and validation : applications and case studies ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings. Part II /
Published: (2012)

Leveraging applications of formal methods, verification and validation : technologies for mastering change ; 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings. Part I /
Published: (2012)

Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday /
Published: (2011)

Formal methods and software engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012 : proceedings /
Published: (2012)

Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers /
Published: (2006)

Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers /
Published: (2006)

Complete symbolic simulation of SystemC models : efficient formal verification of finite non-terminating programs /
by: Herdt, Vladimir
Published: (2016)

Leveraging applications of formal methods, verification and validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings /
Published: (2021)

Leveraging applications of formal methods, verification and validation : tools and trends : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part IV /
Published: (2021)

Formal verification of object-oriented software : international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
Published: (2011)

System specification and design languages : selected contributions from FDL 2010 /
Published: (2012)

Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers /
Published: (2009)

Model checking, synthesis, and learning : essays dedicated to Bengt Jonsson on the occasion of his 60th birthday /
Published: (2021)

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
Published: (2016)

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /
Published: (2009)

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Published: (2017)

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings /
Published: (2013)

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, proceedings /
Published: (2012)

Runtime verification : first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010 : proceedings /
Published: (2010)

Formal methods : applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Published: (2007)

Leveraging applications of formal methods, verification and validation : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020 : proceedings. Part II /
Published: (2020)

Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Published: (2014)

Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /
Published: (2019)

Tests and proofs : 4th international conference, TAP 2010, Málaga, Spain, July 1-2, 2010 : proceedings /
Published: (2010)

Formal verification of object-oriented software : International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised selected papers /
Published: (2012)