Farhad Mavaddat

28 papers A* 1C 2Misc 1Journal 9Unranked 13
YearRankTypeTitle / 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