Mikael Krekola (not working at IDT anymore)


[Show all publications]

Latest publications:

Generation of Correct-by-Construction Code from Design Models for Embedded Systems (Jun 2011)
Federico Ciccozzi, Antonio Cicchetti, Mikael Krekola, Mikael Sjödin
6th IEEE International Symposium on Industrial Embedded Systems (SIES’11)

CHESS Tool presentation (Feb 2011)
Antonio Cicchetti, Federico Ciccozzi, Mikael Krekola, Silvia Mazzini , Marco Panunzio , Stefano Puri , Carlo Santamaria , Tullio Vardanega , Alessandro Zovi
1st TOPCASED Days