Modelling and Analysis of Cyber-Physical Systems
Modelling and Analysis of Cyber-Physical Systems

Publications

  1. M. Gheorghe, R. Ceterchi, F. Ipate, S. Konur, R. Lefticaru. Kernel P Systems: From Modelling to Verification and Testing, Theoretical Computer Science, 724, 45-60, 2018. IF 0.772.
  2. F. Ipate, M. Gheorghe. Learning X-machines from queries and counterexamples. To be submitted.
  3. R. Lefticaru, M. E. Bakir, S. Konur, M. Gheorghe, M. Stannett, F. Ipate. An Integrated Model Checking Toolset for Kernel P Systems. Int. Conf. on Membrane Computing 2017, LNCS, 183-195, 2017.
  4. L. Lin, A. Stefanescu, W. Wang, R. Su, W.M. Wonham. Symbolic Reachability Analysis and Maximally Permissive Entrance Control for Globally Synchronized Templates. Automatica 87, pp. 290-300, 2018.
  5. A. Turlea, F. Ipate and R. Lefticaru, "A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm," 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romania, 2017, pp. 153-160. doi: 10.1109/SYNASC.2017.00034
  6. M E Bakir, S Konur, M Gheorghe, N Krasnogor, M Stannett. Automatic selection of verification tools for efficient analysis of biochemical models. Bioinformatics 34(18), 3187-3185, 2018; IF=5.481
  7. E Csuhaj-Varju, M Gheorghe, R Lefticaru. P colonies and kernel P systems. International Journal of Advances in Engineering Sciences and Applied Mathematics 10(3), 181-192, 2018; IF=0.83
  8. A. Ţurlea, F. Ipate and R. Lefticaru, "Generating Complex Paths for Testing from an EFSM," 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), Lisbon, 2018, pp. 242-249. doi: 10.1109/QRS-C.2018.00052
  9. A. Turlea, F. Campean, R. Lefticaru. Search based Model in the Loop Testing for Cyber Physical Systems. Working Formal Methods Symposium, 2018.
  10. M. Gheorghe, F. Ipate, R. Lefticaru, A. Ţurlea, “Testing Identifiable Kernel P Systems using an X-machine Approach”. Proceedings of the 19th International Conference on Membrane Computing (CMC19), 2018. Best Student Paper Award
  11. A. Turlea. Test Suite Generation for Cyber Physical Systems at the Model in the Loop level. SYNASC, 2018.
  12. A. Turlea, F. Campean. Model-in-the-Loop Testing for Cyber Physical Systems. Software Engineering Notes, submitted.
  13. A. Turlea. Search based Model in the Loop Testing for Cyber Physical Systems. 2018 IEEE 16th International Conference on Embedded and Ubiquitous Computing (EUC), Bucharest, 2018.
  14. F. Campean, U. Yildirim, E. Henshall. Synthesis of functional models from uses cases using the system state flow diagram: a nested approach. International Design Conference - Design 2018, 2833-2844, 2018.
  15. S. Predut, F. Ipate, M. Gheorghe, F. Campean. Formal Modelling of Cruise Control System Using Event-B and Rodin Platform. 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th Intl. Conference on Data Science and Systems, 1543-1548, 2018.
  16. A. Turlea, M. Gheorghe, F. Ipate. Search Based Software Engineering in Membrane Computing. 17th Brainstorming Week on Membrane Computing, Seville, 2019
  17. A. Turlea, M. Gheorghe, F. Ipate, S. Konur. Search Based Software Engineering in Membrane Computing. 20th Conference on Membrane Computing, 2019
  18. A. Turlea, M. Gheorghe, F. Ipate, S. Konur. Search Based Software Engineering in Membrane Computing. Journal of Membrane Computing, Submitted.
  19. A. Turlea. Testing Extended Finite State Machines using NSGA-III. In Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST 19), August 26–27, 2019, Tallinn, Estonia.
  20. A. Turlea. Search-based Testing using EFSMs. 30th International Symposium on Software Reliability Engineering (ISSRE 2019), Doctoral Symposium.