Table of Contents

• Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)Manfred Broy. 1-13 [doi]
• Information System Engineering Supporting Observation, Orientation, Decision, and Compliant ActionDimitrios Georgakopoulos. 14 [doi]
• Modelling Coordination and CompensationJifeng He. 15-36 [doi]
• Animating Event B Models by Formal Data ModelsIdir Aït-Sadoune, Yamine Aït Ameur. 37-55 [doi]
• Automated Formal Testing of C API Using T2C FrameworkAlexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin. 56-70 [doi]
• Tailoring and Optimising Software for Automotive Multicore SystemsTorsten Polle, Michael Uelschen. 71-81 [doi]
• Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive ApplicationsEva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski. 82-92 [doi]
• Timing Validation of Automotive SoftwareDaniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand. 93-107 [doi]
• Towards Using Reo for Compliance-Aware Business Process ModelingFarhad Arbab, Natallia Kokash, Sun Meng. 108-123 [doi]
• On the Risk Management and Auditing of SOA Based Business ProcessesBart Orriëns, Willem-Jan van den Heuvel, Mike P. Papazoglou. 124-138 [doi]
• SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service ConstructionGeorg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt. 139-154 [doi]
• A Use-Case Driven Approach to Formal Service-Oriented ModellingLaura Bocchi, José Luiz Fiadeiro, Antónia Lopes. 155-169 [doi]
• SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and DynamicityMartin 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ó. 170-190 [doi]
• Safety and Response-Time Analysis of an Automotive Accident Assistance ServiceAshok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone. 191-205 [doi]
• A Framework for Analyzing and Testing the Performance of Software ServicesAntonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli. 206-220 [doi]
• A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device ApplicationPaolo Greci, Fabio Martinelli, Ilaria Matteucci. 221-236 [doi]
• ASERE: Assuring the Satisfiability of Sequential Extended Regular ExpressionsNaiyong Jin, Huibiao Zhu. 237-251 [doi]
• Computing Must and May Alias to Detect Null Pointer DereferenceXiaodong Ma, Ji Wang, Wei Dong. 252-261 [doi]
• A Partial Order Reduction Technique for Parallel Timed Automaton Model CheckingJianhua Zhao, Linzhang Wang, Xuandong Li. 262-276 [doi]
• Program Verification by Reduction to Semi-algebraic Systems SolvingBican Xia, Lu Yang, Naijun Zhan. 277-291 [doi]
• Debugging Statecharts Via Model-Code TraceabilityLiang Guo, Abhik Roychoudhury. 292-306 [doi]
• Model Checking CSP Revisited: Introducing a Process Analysis ToolkitJun Sun 0001, Yang Liu, Jin Song Dong. 307-322 [doi]
• Formal Use of Design Patterns and RefactoringLong Quan, Zongyan Qiu, Zhiming Liu. 323-338 [doi]
• A Component-Based Access Control MonitorZhiming Liu, Charles Morisset, Volker Stolz. 339-353 [doi]
• Navigating the Requirements JungleBoris Langer, Michael Tautschnig. 354-368 [doi]
• Non-functional Avionics RequirementsMichael Paulitsch, Harald Rueß, Maria Sorea. 369-384 [doi]
• A Simulation Approach for Performance Validation during Embedded Systems DesignZhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs. 385-399 [doi]
• Optimizing Automatic Deployment Using Non-functional Requirement AnnotationsStefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs. 400-414 [doi]
• Experiences with Evolutionary Timing Test of Automotive Software ComponentsFlorian Franz. 415-429 [doi]
• Measurement-Based Timing AnalysisIngomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner. 430-444 [doi]
• ALL-TIMES - A European Project on Integrating Timing TechnologyJan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat. 445-459 [doi]
• Weaving a Formal Methods Education with Problem-Based LearningJ. Paul Gibson. 460-472 [doi]
• Encouraging the Uptake of Formal Methods Training in an Industrial ContextMichael G. Hinchey. 473-477 [doi]
• Computer-Supported Collaborative Learning with Mind-MapsDmitrij Koznov, Michel Pliskin. 478-489 [doi]
• Agile IT: Thinking in User-Centric ModelsTiziana Margaria, Bernhard Steffen. 490-502 [doi]
• Specialization and Instantiation Aspects of a Standard Process for Developing Educational ModulesEllen Francine Barbosa, José Carlos Maldonado. 503-518 [doi]
• A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous ComputingIsabel Cafezeiro, José Viterbo Filho, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler. 519-533 [doi]
• Contexts and Context Awareness in View of the Diagram Predicate FrameworkUwe Wolter, Zinovy Diskin. 534-547 [doi]
• The Use of Adaptive Semantic Hypermedia for Ubiquitous Collaboration SystemsPatricia Seefelder de Assis, Daniel Schwabe. 548-560 [doi]
• The Use of Formal Ontology to Specify Context in Ubiquitous ComputingKarin Koogan Breitman, Michael G. Hinchey. 561-571 [doi]
• High Service Availability in MaTRICS for the OCSMarkus Bajohr, Tiziana Margaria. 572-586 [doi]
• Supporting Requirements Definition and Quality Assurance in Ubiquitous Software ProjectRodrigo O. Spínola, Felipe C. R. Pinto, Guilherme Horta Travassos. 587-603 [doi]
• Squeeze All the Power Out of Your Hardware to Verify Your Software!Jiri Barnat, Lubos Brim. 604-618 [doi]
• Static Partial-Order Reduction of Concurrent Systems in Polynomial TimeRobert Mittermayr, Johann Blieberger. 619-633 [doi]
• An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems, eva Kühn, Richard Mordinyi, Christian Schreiber. 634-648 [doi]
• On the Design of Knowledge Discovery Services Design Patterns and Their Application in a Use Case ImplementationJeroen S. de Bruin, Joost N. Kok, Nada Lavrac, Igor Trajkovski. 649-662 [doi]
• The ASK System and the Challenge of Distributed Knowledge DiscoveryAndries Stam. 663-668 [doi]
• A Scenario Implementation in Rfor SubtypeDiscoveryExamplified on Chemoinformatics DataFabrice 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. 669-683 [doi]
• Requirements for Ontology Based Design Project AssessmentAxel Hahn, Stephan große Austing, Stefan Häusler, Matthias Reinelt. 684-692 [doi]
• Organizing the World s Machine Learning InformationJoaquin Vanschoren, Hendrik Blockeel, Bernhard Pfahringer, Geoffrey Holmes. 693-708 [doi]
• Workflow TestingRuth Breu, Alexander Lechner, Mathias Willburger, Basel Katt. 709-723 [doi]
• The jABC Approach to Rigorous Collaborative Development of SCM ApplicationsMartina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh. 724-737 [doi]
• Gesper: Support to Capitalize on Experience in a Network of SMEsMaura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio. 738-752 [doi]
• Directed Generation of Test Data for Static Semantics CheckerM. V. Arkhipova, Sergey V. Zelenov. 753-768 [doi]
• Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc NetworkChristian Attiogbé. 769-781 [doi]
• Trusted Theorem Proving: A Case Study in SLD-ResolutionKonstantine Arkoudas, Olin Shivers. 782-796 [doi]
• High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASMRoozbeh Farahbod, Uwe Glässer, P. J. Jackson, Mona Vajihollahi. 797-814 [doi]
• Optimizing the System Observability Level for DiagnosabilityLaura Brandán Briones, Alexander Lazovik, Philippe Dague. 815-830 [doi]
• Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z PromotionAli Nasrat Haidar, Ali E. Abdallah. 831-846 [doi]
• Simple Gedanken Experiments in Leveraging Applications of Formal MethodsRaymond Boute. 847-861 [doi]
• Composition of Web Services Using WrappersAli Nasrat Haidar, Ali E. Abdallah. 862-865 [doi]