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 »

11

click to vote

ENTCS
2002

67views more ENTCS 2002»

Systematic Component Adaptation

13 years 11 months ago

Download www.di.unipi.it

Andrea Bracciali, Antonio Brogi, Carlos Canal

claim paper

Read More »

25

click to vote

ENTCS
2002

89views more ENTCS 2002»

ZEUS: A Distributed Timed Model-Checker Based on KRONOS

13 years 11 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 »

22

click to vote

ENTCS
2002

60views more ENTCS 2002»

Incremental Evaluators for Remote Attribute Grammars

13 years 11 months ago

Download www.cs.uwm.edu

John Boyland

claim paper

Read More »

33

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 11 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 »

27

click to vote

ENTCS
2002

66views more ENTCS 2002»

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

13 years 11 months ago