ISoLA 2008:
Porto Sani,
Greece
Tiziana Margaria, Bernhard Steffen (Eds.):
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings.
Communications in Computer and Information Science 17 Springer 2008, ISBN 978-3-540-88478-1 BibTeX
Invited Talks
Keynote
Tools and Applications in Industrial Software Quality Control
Introduction of Multi-core Systems in Automotive Applications
- Torsten Polle, Michael Uelschen:
Tailoring and Optimising Software for Automotive Multicore Systems.
71-81
Electronic Edition (link) BibTeX
- Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski:
Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications.
82-92
Electronic Edition (link) BibTeX
- Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand:
Timing Validation of Automotive Software.
93-107
Electronic Edition (link) BibTeX
Model-Driven SOA
Applications of Formal Approaches to Service-Oriented Computing
- Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes:
A Use-Case Driven Approach to Formal Service-Oriented Modelling.
155-169
Electronic Edition (link) BibTeX
- Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
170-190
Electronic Edition (link) BibTeX
- Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone:
Safety and Response-Time Analysis of an Automotive Accident Assistance Service.
191-205
Electronic Edition (link) BibTeX
- Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli:
A Framework for Analyzing and Testing the Performance of Software Services.
206-220
Electronic Edition (link) BibTeX
- Paolo Greci, Fabio Martinelli, Ilaria Matteucci:
A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application.
221-236
Electronic Edition (link) BibTeX
Trustworthy Computing:
Theories,
Methods,
Tools and Experience in China and South East Asia
- Naiyong Jin, Huibiao Zhu:
ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions.
237-251
Electronic Edition (link) BibTeX
- Xiaodong Ma, Ji Wang, Wei Dong:
Computing Must and May Alias to Detect Null Pointer Dereference.
252-261
Electronic Edition (link) BibTeX
- Jianhua Zhao, Linzhang Wang, Xuandong Li:
A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking.
262-276
Electronic Edition (link) BibTeX
- Bican Xia, Lu Yang, Naijun Zhan:
Program Verification by Reduction to Semi-algebraic Systems Solving.
277-291
Electronic Edition (link) BibTeX
- Liang Guo, Abhik Roychoudhury:
Debugging Statecharts Via Model-Code Traceability.
292-306
Electronic Edition (link) BibTeX
- Jun Sun, Yang Liu, Jin Song Dong:
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit.
307-322
Electronic Edition (link) BibTeX
- Long Quan, Zongyan Qiu, Zhiming Liu:
Formal Use of Design Patterns and Refactoring.
323-338
Electronic Edition (link) BibTeX
- Zhiming Liu, Charles Morisset, Volker Stolz:
A Component-Based Access Control Monitor.
339-353
Electronic Edition (link) BibTeX
Non-functional Requirements in Embedded Systems
- Boris Langer, Michael Tautschnig:
Navigating the Requirements Jungle.
354-368
Electronic Edition (link) BibTeX
- Michael Paulitsch, Harald Rueß, Maria Sorea:
Non-functional Avionics Requirements.
369-384
Electronic Edition (link) BibTeX
- Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs:
A Simulation Approach for Performance Validation during Embedded Systems Design.
385-399
Electronic Edition (link) BibTeX
- Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs:
Optimizing Automatic Deployment Using Non-functional Requirement Annotations.
400-414
Electronic Edition (link) BibTeX
- Florian Franz:
Experiences with Evolutionary Timing Test of Automotive Software Components.
415-429
Electronic Edition (link) BibTeX
- Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner:
Measurement-Based Timing Analysis.
430-444
Electronic Edition (link) BibTeX
- Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat:
ALL-TIMES - A European Project on Integrating Timing Technology.
445-459
Electronic Edition (link) BibTeX
Processes,
Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer
Ubiquitous and Context Aware Systems
- Isabel Cafezeiro, José Viterbo Filho, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler:
A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing.
519-533
Electronic Edition (link) BibTeX
- Uwe Wolter, Zinovy Diskin:
Contexts and Context Awareness in View of the Diagram Predicate Framework.
534-547
Electronic Edition (link) BibTeX
- Patricia Seefelder de Assis, Daniel Schwabe:
The Use of Adaptive Semantic Hypermedia for Ubiquitous Collaboration Systems.
548-560
Electronic Edition (link) BibTeX
- Karin Koogan Breitman, Michael G. Hinchey:
The Use of Formal Ontology to Specify Context in Ubiquitous Computing.
561-571
Electronic Edition (link) BibTeX
- Markus Bajohr, Tiziana Margaria:
High Service Availability in MaTRICS for the OCS.
572-586
Electronic Edition (link) BibTeX
- Rodrigo O. Spínola, Felipe C. R. Pinto, Guilherme Horta Travassos:
Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project.
587-603
Electronic Edition (link) BibTeX
Formal Methods for Analysing and Verifying Very Large Systems
Tools for Service-Oriented Discovery of Knowledge
- Jeroen S. de Bruin, Joost N. Kok, Nada Lavrac, Igor Trajkovski:
On the Design of Knowledge Discovery Services Design Patterns and Their Application in a Use Case Implementation.
649-662
Electronic Edition (link) BibTeX
- Andries Stam:
The ASK System and the Challenge of Distributed Knowledge Discovery.
663-668
Electronic Edition (link) BibTeX
- Fabrice Colas, Ingrid Meulenbelt, Jeanine J. Houwing-Duistermaat, Margreet Kloppenburg, Iain Watt, Stephanie M. van Rooden, Martine Visser, Johan Marinus, Edward O. Cannon, Andreas Bender, Jacobus J. van Hilten, P. Eline Slagboom, Joost N. Kok:
A Scenario Implementation in Rfor SubtypeDiscoveryExamplified on Chemoinformatics Data.
669-683
Electronic Edition (link) BibTeX
- Axel Hahn, Stephan große Austing, Stefan Häusler, Matthias Reinelt:
Requirements for Ontology Based Design Project Assessment.
684-692
Electronic Edition (link) BibTeX
- Joaquin Vanschoren, Hendrik Blockeel, Bernhard Pfahringer, Geoffrey Holmes:
Organizing the World's Machine Learning Information.
693-708
Electronic Edition (link) BibTeX
Tackling the Challenges of Software Development Process for SMEs with Rigorous Support and Open Source
- Ruth Breu, Alexander Lechner, Mathias Willburger, Basel Katt:
Workflow Testing.
709-723
Electronic Edition (link) BibTeX
- Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh:
The jABC Approach to Rigorous Collaborative Development of SCM Applications.
724-737
Electronic Edition (link) BibTeX
- Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio:
Gesper: Support to Capitalize on Experience in a Network of SMEs.
738-752
Electronic Edition (link) BibTeX
Regular Papers
- M. V. Arkhipova, Sergey V. Zelenov:
Directed Generation of Test Data for Static Semantics Checker.
753-768
Electronic Edition (link) BibTeX
- Christian Attiogbé:
Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network.
769-781
Electronic Edition (link) BibTeX
- Konstantine Arkoudas, Olin Shivers:
Trusted Theorem Proving: A Case Study in SLD-Resolution.
782-796
Electronic Edition (link) BibTeX
- Roozbeh Farahbod, Uwe Glässer, P. J. Jackson, Mona Vajihollahi:
High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.
797-814
Electronic Edition (link) BibTeX
- Laura Brandán Briones, Alexander Lazovik, Philippe Dague:
Optimizing the System Observability Level for Diagnosability.
815-830
Electronic Edition (link) BibTeX
- Ali Nasrat Haidar, Ali E. Abdallah:
Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion.
831-846
Electronic Edition (link) BibTeX
- Raymond Boute:
Simple Gedanken Experiments in Leveraging Applications of Formal Methods.
847-861
Electronic Edition (link) BibTeX
- Ali Nasrat Haidar, Ali E. Abdallah:
Composition of Web Services Using Wrappers.
862-865
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:26:00 2009
by Michael Ley (ley@uni-trier.de)
