ISoLA 2010:
Heraklion,
Crete,
Greece
Tiziana Margaria, Bernhard Steffen (Eds.):
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
Formal Methods in Model-Driven Development for Service-Oriented and Cloud Computing
- Pascal Poizat, Yuhong Yan:
Adaptive Composition of Conversational Services through Graph Planning Encoding.
35-50
- Mirco Tribastone, Philip Mayer, Martin Wirsing:
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks.
51-65
- Ivan Lanese, Fabrizio Montesi:
Error Handling: From Theory to Practice.
66-81
- Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson:
Modeling and Reasoning about Service Behaviors and Their Compositions.
82-96
- Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister:
Design and Verification of Systems with Exogenous Coordination Using Vereofy.
97-111
- Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel:
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, Jaco van de Pol, Jan Tretmans, Jeroen Voeten:
UPPAAL in Practice: Quantitative Verification of a RapidIO Network.
160-174
- Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard:
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study.
175-190
- André Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simão Melo de Sousa:
Model-Checking Temporal Properties of Real-Time HTL Programs.
191-205
CONNECT:
Status and Plans
- Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valérie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville:
Towards an Architecture for Runtime Interoperability.
206-220
- Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel:
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, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese:
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring.
251-262
- Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu:
Dependability Analysis and Verification for Connected Systems.
263-277
- Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli:
Towards a Connector Algebra.
278-292
Certification of Software-Driven Medical Devices
Modeling and Formalizing Industrial Software for Verification,
Validation and Certification
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, Ralph Wittmann:
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, Benedikt Huber, Martin Schoeberl:
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, Christian Eltges:
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
Last update Fri May 25 08:24:15 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
