Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Past Projects



Modeling language based on abstract state machines



Cloud Computing with Models



The project that started Linq



Improving Data Locality and Scalability



Model-based Software Testing and Analysis Tool with C#



Low Overhead Software Monitoring and Analysis



Preferential Path Profiling



OS and tools for building dependable systems



Software model checking of device drivers



Tool for model-based specification and conformance testing



Task Parallel Library in .NET 4.0