Architectures

Software & systems engineering and their applications.
file

Visible to the public Designing-in Cyber Security - Darren Cofer

Submitted by dcofer on Fri, 10/18/2013 - 10:58am. Contributor:

Darren Cofer is a Principal Systems Engineer with Rockwell Collinsi Advanced Technology Center. He received the Ph.D. in Electrical and Computer Engineering from The University of Texas at Austin. His principal area of expertise is applying formal methods and tools to the verification and certification of high-integrity avionics systems. He is the principal investigator for the air vehicle team in DARPA's High Assurance Cyber Military Systems project, focusing on formal proof of security properties for unmanned air vehicles.

file

Visible to the public Medical Device Test Beds - Julian Goldman

Submitted by jmgoldman on Thu, 10/17/2013 - 3:02pm

Julian M. Goldman, MD is Medical Director of Biomedical Engineering for Partners HealthCare System, a practicing anesthesiologist at the Massachusetts General Hospital, and Director of the Program on Medical Device Interoperability at MGH and CIMIT (Center for Integration of Medicine and Innovative Technology).

event

Visible to the public  FM 2014
May 12, 2014 8:00 am - May 16, 2014 6:00 pm +08

Submitted by Anonymous on Tue, 10/15/2013 - 3:46pm
FM 2014 is the nineteenth in a series of symposia organized by
Formal Methods Europe, an independent association whose aim is
forum

Visible to the public CfP: Formal Methods 2014 (FM 2014)

Submitted by Anonymous on Tue, 10/15/2013 - 3:42pm

Call for Papers: Formal Methods 2014 (FM 2014), Singapore, May 14-16, 2014

CALL FOR PAPERS:
Formal Methods 2014 (FM 2014)
19th International Symposium on Formal Methods
Singapore, May 14-16, 2014
FM 2014 is the nineteenth in a series of symposia organized by
Formal Methods Europe, an independent association whose aim is
to stimulat