Concepedia

Mihaela Sighireanu

MS

Statistics

Publications

12

Citations

416

H-Index

12

Active since

1998

Affiliations

Université Paris Cité(Current)

Laboratoire d'Informatique Algorithmique: Fondements et Applications

Centre National de la Recherche Scientifique

Institut national de recherche en sciences et technologies du numérique

Centre Inria de l'Université Grenoble Alpes

Mihaela Sighireanu is an author at Université Paris Cité specializing in computing, computer science, and formal methods.

Publications per year

1998–2017

12

Publications

12

Efficient on-the-fly model-checking for regular alternation-free mu-calculus

Radu Mateescu, Mihaela Sighireanu · Science of Computer Programming · 2002 · 159 citations · Full text

Computing, Computer Science, Algorithms +7

An algorithm for automatically obtaining distributed and fault-tolerant static schedules

Alain Girault, Hamoudi Kalla, Mihaela Sighireanu et al. · 2004 · 48 citations · Full text

Computing, Computer Engineering, Computer Science +17

Verification of the Link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS

Mihaela Sighireanu, Radu Mateescu · International Journal on Software Tools for Technology Transfer · 1998 · 36 citations

Computing, Computer Engineering, Computer Science +13

Fault-tolerant static scheduling for real-time distributed embedded systems

Alain Girault, C. Lavarenne, Mihaela Sighireanu et al. · 2002 · 26 citations · Full text

Computing, Computer Engineering, Computer Science +17

On inter-procedural analysis of programs with lists and data

Ahmed Bouajjani, Cezara Drăgoi, Constantin Enea et al. · ACM SIGPLAN Notices · 2011 · 25 citations

Computing, Computer Science, Formal Methods +16

1–5 of 12