Raluca Lefticaru
Home
Posts
Publications
Projects
Conferences
Contact
Page not found
Perhaps you were looking for one of these?
Posts
A-MOST 2021 Call for Papers
A-MOST 2020 Program
RoboSoft: software engineering for robotics
SSBSE 2019 conference tracks and important dates
Publications
Spiking Neural P Systems Simulation and Verification
Fundamental results for learning deterministic extended finite state machines from queries
Spiking Neural P Systems - Matrix Representation and Formal Verification
Implementation relations and testing for cyclic systems with refusals and discrete time
A verified and optimized Stream X-Machine testing method, with application to cloud service certification
Projects
RoboTest
MACPS
MuVeT
Athena
Broker@Cloud
Cite
×