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: Ciobanu:Gabriel
Contributed to:
2013
20122012
2011
2011
2008
20092006
2004
20042005Wrote 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.