Mihaela Sighireanu

52 papers A* 6A 6B 10C 5Journal 15Unranked 10

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