John Rushby

John Rushby

SRI International
Dirección de correo verificada de csl.sri.com
Citado por 13907
Safety dependable systems formal verification certification assurance cases
Jörg Henkel

Jörg Henkel

Professor of Computer Science, Karlsruhe Institute of Technology
Dirección de correo verificada de kit.edu
Citado por 12390
Embedded Systems Systems-on-Chip Dependable Systems Low Power Design Thermal Design
Doug Blough

Doug Blough

Professor of Electrical and Computer Engineering, and of Computer Science, Georgia Tech
Dirección de correo verificada de ece.gatech.edu
Citado por 6330
wireless networks dependable systems
Emmanuel Cecchet

Emmanuel Cecchet

Senior Research Scientist, University of Massachusetts Amherst
Dirección de correo verificada de cs.umass.edu
Citado por 3730
Operating Systems Distributed systems Dependable systems High Availability Databases
Nuno Neves

Nuno Neves

LASIGE, Dep. de Informática, Faculdade de Ciências, Universidade de Lisboa
Dirección de correo verificada de di.fc.ul.pt
Citado por 3666
dependable systems software security intrusion tolerance cloud security
Pedro R. D'Argenio

Pedro R. D'Argenio

FaMAF, Universidad Nacional de Córdoba - CONICET
Dirección de correo verificada de famaf.unc.edu.ar
Citado por 3141
Formal Methods Dependable Systems
Karthik Pattabiraman

Karthik Pattabiraman

Electrical and Computer Engineering, University of British Columbia
Dirección de correo verificada de ece.ubc.ca
Citado por 2962
Dependable Computing Dependable systems Fault injection Web Applications Dependability
Ruediger Kapitza

Ruediger Kapitza

Professor, TU Braunschweig
Dirección de correo verificada de ibr.cs.tu-bs.de
Citado por 2666
Systems Distributed systems Dependable systems Operating systems
Francesco Quaglia

Francesco Quaglia

Professor of Computer Engineering, Universita' di Roma "Tor Vergata"
Dirección de correo verificada de uniroma2.it
Citado por 2350
Parallel and Distributed Computing High Performance Computing Dependable Systems Operating Systems
Iain Bate

Iain Bate

Real-Time Systems Group (RTSRG), University of York
Dirección de correo verificada de york.ac.uk
Citado por 2136
Real-time systems Dependable Systems Wireless Sensor Networks Scheduling and Timing Analysis
1 - 10