Sciweavers

40 search results - page 4 / 8

» eceasst 2010

102

ECEASST
2010

102views Computer Vision» more ECEASST 2010»

Recognizable Graph Languages for Checking Invariants

15 years 1 months ago

Recognizable Graph Languages for Checking Invariants

Download www.ti.inf.uni-due.de

Christoph Blume, Harrie Jan Sander Bruggink, Barba...

claim paper

Read More »

85

Voted

ECEASST
2010

98views Computer Vision» more ECEASST 2010»

Stochastic Graph Transformation with Regions

15 years 1 months ago

Stochastic Graph Transformation with Regions

Download www.cs.le.ac.uk

Paolo Torrini, Reiko Heckel, István R&aacut...

claim paper

Read More »

87

ECEASST
2010

120views Computer Vision» more ECEASST 2010»

Decidable Race Condition and Open Coregions in HMSC

15 years 1 months ago

Decidable Race Condition and Open Coregions in HMSC

Download www.fi.muni.cz

Vojtech Rehák, Petr Slovák, Jan Stre...

claim paper

Read More »

89

Voted

ECEASST
2010

99views Computer Vision» more ECEASST 2010»

A Deductive Verification Platform for Cryptographic Software

15 years 1 months ago

A Deductive Verification Platform for Cryptographic Software

Download opencert.iist.unu.edu

Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe...

claim paper

Read More »

128

Voted

ECEASST
2010

146views Computer Vision» more ECEASST 2010»

Checking Graph-Transformation Systems for Confluence

15 years 1 months ago

Checking Graph-Transformation Systems for Confluence

Download www.cs.york.ac.uk

d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...

Detlef Plump

claim paper

Read More »

« Prev « First page 4 / 8 Last » Next »