Advertisement

Runtime Verification

First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

  • Howard Barringer
  • Ylies Falcone
  • Bernd Finkbeiner
  • Klaus Havelund
  • Insup Lee
  • Gordon Pace
  • Grigore Roşu
  • Oleg Sokolsky
  • Nikolai Tillmann

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6418)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton, Elizabeth Latronico
      Pages 1-15
    2. Wim De Pauw, Mihai Leţia, Buğra Gedik, Henrique Andrade, Andy Frenkiel, Michael Pfeifer et al.
      Pages 18-35
    3. Matthew B. Dwyer, Rahul Purandare, Suzette Person
      Pages 36-50
    4. Martin Odersky
      Pages 51-57
  3. Tutorials

    1. Cyrille Valentin Artho
      Pages 59-73
    2. Yliès Falcone
      Pages 89-105
    3. Sylvain Hallé, Roger Villemaire
      Pages 106-121
    4. Axel Legay, Benoît Delahaye, Saddek Bensalem
      Pages 122-135
    5. Patrick Meredith, Grigore Roşu
      Pages 136-152
  4. Regular and Short Papers

    1. Michael Achenbach, Klaus Ostermann
      Pages 153-167
    2. Philippe Beaucamps, Isabelle Gnaedig, Jean-Yves Marion
      Pages 168-182
    3. Selim Ciraci, Somayeh Malakuti, Shmuel Katz, Mehmet Aksit
      Pages 198-213
    4. Christian Colombo, Gordon J. Pace, Patrick Abela
      Pages 214-228
    5. Brian Demsky, Jin Zhou, William Montaz
      Pages 229-244
    6. Boris Feigin, Alan Mycroft
      Pages 245-252
    7. Gregor Gössler, Daniel Le Métayer, Jean-Baptiste Raclet
      Pages 270-284
    8. Chang Hwan Peter Kim, Eric Bodden, Don Batory, Sarfraz Khurshid
      Pages 285-299
    9. Etienne Kneuss, Philippe Suter, Viktor Kuncak
      Pages 300-314
    10. Johan Kraft, Anders Wall, Holger Kienle
      Pages 315-329
    11. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis
      Pages 330-344
    12. Lee Pike, Alwyn Goodloe, Robin Morisset, Sebastian Niller
      Pages 345-359
    13. Musfiq Rahman, Bruce R. Childers, Sangyeun Cho
      Pages 360-367
    14. Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin Vechev, Eran Yahav
      Pages 368-383
    15. Ali Sezgin, Serdar Tasiran, Kivanc Muslu, Shaz Qadeer
      Pages 384-398
    16. Johann Schumann, Ashok N. Srivastava, Ole J. Mengshoel
      Pages 399-404
    17. Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka et al.
      Pages 405-420
    18. Deian Tabakov, Moshe Y. Vardi
      Pages 436-451
    19. Cristina M. Wilcox, Brian C. Williams
      Pages 452-459
    20. Cristian Zamfir, George Candea
      Pages 460-468
  5. Tool Demonstrations

    1. Djihed Afifi, David E. Rydeheard, Howard Barringer
      Pages 469-474
    2. Gianluca Amato, Maurizio Parton, Francesca Scozzari
      Pages 475-479
    3. Christian Colombo, Andrew Gauci, Gordon J. Pace
      Pages 480-484
  6. Back Matter

About these proceedings

Keywords

Debugging Simulation algorithm analysis dynamic program analysis embedded systems fault protection program understanding program validation runtime analysis runtime reflection specification languages structured analysis testing tracing verification

Editors and affiliations

  • Howard Barringer
    • 1
  • Ylies Falcone
    • 2
  • Bernd Finkbeiner
    • 3
  • Klaus Havelund
    • 4
  • Insup Lee
    • 5
  • Gordon Pace
    • 6
  • Grigore Roşu
    • 7
  • Oleg Sokolsky
    • 5
  • Nikolai Tillmann
    • 8
  1. 1.School of Computer ScienceUniversity of ManchesterManchesterUK
  2. 2.INRIARennes - Bretagne AtlantiqueFrance
  3. 3.Department of Computer ScienceSaarland UniversitySaarbrückenGermany
  4. 4.Jet Propulsion Laboratory, M/S 3041-285PasadenaUSA
  5. 5.PRECISE Center, Department of Computer and Information ScienceUniversity of PennsylvaniaPhiladelphiaUSA
  6. 6.Department of Computer ScienceUniversity of MaltaMsidaMalta
  7. 7.Department of Computer ScienceUniversity of Illinois at Urbana-ChampaignUrbanaUSA
  8. 8.Microsoft Research,RedmondUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-16612-9
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16611-2
  • Online ISBN 978-3-642-16612-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site