1. A Modular Design for the Common Language Runtime (CLR) Architecture

Fruja, Nicu Georgian (2005)

Reports

2. A Modular Design for the Common Language Runtime (CLR) Architecture

Fruja, Nicu Georgian (2005)

Reports

3. Analysis of the .NET CLR Exception Handling Mechanism

Fruja, Nicu Georgian and Börger E. (Egon) (2005)

Reports

4. An Executable Specification of C♯

Jula, Horatiu V. and Fruja, Nicu Georgian (2005)

Reports

5. The correctness of the definite assignment analysis in C#

Fruja, Nicu Georgian (2004)

Reports

6. The hidden computation steps of Turbo Abstract State Machines

Fruja, Nicu Georgian and Stärk, Robert F. (2003)

Reports

7. Type safety of C# and .Net CLR

Fruja, Nicu Georgian (2007)

Doctoral and Habilitation Theses

8. Type safety of generics for the .NET common language runtime

Fruja, Nicu Georgian

Reports