Contact information
Research interests
I'm interested in statistical model-checking, rare event simulation, stochastic systems and many other things...
Some projects I am/was involved in:
- DANSE Designing for Adaptability and evolutioN in System of systems Engineering
- DALI Design and Assessment of application Level Intrusion detection systems
- COMBEST COMponent-Based Embedded Systems design Techniques (2008-2011)
- NEBBIANO
Hopefully, I will defend my PhD thesis in 2014.