InstitutionInstitute of Computer Science, Romanian AcademyEmailgabriel@iit.tuiasi.roStatusFormerPublications2009Model-based Testing and Analysis of Coordinated ComponentsGabriel Ciobanu, Dorel Lucanu Journal2007A rewriting logic framework for operational semantics of membrane systemsOana Andrei, Gabriel Ciobanu, Dorel Lucanu Journal2006Structural Operational Semantics of P SystemsOana Andrei, Gabriel Ciobanu, Dorel Lucanu ConferenceExpressing Control Mechanisms of Membranes by Rewriting Strategies.Oana Andrei, Gabriel Ciobanu, Dorel Lucanu ConferenceOperational Semantics and Rewriting Logic in Membrane ComputingOana Andrei, Dorel Lucanu, Gabriel Ciobanu JournalA specification language for coordinated objectsGabriel Ciobanu, Dorel Lucanu Journal2005Specification of Coordinated Objects and Verification of Their Temporal PropertiesMihai Danes, Gabriel Ciobanu, Dorel Lucanu ConferenceExecutable Specifications of the P SystemsOana Andrei, Gabriel Ciobanu, Dorel Lucanu ConferenceCommunicating Concurrent Objects in HiddenCCSGabriel Ciobanu, Dorel Lucanu Journal2004Specification and Verification of Synchronizing Concurrent ObjectsGabriel Ciobanu, Dorel Lucanu ConferenceSpecification and Verification of Synchronizing Concurrent ObjectsGabriel Ciobanu, Dorel Lucanu ConferenceModel Checking for Object Specifications in Hidden AlgebraDorel Lucanu, Gabriel Ciobanu Conference