Sciweavers

1202 search results - page 27 / 241

» Sortings for Reactive Systems

131

RTSE
1997

107views Software Engineering» more RTSE 1997»

Abstraction and Modular Verification of Infinite-State Reactive Systems

15 years 7 months ago

Abstraction and Modular Verification of Infinite-State Reactive Systems

Download react.cs.uni-sb.de

Zohar Manna, Michael Colón, Bernd Finkbeine...

claim paper

Read More »

102

ECEASST
2008

96views more ECEASST 2008»

Deriving Barbed Bisimulations for Bigraphical Reactive Systems

15 years 4 months ago

Deriving Barbed Bisimulations for Bigraphical Reactive Systems

Download users.dimi.uniud.it

Davide Grohmann, Marino Miculan

claim paper

Read More »

93

ENTCS
2008

83views more ENTCS 2008»

A Coalgebraic Theory of Reactive Systems

15 years 4 months ago

A Coalgebraic Theory of Reactive Systems

Download www.di.unipi.it

Filippo Bonchi, Ugo Montanari

claim paper

Read More »

77

JACIII
2008

133views more JACIII 2008»

Generation of Character Motion by Using Reactive Motion Capture System with Force Feedback

15 years 4 months ago

Generation of Character Motion by Using Reactive Motion Capture System with Force Feedback

Download www.fujipress.jp

Woong Choi, Naoki Hashimoto, Ross Walker, Kozaburo...

claim paper

Read More »

141

FMSD
2000

86views more FMSD 2000»

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

15 years 3 months ago

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

Download reference.kfupm.edu.sa

We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...

Nikolaj Bjørner, Anca Browne, Michael Col&o...

claim paper

Read More »

« Prev « First page 27 / 241 Last » Next »