Sciweavers

8 search results - page 1 / 2

» tacas 1998

136

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 10 months ago

Model Checking of Real-Time Reachability Properties Using Abstractions

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

135

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 10 months ago

Model Checking via Reachability Testing for Timed Automata

Download www.brics.dk

Luca Aceto, Augusto Burgueño, Kim Guldstran...

claim paper

Read More »

126

TACAS
1998
Springer

95views Algorithms» more TACAS 1998»

Symbolic Exploration of transition Hierarchies

15 years 10 months ago

Symbolic Exploration of transition Hierarchies

Download mtc.epfl.ch

Rajeev Alur, Thomas A. Henzinger, Sriram K. Rajama...

claim paper

Read More »

190

TACAS
1998
Springer

115views Algorithms» more TACAS 1998»

MESA: Support for Scenario-Based Design of Concurrent Systems

15 years 10 months ago

MESA: Support for Scenario-Based Design of Concurrent Systems

Download kops.ub.uni-konstanz.de

The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...

Hanêne Ben-Abdallah, Stefan Leue

claim paper

Read More »

199

TACAS
1998
Springer

131views Algorithms» more TACAS 1998»

Detecting Races in Relay Ladder Logic Programs

15 years 10 months ago

Detecting Races in Relay Ladder Logic Programs

Download research.microsoft.com

Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...

Alexander Aiken, Manuel Fähndrich, Zhendong S...

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »