Abstract is missing.
- Classification and Utilization of Abstractions for OptimizationDaniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen. 2-9
- On the Correctness of Transformations in Compiler Back-EndsWolf Zimmermann. 10-17
- Finding API usage rule violations in Windows device drivers using Static Driver VerifierByron Cook. 18-18
- Project Management for Process Management - a Procedural Model for Process-Oriented Reorganisation ProjectsJörg Becker. 19-27
- Modeling Quality of Services in Service Oriented EnvironmentsJens Hündling, Mathias Weske. 28-34
- Workflow Services: A Petri Net-Based Approach to Web ServicesKirsten Lenz, Andreas Oberweis. 35-41
- Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a Travel Service Application Rey Abe, Martin Beinhart, Stefan Biffl, eva Kühn, Markus Ly, Bettina Thurnher. 42-44
- The Narrator System: processing, storing and retrieving medical, narrative dataPieter Toussaint, Leo Wolf. 45-50
- A Rule Markup Language and its application to UMLJoost Jacob. 51-57
- Modelling Coordination in Biological SystemsDave Clarke, David Costa, Farhad Arbab. 58-66
- Using XML Transformations for Enterprise ArchitecturesJoost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert van der Torre. 67-73
- Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based techniqueYamine Aït Ameur, Mickaël Baron. 74-80
- Automated Verification of Web Sites Using Partial RewritingMaría Alpuente, Demis Ballis, Moreno Falaschi. 81-88
- Probabilistic Alternative Regression SuitesShady Copty, Shai Fine, Shmuel Ur, Avi Ziv. 89-91
- Experimental Program Verification in the Theorema SystemTudor Jebelean, Laura Kovács, Nikolaj Popov. 92-99
- Formal Methods for Autonomic and Swarm-based SystemsChristopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey. 100-102
- Compositional Specification of Commercial ContractsJesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen. 103-110
- Designing Safe, Reliable Systems using ScadeParosh Aziz Abdulla, Johan Deneaux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund. 111-118
- Decreasing Maintenance Costs by Introducing Formal Models and Analysis of Real-Time Systems in Industrial SettingsJohan Andersson, Christer Norström, Anders Wall. 119-125
- Static Timing Analysis of Real-Time Operating Systems CodeAndreas Ermedahl, Jan Gustafsson, Björn Lisper, Daniel Sandell. 126-133
- A Logical Foundation of the OWL LanguagesDoral Lucanu. 135-142
- EZPetri: A Petri net interchange framework for Eclipse based on PNMLGabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel. 143-149
- Distributed Peer-to-Peer Application development with Declarative and Aspect-Oriented techniqueseva Kühn, Fabian Schmied. 150-156
- Efficient SAT-based Bounded Model Checking for Software VerificationPranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang. 157-164
- Quantitative Model checkingRadu Grosu, Scott A. Smolka. 165-174
- Embedding Finite Automata within regular ExpressionsShoham Ben-David, Dana Fisman, Sitvanit Ruah. 175-180
- Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property CheckingMartin Freibothe, Jens Schönherr, Bernd Straube, Jörg Bormann. 181-187
- Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based WayMirko Conrad. 188-188
- Abstract for the ISOLA Special Session on Industrial use of tools for Formal Analysis Limor Fix. 189-189
- Application of formal methods in Nokia mobile terminal and network software system developmentJianli Xu. 190-190
- Abstract for the ISOLA Special Session on Industrial use of tools for Formal Analysis Yaron Wolfsthal. 190-190
- Adapting Component Models to Support ResponsibilityHenrik Eichenhardt, Elke Franz, Simone Röttger, Ute Wappler. 191-193
- Development of Dependable Component-Based Distributed ApplicationsRamesh Rharadwaj. 194-200
- Model Checker Aided Design of a Controller for a Wafer ScannerMartijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager. 201-208
- System Architecture Evaluation Using Modular Performance Analysis - A Case StudyMarcel Verhoef, Ernesto Wandeler, Lothar Thiele, Paul Lieverse. 209-219
- A Unified Model for Analysis of Real-Time PropertiesOana Florescu, Jeroen Voeten, Henk Corporaal. 220-226
- Verifying parametrized, featured networks by abstractionMuffy Calder, Alice Miller. 227-234
- On model checking multiple hybrid viewsMichael Huth, Altaf Hussain. 235-242
- Automatic Generation of Path Conditions for Timed SystemsSaddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis. 243-249
- Static validation of resource management in large Java applicationsHarini Srinivasan, Darrell Reimer, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas. 250-252
- Models for Contract ConformanceJakob Rehof, Sriram K. Rajamani. 253-260
- A Case Study in Domain-customized Model Checking for Real-time Component SoftwareMatthew Hoosier, John Hatcliff, Robby, Matthew B. Dwyer. 261-267
- A Formal Analysis of Bluetooth Device DiscoveryMarie Duflot, Marta Z. Kwiatkowska, Gethin J. Norman, David Parker. 268-275
- A class Diagram framework for collecting dependability requirements in automation systemsSimona Bernardi, Susanna Donatelli, Giovanna Dondossola. 276-283
- An industrial-strength formal method -- A Modest surveyHenrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko. 284-295
- Case Studies with Lurette V2Erwan Jahier, Pascal Raymond, Philippe Baufreton. 296-303
- Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri NetsSøren Christensen, Jens Bæk Jørgensen, Antti-Pekka Tuovinen, Jianli Xu. 304-310
- Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex SystemVictor V. Kuliamin. 311-316
- The Identification of registers in RTL Structures for the Test ApplicationDaniel Mika, Josef Strnadel, Kotásek Zdenik. 317-319
- Automated Model Generation from Design Databases at the Example of Building Automation NetworksJoern Ploennigs, Mario Neugebauer, Klaus Kabitzsch. 320-327
- The ProC/B-Approach from informal descriptions to formal modelsPeter Buchholz, Falko Bause, Carsten Tepper. 328-334
- Verification of an avionic system using timed model checkingFrancois Carcenac, Frédéric Boniol. 335-342
- Round-trip engineering of reactive systemsDmitrij Koznov, Maxim Katrashov, Goman Gagarsky, Vera A. Zvereva, Alexey Barsov. 343-347