Raluca Lefticaru
University of Bradford
H-index: 15
Europe-United Kingdom
Top articles of Raluca Lefticaru
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Detection of cyberbullying on social media platforms using machine learning | Mohammad Usmaan Ali Raluca Lefticaru | 2023/9/6 | |
A model learning based testing approach for kernel P systems | Theoretical Computer Science | Florentin Ipate Ionuţ Niculescu Raluca Lefticaru Savas Konur Marian Gheorghe | 2023/7/18 |
Implementation relations and testing for cyclic systems: Adding probabilities | Robotics and Autonomous Systems | Manuel Núñez Robert M Hierons Raluca Lefticaru | 2023/7/1 |
Tumour detection and segmentation in MRI scans of the gut area | Olatunji Azeez Raluca Lefticaru | 2023/9/6 | |
5th Annual Innovative Engineering Research Conference: Book of Abstracts | Kavian O Cooke Raluca Lefticaru Therese Sheehan | 2022 | |
Mutation Testing for RoboChart | Robert M Hierons Maciej Gazda Pablo Gómez-Abajo Raluca Lefticaru Mercedes G Merayo | 2021 | |
Spiking neural P systems: matrix representation and formal verification | Journal of Membrane Computing | Marian Gheorghe Raluca Lefticaru Savas Konur Ionuţ Mihai Niculescu Henry N Adorna | 2021/6 |
Spiking Neural P Systems Simulation and Verification | Raluca Lefticaru Marian Gheorghe Savas Konur Ionut Mihai Niculescu Henry N Adorna | 2021/3/27 | |
Message from the A-MOST 2021 Workshop Chairs | Raluca Lefticaru Florian Lorber Uraz Cengiz Turker | 2021 | |
Fundamental results for learning deterministic extended finite state machines from queries | Theoretical Computer Science | Florentin Ipate Marian Gheorghe Raluca Lefticaru | 2021/3/16 |
A verified and optimized Stream X‐Machine testing method, with application to cloud service certification | Software Testing, Verification and Reliability | Anthony JH Simons Raluca Lefticaru | 2020/5 |
Message from A-MOST 2020 Chairs | Rob Hierons Manuel Núñez Alexander Pretschner Raluca Lefticaru | 2020 |