Farhad Mavaddat

28 papers A* 1C 2Misc 1Journal 9Unranked 13

Year	Rank	Type	Title / Venue / Authors
2008	J	`jnl`	A Logical Reasoning Approach to Automatic Composition of Stateless Components. Fundam. Informaticae Seyyed Vahid Hashemian, Farhad Mavaddat
2008	J	`jnl`	Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata. Fundam. Informaticae Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat
2007	—	`conf`	Automatic Composition of Stateless Components: A Logical Reasoning Approach. FSEN Seyyed Vahid Hashemian, Farhad Mavaddat
2006	—	`conf`	A Graph-Based Framework for Composition of Stateless Web Services. ECOWS Seyyed Vahid Hashemian, Farhad Mavaddat
2006	—	`conf`	Deploying Loosely Coupled, Component-based Applications into Distributed Environments. ECBS Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab
2006	—	`conf`	Reliable Deployment of Component-based Applications into Distributed Environments. ITNG Abbas Heydarnoori, Farhad Mavaddat
2005	—	`conf`	A Graph-Based Approach to Web Services Composition. SAINT Seyyed Vahid Hashemian, Farhad Mavaddat
2005	—	`conf`	Interface Automata with Complex Actions. FSEN Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day
2005	—	`conf`	Towards an Automated Deployment Planner for Composition of Web Services as Software Components. FACS Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab
2002	C	`conf`	Coordination through Channel Composition. COORDINATION Farhad Arbab, Farhad Mavaddat
2000	—	`conf`	A Pattern Matching Framework for Software Architecture Recovery and Restructuring. IWPC Kamran Sartipi, Kostas Kontogiannis, Farhad Mavaddat
2000	—	`conf`	Architectural Design Recovery using Data Mining Techniques. CSMR Kamran Sartipi, Kostas Kontogiannis, Farhad Mavaddat
1998	J	`jnl`	On Deducing Timing Constraints in the Verification of Interfaces. Formal Methods Syst. Des. Farhad Mavaddat, T. Gahlinger
1995	—	`ed.`	Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France ISSS Pierre G. Paulin, Farhad Mavaddat
1994	—	`conf`	On transforming code generation to a parsing problem. Code Generation for Embedded Processors Farhad Mavaddat
1992	—	`conf`	Data-Path Synthesis as Grammar Inference. Synthesis for Control Dominated Circuits Farhad Mavaddat
1991	J	`jnl`	Consistency and satisfiability of waveform timing specifications. Networks Janusz A. Brzozowski, T. Gahlinger, Farhad Mavaddat
1991	J	`jnl`	On compiling behaviour to silicon: a formal language approach. Integr. Farhad Mavaddat, M. Mahmood
1990	A*	`conf`	An application of L systems to local microcode synthesis. MICRO Farhad Mavaddat, M. Mahmood, Mantis H. M. Cheng
1990	C	`conf`	Experiments with an efficient heuristic algorithm for local microcode generation. ICCD M. Mahmood, Farhad Mavaddat, M. I. Elmastry
1985	J	`jnl`	Word recognition in a reduced linear prediction space. Pattern Recognit. Lett. Farhad Mavaddat, S. K. S. Cheng
1984	Misc	`conf`	An IEEE696 compatible signal processor. ICASSP G. A. C. Justice, Farhad Mavaddat
1981	J	`jnl`	Another experiment with teaching of programming languages. ACM SIGCSE Bull. Farhad Mavaddat
1979	J	`jnl`	A Data Structure for Family Relations. Comput. J. Farhad Mavaddat, Behrooz Parhami
1977	—	`conf`	Computers and the Farsi Language-A Survey of Problem Areas. IFIP Congress Behrooz Parhami, Farhad Mavaddat
1976	J	`jnl`	An experiment in teaching programming languages. ACM SIGCSE Bull. Farhad Mavaddat
1971	—	`conf`	Using Stacks to Detect Expression Parallelism. IFIP Congress (1) Farhad Mavaddat
1968	—	`—`	Automatic conversion of serial to parallel programs and the organization of computer systems for their execution. Farhad Mavaddat