Cristina Tudose

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Florentin Ipate, Raluca Lefticaru, Cristina Tudose
Formal Verification of P Systems Using Spin. Int. J. Found. Comput. Sci. 22 (1) (2011)
Cristina Tudose, Raluca Lefticaru, Florentin Ipate
Using Genetic Algorithms and Model Checking for P Systems Automatic Design. NICSO (2011)
Raluca Lefticaru, Cristina Tudose, Florentin Ipate
Towards Automated Verification of P Systems Using Spin. Int. J. Nat. Comput. Res. 2 (3) (2011)
Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
Test Data Generation for Event-B Models Using Genetic Algorithms. ICSECS (3) (2011)
Florentin Ipate, Raluca Lefticaru, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Cristina Tudose
Formal Verification of P Systems with Active Membranes through Model Checking. Int. Conf. on Membrane Computing (2011)
Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
Towards Search-Based Testing for Event-B Models. ICST Workshops (2011)
Cristina Tudose, Radu Opria
A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution. SEFM (2010)
Raluca Lefticaru, Florentin Ipate, Cristina Tudose
Automated Model Design Using Genetic Algorithms and Model Checking. BCI (2009)