Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011.<br>The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demon...

Description complète

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Sen, Koushik, Khurshid, Sarfraz
Format:	eBook
Langue:	English
Publié:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Collection:	Lecture Notes in Computer Science 7186
Sujets:	Computer science. Software engineering. Computer software. Logic design.
Accès en ligne:	Click here to view the full text content
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Publié: (2013)

Runtime verification : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
Publié: (2013)

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

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

Runtime verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
Publié: (2007)

Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

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

Verification, model Checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
Publié: (2011)

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Publié: (2007)

Hardware and software: verification and testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Publié: (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 /
Publié: (2006)

Hardware and software, verification and testing / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
par: Ur, Shmuel
Publié: (2006)

Formal verification of object-oriented software international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, revised selected papers /
Publié: (2012)

Hardware and software: verification and testing 4th international haifa verification conference, HVC 2008, Haifa, Israel, october 27-30, 2008. proceedings /
Publié: (2009)

Verification, model checking, and abstract interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
Publié: (2012)

Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
Publié: (2010)

Perspectives of systems informatics: 8th International Andrei ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /
Publié: (2012)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Publié: (2013)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Publié: (2012)

Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Publié: (2012)

Formal verification of object-oriented software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers /
Publié: (2011)

Computer aided verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /
Publié: (2013)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
Publié: (2012)

Foundational and practical aspects of resource analysis second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, revised selected papers /
Publié: (2012)

Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
Publié: (2014)

Verification, model checking, and abstract interpretation (vol. # 3855) : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Graph structures for knowledge representation and reasoning : Second international workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers /
Publié: (2012)

Verification, model checking, and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
Publié: (2007)

Reversible computation : Third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
Publié: (2012)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Publié: (2013)

Verification, model checking, and abstract interpretation (vol. # 3385) 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
par: Cousot, Radhia
Publié: (2005)

Machines, computations, and Universality 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, revised selected papers
par: Margenstern, Maurice
Publié: (2005)

Implementation and application of automata (vol. # 3845) : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /

Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures /
Publié: (2012)

Computer aided verification 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Publié: (2009)

Automated technology for verification and analysis 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings /
Publié: (2010)

Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers /
Publié: (2007)

Business process management 8th international conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings /
Publié: (2010)

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
Publié: (2013)

Applications of graph transformations with industrial relevance : 4th International symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /
Publié: (2012)