Leveraging Applications of Formal Methods, Verification and Validation

1. Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress)
Manfred Broy

2. Information System Engineering Supporting Observation, Orientation, Decision, and Compliant Action
Dimitrios Georgakopoulos

3. Modelling Coordination and Compensation
He Jifeng

4. Animating Event B Models by Formal Data Models
Idir Ait-Sadoune, Yamine Ait-Ameur

5. Automated Formal Testing of C API Using T2C Framework
Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin

6. Tailoring and Optimising Software for Automotive Multicore Systems
Torsten Polle, Michael Uelschen

7. Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications
Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski

8. Timing Validation of Automotive Software
Daniel Kästner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand

9. Towards Using Reo for Compliance-Aware Business Process Modeling
Farhad Arbab, Natallia Kokash, Sun Meng

10. On the Risk Management and Auditing of SOA Based Business Processes
Bart Orriens, Willem-Jan v/d Heuvel, Mike Papazoglou

11. SCA and jABC: Bringing a Service-Oriented Paradigm to Web-Service Construction
Georg Jung, Tiziana Margaria, Ralf Nagel, Wolfgang Schubert, Bernhard Steffen, Horst Voigt

12. A Use-Case Driven Approach to Formal Service-Oriented Modelling
Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes

13.
Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity
Martin Wirsing, Matthias 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ó

14. Safety and Response-Time Analysis of an Automotive Accident Assistance Service
Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone

15. A Framework for Analyzing and Testing the Performance of Software Services
Antonia Bertolino, Guglielmo Angelis, Antinisca Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli

16. A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application
Paolo Greci, Fabio Martinelli, Ilaria Matteucci

17.
ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions
Naiyong Jin, Huibiao Zhu

18. Computing Must and May Alias to Detect Null Pointer Dereference
Xiaodong Ma, Ji Wang, Wei Dong

19. A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking
Zhao Jianhua, Wang Linzhang, Li Xuandong

20. Program Verification by Reduction to Semi-algebraic Systems Solving
Bican Xia, Lu Yang, Naijun Zhan

21. Debugging Statecharts Via Model-Code Traceability
Liang Guo, Abhik Roychoudhury

22. Model Checking CSP Revisited: Introducing a Process Analysis Toolkit
Jun Sun, Yang Liu, Jin Song Dong

23. Formal Use of Design Patterns and Refactoring
Long Quan, Qiu Zongyan, Zhiming Liu

24. A Component-Based Access Control Monitor
Zhiming Liu, Charles Morisset, Volker Stolz

25. Navigating the Requirements Jungle
Boris Langer, Michael Tautschnig

26. Non-functional Avionics Requirements
Michael Paulitsch, Harald Ruess, Maria Sorea

27. A Simulation Approach for Performance Validation during Embedded Systems Design
Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs

28. Optimizing Automatic Deployment Using Non-functional Requirement Annotations
Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs

29. Experiences with Evolutionary Timing Test of Automotive Software Components
Florian Franz

30. Measurement-Based Timing Analysis
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter Puschner

31. ALL-TIMES – A European Project on Integrating Timing Technology
Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat

32. Weaving a Formal Methods Education with Problem-Based Learning
J Paul Gibson

33. Encouraging the Uptake of Formal Methods Training in an Industrial Context
Michael G. Hinchey

34. Computer-Supported Collaborative Learning with Mind-Maps
Dmitrij Koznov, Michel Pliskin

35. Agile IT: Thinking in User-Centric Models
Tiziana Margaria, Bernhard Steffen

36. Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules
Ellen Francine Barbosa, José Carlos Maldonado

37. A Formal Framework for Modeling Context-Aware Behavior in Ubiquitous Computing
Isabel Cafezeiro, José Viterbo, Alexandre Rademaker, Edward Hermann Haeusler, Markus Endler

38. Contexts and Context Awareness in View of the Diagram Predicate Framework
Uwe Wolter, Zinovy Diskin

39. The Use of Adaptive Semantic Hypermedia for Ubiquitous Collaboration Systems
Patricia Seefelder de Assis, Daniel Schwabe

40. The Use of Formal Ontology to Specify Context in Ubiquitous Computing
Karin K. Breitman, Michael G. Hinchey

41. High Service Availability in MaTRICS for the OCS
Markus Bajohr, Tiziana Margaria

42. Supporting Requirements Definition and Quality Assurance in Ubiquitous Software Project
Rodrigo O. Spínola, Felipe C. R. Pinto, Guilherme H. Travassos

43. Squeeze All the Power Out of Your Hardware to Verify Your Software!
Ji?í Barnat, Luboš Brim

44. Static Partial-Order Reduction of Concurrent Systems in Polynomial Time
Robert Mittermayr, Johann Blieberger

45. An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems,
Eva Kühn, Richard Mordinyi, Christian Schreiber

46. On the Design of Knowledge Discovery Services Design Patterns and Their Application in a Use Case Implementation
Jeroen Bruin, Joost N. Kok, Nada Lavrac, Igor Trajkovski

47. The ASK System and the Challenge of Distributed Knowledge Discovery
Andries Stam

48. A Scenario Implementation in R for SubtypeDiscovery Examplified on Chemoinformatics Data
Fabrice Colas, Ingrid Meulenbelt, Jeanine J. Houwing-Duistermaat, Margreet Kloppenburg, Iain Watt, Stephanie M. Rooden, Martine Visser, Johan Marinus, Edward O. Cannon, Andreas Bender, Jacobus J. Hilten, P. Eline Slagboom, Joost N. Kok

49. Requirements for Ontology Based Design Project Assessment
Axel Hahn, Stephan große Austing, Stefan Häusler, Matthias Reinelt

50. Organizing the World’s Machine Learning Information
Joaquin Vanschoren, Hendrik Blockeel, Bernhard Pfahringer, Geoff Holmes

51. Workflow Testing
R. Breu, A. Lechner, M. Willburger, B. Katt

52. The jABC Approach to Rigorous Collaborative Development of SCM Applications
Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh

53. Gesper: Support to Capitalize on Experience in a Network of SMEs
Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio

54. Directed Generation of Test Data for Static Semantics Checker
M. V. Arkhipova, S. V. Zelenov

55. Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network
Christian Attiogbé

56. Trusted Theorem Proving: A Case Study in SLD-Resolution
Konstantine Arkoudas, Olin Shivers

57. High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM

R. Farahbod, U. Glässer, P. J. Jackson, M. Vajihollahi

58. Optimizing the System Observability Level for Diagnosability
Laura Brandán Briones, Alexander Lazovik, Philippe Dague

59. Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion
Ali Nasrat Haidar, Ali E. Abdallah

60. Simple Gedanken Experiments in Leveraging Applications of Formal Methods
Raymond Boute

61. Composition of Web Services Using Wrappers
Ali Nasrat Haidar, Ali E. Abdallah

Keywords: Computer Science, Software Engineering, Programming Techniques, Software Engineering/Programming and Operating Systems, Models and Principles, Simulation and Modeling, System Performance and Evaluation