Sciweavers

ISOLA
2004
Springer
13 years 8 months ago
EZPetri: A Petri net interchange framework for Eclipse based on PNML
Petri net community has suffered with the lack of a standard format to represent Petri net models. This situation led to an undesirable tool incompatibility. In order to solve thi...
Gabriel Alves, Adilson Arcoverde, Ricardo Massa Fe...
ISOLA
2004
Springer
13 years 8 months ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...
ISOLA
2004
Springer
13 years 8 months ago
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
Victor V. Kuliamin
ISOLA
2004
Springer
13 years 8 months ago
Case Studies with Lurette V2
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
Erwan Jahier, Pascal Raymond, Philippe Baufreton
ISOLA
2004
Springer
13 years 8 months ago
System Architecture Evaluation Using Modular Performance Analysis - A Case Study
Marcel Verhoef, Ernesto Wandeler, Lothar Thiele, P...
ISOLA
2004
Springer
13 years 8 months ago
Quantitative Model checking
Radu Grosu, Scott A. Smolka
ISOLA
2004
Springer
13 years 8 months ago
A Rule Markup Language and its application to UML
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...
Joost Jacob
ISOLA
2004
Springer
13 years 8 months ago
On the Correctness of Transformations in Compiler Back-Ends
This paper summarizes the results on the correctness of the transformations in compiler back-ends achieved in the DFG-project Verifix. Compiler back-ends transform intermediate la...
Wolf Zimmermann
ISOLA
2004
Springer
13 years 8 months ago
On model checking multiple hybrid views
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...
Michael Huth, Altaf Hussain
ISOLA
2004
Springer
13 years 8 months ago
Embedding Finite Automata within regular Expressions
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
Shoham Ben-David, Dana Fisman, Sitvanit Ruah