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 × 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 DBLP: Gheorghiu:Mihaela

Contributed to:

FASE 20072007
IFM 20072007
TACAS 20072007
CIAA 20022002

Wrote 5 papers:

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.

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.