Search results

...r/ LIAFA Paris] ([http://www.liafa.univ-paris-diderot.fr/~sighirea Mihaela Sighireanu], [http://www.liafa.univ-paris-diderot.fr/~cenea Constantin Enea], [http://

* Mihaela Sighireanu gave a talk on shape analysis by abstract interpretation at [http://resour ...http://frama-c.com/framaCDay.html Frama-C Day] on March 13th 2015. Mihaela Sighireanu presented the [http://www.liafa.univ-paris-diderot.fr/celia Celia] tool.

...CV and two or three reference persons to Mihaela Sighireanu (mihaela DOT sighireanu AT liafa DOT univ-paris-diderot DOT fr).

11h00 '''Mihaela Sighireanu''' (LIAFA) ''Automating Program Proofs Based on Separation Logic with Induc

Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, and Tomás Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, and Tomás

Mihaela Sighireanu and Mihaela Sighireanu and

* 09:30 Mihaela Sighireanu: Project presentation, report on the kickoff meeting organised by ANR * 14:00 Mihaela Sighireanu (LIAFA) : Automatic verification and generation of invariants for low level

11h30 '''Mihaela Sighireanu''' (Liafa) ''Report on SL-COMP'14''

[2] A. Bouajjani, C. Dragoi, C. Enea, M. Sighireanu, ''On Inter-Procedural Analysis of Programs with Lists and Data'', PLDI'11. ...tion with detailed list of competencies to Mihaela Sighireanu (mihaela DOT sighireanu AT liafa DOT unit-paris-diderot DOT fr) before June 15th, 2016.

10h30-11h15 '''Mihaela Sighireanu (Liafa)'''