| 2024 | IWINAC | Private Inference on Layered Spiking Neural P Systems. | Mihail-Iulian Plesa, Marian Gheorghe, Florentin Ipate |
| 2018 | HPCC | Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. | Sorina-Nicoleta Predut, Florentin Ipate, Marian Gheorghe, Felician Campean |
| 2018 | QRS | Generating Complex Paths for Testing from an EFSM. | Ana Turlea, Florentin Ipate, Raluca Lefticaru |
| 2017 | SYNASC | A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm. | Ana Turlea, Florentin Ipate, Raluca Lefticaru |
| 2016 | FM | RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. | Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate |
| 2016 | SYNASC | A Hybrid Test Generation Approach Based on Extended Finite State Machines. | Ana Turlea, Florentin Ipate, Raluca Lefticaru |
| 2015 | HPCC | Agent-Based High-Performance Simulation of Biological Systems on the GPU. | Savas Konur, Mariam Kiran, Marian Gheorghe, Mark Burkitt, Florentin Ipate |
| 2014 | HPCC | High Performance Simulations of Kernel P Systems. | Mehmet E. Bakir, Savas Konur, Marian Gheorghe, Ionut-Mihai Niculescu, Florentin Ipate |
| 2012 | ISoLA | Model Learning and Test Generation for Event-B Decomposition. | Ionut Dinca, Florentin Ipate, Alin Stefanescu |
| 2012 | SEFM | JSXM: A Tool for Automated Test Generation. | Dimitris Dranidis, Konstantinos Bratanis, Florentin Ipate |
| 2012 | SEFM | An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms. | Raluca Lefticaru, Florentin Ipate |
| 2012 | SYNASC | Computational Properties of Two P Systems Solving the 3-colouring Problem. | Adrian Turcanu, Florentin Ipate |
| 2011 | ICST | Towards Search-Based Testing for Event-B Models. | Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose |
| 2010 | ICNC | A particle swarm optimization based on P systems. | Fen Zhou, Gexiang Zhang, Haina Rong, Marian Gheorghe, Jixiang Cheng, Florentin Ipate, Raluca Lefticaru |
| 2008 | ICST | Functional Search-based Testing from State Machines. | Raluca Lefticaru, Florentin Ipate |
| 2008 | ICST | Search-based Testing using State-based Fitness. | Raluca Lefticaru, Florentin Ipate |
| 2008 | SYNASC | A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing. | Raluca Lefticaru, Florentin Ipate |
| 2007 | SYNASC | Automatic State-Based Test Generation Using Genetic Algorithms. | Raluca Lefticaru, Florentin Ipate |