ieee security & privacy (6)
acm international conference proceeding series (3)
ieee security & privacy, security & privacy, ieee, ieee secur. privacy (3)
2014 tenth european dependable computing conference (2)
2014 tenth european dependable computing conference, dependable computing conference (edcc), 2014 tenth european (2)
acm / sigplan notices (2)
acm transactions on architecture & code optimization (2)
acm transactions on embedded computing systems (2)
icse: international conference on software engineering (2)
2007 ieee international parallel and distributed processing symposium, parallel and distributed processing symposium, 2007. ipdps 2007. ieee international (1)
2009 2nd international symposium on resilient control systems, resilient control systems, 2009. isrcs '09. 2nd international symposium on (1)
2011 44th hawaii international conference on system sciences, system sciences (hicss), 2011 44th hawaii international conference on (1)
2015 45th annual ieee/ifip international conference on dependable systems & networks (1)
2015 45th annual ieee/ifip international conference on dependable systems and networks, dependable systems and networks (dsn), 2015 45th annual ieee/ifip international conference on (1)
2015 ieee/acm 1st international workshop on software protection (1)
2015 ieee/acm 1st international workshop on software protection, software protection (spro), 2015 ieee/acm 1st international workshop on (1)
2016 46th annual ieee/ifip international conference on dependable systems and networks workshop (dsn-w), dependable systems and networks workshop, 2016 46th annual ieee/ifip international conference on (1)
2017 47th annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2017 47th annual ieee/ifip international conference on, dsn (1)
2017 nasa/esa conference on adaptive hardware and systems (ahs), adaptive hardware and systems (ahs), 2017 nasa/esa conference on (1)
2019 ieee/acm 14th international symposium on software engineering for adaptive and self-managing systems (seams), software engineering for adaptive and self-managing systems (seams), 2019 ieee/acm 14th international symposium on (1)
2021 51st annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2021 51st annual ieee/ifip international conference on, dsn (1)
acm sigplan notices (1)
acm transactions on architecture and code optimization (1)
acm transactions on software engineering & methodology (1)
dissertation abstract international (1)
dissertation abstracts international (1)
engineering secure software & systems (1)
information hiding (9783642164347) (1)
international symposium on code generation & optimization (cgo'07) (1)
international symposium on code generation and optimization (cgo'07), code generation and optimization, 2007. cgo '07. international symposium on (1)
moving target defense ii (1)
proceeding of the 7th international workshop: software engineering for secure systems (1)
proceedings of the 2004 acm sigplan/sigbed conference: languages, compilers & tools for embedded systems (1)
proceedings of the 2007 acm symposium: applied computing (1)
proceedings of the 2007 international conference: compilers, architecture & synthesis for embedded systems (1)
proceedings of the 2008 international conference: compilers, architectures & synthesis for embedded systems (1)
proceedings of the 2009 acm sigplan/sigbed conference: languages, compilers & tools for embedded systems (1)
proceedings of the 2nd acm workshop information hiding & multimedia security (1)
proceedings of the 2nd international conference: virtual execution environments (1)
proceedings of the 4th workshop: the implementation, compilation, optimization of object-oriented languages & programming systems (1)
proceedings of the fourth european conference: software architecture (1)
proceedings of the international symposium code generation & optimization (1)
proceedings of the joint conference: languages, compilers & tools for embedded systems (1)
runtime verification (9783642356315) (1)