default search action
ISoLA 2008: Porto Sani, Greece
- Tiziana Margaria, Bernhard Steffen:
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
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
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
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
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 V. 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
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
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
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
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 - J. 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, Piper 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 T. 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
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 2024-12-22 18:47 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: