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 /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2010.
|
| Σειρά: | Lecture Notes in Computer Science,
6416 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
