skip to content
Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II Preview this item
ClosePreview this item
Checking...

Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II

Author: Tiziana Margaria-Steffen; Bernhard Steffen
Publisher: Berlin : Springer, 2010.
Series: Lecture notes in computer science, 6416.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
Annotation The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. The 100 revised full papers presented were carefully revised and selected from numerous submissions and discuss issues related to the adoption and use of rigorous tools and methods for  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
ISoLA 2010 (4th : 2010 : Ērakleion, Greece).
Leveraging applications of formal methods, verification, and validation.
Berlin ; New York : Springer, 2010
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Tiziana Margaria-Steffen; Bernhard Steffen
ISBN: 9783642165610 3642165613
OCLC Number: 693779286
Description: 1 online resource (xix, 500 pages) : illustrations.
Contents: EternalS: Mission and Roadmap --
to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge --
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods --
SecureChange: Security Engineering for Lifelong Evolvable Systems --
3DLife: Bringing the Media Internet to Life --
LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling --
Task Forces in the EternalS Coordination Action --
Modeling and Analyzing Diversity --
Modeling and Managing System Evolution --
Self-adaptation and Evolution by Learning --
Overview of Roadmapping by EternalS --
Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing --
Adaptive Composition of Conversational Services through Graph Planning Encoding --
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks --
Error Handling: From Theory to Practice --
Modeling and Reasoning about Service Behaviors and Their Compositions --
Design and Verification of Systems with Exogenous Coordination Using Vereofy --
A Case Study in Model-Based Adaptation of Web Services --
Quantitative Verification in Practice --
Quantitative Verification in Practice --
Ten Years of Performance Evaluation for Concurrent Systems Using CADP --
Towards Dynamic Adaptation of Probabilistic Systems --
UPPAAL in Practice: Quantitative Verification of a RapidIO Network --
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study --
Model-Checking Temporal Properties of Real-Time HTL Programs --
CONNECT: Status and Plans --
Towards an Architecture for Runtime Interoperability --
On Handling Data in Automata Learning --
A Theory of Mediators for Eternal Connectors --
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring --
Dependability Analysis and Verification for Connected Systems --
Towards a Connector Algebra --
Certification of Software-Driven Medical Devices --
Certification of Software-Driven Medical Devices --
Arguing for Software Quality in an IEC 62304 Compliant Development Process --
Trustable Formal Specification for Software Certification --
Design Choices for High-Confidence Distributed Real-Time Software --
Assurance Cases in Model-Driven Development of the Pacemaker Software --
Modeling and Formalizing Industrial Software for Verification, Validation and Certification --
Improving Portability of Linux Applications by Early Detection of Interoperability Issues --
Specification Based Conformance Testing for Email Protocols --
Covering Arrays Generation Methods Survey --
Resource and Timing Analysis --
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems --
Verification of Printer Datapaths Using Timed Automata --
Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models --
A Real-World Example --
Source-Level Support for Timing Analysis --
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code --
Worst-Case Analysis of Heap Allocations --
Partial Flow Analysis with oRange --
Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems --
Context-Sensitivity in IPET for Measurement-Based Timing Analysis --
On the Role of Non-functional Properties in Compiler Verification.
Series Title: Lecture notes in computer science, 6416.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: ISoLA 2010
Responsibility: Tiziana Margaria, Bernhard Steffen (eds.).

Abstract:

Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.  Read more...

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(3)

User lists with this item (2)

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/693779286> # Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "693779286" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4417445839#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/4417445839#Topic/software_engineering> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/4417445839#Topic/informatique> ; # Informatique
   schema:about <http://dewey.info/class/005.1/e22/> ;
   schema:alternateName "ISoLA 2010" ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/57063007> ; # Bernhard Steffen
   schema:contributor <http://viaf.org/viaf/54816246> ; # Tiziana Margaria-Steffen
   schema:creator <http://experiment.worldcat.org/entity/work/data/4417445839#Meeting/isola_2010_2010_erakleion_greece> ; # ISoLA 2010 (2010 : Ērakleion, Greece)
   schema:datePublished "2010" ;
   schema:description "EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge -- HATS: Highly Adaptable and Trustworthy Software Using Formal Methods -- SecureChange: Security Engineering for Lifelong Evolvable Systems -- 3DLife: Bringing the Media Internet to Life -- LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling -- Task Forces in the EternalS Coordination Action -- Modeling and Analyzing Diversity -- Modeling and Managing System Evolution -- Self-adaptation and Evolution by Learning -- Overview of Roadmapping by EternalS -- Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing -- Adaptive Composition of Conversational Services through Graph Planning Encoding -- Performance Prediction of Service-Oriented Systems with Layered Queueing Networks -- Error Handling: From Theory to Practice -- Modeling and Reasoning about Service Behaviors and Their Compositions -- Design and Verification of Systems with Exogenous Coordination Using Vereofy -- A Case Study in Model-Based Adaptation of Web Services -- Quantitative Verification in Practice -- Quantitative Verification in Practice -- Ten Years of Performance Evaluation for Concurrent Systems Using CADP -- Towards Dynamic Adaptation of Probabilistic Systems -- UPPAAL in Practice: Quantitative Verification of a RapidIO Network -- Schedulability Analysis Using Uppaal: Herschel-Planck Case Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans -- Towards an Architecture for Runtime Interoperability -- On Handling Data in Automata Learning -- A Theory of Mediators for Eternal Connectors -- On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring -- Dependability Analysis and Verification for Connected Systems -- Towards a Connector Algebra -- Certification of Software-Driven Medical Devices -- Certification of Software-Driven Medical Devices -- Arguing for Software Quality in an IEC 62304 Compliant Development Process -- Trustable Formal Specification for Software Certification -- Design Choices for High-Confidence Distributed Real-Time Software -- Assurance Cases in Model-Driven Development of the Pacemaker Software -- Modeling and Formalizing Industrial Software for Verification, Validation and Certification -- Improving Portability of Linux Applications by Early Detection of Interoperability Issues -- Specification Based Conformance Testing for Email Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems -- Verification of Printer Datapaths Using Timed Automata -- Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models -- A Real-World Example -- Source-Level Support for Timing Analysis -- Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code -- Worst-Case Analysis of Heap Allocations -- Partial Flow Analysis with oRange -- Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems -- Context-Sensitivity in IPET for Measurement-Based Timing Analysis -- On the Role of Non-functional Properties in Compiler Verification."@en ;
   schema:description "Annotation The two volume set LNCS 6415 and LNCS 6416 constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010. The 100 revised full papers presented were carefully revised and selected from numerous submissions and discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. The 46 papers of the first volume are organized in topical sections on new challenges in the development of critical embedded systems, formal languages and methods for designing and verifying complex embedded systems, worst-case traversal time (WCTT), tools in scientific workflow composition, emerging services and technologies for a converging telecommunications / Web world in smart environments of the internet of things, Web science, model transformation and analysis for industrial scale validation, and learning techniques for software verification and validation. The second volume presents 54 papers addressing the following topics: EternalS: mission and roadmap, formal methods in model-driven development for service-oriented and cloud computing, quantitative verification in practice, CONNECT: status and plans, certification of software-driven medical devices, modeling and formalizing industrial software for verification, validation and certification, and resource and timing analysis."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/4417445839> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4417445839#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4417445839#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> ; # LNCS sublibrary. SL 1, Theoretical computer science and general issues
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4417445839#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/4417445839#CreativeWork/leveraging_applications_of_formal_methods_verification_and_validation> ;
   schema:name "Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II"@en ;
   schema:productID "693779286" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/693779286#PublicationEvent/berlin_springer_2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/4417445839#Agent/springer> ; # Springer
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-642-16560-3> ;
   schema:url <http://link.springer.com/10.1007/978-3-642-16561-0> ;
   schema:url <http://rave.ohiolink.edu/ebooks/ebc/9783642165610> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-642-16560-3> ;
   schema:url <https://grinnell.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-642-16561-0> ;
   schema:url <http://site.ebrary.com/id/10427760> ;
   schema:url <http://dx.doi.org/10.1007/978-3-642-16561-0> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3066051> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-642-16561-0> ;
   schema:workExample <http://worldcat.org/isbn/9783642165610> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/693779286> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4417445839#Place/erakleion_greece> # Ērakleion, Greece)
    a schema:Place ;
   schema:name "Ērakleion, Greece)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4417445839#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/693779286> ; # Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4417445839#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/693779286> ; # Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/4417445839#Series/lncs_sublibrary_sl_1_theoretical_computer_science_and_general_issues> # LNCS sublibrary. SL 1, Theoretical computer science and general issues
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/693779286> ; # Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II
   schema:name "LNCS sublibrary. SL 1, Theoretical computer science and general issues" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://viaf.org/viaf/54816246> # Tiziana Margaria-Steffen
    a schema:Person ;
   schema:birthDate "1964" ;
   schema:familyName "Margaria-Steffen" ;
   schema:givenName "Tiziana" ;
   schema:name "Tiziana Margaria-Steffen" ;
    .

<http://viaf.org/viaf/57063007> # Bernhard Steffen
    a schema:Person ;
   schema:familyName "Steffen" ;
   schema:givenName "Bernhard" ;
   schema:name "Bernhard Steffen" ;
    .

<http://worldcat.org/entity/work/data/4417445839#CreativeWork/leveraging_applications_of_formal_methods_verification_and_validation>
    a schema:CreativeWork ;
   rdfs:label "Leveraging applications of formal methods, verification, and validation." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/693779286> ; # Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II
    .

<http://worldcat.org/isbn/9783642165610>
    a schema:ProductModel ;
   schema:isbn "3642165613" ;
   schema:isbn "9783642165610" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/693779286> ; # Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/693779286>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/693779286> ; # Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II
   schema:dateModified "2017-12-22" ;
   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.