Search Sciweavers | Sciweavers

1633 search results - page 37 / 327

» On the Verification of Temporal Properties

121

click to vote

TAP
2009
Springer

125views Hardware» more TAP 2009»

Complementary Criteria for Testing Temporal Logic Properties

16 years 19 days ago

Download tap.ethz.ch

Gordon Fraser, Franz Wotawa

claim paper

Read More »

117

click to vote

STACS
2005
Springer

86views Theoretical Computer Science» more STACS 2005»

On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

15 years 11 months ago

Download www.fi.muni.cz

Tomás Brázdil, Antonín Kucera...

claim paper

Read More »

109

click to vote

ICSE
2010
IEEE-ACM

124views Software Engineering» more ICSE 2010»

Online inference and enforcement of temporal properties

15 years 11 months ago

Download www.cs.ucdavis.edu

Mark Gabel, Zhendong Su

claim paper

Read More »

139

click to vote

PODC
1990
ACM

84views Distributed and Parallel Com...» more PODC 1990»

A Hierarchy of Temporal Properties

15 years 10 months ago

Download historical.ncstrl.org

Zohar Manna, Amir Pnueli

claim paper

Read More »

136

click to vote

CHARME
2001
Springer

98views Hardware» more CHARME 2001»

Temporal Properties of Self-Timed Rings

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers