Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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