Stavros Tripakis und Berkeley - Info zur Person

(1 - 6 von 6

)

Checking non-interference in SPMD programsUSENIX

www.usenix.org

Stavros Tripakis, Christos Sergiou. Roberto Lublinerman. UC Berkeley. CUDA program. What: method and tool to check non-interference in CUDA programs.

Compositionality and modularity in embedded system design: interface...

ece.engin.umich.edu

Stavros TripakisAssociate Researcher University of California at Berkeley - Department of ... Stavros Tripakis is an Associate Researcher at UC Berkeley and

Stavros Tripakis | EECS at UC Berkeley

www2.eecs.berkeley.edu

› s...

Schloss Dagstuhl : Participant List

www.dagstuhl.de

... DE) [dblp] · Stavros Tripakis (University of California – Berkeley, US) [dblp] · Ashutosh Trivedi (University of Colorado – Boulder, US) [dblp] ...

Stavros Tripakis

easychair.org

Stavros Tripakis. Organization: University of California, Berkeley. Web page: http ://www.eecs.berkeley.edu/~stavros/. Pages in this Program. Program · Program ...