default search action
ISoLA 2010: Heraklion, Crete, Greece
- Tiziana Margaria
, Bernhard Steffen:
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. Lecture Notes in Computer Science 6416, Springer 2010, ISBN 978-3-642-16560-3
EternalS: Mission and Roadmap
- Alessandro Moschitti
Introduction to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge. 1-2 - Reiner Hähnle
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods. 3-8 - Riccardo Scandariato, Fabio Massacci
SecureChange: Security Engineering for Lifelong Evolvable Systems. 9-12 - Ebroul Izquierdo, Tomas Piatrik, Qianni Zhang
3DLife: Bringing the Media Internet to Life. 13-14 - Alessandro Moschitti
LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling. 15-19 - Reiner Hähnle
Task Forces in the EternalS Coordination Action. 20-22 - Ina Schaefer:
Modeling and Analyzing Diversity - Description of EternalS Task Force 1. 23-25 - Michael Hafner:
Modeling and Managing System Evolution - Description of EternalS Task Force 2. 26-29 - Richard Johansson:
Self-adaptation and Evolution by Learning - Description of EternalS Task Force 3. 30-31 - Jim Clarke, Keith Howker:
Overview of Roadmapping by EternalS. 32-34
Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing
- Pascal Poizat
Adaptive Composition of Conversational Services through Graph Planning Encoding. 35-50 - Mirco Tribastone
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. 51-65 - Ivan Lanese
Error Handling: From Theory to Practice. 66-81 - Aida Causevic, Cristina Cerschi Seceleanu
Modeling and Reasoning about Service Behaviors and Their Compositions. 82-96 - Christel Baier, Tobias Blechmann, Joachim Klein
Design and Verification of Systems with Exogenous Coordination Using Vereofy. 97-111 - Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal
A Case Study in Model-Based Adaptation of Web Services. 112-126
Quantitative Verification in Practice
- Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen:
Quantitative Verification in Practice. 127 - Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe:
Ten Years of Performance Evaluation for Concurrent Systems Using CADP. 128-142 - Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Towards Dynamic Adaptation of Probabilistic Systems. 143-159 - Jiansheng Xing, Bart D. Theelen, Rom Langerak
UPPAAL in Practice: Quantitative Verification of a RapidIO Network. 160-174 - Marius Mikucionis
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. 175-190 - André Carvalho, Joel Carvalho, Jorge Sousa Pinto
Model-Checking Temporal Properties of Real-Time HTL Programs. 191-205
CONNECT: Status and Plans
- Amel Bennaceur
Towards an Architecture for Runtime Interoperability. 206-220 - Falk Howar
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. 221-235 - Paola Inverardi, Valérie Issarny, Romina Spalazzese
A Theory of Mediators for Eternal Connectors. 236-250 - Antonia Bertolino
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. 251-262 - Felicita Di Giandomenico, Marta Z. Kwiatkowska
Dependability Analysis and Verification for Connected Systems. 263-277 - Marco Autili
Towards a Connector Algebra. 278-292
Certification of Software-Driven Medical Devices
- Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Certification of Software-Driven Medical Devices. 293-295 - Michaela Huhn, Axel Zechner:
Arguing for Software Quality in an IEC 62304 Compliant Development Process. 296-311 - Dominique Méry, Neeraj Kumar Singh:
Trustable Formal Specification for Software Certification. 312-326 - Sebastian Fischmeister, Akramul Azim:
Design Choices for High-Confidence Distributed Real-Time Software. 327-342 - Eunkyoung Jee, Insup Lee, Oleg Sokolsky:
Assurance Cases in Model-Driven Development of the Pacemaker Software. 343-356
Modeling and Formalizing Industrial Software for Verification, Validation and Certification
- Denis V. Silakov, Andrey Smachev:
Improving Portability of Linux Applications by Early Detection of Interoperability Issues. 357-370 - Nikolay V. Pakulin
Specification Based Conformance Testing for Email Protocols. 371-381 - Victor V. Kuliamin
Covering Arrays Generation Methods Survey. 382-396
Resource and Timing Analysis
- Steffen Kollmann, Victor Pollex, Kilian Kempf, Frank Slomka:
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems. 397-411 - Georgeta Igna, Frits W. Vaandrager:
Verification of Printer Datapaths Using Timed Automata. 412-423 - Klaus Birken, Daniel Hünig, Thomas Rustemeyer
Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models - A Real-World Example. 424-433 - Gergö Barany, Adrian Prantl:
Source-Level Support for Timing Analysis. 434-448 - Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa:
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. 449-463 - Wolfgang Puffitsch
Worst-Case Analysis of Heap Allocations. 464-478 - Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé:
Partial Flow Analysis with oRange. 479-482 - Jörn Schneider
Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems. 483-486 - Michael Zolda, Sven Bünte, Raimund Kirner
Context-Sensitivity in IPET for Measurement-Based Timing Analysis. 487-490 - Jens Knoop, Wolf Zimmermann:
On the Role of Non-functional Properties in Compiler Verification. 491-495
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: