C. Tudose

OPTIMAL DESIGN OF TAPER ROLLER BEARING ARRANGEMENTS . PART I : OBJECTIVE FUNCTION

L. Tudose, S. Haragâ, C. Tudose, 2018 .

Optimal design under uncertainty of bearing arrangements

L. Tudose, C. Tudose, F. Rusu, 2016 .

Increasing Injection Molding Speed through Cooling System Geometry Optimization

Simion Haragâș, L. Tudose, C. Tudose, 2014 .

Test Data Generation for Event-B Models Using Genetic Algorithms

Florentin Ipate, Cristina Tudose, Raluca Lefticaru, 2011, ICSECS.

Automated Model Design Using Genetic Algorithms and Model Checking

Florentin Ipate, Cristina Tudose, Raluca Lefticaru, 2009, 2009 Fourth Balkan Conference in Informatics.

Formal Verification of P Systems Using Spin

Florentin Ipate, Cristina Tudose, Raluca Lefticaru, 2011, Int. J. Found. Comput. Sci..

Towards Automated Verification of P Systems Using Spin

Florentin Ipate, Cristina Tudose, Raluca Lefticaru, 2011, Int. J. Nat. Comput. Res..

Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems

Florentin Ipate, Cristina Tudose, Mario de Jesús Pérez Jiménez, 2012 .

A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution

Cristina Tudose, Radu Opria, C. Tudose, 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.