Items where authors include "Gheorghe, M."
Up a levelArticle
Mishra, B.K., Thakker, D., Mazumdar, S. orcid.org/0000-0002-0748-7638 et al. (3 more authors) (2020) A novel application of deep learning with image cropping : a smart city use case for flood monitoring. Journal of Reliable Intelligent Environments, 6 (1). pp. 51-61. ISSN 2199-4668
Bakir, M.E., Konur, S., Gheorghe, M. et al. (2 more authors) (2018) Automatic selection of verification tools for efficient analysis of biochemical models. Bioinformatics, 34 (18). pp. 3187-3195. ISSN 1367-4803
Stannett, M. and Gheorghe, M. (2015) Integration testing of heterotic systems. Philosophical Transactions A: Mathematical, Physical and Engineering Sciences, 373. 20140222. ISSN 1364-503X
Csuhaj-Varjú, E., Gheorghe, M., Stannett, M. orcid.org/0000-0002-2794-8614 et al. (1 more author) (2015) Spatially Localised Membrane Systems. Fundamenta Informaticae, 138 (1-2). pp. 193-205. ISSN 0169-2968
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
Hierons, R.M., Bogdanov, K., Bowen, J.P. et al. (12 more authors) (2009) Using formal specifications to support testing. ACM Computing Surveys, 41 (2). ISSN 0360-0300
Proceedings Paper
Bakir, M.E. orcid.org/0000-0002-3012-8713, Gheorghe, M., Konur, S. et al. (1 more author) (2017) Comparative Analysis of Statistical Model Checking Tools. In: Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers. 17th International Conference on Membrane Computing (CMC17), 25/07/2016-29/07/2016, Milan, Italy. Lecture Notes in Computer Science, 10105 . Springer Verlag . ISBN 978-3-319-54071-9
Gheorghe, M., Konur, S., Ipate, F. et al. (3 more authors) (2015) An integrated model checking toolset for kernel P systems. In: Lecture Notes in Computer Science. 16th International Conference, CMC 2015, 17-21 Aug 2015, Valencia, Spain. Springer , pp. 153-170. ISBN 9783319284743
Konur, S. and Gheorghe, M. (2014) Design and Analysis of Genetically Constructed Logic Gates. In: The University of Sheffield Engineering Symposium Conference Proceedings Vol. 1. USES 2014 - The University of Sheffield Engineering Symposium, 24 June 2014, The Octagon Centre, University of Sheffield. .