Mihaela Sighireanu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
18
Active years
1996–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | MFCS | The Entailment Problem for Separation Logic with Overlaid Structures. | Lucas Bueri, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu |
| 2024 | IJCAR | What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment? | Tanguy Bozec, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu |
| 2020 | TACAS | Analysing installation scenarios of Debian packages. | Benedikt F. H. Becker, Nicolas Jeannerod, Claude March, Yann Rgis-Gianas, Mihaela Sighireanu, Ralf Treinen |
| 2019 | TACAS | TOOLympics 2019: An Overview of Competitions in Formal Methods. | Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada |
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2019 | VMCAI | Exploiting Pointer Analysis in Memory Models for Deductive Verification. | Quentin Bouillaguet, Franois Bobot, Mihaela Sighireanu, Boris Yakobowski |
| 2018 | TACAS | A Verified Implementation of the Bounded List Container. | Raphal Cauderlier, Mihaela Sighireanu |
| 2016 | LOPSTR | Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators. | Bin Fang, Mihaela Sighireanu |
| 2015 | ATVA | On Automated Lemma Generation for Separation Logic with Inductive Definitions. | Constantin Enea, Mihaela Sighireanu, Zhilin Wu |
| 2014 | APLAS | Compositional Entailment Checking for a Fragment of Separation Logic. | Constantin Enea, Ondrej Lengl, Mihaela Sighireanu, Toms Vojnar |
| 2013 | ESOP | Compositional Invariant Checking for Overlaid and Nested Linked Lists. | Constantin Enea, Vlad Saveluc, Mihaela Sighireanu |
| 2013 | SAS | Local Shape Analysis for Overlaid Data Structures. | Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2012 | ATVA | Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2012 | VMCAI | Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2011 | ICDCS | Guidelines for the Verification of Population Protocols. | Julien Clment, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu |
| 2011 | PLDI | On inter-procedural analysis of programs with lists and data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2010 | CAV | Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu |
| 2009 | CONCUR | A Logic-Based Framework for Reasoning about Composite Data Structures. | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
| 2009 | TIME | Simple Algorithm for Simple Timed Games. | Yasmina Abdeddam, Eugene Asarin, Mihaela Sighireanu |
| 2007 | CAV | Spade: Verification of Multithreaded Dynamic and Recursive Programs. | Gal Patin, Mihaela Sighireanu, Tayssir Touili |
| 2007 | FCT | Rewriting Systems with Data. | Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu |
| 2007 | TACAS | A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. | Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu |
| 2003 | DSN | An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. | Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel |
| 2003 | FM | Synthesis and Verification of Constraints in the PGM Protocol. | Marc Boyer, Mihaela Sighireanu |
| 2001 | CAV | TReX: A Tool for Reachability Analysis of Complex Systems. | Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu |
| 2001 | ICDCS | Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. | Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu |
| 2001 | SAS | Analyzing Fair Parametric Extended Automata. | Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu |
| 1999 | FORTE | A Graphical Parallel Composition Operator for Process Algebras. | Hubert Garavel, Mihaela Sighireanu |
| 1996 | CAV | CADP - A Protocol Validation and Verification Toolbox. | Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu |
| 1996 | FORTE | On the Introduction of Exceptions in E-LOTOS. | Hubert Garavel, Mihaela Sighireanu |