| Learn and test for Event-B–a Rodin plugin I Dinca, F Ipate, L Mierla, A Stefanescu Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 2012 | 19 | 2012 |
| Implementing realistic asynchronous automata S Akshay, I Dinca, B Genest, A Stefanescu IARCS Annual Conference on Foundations of Software Technology and …, 2013 | 8 | 2013 |
| Model learning and test generation for Event-B decomposition I Dinca, F Ipate, A Stefanescu Leveraging Applications of Formal Methods, Verification and Validation …, 2012 | 7 | 2012 |
| Model learning and test generation using cover automata F Ipate, A Stefanescu, I Dinca The Computer Journal 58 (5), 1140-1159, 2015 | 6 | 2015 |
| Test data generation for Event-B models using genetic algorithms I Dinca, A Stefanescu, F Ipate, R Lefticaru, C Tudose Software Engineering and Computer Systems: Second International Conference …, 2011 | 3 | 2011 |
| Simulating Numerical Programs by Symport/Antiport P Systems I DINCA Scientific Bulletin, Mathematics and Computer Science Series, 2007, 2007 | 1 | 2007 |
| Computing Partial Recursive Functions by Deterministic Symport/Antiport P-Systems I Dinca SCIENCE AND TECHNOLOGY 14 (2), 183-199, 2011 | | 2011 |
| Design Pattern-Based Solutions for General Membrane System Components I Dinca Proceedings of the Eleventh International Conference on Membrane Computing …, 2010 | | 2010 |
| Computing Numerical Functions by Symport/Antiport P-Systems I DINCA | | 2008 |
| From P Systems to Software Systems by Design Patterns I Dinca, T Balanescu | | |
