Azadeh Farzan

Available identifiers

zbMath Open farzan.azadehMaRDI QIDQ832231

List of research outcomes

Publication	Date of Publication	Type
Automated hypersafety verification	2024-02-16	Paper
A pragmatic approach to stateful partial order reduction	2023-08-17	Paper
Counterexample-guided partial bounding for recursive function synthesis	2022-03-25	Paper
Root causing linearizability violations	2021-02-04	Paper
On atomicity in presence of non-atomic writes	2019-09-17	Paper
Proving Liveness of Parameterized Programs	2018-04-23	Paper
Proof Spaces for Unbounded Parallelism	2016-09-29	Paper
Automated Program Verification	2016-04-08	Paper
Verification of parameterized concurrent programs by modular reasoning about data and control	2015-09-11	Paper
Inductive data flow graphs	2014-11-27	Paper
Proofs that count	2014-04-10	Paper
Consistency analysis of decision-making programs	2014-04-10	Paper
Partial Order Reduction for Rewriting Semantics of Programming Languages	2014-01-24	Paper
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks	2010-10-01	Paper
Meta-analysis for Atomicity Violations under Nested Locking	2009-06-30	Paper
State Space Reduction of Rewrite Theories Using Invisible Transitions	2009-04-28	Paper
Learning Minimal Separating DFA’s for Compositional Verification	2009-03-31	Paper
The Complexity of Predicting Atomicity Violations	2009-03-31	Paper
Monitoring Atomicity in Concurrent Programs	2008-07-15	Paper
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages	2008-04-11	Paper
Causal Atomicity	2007-09-05	Paper
Causal Dataflow Analysis for Concurrent Programs	2007-09-03	Paper
Computer Aided Verification	2005-08-25	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Azadeh Farzan