プロフィール

Jörg Henkel

Professor of Computer Science, Karlsruhe Institute of Technology

確認したメールアドレス: kit.edu

被引用数: 20471

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

John Rushby

SRI International

確認したメールアドレス: csl.sri.com

被引用数: 16650

Safety dependable systems formal verification certification assurance cases

Rodrigo Rodrigues

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

確認したメールアドレス: campus.ul.pt

被引用数: 7813

Distributed Systems Dependable Systems

Doug Blough

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

確認したメールアドレス: ece.gatech.edu

被引用数: 7762

wireless networks dependable systems

Karthik Pattabiraman

Professor, Electrical and Computer Engineering, University of British Columbia

確認したメールアドレス: ece.ubc.ca

被引用数: 7148

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

Rüdiger Kapitza

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

確認したメールアドレス: cs.fau.de

被引用数: 6494

Systems Distributed systems Dependable systems Operating systems

Neeraj Suri

Distinguished Chair Professor, Lancaster University

確認したメールアドレス: lancaster.ac.uk

被引用数: 5879

Trustworthy Systems Dependable Systems Fault Injection Software Dependability

Nuno Neves

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

確認したメールアドレス: di.fc.ul.pt

被引用数: 5836

dependable systems software security intrusion tolerance cloud security

Emmanuel Cecchet

Senior Research Scientist, University of Massachusetts Amherst

確認したメールアドレス: cs.umass.edu

被引用数: 5519

Operating Systems Distributed systems Dependable systems High Availability Databases

Pedro R. D'Argenio

FaMAF, Universidad Nacional de Córdoba - CONICET

確認したメールアドレス: famaf.unc.edu.ar

被引用数: 4256

Formal Methods Dependable Systems

1 - 10