Farhad Mavaddat

Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat: Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata. Fundam. Inform. 82(4): 465-512 (2008)

Seyyed Vahid Hashemian, Farhad Mavaddat: A Logical Reasoning Approach to Automatic Composition of Stateless Components. Fundam. Inform. 89(4): 539-577 (2008)

Seyyed Vahid Hashemian, Farhad Mavaddat: Automatic Composition of Stateless Components: A Logical Reasoning Approach. FSEN 2007: 175-190

Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day: Interface Automata with Complex Actions. Electr. Notes Theor. Comput. Sci. 159: 79-97 (2006)

Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab: Towards an Automated Deployment Planner for Composition of Web Services as Software Components. Electr. Notes Theor. Comput. Sci. 160: 239-253 (2006)

Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab: Deploying Loosely Coupled, Component-based Applications into Distributed Environments. ECBS 2006: 93-102

Seyyed Vahid Hashemian, Farhad Mavaddat: A Graph-Based Framework for Composition of Stateless Web Services. ECOWS 2006: 75-86

Abbas Heydarnoori, Farhad Mavaddat: Reliable Deployment of Component-based Applications into Distributed Environments. ITNG 2006: 52-57

Seyyed Vahid Hashemian, Farhad Mavaddat: A Graph-Based Approach to Web Services Composition. SAINT 2005: 183-189

Farhad Arbab, Farhad Mavaddat: Coordination through Channel Composition. COORDINATION 2002: 22-39

Kamran Sartipi, Kostas Kontogiannis, Farhad Mavaddat: Architectural Design Recovery using Data Mining Techniques. CSMR 2000: 129-140

Kamran Sartipi, Kostas Kontogiannis, Farhad Mavaddat: A Pattern Matching Framework for Software Architecture Recovery and Restructuring. IWPC 2000: 37-47

Farhad Mavaddat, T. Gahlinger: On Deducing Timing Constraints in the Verification of Interfaces. Formal Methods in System Design 12(3): 223-239 (1998)

Pierre G. Paulin, Farhad Mavaddat (Eds.): Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France. ACM 1995, isbn 0-89791-771-5

Farhad Mavaddat: On transforming code generation to a parsing problem. Code Generation for Embedded Processors 1994: 153-170

Farhad Mavaddat: Data-Path Synthesis as Grammar Inference. Synthesis for Control Dominated Circuits 1992: 193-205

Janusz A. Brzozowski, T. Gahlinger, Farhad Mavaddat: Consistency and satisfiability of waveform timing specifications. Networks 21(1): 91-107 (1991)

Farhad Mavaddat, M. Mahmood, Mantis H. M. Cheng: An application of L systems to local microcode synthesis. MICRO 1990: 166-175

Farhad Mavaddat, Behrooz Parhami: A Data Structure for Family Relations. Comput. J. 22(2): 110-113 (1979)

Behrooz Parhami, Farhad Mavaddat: Computers and the Farsi Language-A Survey of Problem Areas. IFIP Congress 1977: 673-676

Farhad Mavaddat: Using Stacks to Detect Expression Parallelism. IFIP Congress (1) 1971: 591-596