Formal or running projects

• Austro-Hungarian S&T Project 2009-2010
  Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern Principles
• Austro-Hungarian S&T project 2007-2008
  Analyzing Real-Time Systems by Combining Temporal Logic and Statistical Models