Dimitra Giannakopoulou Invited Keynote
On August 27 2009, Dimitra Giannakopoulou gave an invited keynote talk at the 35th EUROMICRO conference on Software Engineering and Advanced Applications in Patras, Greece. Her talk, titled “NASA’s State-Space ...
+ Read more

Ewen Denney Chairs PCC’09
Ewen Denney chaired the Third International Workshop on Proof-Carrying Code and Software Certification (PCC’09), held on August 15, 2009 at UCLA as part of the prestigious Logic in Computer Science ...
+ Read more

NASA Formal Methods Symposium
Robust Software Engineering researchers Ewen Denney (SGT), Dimitra Giannakopoulou (CMU), and Corina Pasareanu (CMU) organized the First NASA Formal Methods Symposium (NFM 2009), held on April 6-8, 2009, at the ...
+ Read more

AutoBayes Program Synthesis System Users Manual
The Robust Software Engineering area developed AutoBayes, a program synthesis system that, given a high-level specification of a statistical model, automatically constructs a C/C++ program that analyzes data in accordance ...
+ Read more

MIT Students Contribute New Testing Technology to RSE Tools
MIT students Adam Kiezun and David Harvison developed a “concolic execution” extension and contributed to the Ames Java Pathfinder (JPF) distribution under the open source NASA license. Concolic execution allows ...
+ Read more

Presentations at Women in Engineering Conference
Kristin Yvonne Rozier delivered two presentations at the Grace Hopper Celebration of Women in Computing (GHC2008) in Keystone, Colorado on October 3. GHC is a series of conferences designed to ...
+ Read more

Workshop on Formal Aspects of Component Software
Intelligent Systems researcher Dr. Corina Pasareanu, together with Professor Carlos Canal from University of Malaga, co-chaired the 5th International Workshop on Formal Aspects of Component Software, held on September 10–12, ...
+ Read more

Error-Detecting Analyzer for Orion Software Models in Development
The Robust Software Engineering area of the Intelligent Systems Division has developed UML Pathfinder, an analyzer capable of finding errors early in the software life cycle for complex Crew Exploration ...
+ Read more

Ames Participation in Orion Software Development
Ames researchers Tom Pressburger and Andy Goforth are providing expertise and guidance to Lockheed-Martin, Orion’s prime contractor in the development of software tools for Crew Exploration Vehicle (CEV) software. Pressburger ...
+ Read more

Parametric Analysis Paper and Tool Presentation at ASE 2008
A peer-reviewed paper on “Tool Support for Parametric Analysis of Large Software Simulation Systems” was accepted for the Tools-demonstration session of the 2008 Automated Software Engineering Conference (ASE 2008), to ...
+ Read more

Verification and Validation of Neuro-Adaptive Aircraft Control Systems
Dr. Johann Schumann will be an invited plenary speaker at the North American Simulation Technology Conference (NASTEC 2008), to be held at McGill University, Montreal, Canada August 13-15. He will ...
+ Read more

Intelligent Systems for Modeling and Control Workshop
Dr. Johann Schumann of the Robust Software Engineering group is co-organizer of “Intelligent Systems for Modeling and Control: Advances in Design and Validation,” which will be held September 3-5, 2008 ...
+ Read more

Java PathFinder Workshop Held
This year’s annual Java PathFinder (JPF) workshop was held May 1– 2, 2008 at the Fujitsu Laboratories campus in Sunnyvale, CA. It was attended by participants from industry, government organizations, ...
+ Read more