C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
ISoLA (Preliminary proceedings)
2004
2004
2004
Keyphrases
Publications
2004
Doral Lucanu
A Logical Foundation of the OWL Languages.
ISoLA (Preliminary proceedings)
(2004)
eva Kühn
,
Fabian Schmied
Distributed Peer-to-Peer Application development with Declarative and Aspect-Oriented techniques.
ISoLA (Preliminary proceedings)
(2004)
Wolf Zimmermann
On the Correctness of Transformations in Compiler Back-Ends.
ISoLA (Preliminary proceedings)
(2004)
Erwan Jahier
,
Pascal Raymond
,
Philippe Baufreton
Case Studies with Lurette V2.
ISoLA (Preliminary proceedings)
(2004)
Marie Duflot
,
Marta Z. Kwiatkowska
,
Gethin Norman
,
David Parker
A Formal Analysis of Bluetooth Device Discovery.
ISoLA (Preliminary proceedings)
(2004)
Pieter J. Toussaint
,
Leo Wolf
The Narrator System: processing, storing and retrieving medical, narrative data.
ISoLA (Preliminary proceedings)
(2004)
Joern Ploennigs
,
Mario Neugebauer
,
Klaus Kabitzsch
Automated Model Generation from Design Databases at the Example of Building Automation Networks.
ISoLA (Preliminary proceedings)
(2004)
Christopher A. Rouff
,
Amy Vanderbilt
,
Walter Truszkowski
,
James L. Rash
,
Michael G. Hinchey
Formal Methods for Autonomic and Swarm-based Systems.
ISoLA (Preliminary proceedings)
(2004)
Kirsten Lenz
,
Andreas Oberweis
Workflow Services: A Petri Net-Based Approach to Web Services.
ISoLA (Preliminary proceedings)
(2004)
Byron Cook
Finding API usage rule violations in Windows device drivers using Static Driver Verifier.
ISoLA (Preliminary proceedings)
(2004)
Shoham Ben-David
,
Dana Fisman
,
Sitvanit Ruah
Embedding Finite Automata within regular Expressions.
ISoLA (Preliminary proceedings)
(2004)
Jörg Becker
Project Management for Process Management - a Procedural Model for Process-Oriented Reorganisation Projects.
ISoLA (Preliminary proceedings)
(2004)
Radu Grosu
,
Scott A. Smolka
Quantitative Model checking.
ISoLA (Preliminary proceedings)
(2004)
Simona Bernardi
,
Susanna Donatelli
,
Giovanna Dondossola
A class Diagram framework for collecting dependability requirements in automation systems.
ISoLA (Preliminary proceedings)
(2004)
Saddek Bensalem
,
Doron A. Peled
,
Hongyang Qu
,
Stavros Tripakis
Automatic Generation of Path Conditions for Timed Systems.
ISoLA (Preliminary proceedings)
(2004)
Yaron Wolfsthal
Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".
ISoLA (Preliminary proceedings)
(2004)
Andreas Ermedahl
,
Jan Gustafsson
,
Björn Lisper
,
Daniel Sandell
Static Timing Analysis of Real-Time Operating Systems Code.
ISoLA (Preliminary proceedings)
(2004)
Limor Fix
Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".
ISoLA (Preliminary proceedings)
(2004)
Oana Florescu
,
Jeroen Voeten
,
Henk Corporaal
A Unified Model for Analysis of Real-Time Properties.
ISoLA (Preliminary proceedings)
(2004)
Jakob Rehof
,
Sriram K. Rajamani
Models for Contract Conformance.
ISoLA (Preliminary proceedings)
(2004)
Tudor Jebelean
,
Laura Kovács
,
Nikolaj Popov
Experimental Program Verification in the Theorema System.
ISoLA (Preliminary proceedings)
(2004)
Rey Abe
,
Martin Beinhart
,
Stefan Biffl
,
eva Kühn
,
Markus Ly
,
Bettina Thurnher
Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a "Travel Service Application".
ISoLA (Preliminary proceedings)
(2004)
Joost Jacob
A Rule Markup Language and its application to UML.
ISoLA (Preliminary proceedings)
(2004)
Martin Freibothe
,
Jens Schönherr
,
Bernd Straube
,
Jörg Bormann
Semi-formal Verification of the quasi-static behavior of Mixed-Signal Circuits by SAT-based Property Checking.
ISoLA (Preliminary proceedings)
(2004)
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings
ISoLA (Preliminary proceedings)
(2004)
Parosh Aziz Abdulla
,
Johann Deneux
,
Gunnar Stålmarck
,
Herman Ågren
,
Ove Åkerlund
Designing Safe, Reliable Systems using Scade.
ISoLA (Preliminary proceedings)
(2004)
Pranav Ashar
,
Malay K. Ganai
,
Aarti Gupta
,
Franjo Ivancic
,
Zijiang Yang
Efficient SAT-based Bounded Model Checking for Software Verification.
ISoLA (Preliminary proceedings)
(2004)
María Alpuente
,
Demis Ballis
,
Moreno Falaschi
Automated Verification of Web Sites Using Partial Rewriting.
ISoLA (Preliminary proceedings)
(2004)
Henrik C. Bohnenkamp
,
Holger Hermanns
,
David N. Jansen
,
Joost-Pieter Katoen
,
Yaroslav S. Usenko
An industrial-strength formal method -- A Modest survey.
ISoLA (Preliminary proceedings)
(2004)
Jianli Xu
Application of formal methods in Nokia mobile terminal and network software system development.
ISoLA (Preliminary proceedings)
(2004)
Jesper Andersen
,
Ebbe Elsborg
,
Fritz Henglein
,
Jakob Grue Simonsen
,
Christian Stefansen
Compositional Specification of Commercial Contracts.
ISoLA (Preliminary proceedings)
(2004)
Gabriel Alves
,
Adilson Arcoverde
,
Ricardo Massa Ferreira Lima
,
Paulo Romero Martins Maciel
EZPetri: A Petri net interchange framework for Eclipse based on PNML.
ISoLA (Preliminary proceedings)
(2004)
Victor V. Kuliamin
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System.
ISoLA (Preliminary proceedings)
(2004)
Mirko Conrad
Formal Techniques for Analysing and Testing Automotive Control Software developed in a Model-based Way.
ISoLA (Preliminary proceedings)
(2004)
Daniel J. Quinlan
,
Markus Schordan
,
Qing Yi
,
Andreas Sæbjørnsen
Classification and Utilization of Abstractions for Optimization.
ISoLA (Preliminary proceedings)
(2004)
Francois Carcenac
,
Frédéric Boniol
Verification of an avionic system using timed model checking.
ISoLA (Preliminary proceedings)
(2004)
Peter Buchholz
,
Falko Bause
,
Carsten Tepper
The ProC/B-Approach from informal descriptions to formal models.
ISoLA (Preliminary proceedings)
(2004)
Martijn Hendriks
,
Barend van den Nieuwelaar
,
Frits W. Vaandrager
Model Checker Aided Design of a Controller for a Wafer Scanner.
ISoLA (Preliminary proceedings)
(2004)
Shady Copty
,
Shai Fine
,
Shmuel Ur
,
Avi Ziv
Probabilistic Alternative Regression Suites.
ISoLA (Preliminary proceedings)
(2004)
Dmitrij V. Koznov
,
Maxim Katrashov
,
Goman Gagarsky
,
Vera A. Zvereva
,
Alexey Barsov
Round-trip engineering of reactive systems.
ISoLA (Preliminary proceedings)
(2004)
Dave Clarke
,
David Costa
,
Farhad Arbab
Modelling Coordination in Biological Systems.
ISoLA (Preliminary proceedings)
(2004)
Marcel Verhoef
,
Ernesto Wandeler
,
Lothar Thiele
,
Paul Lieverse
System Architecture Evaluation Using Modular Performance Analysis - A Case Study.
ISoLA (Preliminary proceedings)
(2004)
Yamine Aït Ameur
,
Mickaël Baron
Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique.
ISoLA (Preliminary proceedings)
(2004)
Søren Christensen
,
Jens Bæk Jørgensen
,
Antti-Pekka Tuovinen
,
Jianli Xu
Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets.
ISoLA (Preliminary proceedings)
(2004)
Johan Andersson
,
Christer Norström
,
Anders Wall
Decreasing Maintenance Costs by Introducing Formal Models and Analysis of Real-Time Systems in Industrial Settings.
ISoLA (Preliminary proceedings)
(2004)
Matthew Hoosier
,
John Hatcliff
,
Robby
,
Matthew B. Dwyer
A Case Study in Domain-customized Model Checking for Real-time Component Software.
ISoLA (Preliminary proceedings)
(2004)
Ramesh Rharadwaj
Development of Dependable Component-Based Distributed Applications.
ISoLA (Preliminary proceedings)
(2004)
Muffy Calder
,
Alice Miller
Verifying parametrized, featured networks by abstraction.
ISoLA (Preliminary proceedings)
(2004)
Jens Hündling
,
Mathias Weske
Modeling Quality of Services in Service Oriented Environments.
ISoLA (Preliminary proceedings)
(2004)
Daniel Mika
,
Josef Strnadel
,
Zdenek Kotásek
The Identification of registers in RTL Structures for the Test Application.
ISoLA (Preliminary proceedings)
(2004)