Jörg Henkel

Jörg Henkel

Professor of Computer Science, Karlsruhe Institute of Technology
Verified email at kit.edu
Cited by 20471
Embedded Systems Systems-on-Chip Dependable Systems Low Power Design Thermal Design
John Rushby

John Rushby

SRI International
Verified email at csl.sri.com
Cited by 16650
Safety dependable systems formal verification certification assurance cases
Rodrigo Rodrigues

Rodrigo Rodrigues

Instituto Superior Técnico (IST - Técnico ULisboa)
Verified email at campus.ul.pt
Cited by 7813
Distributed Systems Dependable Systems
Doug Blough

Doug Blough

Professor of Electrical and Computer Engineering, and of Computer Science, Georgia Tech
Verified email at ece.gatech.edu
Cited by 7762
wireless networks dependable systems
Karthik Pattabiraman

Karthik Pattabiraman

Professor, Electrical and Computer Engineering, University of British Columbia
Verified email at ece.ubc.ca
Cited by 7144
Dependability Dependable Computing Dependable systems Fault injection Cyber-Physical Systems Security
Rüdiger Kapitza

Rüdiger Kapitza

Friedrich-Alexander-Universität Erlangen-Nürnberg
Verified email at cs.fau.de
Cited by 6494
Systems Distributed systems Dependable systems Operating systems
Neeraj Suri

Neeraj Suri

Distinguished Chair Professor, Lancaster University
Verified email at lancaster.ac.uk
Cited by 5878
Trustworthy Systems Dependable Systems Fault Injection Software Dependability
Nuno Neves

Nuno Neves

LASIGE, Dep. de Informática, Faculdade de Ciências, Universidade de Lisboa
Verified email at di.fc.ul.pt
Cited by 5835
dependable systems software security intrusion tolerance cloud security
Emmanuel Cecchet

Emmanuel Cecchet

Senior Research Scientist, University of Massachusetts Amherst
Verified email at cs.umass.edu
Cited by 5521
Operating Systems Distributed systems Dependable systems High Availability Databases
Pedro R. D'Argenio

Pedro R. D'Argenio

FaMAF, Universidad Nacional de Córdoba - CONICET
Verified email at famaf.unc.edu.ar
Cited by 4256
Formal Methods Dependable Systems
1 - 10