Menu

Gabriel Ciobanu

Member Status: Former

Institution: Institute of Computer Science, Romanian Academy

E-mail: gabriel@iit.tuiasi.ro

Publications

2009

Model-based Testing and Analysis of Coordinated Components

Gabriel Ciobanu and Dorel Lucanu

ECEASST BIB

2007

A rewriting logic framework for operational semantics of membrane systems

Gabriel Ciobanu and Oana Andrei and Dorel Lucanu

TCS BIB

2006

Expressing Control Mechanisms of Membranes by Rewriting Strategies.

Gabriel Ciobanu and Oana Andrei and Dorel Lucanu

WMC BIB

Structural Operational Semantics of P Systems

Gabriel Ciobanu and Oana Andrei and Dorel Lucanu

WMC BIB

Operational Semantics and Rewriting Logic in Membrane Computing

Gabriel Ciobanu and Oana Andrei and Dorel Lucanu

ENTCS BIB

A specification language for coordinated objects

Gabriel Ciobanu and Dorel Lucanu

ACM BIB

2005

Executable Specifications of the P Systems

Gabriel Ciobanu and Oana Andrei and Dorel Lucanu

WMC BIB

Specification of Coordinated Objects and Verification of Their Temporal Properties

Gabriel Ciobanu and Mihai Danes and Dorel Lucanu

SYNASC BIB

Communicating Concurrent Objects in HiddenCCS

Gabriel Ciobanu and Dorel Lucanu

ENTCS BIB

2004

Specification and Verification of Synchronizing Concurrent Objects

Gabriel Ciobanu and Dorel Lucanu

IFM BIB

Model Checking for Object Specifications in Hidden Algebra

Gabriel Ciobanu and Dorel Lucanu

VMCAI BIB

Specification and Verification of Synchronizing Concurrent Objects

Gabriel Ciobanu and Dorel Lucanu

IFM2004 BIB

Sidebar