default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISoLA 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, 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
- 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, Anastasia Tugaenko:
Specification Based Conformance Testing for Email Protocols. 371-381 - Victor V. Kuliamin, Alexander Petukhov:
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, 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
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 2025-01-23 20:18 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:
