Mihaela Sighireanu

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 19

Top Topics

Inductive Reasoning

Automata Theoretic

Software Packages

Top Venues

Int. J. Softw. Tools Technol. Transf.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Tanguy Bozec, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu
What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment? IJCAR (2) (2024)
Wanyun Su, Zhilin Wu, Mihaela Sighireanu
Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions. CoRR (2024)
Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
The CoLiS platform for the analysis of maintainer scripts in Debian software packages. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Mihaela Sighireanu
SL-COMP: competition of solvers for separation logic. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
Analysing installation scenarios of Debian packages. TACAS (2) (2020)
Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
Exploiting Pointer Analysis in Memory Models for Deductive Verification. VMCAI (2019)
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
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) (2019)
Mihaela Sighireanu, Juan Antonio Navarro Pérez, 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, Tomás Vojnar, Constantin Enea, Ondrej Lengál, Chong Gao, Zhilin Wu
SL-COMP: Competition of Solvers for Separation Logic. TACAS (3) (2019)
Raphaël Cauderlier, Mihaela Sighireanu
A Verified Implementation of the Bounded List Container. TACAS (1) (2018)
Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao
Formal modelling of list based dynamic memory allocators. Sci. China Inf. Sci. 61 (12) (2018)
Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski
Exploiting Pointer Analysis in Memory Models for Deductive Verification. CoRR (2018)
David Pichardie, Mihaela Sighireanu
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)
Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
Compositional entailment checking for a fragment of separation logic. Formal Methods Syst. Des. 51 (3) (2017)
Bin Fang, Mihaela Sighireanu
A refinement hierarchy for free list memory allocators. ISMM (2017)
Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
SPEN: A Solver for Separation Logic. NFM (2017)
Bin Fang, Mihaela Sighireanu
Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators. LOPSTR (2016)
Bin Fang, Mihaela Sighireanu
Hierarchical Shape Abstraction for Analysis of Free-List Memory Allocators. CoRR (2016)
Constantin Enea, Mihaela Sighireanu, Zhilin Wu
On Automated Lemma Generation for Separation Logic with Inductive Definitions. ATVA (2015)
Constantin Enea, Mihaela Sighireanu, Zhilin Wu
On Automated Lemma Generation for Separation Logic with Inductive Definitions. CoRR (2015)
Mihaela Sighireanu, David R. Cok
Report on SL-COMP 2014. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, Tomás Vojnar
Compositional Entailment Checking for a Fragment of Separation Logic. APLAS (2014)
Constantin Enea, Vlad Saveluc, Mihaela Sighireanu
Compositional Invariant Checking for Overlaid and Nested Linked Lists. ESOP (2013)
Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
Local Shape Analysis for Overlaid Data Structures. SAS (2013)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. ATVA (2012)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. VMCAI (2012)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
On inter-procedural analysis of programs with lists and data. PLDI (2011)
Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu
Guidelines for the Verification of Population Protocols. ICDCS (2011)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. CAV (2010)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes Log. Methods Comput. Sci. 5 (2) (2009)
Ahmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu
Rewriting Systems over Nested Data Words. MEMICS (2009)
Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu
A Logic-Based Framework for Reasoning about Composite Data Structures. CONCUR (2009)
Mihaela Sighireanu, Tayssir Touili
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism. INFINITY (2009)
Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu
Simple Algorithm for Simple Timed Games. TIME (2009)
Gaël Patin, Mihaela Sighireanu, Tayssir Touili
Spade: Verification of Multithreaded Dynamic and Recursive Programs. CAV (2007)
Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. TACAS (2007)
Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu
Rewriting Systems with Data. FCT (2007)
Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu
Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. ICAPS (2007)
Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. DSN (2003)
Marc Boyer, Mihaela Sighireanu
Synthesis and Verification of Constraints in the PGM Protocol. FME (2003)
Radu Mateescu, Mihaela Sighireanu
Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program. 46 (3) (2003)
Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu
Analyzing Fair Parametric Extended Automata. SAS (2001)
Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu
Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. ICDCS (2001)
Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu
TReX: A Tool for Reachability Analysis of Complex Systems. CAV (2001)
Alain Girault, Christophe Lavarenne, Mihaela Sighireanu, Yves Sorel
Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links. IPDPS (2001)
Hubert Garavel, Mihaela Sighireanu
A Graphical Parallel Composition Operator for Process Algebras. FORTE (1999)
Mihaela Sighireanu, Radu Mateescu
Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. Int. J. Softw. Tools Technol. Transf. 2 (1) (1998)
Hubert Garavel, Mihaela Sighireanu
On the Introduction of Exceptions in E-LOTOS. FORTE (1996)
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
CADP - A Protocol Validation and Verification Toolbox. CAV (1996)