Items where authors include "Lefticaru, R."

Article

Núñez, M., Hierons, R. orcid.org/0000-0002-4771-1446 and Lefticaru, R. (2023) Implementation relations and testing for cyclic systems: adding probabilities. Robotics and Autonomous Systems, 165. 104426. ISSN 0921-8890

Lefticaru, R., Hierons, R. orcid.org/0000-0002-4771-1446 and Nunez, M. (2020) Implementation relations and testing for cyclic systems with refusals and discrete time. Journal of Systems and Software, 170. 110738. ISSN 0164-1212

Simons, A. orcid.org/0000-0002-5925-7148 and Lefticaru, R. (2020) A verified and optimized Stream X-Machine testing method, with application to cloud service certification. Software Testing, Verification and Reliability, 30 (3). e1729. ISSN 0960-0833

Ipate, F., Gheorghe, M. and Lefticaru, R. (2010) Test generation from P systems using model checking. The Journal of Logic and Algebraic Programming, 79 (6). pp. 350-362. ISSN 1567-8326

Proceedings Paper

Cavalcanti, A., Baxter, J., Hierons, R.M. orcid.org/0000-0002-4771-1446 et al. (1 more author) (2019) Testing robots using CSP. In: Beyer, D. and Keller, C., (eds.) 13th International Conference on Tests and Proofs (TAP 2019). 13th International Conference on Tests and Proofs, 09-11 Oct 2019, Porto, Portugal. Lecture Notes in Computer Science, 11823 . Springer , pp. 21-38. ISBN 9783030311568

Lefticaru, R., Hierons, R. orcid.org/0000-0002-4771-1446 and Nunez, M. (2019) An implementation relation for cyclic systems with refusals and discrete time. In: Ölveczky, P.C. and Salaün, G., (eds.) Proceedings of of 17th International Conference on Software Engineering and Formal Methods. 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), 16-20 Sep 2019, Oslo, Norway. Lecture Notes in Computer Science (11724). Springer , pp. 393-409. ISBN 9783030304454

Lefticaru, R., Bakir, M.E., Konur, S. et al. (2 more authors) (2018) Modelling and validating an engineering application in kernel P systems. In: Gheorghe, M., Rozenberg, G., Salomaa, A. and Zandron, C., (eds.) Membrane Computing. CMC 2017. 18th International Conference, CMC 2017, 25-28 Jul 2017, Bradford, UK. Lecture Notes in Computer Science, 10725 . Springer International Publishing , pp. 183-195. ISBN 9783319733586

Lefticaru, R. and Simons, A.J.H. (2015) X-Machine Based Testing for Cloud Services. In: Ortiz, G. and Tran, C., (eds.) Advances in Service-Oriented and Cloud Computing. Workshops of ESOCC 2014, September 2-4, 2014, Manchester, UK. Lecture Notes in Computer Science, 508 . Springer , pp. 175-189. ISBN 978-3-319-14885-4