People

Dr. Eng.

Casandra HOLOTESCU

Lecturer
Office Contact
  Room B514
 
(0256 40) 3262
  casandra.holotescu (at) cs.upt.ro
Research Fields and Interests
Component-based systems; Modeling, formal verification and testing;
Modeling, formal verification and testing: black-box and white-box model inference, model-based automated test generation, security protocol modelling and verification
Component-based systems: component-based formal verification with an accent on controllability aspects, component-based debugging