John Rushby

John Rushby

SRI International
Verified email at csl.sri.com
Cited by 16397
Safety dependable systems formal verification certification assurance cases
Mallory S. Graydon

Mallory S. Graydon

NASA
Cited by 2517
safety-critical software software assurance safety cases assurance cases
Ganesh J. Pai

Ganesh J. Pai

KBR / NASA Ames Research Center
Verified email at ieee.org
Cited by 1758
System Safety Assurance Cases Safety Assurance Aviation Safety Unmanned Aircraft
Alan Wassyng

Alan Wassyng

McMaster University, Dept Computing and Software, McMaster Centre for Software …
Verified email at McMaster.ca
Cited by 1264
Assurance Cases Software certification software engineering cyber physical systems real-time
Yutaka Matsuno

Yutaka Matsuno

Professor, Department of Computer Engineering, College of Science and Technology …
Verified email at nihon-u.ac.jp
Cited by 590
Programming Languages Dependability Safety Assurance Cases
Alejandra Ruiz

Alejandra Ruiz

Researcher (Tecnalia)
Verified email at tecnalia.com
Cited by 515
critical systems assurance cases compliance software engineering
Aleksander Jarzębowicz

Aleksander Jarzębowicz

Gdańsk University of Technology
Verified email at eti.pg.edu.pl
Cited by 369
Requirements Engineering Software Engineering Assurance Cases
Carmen Carlan

Carmen Carlan

Director of Safety Products @ Edge Case Research
Verified email at ecr.ai
Cited by 188
safety engineering assurance cases model-based development
ANDRE LUIZ DE OLIVEIRA

ANDRE LUIZ DE OLIVEIRA

Professor, Departamento de Ciência da Computação, Universidade Federal de Juiz de Fora
Verified email at ufjf.br
Cited by 152
Software Engineering Safety and Security Engineering Assurance Cases Cyber-Physical Systems