Automated Software Analysis Group
Publications
Title Author Source

Ramtin Khosravi, Mohammad Ghodsi, Mana Taghdiri

International Conference on Computing and Information (ICCI), 2000

Aboubakr Achraf El Ghazi, Mana Taghdiri

17th International Symposium on Formal Methods (FM), 2011.

Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri, Mihai Herda

11th International Workshop on Satisfiability
Modulo Theories (SMT), 2013

Markus Iser, Mana Taghdiri, Carsten Sinz

15th International Conference on Theory and Applications of Satisfiability Testing (SAT), 2012

Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz, Mana Taghdiri

Karlsruhe Institute of Technology, Karlsruhe Reports in Informatics, 2014-3, 2014

Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri

Karlsruhe Institute of Technology, Technical Report 2011-37, 2011

Markus Iser, Carsten Sinz, Mana Taghdiri

16th International Conference on Theory and Applications of Satisfiability Testing (SAT), 2013 

Mana Taghdiri, Robert Seater, Daniel Jackson

International Symposium on Foundations of Software Engineering (FSE), 2006

Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel Tyszberowicz, Mana Taghdiri

6th NASA Formal Methods Symposium (NFM), 2014

Mana Taghdiri, Gregor Snelting, Carsten Sinz

7th International Workshop on Formal Aspects of Security and Trust (FAST), 2010

Mana Taghdiri, Daniel Jackson

 Journal of Automated Software Engineering (JASE)– Special issue on selected papers, Volume 14, Issue 1, 2007. (A preliminary version published in ASE’04.)

Mana Taghdiri

International Conference on Automated Software Engineering (ASE), 2004. (distinguished paper award)

Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel Tyszberowicz

10th Haifa Verification Conference (HVC), 2014

Aboubakr Achraf El Ghazi, Mana Taghdiri, Mihai Herda

7th NASA Formal Methods Symposium (NFM), Pasadena,  April  2015

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri

International Conference on Automated Software Engineering (ASE), 2003. (distinguished paper award)

Tianhai Liu, Shmuel Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl and Mana Taghdiri

2th Symposium on Dependable Software Engineering Theories, Tools and Applications

Mana Taghdiri

Emerging Research Directions in Computer Science - The Young Informatics Faculty at Karlsruhe Institute of Technology, KIT Scientific Publishing, 2010

Tianhai Liu, Michael Nagel, Mana Taghdiri

5th International Conference on Software Testing, Verification and Validation (ICST), 2012

Emina Torlak, Mana Taghdiri, Greg Dennis, Joseph Near

Mathematical Structures in Computer Science, volume 23, issue 04, pp. 915-933, 2013.

Mana Taghdiri, Franjo Ivancic

NEC Laboratories America, Inc. Technical report TR-2004-L070, 2004

Aboubakr Achraf El Ghazi, Mana Taghdiri

Automated Formal Methods (AFM), 2010

Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri

18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012

Mana Taghdiri, Daniel Jackson

International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), 2003

Aboubakr Achraf El Ghazi, Ulrich Geilmann, Mattias Ulbrich, Mana Taghdiri

Dependable Software for Critical Infrastructures (DSCI), 2011

Tianhai Liu, Mateus Araujo, Marcelo d‘Amorim, Mana Taghdiri

10th Haifa Verification Conference (HVC), 2014

Theses
Title Author Place

Aboubakr Achraf El Ghazi

Karlsruhe Institute of Technology, PhD thesis, 2015

Stephan Gocht

 Karlsruhe Institute of Technology, Bachelor thesis, 2014

Maximilian X. Czerny

Karlsruhe Institute of Technology, Bachelor thesis, 2014

Mihai Herda

Karlsruhe Institute of Technology, Master thesis, 2014

Daniel Grunwald

Karlsruhe Institute of Technology, Master thesis, 2013

Andreas Fried

Karlsruhe Institute of Technology, Bachelor Thesis, 2013

Jonathan Best

Karlsruhe Institute of Technology, Studienarbeit, 2012

Michael Nagel 

Karlsruhe Institute of Technology, Studienarbeit, 2012

Markus Iser 

Karlsruhe Institute of Technology, Diplomarbeit, 2012

Ulrich Geilmann

Karlsruhe Institute of Technology, Diplomarbeit, 2011

Mana Taghdiri

Massachusetts Institute of Technology, PhD thesis, 2008

Mana Taghdiri

Massachusetts Institute of Technology, Master's thesis, 2002

Mana Taghdiri

Sharif University of Technology, Bachelor's thesis, 2001