Mitra Tabaei

mitra-tabaei

Address:
Mitra Tabaei
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria

Room: HE 03 16 (how to get there)
Phone: +43 (1) 58801 – 740 036
Email: ta.etysrofnull@ieabat
Web: http://forsyte.at/~tabaei/

Publications

2018
[7] Randomized Testing of Distributed Systems with Probabilistic Guarantees
Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher
PACMPL, volume 2, number OOPSLA, 2018.
Note: OOPSLA Distinguished paper award
[bibtex] [pdf]
2016
[6] Abstraction and Mining of Traces to Explain Concurrency Bugs
Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
Formal Methods in Systems Design (FMSD), volume 49, pages 1-32, October 2016, Springer.
[bibtex] [pdf] [doi]
[5] Error Invariants for Concurrent Traces
Andreas Holzer, Daniel Schwartz-Narbonne, Mitra Tabaei Befrouei, Georg Weissenbacher, Thomas Wies
Formal Methods - 21st International Symposium, FM 2016, volume 9995 of Lecture Notes in Computer Science, pages 370-387, 2016, Springer.
[bibtex] [pdf] [doi]
2015
[4] Abstraction and Mining of Traces to Explain Concurrency Bugs
Mitra Tabaei Befrouei
Proceedings of the Young Researchers' Conference "Frontiers of Formal Methods", pages 249-253, 2015, RWTH Aachen, Department of Computer Science.
Note: technical report/summary version of RV14 paper
[bibtex] [pdf]
2014
[3]Abstraction and Mining of Traces to Explain Concurrency Bugs
Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
Runtime Verification Symposium, 2014, Springer Berlin Heidelberg.
Note: (Best paper nomination.)
[bibtex]
2013
[2] Mining Sequential Patterns to Explain Concurrent Counterexamples
Stefan Leue, Mitra Tabaei Befrouei
SPIN, volume 7976 of LNCS, pages 264-281, 2013.
[bibtex] [pdf]
2012
[1] Counterexample Explanation by Anomaly Detection
Stefan Leue, Mitra Tabaei Befrouei
SPIN, volume 7385 of LNCS, pages 24-42, 2012.
[bibtex] [pdf]

Latest News

Facebook group for Austrian computer scientists

There is a new facebook group for communication among Austrian computer scientists: https://www.facebook.com/groups/AustrianComputerScience/ For those who are skeptical about facebook, we created a read-only mirror (beta version): http://forsyte.at/acs/  

Continue reading

Johannes Kinder joins Royal Holloway

After a postdoc with George Candea, FORSYTE alumnus Johannes Kinder will start a lecturer position at Royal Holloway in September 2013! Congratulations! http://people.epfl.ch/johannes.kinder?lang=en&cvlang=

Continue reading

Full news archive