ENTCS 2002 | Sciweavers

Approaches to runtime checking have to track the execution of a software system and therefore have to deal with generating and processing execution events. Often these techniques ...

Mark Brörkens, Michael Möller

claim paper

Read More »

4

click to vote

ENTCS
2002

67views more ENTCS 2002»

Systematic Component Adaptation

13 years 4 months ago

Download www.di.unipi.it

Andrea Bracciali, Antonio Brogi, Carlos Canal

claim paper

Read More »

8

click to vote

ENTCS
2002

89views more ENTCS 2002»

ZEUS: A Distributed Timed Model-Checker Based on KRONOS

13 years 4 months ago

Download publicaciones.dc.uba.ar

In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...

Víctor A. Braberman, Alfredo Olivero, Ferna...

claim paper

Read More »

7

click to vote

ENTCS
2002

60views more ENTCS 2002»

Incremental Evaluators for Remote Attribute Grammars

13 years 4 months ago

Download www.cs.uwm.edu

John Boyland

claim paper

Read More »

12

click to vote

ENTCS
2002

103views more ENTCS 2002»

Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)

13 years 4 months ago

Download www.liafa.jussieu.fr

Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...

Marc Boyer

claim paper

Read More »

11

click to vote

ENTCS
2002

66views more ENTCS 2002»

Unique, guarded fixed points in an additive setting: Extended Abstract

13 years 4 months ago