Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Cristina Tudose
2010 – today
- 2011
[j2]Florentin Ipate, Raluca Lefticaru, Cristina Tudose: Formal Verification of P Systems Using Spin. Int. J. Found. Comput. Sci. 22(1): 133-142 (2011)- [j1]Raluca Lefticaru, Cristina Tudose, Florentin Ipate: Towards Automated Verification of P Systems Using Spin. IJNCR 2(3): 1-12 (2011)
- [c6]Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose: Test Data Generation for Event-B Models Using Genetic Algorithms. ICSECS (3) 2011: 76-90
- [c5]Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose: Towards Search-Based Testing for Event-B Models. ICST Workshops 2011: 194-197
- [c4]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: 215-225
- [c3]Cristina Tudose, Raluca Lefticaru, Florentin Ipate: Using Genetic Algorithms and Model Checking for P Systems Automatic Design. NICSO 2011: 285-302
- 2010
- [c2]Cristina Tudose, Radu Opria: A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution. SEFM 2010: 113-117
2000 – 2009
- 2009
- [c1]Raluca Lefticaru, Florentin Ipate, Cristina Tudose: Automated Model Design Using Genetic Algorithms and Model Checking. BCI 2009: 79-84
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-13 22:37 CET by the dblp team