Raluca Lefticaru
Orcid: 0000000152890162
According to our database^{1},
Raluca Lefticaru
authored at least 42 papers
between 2007 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2023
Theor. Comput. Sci., 2023
Robotics Auton. Syst., 2023
Proceedings of the Advances in Computational Intelligence Systems, 2023
Proceedings of the Advances in Computational Intelligence Systems, 2023
2021
Fundamental results for learning deterministic extended finite state machines from queries.
Theor. Comput. Sci., 2021
J. Membr. Comput., 2021
2020
A verified and optimized Stream XMachine testing method, with application to cloud service certification.
Softw. Test. Verification Reliab., 2020
Implementation relations and testing for cyclic systems with refusals and discrete time.
J. Syst. Softw., 2020
2019
Proceedings of the Tests and Proofs  13th International Conference, 2019
Proceedings of the Software Engineering and Formal Methods  17th International Conference, 2019
2018
Theor. Comput. Sci., 2018
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018
Proceedings of the Membrane Computing, 2018
2017
A Test Suite Generation Approach Based on EFSMs Using a Multiobjective Genetic Algorithm.
Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017
Proceedings of the Membrane Computing, 2017
Towards an Integrated Approach to Verification and ModelBased Testing in System Engineering.
Proceedings of the 2017 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2017
2016
Design and implementation of membrane controllers for trajectory tracking of nonholonomic wheeled mobile robots.
Integr. Comput. Aided Eng., 2016
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016
Proceedings of the Membrane Computing  17th International Conference, CMC 2016, Milan, 2016
2015
A Modified MembraneInspired Algorithm Based on Particle Swarm Optimization for Mobile Robot Path Planning.
Int. J. Comput. Commun. Control, 2015
2014
Proceedings of the Advances in ServiceOriented and Cloud Computing, 2014
2013
Int. J. Comput. Math., 2013
Proceedings of the Membrane Computing, 2013
Proceedings of The Eighth International Conference on BioInspired Computing: Theories and Applications, 2013
2012
A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems.
J. Univers. Comput. Sci., 2012
An Improved Test Generation Approach from Extended Finite State Machines Using Genetic Algorithms.
Proceedings of the Software Engineering and Formal Methods  10th International Conference, 2012
2011
Nat. Comput., 2011
Int. J. Nat. Comput. Res., 2011
Int. J. Found. Comput. Sci., 2011
Proceedings of the Nature Inspired Cooperative Strategies for Optimization, 2011
Proceedings of the Membrane Computing, 2011
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Proceedings of the Software Engineering and Computer Systems, 2011
2010
J. Log. Algebraic Methods Program., 2010
Proceedings of the Membrane Computing, 2010
Proceedings of the Sixth International Conference on Natural Computation, 2010
2009
Proceedings of the Membrane Computing, 10th International Workshop, 2009
Proceedings of the 2009 Fourth Balkan Conference in Informatics, 2009
2008
Proceedings of the SYNASC 2008, 2008
Proceedings of the First International Conference on Software Testing Verification and Validation, 2008
Proceedings of the First International Conference on Software Testing, 2008
2007
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007