M
Marian Gheorghe
Researcher at University of Bradford
Publications - 9
Citations - 66
Marian Gheorghe is an academic researcher from University of Bradford. The author has contributed to research in topics: Membrane computing & Model checking. The author has an hindex of 4, co-authored 9 publications receiving 53 citations.
Papers
More filters
Book ChapterDOI
An Integrated Model Checking Toolset for Kernel P Systems
Marian Gheorghe,Savas Konur,Florentin Ipate,Florentin Ipate,Laurentiu Mierla,Laurentiu Mierla,Mehmet E. Bakir,Mike Stannett +7 more
TL;DR: This paper presents an extension to kPWorkbench with a new model checking framework supporting the formal verification of kP system models, and proposes a property language, composed of natural language statements, to make the property specification an easier task.
Journal ArticleDOI
Kernel P systems: From modelling to verification and testing
Marian Gheorghe,Rodica Ceterchi,Florentin Ipate,Savas Konur,Raluca Lefticaru,Raluca Lefticaru +5 more
TL;DR: The modelling capabilities of Kernel P systems are illustrated by showing how other classes of P systems can be represented with this formalism and providing a number of kernel P system models for a sorting algorithm and a broadcasting problem.
Journal ArticleDOI
Automatic selection of verification tools for efficient analysis of biochemical models.
TL;DR: A system is provided that can automatically predict the fastest model checking tool for a given biological model, implying significant performance gain in verification time and substantially reduces the ‘usability barrier’ enabling biologists to have access to this powerful computational technology.
Journal ArticleDOI
Mutation Based Testing of P Systems
Florentin Ipate,Marian Gheorghe +1 more
TL;DR: This paper provides a formal way of generating mutants for systems specified by context-free grammars, and shows how the proposed method can be used to construct mutants for a P system specification.
Proceedings ArticleDOI
Formal Modelling of Cruise Control System Using Event-B and Rodin Platform
TL;DR: This work uses the Event- B method, a formal approach for reliable systems specification and verification, being supported by the Rodin platform, based on theorem proving, allowing a stepwise specification process based on refinement.