Mihaela Sighireanu

According to our database1, Mihaela Sighireanu authored at least 42 papers between 1996 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
The CoLiS platform for the analysis of maintainer scripts in Debian software packages.
Int. J. Softw. Tools Technol. Transf., 2022

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

2020
Analysing installation scenarios of Debian packages.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019
Exploiting Pointer Analysis in Memory Models for Deductive Verification.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019


TOOLympics 2019: An Overview of Competitions in Formal Methods.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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

Formal modelling of list based dynamic memory allocators.
Sci. China Inf. Sci., 2018

A Verified Implementation of the Bounded List Container.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

2017
Compositional entailment checking for a fragment of separation logic.
Formal Methods Syst. Des., 2017

SPEN: A Solver for Separation Logic.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

A refinement hierarchy for free list memory allocators.
Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, 2017

2016
Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2015
On Automated Lemma Generation for Separation Logic with Inductive Definitions.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Report on SL-COMP 2014.
J. Satisf. Boolean Model. Comput., 2014

2013
Local Shape Analysis for Overlaid Data Structures.
Proceedings of the Static Analysis - 20th International Symposium, 2013

Compositional Invariant Checking for Overlaid and Nested Linked Lists.
Proceedings of the Programming Languages and Systems, 2013

2012
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Accurate Invariant Checking for Programs Manipulating Lists and Arrays with Infinite Data.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
On inter-procedural analysis of programs with lists and data.
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Guidelines for the Verification of Population Protocols.
Proceedings of the 2011 International Conference on Distributed Computing Systems, 2011

2010
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism.
Proceedings of the Joint Proceedings of the 8th, 2009

A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
Log. Methods Comput. Sci., 2009

Simple Algorithm for Simple Timed Games.
Proceedings of the TIME 2009, 2009

Rewriting Systems over Nested Data Words.
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.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2007
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Rewriting Systems with Data.
Proceedings of the Fundamentals of Computation Theory, 16th International Symposium, 2007

Spade: Verification of Multithreaded Dynamic and Recursive Programs.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches.
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.
Sci. Comput. Program., 2003

Synthesis and Verification of Constraints in the PGM Protocol.
Proceedings of the FME 2003: Formal Methods, 2003

An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules.
Proceedings of the 2003 International Conference on Dependable Systems and Networks (DSN 2003), 2003

2001
Analyzing Fair Parametric Extended Automata.
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.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

TReX: A Tool for Reachability Analysis of Complex Systems.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1999
A Graphical Parallel Composition Operator for Process Algebras.
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.
Int. J. Softw. Tools Technol. Transf., 1998

1996
On the Introduction of Exceptions in E-LOTOS.
Proceedings of the Formal Description Techniques IX: Theory, 1996

CADP - A Protocol Validation and Verification Toolbox.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996


  Loading...