Casandra HOLOTESCU
Short Bio
Casandra Holotescu has graduated from the Faculty of Computer Science and Automatics of Politehnica University from Timisoara in year 2008, with a Bachelor Diploma in program slicing and debugging. She then got a PhD from Politehnica University from Timisoara in 2013, her doctoral studies being supported by a POSDRU grant.
During her PhD she attended in 2009 the Marktoberdorf International Summer School „Logics and Languages for Reliability and Security”, in Marktoberdorf, Germany, and in 2010 the CASE Summer School on Applied Software Engineering – "Empirical Analysis of Software Processes and Products” in Bolzano, Itay.
She took part in two European FP7 research projects: VANTSSAR (Automated Validation of Trust and Security of Service-oriented Architectures) and SpaCIoS (Secure Provision and Consumption in the Internet of Service), both in the domain of service-oriented architectures, and also participated to the COST action IC0701 – “Formal Verification of Object-Oriented Software”.
Research
- 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
- Inference of Safe Approximate Models for System Composition, 2013. Supervisor: Dr. Eng. Horia CIOCÂRLIE
Selected Publications
Casandra Holotescu, Local Model Learning for Asynchronous Services, Proceedings of the 4th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2012) colocated with the 34th International Conference on Software Engineering (ICSE 2012), June 2012, Zurich, Switzerland
Casandra Holotescu, Asynchronous Learning for Service Composition, 7th International Workshop on Engineering Service-Oriented Applications (WESOA 2011) colocated with the 9th International Conference on Service Oriented Computing (ICSOC 2011), December 2011, Paphos, Cyprus, Lecture Notes in Computer Science, Springer-Verlag
Casandra Holotescu, Controlling the Unknown, Preproceedings of the First International Conference on Verification of Object Oriented Systems (FoVeOOS 2010), June 2010, Paris, France
Casandra Holotescu, Error-avoiding Adaptors for Black box Software Components, Doctoral Symposium of the 25th ACM/IEEE International Conference on Automated Software Engineering (ASE 2010), September 2010, Antwerp, Belgium
Casandra Holotescu, Black Box Composition: a Dynamic Approach, 9th International Workshop on Specification and Verification of Component Based Systems (SAVCBS 2010) colocated with the 18th International Symposium on the Foundations of Software Engineering (FSE 2010), November 2010, Santa Fe, New Mexico, United States of America