News
Anastasia Mavridou, "Modeling Architecture Styles" - Institute ...
isr.umd.edu
› event › mbse-colloquium-anastasia...
Bridging the Gap Between Requirements and Model Analysis
cps.soe.ucsc.edu
May 2, — Anastasia Mavridou is a Computer Scientist at the Robust Software Engineering group at NASA Ames. Previously, she was a PostDoctoral Researcher ... › events › bridging-gap-betwee...
NFM : NASA Formal Methods WikiCFP
wikicfp.com
Jan 6, — Anastasia Mavridou, KBR Inc / NASA Ames Research Center, USA - Leonardo De Moura, Microsoft Research, USA › cfp › servlet › event.showcfp
Postcard from NASA Ames Research Center in Silicon Valley
news.liverpool.ac.uk
Apr 27, — I had also been working more closely with Anastasia Mavridou, Hamza Bourbouh and Irfan Sljivo at this point. In fact, they made space in ... › › postcard-fr...
sorted by relevance / date