Past Projects

Asml

 

Modeling language based on abstract state machines

 BAM

 

Cloud Computing with Models

 

 

The project that started Linq

 Daedalus

 

Improving Data Locality and Scalability

 NModel

 

Model-based Software Testing and Analysis Tool with C#

 Ninjaware

 

Low Overhead Software Monitoring and Analysis

 PPP

 

Preferential Path Profiling

 Singularity

 

OS and tools for building dependable systems

 SLAM

 

Software model checking of device drivers

 SpecExplorer

 

Tool for model-based specification and conformance testing

 TPL

 

Task Parallel Library in .NET 4.0