Massini Annalisa
Associate Professor
Department of Computer Science
Roma Tre University
Italy
Biography
"Annalisa Massini obtained her degree in Mathematics from the ""Sapienza"" University of Rome in 1989. She obtained her Ph.D. in Computer Science from the ""Sapienza"" University of Rome in 1993 From 1993 to 1994 she was in receipt of a Hewlett Packard fellowship. From 1994 to 1996 she was in receipt of a post-doctoral fellowship. From 1996 to 2001 she was an Assistant Professor at the ""Department of Computer Science"" of the Sapienza University of Rome where she has been an Associate Professor since November 2001."
Research Interest
Mathematics
Publications
-
"Anytime system level verification via parallel random exhaustive hardware in the loop simulation Microprocessors and Microsystems - Embedded Hardware Design 41: 12-28, 2016"
-
"SyLVaaS: System Level Formal Verification as a Service Fundamenta Informaticae 149(1-2): 101-132, 2016"
-
"On minimising the maximum expected verification time Information Processing Letters, 122, 1, 8-16, 2017"
