Natasha Sharygina and Carnegie Mellon - Free people check

(1 - 15 from 17

)

CSI Events 2004

www.cs.inf.ethz.ch

"Automated, compositional and iterative deadlock detection", Natasha Sharygina, Carnegie Mellon University. Daniel Kroening : Wed :30: Weihnachts-Essen:

Computer Aided Verification: 17th International Conference, CAV

books.google.de

ComFoRT. Reasoning. Framework. Sagar Chaki, James Ivers, Natasha Sharygina, and Kurt Wallnau Software Engineering Institute, Carnegie Mellon University ...

FM 2005: Formal Methods: International Symposium of Formal Methods...

books.google.de

Dynamic Component Substitutability Analysis⋆ Natasha Sharygina, Sagar Chaki, Edmund Clarke, and Nishant Sinha Carnegie Mellon University {nys, ...

Fall SEI Research Review Verifying Evolving Software

www.dtic.mil

SEI Research Review Verifying Evolving Software Software Engineering Institute Carnegie Mellon University . Pittsburgh, PA • Prof. Natasha Sharygina

Google Groups: [isabelle] fmcad'10 first call for papers

: ... graz university of technology, austria natasha sharygina, university of lugano, switzerland and carnegie mellon university, usa industrial track chairs ...

Google Groups: CFP: Specification and Verification of Component Based Systems 2004

: ... London) * Peter Müller (ETH Zürich) * Wolfram Schulte (Microsoft Research) * Natasha Sharygina (Carnegie Mellon) * Murali Sitaraman (Clemson) * Clemens ...

Google Groups: [isabelle] CFP: SAVCBS'06 (Specification & Verification of ...

: ... (Monash University) * Wolfram Schulte (Microsoft Research) * Natasha Sharygina (Lugano and Carnegie Mellon) * Tao Xie (North Carolina State) ORGANIZERS: ...

Google Groups: savcbs final call for papers -- 8th workshop on specification ...

: ... berkeley, usa natasha sharygina - university of lugano, switzerland/carnegie mellon university, usa murali sitaraman - clemson university , usa.