CADP - A Protocol Validation and Verification Toolbox. - Jean-Claude Fernandez; Hubert Garavel; Alain Kerbrat; Laurent Mounier; Radu Mateescu 001; Mihaela Sighireanu (CAV, 1996)

On the Introduction of Exceptions in E-LOTOS. - Hubert Garavel; Mihaela Sighireanu (FORTE, 1996)

Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. - Mihaela Sighireanu; Radu Mateescu 001 (Int. J. Softw. Tools Technol. Transf., 1998)

A Graphical Parallel Composition Operator for Process Algebras. - Hubert Garavel; Mihaela Sighireanu (FORTE, 1999)

TReX: A Tool for Reachability Analysis of Complex Systems. - Aurore Annichini; Ahmed Bouajjani; Mihaela Sighireanu (CAV, 2001)

Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems. - Alain Girault; Christophe Lavarenne; Yves Sorel; Mihaela Sighireanu (ICDCS, 2001)

Generation of Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems with Multi-Point Links. - Alain Girault; Christophe Lavarenne; Mihaela Sighireanu; Yves Sorel (IPDPS, 2001)

Analyzing Fair Parametric Extended Automata. - Ahmed Bouajjani; Aurore Collomb-Annichini; Yassine Lakhnech; Mihaela Sighireanu (SAS, 2001)

An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules. - Alain Girault; Hamoudi Kalla; Mihaela Sighireanu; Yves Sorel (DSN, 2003)

Synthesis and Verification of Constraints in the PGM Protocol. - Marc Boyer; Mihaela Sighireanu (FME, 2003)

Efficient on-the-fly model-checking for regular alternation-free mu-calculus. - Radu Mateescu 001; Mihaela Sighireanu (Sci. Comput. Program., 2003)

Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. - Yasmina Abdeddaïm; Eugene Asarin; Matthieu Gallien; Félix Ingrand; Charles Lesire; Mihaela Sighireanu (ICAPS, 2007)

Spade: Verification of Multithreaded Dynamic and Recursive Programs. - Gaël Patin; Mihaela Sighireanu; Tayssir Touili (CAV, 2007)

Rewriting Systems with Data. - Ahmed Bouajjani; Peter Habermehl; Yan Jurski; Mihaela Sighireanu (FCT, 2007)

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes. - Ahmed Bouajjani; Yan Jurski; Mihaela Sighireanu (TACAS, 2007)

A Logic-Based Framework for Reasoning about Composite Data Structures. - Ahmed Bouajjani; Cezara Dragoi; Constantin Enea; Mihaela Sighireanu (CONCUR, 2009)

Rewriting Systems over Nested Data Words. - Ahmed Bouajjani; Cezara Dragoi; Yan Jurski; Mihaela Sighireanu (MEMICS, 2009)

Simple Algorithm for Simple Timed Games. - Yasmina Abdeddaïm; Eugene Asarin; Mihaela Sighireanu (TIME, 2009)

A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes - Ahmed Bouajjani; Cezara Dragoi; Constantin Enea; Yan Jurski; Mihaela Sighireanu (Log. Methods Comput. Sci., 2009)

Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism. - Mihaela Sighireanu; Tayssir Touili (INFINITY, 2009)

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. - Ahmed Bouajjani; Cezara Dragoi; Constantin Enea; Ahmed Rezine; Mihaela Sighireanu (CAV, 2010)

Guidelines for the Verification of Population Protocols. - Julien Clément 001; Carole Delporte-Gallet; Hugues Fauconnier; Mihaela Sighireanu (ICDCS, 2011)

On inter-procedural analysis of programs with lists and data. - Ahmed Bouajjani; Cezara Dragoi; Constantin Enea; Mihaela Sighireanu (PLDI, 2011)

Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data. - Ahmed Bouajjani; Cezara Dragoi; Constantin Enea; Mihaela Sighireanu (ATVA, 2012)

Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data. - Ahmed Bouajjani; Cezara Dragoi; Constantin Enea; Mihaela Sighireanu (VMCAI, 2012)

Compositional Invariant Checking for Overlaid and Nested Linked Lists. - Constantin Enea; Vlad Saveluc; Mihaela Sighireanu (ESOP, 2013)

Local Shape Analysis for Overlaid Data Structures. - Cezara Dragoi; Constantin Enea; Mihaela Sighireanu (SAS, 2013)

Report on SL-COMP 2014. - Mihaela Sighireanu; David R. Cok (J. Satisf. Boolean Model. Comput., 2014)

On Automated Lemma Generation for Separation Logic with Inductive Definitions. - Constantin Enea; Mihaela Sighireanu; Zhilin Wu (ATVA, 2015)

Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators. - Bin Fang 004; Mihaela Sighireanu (LOPSTR, 2016)

A refinement hierarchy for free list memory allocators. - Bin Fang 004; Mihaela Sighireanu (ISMM, 2017)

SPEN: A Solver for Separation Logic. - Constantin Enea; Ondrej Lengál; Mihaela Sighireanu; Tomás Vojnar (NFM, 2017)

Compositional entailment checking for a fragment of separation logic. - Constantin Enea; Ondrej Lengál; Mihaela Sighireanu; Tomás Vojnar (Formal Methods Syst. Des., 2017)

A Verified Implementation of the Bounded List Container. - Raphaël Cauderlier; Mihaela Sighireanu (TACAS (1), 2018)

Formal modelling of list based dynamic memory allocators. - Bin Fang 004; Mihaela Sighireanu; Geguang Pu; Wen Su; Jean-Raymond Abrial; Mengfei Yang; Lei Qiao 002 (Sci. China Inf. Sci., 2018)

Preface. - David Pichardie; Mihaela Sighireanu (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018)

TOOLympics 2019: An Overview of Competitions in Formal Methods. - Ezio Bartocci; Dirk Beyer 001; Paul E. Black; Grigory Fedyukovich; Hubert Garavel; Arnd Hartmanns; Marieke Huisman; Fabrice Kordon; Julian Nagele; Mihaela Sighireanu; Bernhard Steffen; Martin Suda 001; et al. (TACAS (3), 2019)

SL-COMP: Competition of Solvers for Separation Logic. - Mihaela Sighireanu; Juan Antonio Navarro Pérez; Andrey Rybalchenko; Nikos Gorogiannis; Radu Iosif; Andrew Reynolds 001; Cristina Serban; Jens Katelaan; Christoph Matheja; Thomas Noll 001; Florian Zuleger; Wei-Ngan Chin; et al. (TACAS (3), 2019)

Exploiting Pointer Analysis in Memory Models for Deductive Verification. - Quentin Bouillaguet; François Bobot; Mihaela Sighireanu; Boris Yakobowski (VMCAI, 2019)

Analysing installation scenarios of Debian packages. - Benedikt F. H. Becker; Nicolas Jeannerod; Claude Marché; Yann Régis-Gianas; Mihaela Sighireanu; Ralf Treinen (TACAS (2), 2020)

SL-COMP: competition of solvers for separation logic. - Mihaela Sighireanu (Int. J. Softw. Tools Technol. Transf., 2021)

The CoLiS platform for the analysis of maintainer scripts in Debian software packages. - Benedikt F. H. Becker; Nicolas Jeannerod; Claude Marché; Yann Régis-Gianas; Mihaela Sighireanu; Ralf Treinen (Int. J. Softw. Tools Technol. Transf., 2022)

What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment? - Tanguy Bozec; Nicolas Peltier; Quentin Petitjean; Mihaela Sighireanu (IJCAR (2), 2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions. - Wanyun Su; Zhilin Wu; Mihaela Sighireanu (CoRR, 2024)

A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code. - Julien Simonnet; Matthieu Lemerre; Mihaela Sighireanu (Proc. ACM Program. Lang., 2024)

Preface of the special issue on the static analysis symposium 2020 and 2022. - David Pichardie; Mihaela Sighireanu; Gagandeep Singh 001; Caterina Urban (Formal Methods Syst. Des., 2025)