brendan hall

brendan hall

Honeywell
Verified email at brendanhall.net
Cited by 2381
Fault-tolerance Model-based-design Formal-methods AADL
frank singhoff

frank singhoff

SHARP/SHAKER, Lab-STICC/Université de Bretagne Occidentale/UBO
Verified email at univ-brest.fr
Cited by 1649
real-time systems scheduling AADL software architecture
Jérôme Delatour

Jérôme Delatour

ESEO
Verified email at eseo.fr
Cited by 523
MDA real-time UML Petri Net AADL
Min-Young Nam

Min-Young Nam

Computer Science, University of Illinois at Urbana-Champaign
Verified email at illinois.edu
Cited by 333
Real-Time Systems Avionics Systems Safety Critical Systems AADL System Architecture Modeling Tool
Christian Fotsing

Christian Fotsing

post doctorant,UBO
Verified email at univ-brest.fr
Cited by 68
systèmes temps-réel IDM model checking méthodes formelles AADL
Tiyam Robati

Tiyam Robati

PhD
Verified email at ens.etsmtl.ca
Cited by 39
IMA TTEthernet AADL
Wafa Gabsi Masmoudi

Wafa Gabsi Masmoudi

université de sfax
Verified email at redcad.org
Cited by 38
POA Fault tolerance real-time and embedded systems AADL ocarina
Mohamad Karimi

Mohamad Karimi

Norht Carolina A&T State University
Verified email at aggies.ncat.edu
Cited by 19
Functional Safety ISO 26262 SysML AADL FPGA