ISoLA 2008: Porto Sani, Greece

Invited Talks

• Manfred Broy:
  Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). 1-13
  
• Dimitrios Georgakopoulos:
  Information System Engineering Supporting Observation, Orientation, Decision, and Compliant Action. 14
  

Keynote

• Jifeng He:
  Modelling Coordination and Compensation. 15-36
  

Tools and Applications in Industrial Software Quality Control

• Idir Aït-Sadoune, Yamine Aït Ameur:
  Animating Event B Models by Formal Data Models. 37-55
  
• Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin:
  Automated Formal Testing of C API Using T2C Framework. 56-70
  

Introduction of Multi-core Systems in Automotive Applications

• Torsten Polle, Michael Uelschen:
  Tailoring and Optimising Software for Automotive Multicore Systems. 71-81
  
• Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski:
  Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. 82-92
  
• Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand:
  Timing Validation of Automotive Software. 93-107
  

Model-Driven SOA

• Farhad Arbab, Natallia Kokash, Sun Meng:
  Towards Using Reo for Compliance-Aware Business Process Modeling. 108-123
  
• Bart Orriëns, Willem-Jan van den Heuvel, Mike P. Papazoglou:
  On the Risk Management and Auditing of SOA Based Business Processes. 124-138
  
• Georg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt:
  SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction. 139-154
  

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
  
• 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
  
• 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
  
• 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
  
• Paolo Greci, Fabio Martinelli, Ilaria Matteucci:
  A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. 221-236
  

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
  
• Xiaodong Ma, Ji Wang, Wei Dong:
  Computing Must and May Alias to Detect Null Pointer Dereference. 252-261
  
• Jianhua Zhao, Linzhang Wang, Xuandong Li:
  A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. 262-276
  
• Bican Xia, Lu Yang, Naijun Zhan:
  Program Verification by Reduction to Semi-algebraic Systems Solving. 277-291
  
• Liang Guo, Abhik Roychoudhury:
  Debugging Statecharts Via Model-Code Traceability. 292-306
  
• Jun Sun, Yang Liu, Jin Song Dong:
  Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. 307-322
  
• Long Quan, Zongyan Qiu, Zhiming Liu:
  Formal Use of Design Patterns and Refactoring. 323-338
  
• Zhiming Liu, Charles Morisset, Volker Stolz:
  A Component-Based Access Control Monitor. 339-353
  

Non-functional Requirements in Embedded Systems

• Boris Langer, Michael Tautschnig:
  Navigating the Requirements Jungle. 354-368
  
• Michael Paulitsch, Harald Rueß, Maria Sorea:
  Non-functional Avionics Requirements. 369-384
  
• Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs:
  A Simulation Approach for Performance Validation during Embedded Systems Design. 385-399
  
• Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs:
  Optimizing Automatic Deployment Using Non-functional Requirement Annotations. 400-414
  
• Florian Franz:
  Experiences with Evolutionary Timing Test of Automotive Software Components. 415-429
  
• Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner:
  Measurement-Based Timing Analysis. 430-444
  
• 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
  

Processes, Methods and Tools for Developing Educational Modules to Support Teaching and Technology Transfer

• J. Paul Gibson:
  Weaving a Formal Methods Education with Problem-Based Learning. 460-472
  
• Michael G. Hinchey:
  Encouraging the Uptake of Formal Methods Training in an Industrial Context. 473-477
  
• Dmitrij Koznov, Michel Pliskin:
  Computer-Supported Collaborative Learning with Mind-Maps. 478-489
  
• Tiziana Margaria, Bernhard Steffen:
  Agile IT: Thinking in User-Centric Models. 490-502
  
• Ellen Francine Barbosa, José Carlos Maldonado:
  Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules. 503-518
  

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
  
• Uwe Wolter, Zinovy Diskin:
  Contexts and Context Awareness in View of the Diagram Predicate Framework. 534-547
  
• Patricia Seefelder de Assis, Daniel Schwabe:
  The Use of Adaptive Semantic Hypermedia for Ubiquitous Collaboration Systems. 548-560
  
• Karin Koogan Breitman, Michael G. Hinchey:
  The Use of Formal Ontology to Specify Context in Ubiquitous Computing. 561-571
  
• Markus Bajohr, Tiziana Margaria:
  High Service Availability in MaTRICS for the OCS. 572-586
  
• Rodrigo O. Spínola, Felipe C. R. Pinto, Guilherme Horta Travassos:
  Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project. 587-603
  

Formal Methods for Analysing and Verifying Very Large Systems

• Jiri Barnat, Lubos Brim:
  Squeeze All the Power Out of Your Hardware to Verify Your Software!. 604-618
  
• Robert Mittermayr, Johann Blieberger:
  Static Partial-Order Reduction of Concurrent Systems in Polynomial Time. 619-633
  
• eva Kühn, Richard Mordinyi, Christian Schreiber:
  An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems, . 634-648
  

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
  
• Andries Stam:
  The ASK System and the Challenge of Distributed Knowledge Discovery. 663-668
  
• 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
  
• Axel Hahn, Stephan große Austing, Stefan Häusler, Matthias Reinelt:
  Requirements for Ontology Based Design Project Assessment. 684-692
  
• Joaquin Vanschoren, Hendrik Blockeel, Bernhard Pfahringer, Geoffrey Holmes:
  Organizing the World's Machine Learning Information. 693-708
  

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
  
• 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
  
• Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio:
  Gesper: Support to Capitalize on Experience in a Network of SMEs. 738-752
  

Regular Papers

• M. V. Arkhipova, Sergey V. Zelenov:
  Directed Generation of Test Data for Static Semantics Checker. 753-768
  
• Christian Attiogbé:
  Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network. 769-781
  
• Konstantine Arkoudas, Olin Shivers:
  Trusted Theorem Proving: A Case Study in SLD-Resolution. 782-796
  
• Roozbeh Farahbod, Uwe Glässer, P. J. Jackson, Mona Vajihollahi:
  High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM. 797-814
  
• Laura Brandán Briones, Alexander Lazovik, Philippe Dague:
  Optimizing the System Observability Level for Diagnosability. 815-830
  
• Ali Nasrat Haidar, Ali E. Abdallah:
  Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion. 831-846
  
• Raymond Boute:
  Simple Gedanken Experiments in Leveraging Applications of Formal Methods. 847-861
  
• Ali Nasrat Haidar, Ali E. Abdallah:
  Composition of Web Services Using Wrappers. 862-865