Home | Impressum | Sitemap | KIT
Publications
Title Author Source

Ramtin Khosravi, Mohammad Ghodsi, Mana Taghdiri

International Conference on Computing and Information (ICCI), 2000

Mana Taghdiri, Robert Seater, Daniel Jackson

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

Mana Taghdiri, Gregor Snelting, Carsten Sinz

Formal Aspects of Security and Trust (FAST), 2010

Mana Taghdiri, Franjo Ivancic

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

Mana Taghdiri, Daniel Jackson

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

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

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

Mana Taghdiri

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

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

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

Aboubakr Achraf El Ghazi, Mana Taghdiri

Automated Formal Methods (AFM), 2010

Aboubakr Achraf El Ghazi, Mana Taghdiri

17th International Symposium on Formal Methods (FM), Limerick, Ireland, 2011. To appear in LNCS.