Travelled to:1 × Germany
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:K.Sere R.Back I.Paltor M.Kamali P.Höfner M.Kamali D.Diaconescu I.Leustean G.Stefanescu
Talks about:system (2) distribut (1) translat (1) proactiv (1) interact (1) contract (1) preserv (1) develop (1) control (1) analysi (1)
Person: Luigia Petre
DBLP: Petre:Luigia
Facilitated 2 volumes:
EdEdContributed to:
201520122000
1999Wrote 4 papers:
- SEFM-2015-KamaliHKP #analysis #distributed #formal method
- Formal Analysis of Proactive, Distributed Routing (MK, PH, MK, LP), pp. 175–189.
- IFM-2012-DiaconescuLPSS #interactive
- Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems (DD, IL, LP, KS, GS), pp. 221–236.
- IFM-2000-PetreS #component
- Developing Control Systems Components (LP, KS), pp. 156–175.
- UML-1999-PetreBP #case study #contract #uml
- Analysing UML Use Cases as Contracts (LP, RJB, IP), pp. 518–533.