BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Greece
1 × Hungary
1 × Ireland
1 × United Kingdom
2 × Spain
Collaborated with:
D.Lucanu M.Koutny B.Aman G.M.Pinna O.Agrigoroaiei C.Prisacariu L.J.Steggles
Talks about:
time (5) system (3) specif (3) object (3) migrat (3) interact (2) membran (2) concurr (2) rewrit (2) hidden (2)

Person: Gabriel Ciobanu

DBLP DBLP: Ciobanu:Gabriel

Contributed to:

SEFM 20132013
LATA 20122012
SEFM 20122012
FM 20112011
QAPL 20112011
FASE 20082008
WRLA 20082009
QAPL 20062006
IFM 20042004
VMCAI 20042004
WRLA 20042005

Wrote 11 papers:

SEFM-2013-AmanC #migration #realtime
Real-Time Migration Properties of rTiMo Verified in Uppaal (BA, GC), pp. 31–45.
LATA-2012-CiobanuP #petri net
Catalytic Petri Nets Are Turing Complete (GC, GMP), pp. 192–203.
SEFM-2012-CiobanuKS #semantics
A Timed Mobility Semantics Based on Rewriting Strategies (GC, MK, LJS), pp. 141–155.
FM-2011-CiobanuK #interactive #migration
Timed Migration and Interaction with Access Permissions (GC, MK), pp. 293–307.
QAPL-2011-AmanC #petri net
Time Delays in Membrane Systems and Petri Nets (BA, GC), pp. 47–60.
FASE-2008-CiobanuK #interactive #migration #modelling #verification
Modelling and Verification of Timed Interaction and Migration (GC, MK), pp. 215–229.
WRLA-2008-AgrigoroaieiC09 #logic #specification
Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors (OA, GC), pp. 5–22.
QAPL-2006-CiobanuP #distributed
Timers for Distributed Systems (GC, CP), pp. 81–99.
IFM-2004-CiobanuL #concurrent #specification #verification
Specification and Verification of Synchronizing Concurrent Objects (GC, DL), pp. 307–327.
VMCAI-2004-LucanuC #algebra #model checking #specification
Model Checking for Object Specifications in Hidden Algebra (DL, GC), pp. 97–109.
WRLA-2004-CiobanuL05 #communication #concurrent
Communicating Concurrent Objects in HiddenCCS (GC, DL), pp. 353–373.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.