Mihaela Sighireanu

According to our database, Mihaela Sighireanu authored at least 45 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions.

Wanyun Su, Zhilin Wu, Mihaela Sighireanu

CoRR, 2024

What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment?

Tanguy Bozec, Nicolas Peltier, Quentin Petitjean, Mihaela Sighireanu

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

2022

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

2021

SL-COMP: competition of solvers for separation logic.

Mihaela Sighireanu

Int. J. Softw. Tools Technol. Transf., 2021

2020

Analysing installation scenarios of Debian packages.

Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

Exploiting Pointer Analysis in Memory Models for Deductive Verification.

Quentin Bouillaguet, François Bobot, Mihaela Sighireanu, Boris Yakobowski

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

SL-COMP: Competition of Solvers for Separation Logic.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Preface.

David Pichardie, Mihaela Sighireanu

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

Formal modelling of list based dynamic memory allocators.

Bin Fang, Mihaela Sighireanu, Geguang Pu, Wen Su, Jean-Raymond Abrial, Mengfei Yang, Lei Qiao

Sci. China Inf. Sci., 2018

A Verified Implementation of the Bounded List Container.

Raphaël Cauderlier, Mihaela Sighireanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

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

SPEN: A Solver for Separation Logic.

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

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

A refinement hierarchy for free list memory allocators.

Bin Fang, Mihaela Sighireanu

Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, 2017

2016

Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators.

Bin Fang, Mihaela Sighireanu

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015

On Automated Lemma Generation for Separation Logic with Inductive Definitions.

Constantin Enea, Mihaela Sighireanu, Zhilin Wu

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

Report on SL-COMP 2014.

Mihaela Sighireanu, David R. Cok

J. Satisf. Boolean Model. Comput., 2014

2013

Local Shape Analysis for Overlaid Data Structures.

Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the Static Analysis - 20th International Symposium, 2013

Compositional Invariant Checking for Overlaid and Nested Linked Lists.

Constantin Enea, Vlad Saveluc, Mihaela Sighireanu

Proceedings of the Programming Languages and Systems, 2013

2012

Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

On inter-procedural analysis of programs with lists and data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Guidelines for the Verification of Population Protocols.

Julien Clément, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu

Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

2010

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism.

Mihaela Sighireanu, Tayssir Touili

Proceedings of the Joint Proceedings of the 8th, 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

Simple Algorithm for Simple Timed Games.

Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu

Proceedings of the TIME 2009, 2009

Rewriting Systems over Nested Data Words.

Ahmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

A Logic-Based Framework for Reasoning about Composite Data Structures.

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2007

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes.

Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Rewriting Systems with Data.

Ahmed Bouajjani, Peter Habermehl, Yan Jurski, Mihaela Sighireanu

Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

Spade: Verification of Multithreaded Dynamic and Recursive Programs.

Gaël Patin, Mihaela Sighireanu, Tayssir Touili

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

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

Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, 2007

2003

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

Radu Mateescu, Mihaela Sighireanu

Sci. Comput. Program., 2003

Synthesis and Verification of Constraints in the PGM Protocol.

Marc Boyer, Mihaela Sighireanu

Proceedings of the FME 2003: Formal Methods, 2003

An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules.

Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, Yves Sorel

Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2001

Analyzing Fair Parametric Extended Automata.

Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu

Proceedings of the Static Analysis, 8th International Symposium, 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

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems.

Alain Girault, Christophe Lavarenne, Yves Sorel, Mihaela Sighireanu

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

TReX: A Tool for Reachability Analysis of Complex Systems.

Aurore Annichini, Ahmed Bouajjani, Mihaela Sighireanu

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1999

A Graphical Parallel Composition Operator for Process Algebras.

Hubert Garavel, Mihaela Sighireanu

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

1998

Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS.

Mihaela Sighireanu, Radu Mateescu

Int. J. Softw. Tools Technol. Transf., 1998

1996

On the Introduction of Exceptions in E-LOTOS.

Hubert Garavel, Mihaela Sighireanu

Proceedings of the Formal Description Techniques IX: Theory, 1996

CADP - A Protocol Validation and Verification Toolbox.

Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu

Proceedings of the Computer Aided Verification, 8th International Conference, 1996