Person: Mihaela Sighireanu

DBLP: Sighireanu:Mihaela

Contributed to:

2013

2013

2012

2011

2010

2007

2007

2003

2001

2001

1996

Wrote 11 papers:

ESOP-2013-EneaSS #composition #invariant

Compositional Invariant Checking for Overlaid and Nested Linked Lists (CE, VS, MS), pp. 129–148.

SAS-2013-DragoiES #analysis #data type

Local Shape Analysis for Overlaid Data Structures (CD, CE, MS), pp. 150–171.

VMCAI-2012-BouajjaniDES #abstract domain #automation #infinity #reasoning #source code

Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (AB, CD, CE, MS), pp. 1–22.

PLDI-2011-BouajjaniDES #analysis #interprocedural #on the #source code

On inter-procedural analysis of programs with lists and data (AB, CD, CE, MS), pp. 578–589.

CAV-2010-BouajjaniDERS #bound #invariant #source code #synthesis

Invariant Synthesis for Programs Manipulating Lists with Unbounded Data (AB, CD, CE, AR, MS), pp. 72–88.

CAV-2007-PatinST #named #parallel #recursion #source code #thread #verification

Spade: Verification of Multithreaded Dynamic and Recursive Programs (GP, MS, TT), pp. 254–257.

TACAS-2007-BouajjaniJS #framework #infinity #network #process #reasoning

A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes (AB, YJ, MS), pp. 690–705.

FME-2003-BoyerS #constraints #protocol #synthesis #verification

Synthesis and Verification of Constraints in the PGM Protocol (MB, MS), pp. 264–281.

CAV-2001-AnnichiniBS #analysis #named #reachability

TReX: A Tool for Reachability Analysis of Complex Systems (AA, AB, MS), pp. 368–372.

SAS-2001-BouajjaniCLS #automaton #parametricity

Analyzing Fair Parametric Extended Automata (AB, ACA, YL, MS), pp. 335–355.

CAV-1996-FernandezGKMMS #named #protocol #validation #verification

CADP — A Protocol Validation and Verification Toolbox (JCF, HG, AK, LM, RM, MS), pp. 437–440.