Raluca Lefticaru

Assistant Professor

University of Bradford

United Kingdom

Research Interests

Explore related searches

Professors in United Kingdom

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Raluca Lefticaru is an Assistant Professor at the University of Bradford, UK. Her research areas include safety and security in IoT systems, model learning, and verification of computing systems. She has contributed to the field through her recent articles on fault tree analysis, kernel P systems, and testing methods for cloud service certification.

Articles (7)

Year:

2025

Year:

2023

Year:

2023

Year:

2021

Year:

2020

Year:

2020

Year:

2020

Collaborators (2)

Robert Hierons

University of Sheffield

UNITED KINGDOM

View details

Anthony Simons

University of Sheffield

UNITED KINGDOM

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Raluca Lefticaru

Research Interests

Explore related searches

Contact this professor

About

Articles (7)

A Combined Approach to Safety and Security of IoT by Applying Fault Tree Analysis and Attack Trees with Minimal Cut Sets

A model learning based testing approach for kernel P systems

Implementation relations and testing for cyclic systems: Adding probabilities

Spiking neural P systems: matrix representation and formal verification

Implementation relations and testing for cyclic systems with refusals and discrete time

Fundamental results for learning deterministic extended finite state machines from queries

A verified and optimized Stream X‐Machine testing method, with application to cloud service certification

Collaborators (2)

Robert Hierons

Anthony Simons

Make your next move.