`Travelled to:`

1 × France

1 × United Kingdom

2 × Portugal

`Collaborated with:`

J.A.Brzozowski M.Chechik A.Gurfinkel D.Giannakopoulou C.S.Pasareanu

`Talks about:`

transient (2) circuit (2) algebra (2) find (2) interfac (1) guarante (1) feedback (1) composit (1) alphabet (1) environ (1)

## Person: Mihaela Gheorghiu

### DBLP: Gheorghiu:Mihaela

### Contributed to:

### Wrote 5 papers:

- FASE-2007-ChechikGG
- Finding Environment Guarantees (MC, MG, AG), pp. 352–367.
- IFM-2007-GheorghiuGC #logic #query
- Finding State Solutions to Temporal Logic Queries (MG, AG, MC), pp. 273–292.
- TACAS-2007-GheorghiuGP #composition #interface #verification
- Refining Interface Alphabets for Compositional Verification (MG, DG, CSP), pp. 292–307.
- CIAA-2002-BrzozowskiG #algebra #simulation
- Simulation of Gate Circuits in the Algebra of Transients (JAB, MG), pp. 57–66.
- CIAA-2002-GheorghiuB #algebra
- Feedback-Free Circuits in the Algebra of Transients (MG, JAB), pp. 106–116.