Jörg Henkel

Jörg Henkel

Professor of Computer Science, Karlsruhe Institute of Technology
Verified email at kit.edu
Cited by 19756
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 16397
Safety dependable systems formal verification certification assurance cases
Doug Blough

Doug Blough

Professor of Electrical and Computer Engineering, and of Computer Science, Georgia Tech
Verified email at ece.gatech.edu
Cited by 7641
wireless networks dependable systems
Rodrigo Rodrigues

Rodrigo Rodrigues

Instituto Superior Técnico (IST - Técnico ULisboa)
Verified email at campus.ul.pt
Cited by 7634
Distributed Systems Dependable Systems
Karthik Pattabiraman

Karthik Pattabiraman

Professor, Electrical and Computer Engineering, University of British Columbia
Verified email at ece.ubc.ca
Cited by 6714
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 6157
Systems Distributed systems Dependable systems Operating systems
Neeraj Suri

Neeraj Suri

Distinguished Chair Professor, Lancaster University
Verified email at lancaster.ac.uk
Cited by 5705
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 5617
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 5335
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 4149
Formal Methods Dependable Systems
1 - 10