From 1 November 2015, I am Associate Professor at UNITS!
News archive
-
-
I will be co-chairing QEST 2017, in Berlin. Start preparing top quality papers to submit!!!
-
Finally, after a considerably long black out, the publication list is up to date.
-
I joined the editorial board of Information and Computation, with the goal of attracting papers in stochastic modelling and in (quantitative) model checking. Now, you know to which journal and editor send your next paper! :-)
-
I am in the PC of Runtime Verification 2015!Check the website, and submit a paper!
-
From today (june 2, 2014) until may 2015 I will be visiting professor at the computer science department of saarland university in Saarbrücken. You can find be in room 303, building E1 3!
-
The proceedings of the 12th edition of QAPL are finally out as EPTCS volume number 155!
-
I had two papers accepted at QEST 2014: "A statistical approach for computing reachability of non-linear and stochastic dynamical systems" (with G. Sanguinetti) and "Mean-Field approximation and Quasi-Equilibrium reduction of Markov Population Models" (with R. Paskauskas). See you there!
-
From yesterday since Friday, January 17, I am in Dagstuhl, attending a seminar on Randomized Timed and Hybrid Models for Critical Infrastructures.
-
I am in the technical program committee of IFIP PERFORMANCE 2014!