skip to content
Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers Preview this item
ClosePreview this item
Checking...

Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers

Author: Saddek Bensalem; Doron A Peled
Publisher: Berlin ; New York : Springer, ©2009.
Series: Lecture notes in computer science, 5779.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Grenobble (2009)
Grenoble (2009)
Kongress
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Saddek Bensalem; Doron A Peled
ISBN: 9783642046933 3642046932
OCLC Number: 449849018
Description: 201 pages : illustrations ; 24 cm.
Contents: Rule Systems for Runtime Verification: A Short Tutorial.- Verification, Testing and Statistics.- Type-Separated Bytecode - Its Construction and Evaluation.- Runtime Verification of Safety-Progress Properties.- Monitor Circuits for LTL with Bounded and Unbounded Future.- State Joining and Splitting for the Symbolic Execution of Binaries.- The LIME Interface Specification Language and Runtime Monitoring Tool.- A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.- Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming.- Runtime Verification of C Memory Safety.- A Combined On-Line/Off-Line Framework for Black-Box Fault Diagnosis.- Hardware Supported Flexible Monitoring: Early Results.- DMaC: Distributed Monitoring and Checking.
Series Title: Lecture notes in computer science, 5779.; LNCS sublibrary., SL 2,, Programming and software engineering.
Responsibility: Saddek Bensalem, Doron A. Peled (eds.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/449849018> # Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "449849018" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/335100406#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.loc.gov/authorities/subjects/sh2005004988> ; # Aspect-oriented programming
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/softwaretest> ; # Softwaretest
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/datensicherung> ; # Datensicherung
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/echtzeitverarbeitung> ; # Echtzeitverarbeitung
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/testen> ; # Testen
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/echtzeitsystem> ; # Echtzeitsystem
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/computer_software_testing> ; # Computer software--Testing
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/monitoring_informatik> ; # Monitoring (Informatik)
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/verifikation> ; # Verifikation
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/formale_methode> ; # Formale Methode
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/model_checking> ; # Model Checking
   schema:about <http://id.worldcat.org/fast/1739787> ; # Aspect-oriented programming
   schema:about <http://dewey.info/class/004/> ;
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/software> ; # Software
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/computersicherheit> ; # Computersicherheit
   schema:about <http://id.worldcat.org/fast/872604> ; # Computer software--Verification
   schema:about <http://id.worldcat.org/fast/872601> ; # Computer software--Testing
   schema:about <http://experiment.worldcat.org/entity/work/data/335100406#Topic/computer_software_verification> ; # Computer software--Verification
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/306105071> ; # Saddek Bensalem
   schema:contributor <http://viaf.org/viaf/85346726> ; # Doron A. Peled
   schema:copyrightYear "2009" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/335100406#Meeting/rv_workshop_9th_2009_grenoble_france> ; # RV (Workshop) (9th : 2009 : Grenoble, France)
   schema:datePublished "2009" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/335100406> ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Grenoble (2009)"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Grenobble (2009)"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/335100406#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/335100406#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary: SL 2-programming and software engineering
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/335100406#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:name "Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers"@en ;
   schema:productID "449849018" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/449849018#PublicationEvent/berlin_new_york_springer_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/335100406#Agent/springer> ; # Springer
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy1402/2009935005-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9783642046933> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/449849018> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/335100406#Meeting/rv_workshop_9th_2009_grenoble_france> # RV (Workshop) (9th : 2009 : Grenoble, France)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/335100406#Place/grenoble_france> ; # Grenoble, France)
   schema:name "RV (Workshop) (9th : 2009 : Grenoble, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/335100406#Place/grenoble_france> # Grenoble, France)
    a schema:Place ;
   schema:name "Grenoble, France)" ;
    .

<http://experiment.worldcat.org/entity/work/data/335100406#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/449849018> ; # Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/335100406#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/449849018> ; # Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/335100406#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary: SL 2-programming and software engineering
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/449849018> ; # Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers
   schema:name "LNCS sublibrary: SL 2-programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/335100406#Topic/echtzeitverarbeitung> # Echtzeitverarbeitung
    a schema:Intangible ;
   schema:name "Echtzeitverarbeitung"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/335100406#Topic/monitoring_informatik> # Monitoring (Informatik)
    a schema:Intangible ;
   schema:name "Monitoring (Informatik)"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh2005004988> # Aspect-oriented programming
    a schema:Intangible ;
   schema:name "Aspect-oriented programming"@en ;
    .

<http://id.worldcat.org/fast/1739787> # Aspect-oriented programming
    a schema:Intangible ;
   schema:name "Aspect-oriented programming"@en ;
    .

<http://id.worldcat.org/fast/872601> # Computer software--Testing
    a schema:Intangible ;
   schema:name "Computer software--Testing"@en ;
    .

<http://id.worldcat.org/fast/872604> # Computer software--Verification
    a schema:Intangible ;
   schema:name "Computer software--Verification"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
   schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/306105071> # Saddek Bensalem
    a schema:Person ;
   schema:familyName "Bensalem" ;
   schema:givenName "Saddek" ;
   schema:name "Saddek Bensalem" ;
    .

<http://viaf.org/viaf/85346726> # Doron A. Peled
    a schema:Person ;
   schema:birthDate "1962" ;
   schema:familyName "Peled" ;
   schema:givenName "Doron A." ;
   schema:name "Doron A. Peled" ;
    .

<http://worldcat.org/isbn/9783642046933>
    a schema:ProductModel ;
   schema:isbn "3642046932" ;
   schema:isbn "9783642046933" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/449849018> ; # Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/449849018>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/449849018> ; # Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers
   schema:dateModified "2017-09-02" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.