Azadeh Farzan

Available identifiers

zbMath Open farzan.azadehMaRDI QIDQ832231

List of research outcomes

Publication	Date of Publication	Type
Partial bounding for recursive function synthesis	2024-11-04	Paper
Automated hypersafety verification	2024-02-16	Paper
Commutativity for concurrent program termination proofs	2024-02-01	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
Consistency analysis of decision-making programs	2014-04-10	Paper
Proofs that count	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

This page was built for person: Azadeh Farzan