Search Sciweavers | Sciweavers

907 search results - page 7 / 182

» Monitoring of Real-Time Properties

click to vote

HASE
1999
IEEE

187views Control Systems» more HASE 1999»

Analyzing the Real-Time Properties of a U.S. Navy Signal Processing System

15 years 1 months ago

Download www.cs.unc.edu

The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...

Steve Goddard, Kevin Jeffay

claim paper

Read More »

Voted

TACAS
1998
Springer

82views Algorithms» more TACAS 1998»

Model Checking of Real-Time Reachability Properties Using Abstractions

15 years 1 months ago

Download www-verimag.imag.fr

Conrado Daws, Stavros Tripakis

claim paper

Read More »

click to vote

COMPSAC
1996
IEEE

94views Software Engineering» more COMPSAC 1996»

Coordination of Systems with Real-Time Properties in Manifold

15 years 1 months ago

Download www.cs.ucy.ac.cy

George A. Papadopoulos, Farhad Arbab

claim paper

Read More »

click to vote

DSRT
2004
IEEE

112views Modeling and Simulation» more DSRT 2004»

Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata

15 years 1 months ago

Download www.lisyc.univ-brest.fr

Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques...

claim paper

Read More »

click to vote

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers