Perfis

Jörg Henkel

Professor of Computer Science, Karlsruhe Institute of Technology

E-mail confirmado em kit.edu

Citado por 20117

Embedded Systems Systems-on-Chip Dependable Systems Low Power Design Thermal Design

John Rushby

SRI International

E-mail confirmado em csl.sri.com

Citado por 16555

Safety dependable systems formal verification certification assurance cases

Rodrigo Rodrigues

Instituto Superior Técnico (IST - Técnico ULisboa)

E-mail confirmado em campus.ul.pt

Citado por 7737

Distributed Systems Dependable Systems

Doug Blough

Professor of Electrical and Computer Engineering, and of Computer Science, Georgia Tech

E-mail confirmado em ece.gatech.edu

Citado por 7704

wireless networks dependable systems

Karthik Pattabiraman

Professor, Electrical and Computer Engineering, University of British Columbia

E-mail confirmado em ece.ubc.ca

Citado por 6972

Dependability Dependable Computing Dependable systems Fault injection Cyber-Physical Systems Security

Rüdiger Kapitza

Friedrich-Alexander-Universität Erlangen-Nürnberg

E-mail confirmado em cs.fau.de

Citado por 6333

Systems Distributed systems Dependable systems Operating systems

Neeraj Suri

Distinguished Chair Professor, Lancaster University

E-mail confirmado em lancaster.ac.uk

Citado por 5796

Trustworthy Systems Dependable Systems Fault Injection Software Dependability

Nuno Neves

LASIGE, Dep. de Informática, Faculdade de Ciências, Universidade de Lisboa

E-mail confirmado em di.fc.ul.pt

Citado por 5758

dependable systems software security intrusion tolerance cloud security

Emmanuel Cecchet

Senior Research Scientist, University of Massachusetts Amherst

E-mail confirmado em cs.umass.edu

Citado por 5427

Operating Systems Distributed systems Dependable systems High Availability Databases

Pedro R. D'Argenio

FaMAF, Universidad Nacional de Córdoba - CONICET

E-mail confirmado em famaf.unc.edu.ar

Citado por 4193

Formal Methods Dependable Systems

1 - 10