Farhad Mavaddat

According to our database, Farhad Mavaddat authored at least 27 papers between 1968 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

A Logical Reasoning Approach to Automatic Composition of Stateless Components.

Seyyed Vahid Hashemian, Farhad Mavaddat

Fundam. Informaticae, 2008

Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata.

Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat

Fundam. Informaticae, 2008

2007

Automatic Composition of Stateless Components: A Logical Reasoning Approach.

Seyyed Vahid Hashemian, Farhad Mavaddat

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

2006

Reliable Deployment of Component-based Applications into Distributed Environments.

Abbas Heydarnoori, Farhad Mavaddat

Proceedings of the Third International Conference on Information Technology: New Generations (ITNG 2006), 2006

A Graph-Based Framework for Composition of Stateless Web Services.

Seyyed Vahid Hashemian, Farhad Mavaddat

Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

Deploying Loosely Coupled, Component-based Applications into Distributed Environments.

Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab

Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

2005

Towards an Automated Deployment Planner for Composition of Web Services as Software Components.

Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Interface Automata with Complex Actions.

Shahram Esmaeilsabzali, Farhad Mavaddat, Nancy A. Day

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

A Graph-Based Approach to Web Services Composition.

Seyyed Vahid Hashemian, Farhad Mavaddat

Proceedings of the 2005 IEEE/IPSJ International Symposium on Applications and the Internet (SAINT 2005), 31 January, 2005

2002

Coordination through Channel Composition.

Farhad Arbab, Farhad Mavaddat

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

2000

A Pattern Matching Framework for Software Architecture Recovery and Restructuring.

Kamran Sartipi, Kostas Kontogiannis, Farhad Mavaddat

Proceedings of the 8th International Workshop on Program Comprehension (IWPC 2000), 2000

Architectural Design Recovery using Data Mining Techniques.

Kamran Sartipi, Kostas Kontogiannis, Farhad Mavaddat

Proceedings of the 4th European Conference on Software Maintenance and Reengineering, 2000

1998

On Deducing Timing Constraints in the Verification of Interfaces.

Farhad Mavaddat, T. Gahlinger

Formal Methods Syst. Des., 1998

1994

On transforming code generation to a parsing problem.

Farhad Mavaddat

Proceedings of the Code Generation for Embedded Processors [Dagstuhl Workshop, Dagstuhl, Germany, August 31, 1994

1992

Data-Path Synthesis as Grammar Inference.

Farhad Mavaddat

Proceedings of the Synthesis for Control Dominated Circuits, 1992

1991

Consistency and satisfiability of waveform timing specifications.

Janusz A. Brzozowski, T. Gahlinger, Farhad Mavaddat

Networks, 1991

On compiling behaviour to silicon: a formal language approach.

Farhad Mavaddat, M. Mahmood

Integr., 1991

1990

An application of L systems to local microcode synthesis.

Farhad Mavaddat, M. Mahmood, Mantis H. M. Cheng

Proceedings of the 23rd Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1990

Experiments with an efficient heuristic algorithm for local microcode generation.

M. Mahmood, Farhad Mavaddat, M. I. Elmastry

Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1990

1985

Word recognition in a reduced linear prediction space.

Farhad Mavaddat, S. K. S. Cheng

Pattern Recognit. Lett., 1985

1984

An IEEE696 compatible signal processor.

G. A. C. Justice, Farhad Mavaddat

Proceedings of the IEEE International Conference on Acoustics, 1984

1981

Another experiment with teaching of programming languages.

Farhad Mavaddat

ACM SIGCSE Bull., 1981

1979

A Data Structure for Family Relations.

Farhad Mavaddat, Behrooz Parhami

Comput. J., 1979

1977

Computers and the Farsi Language-A Survey of Problem Areas.

Behrooz Parhami, Farhad Mavaddat

Proceedings of the Information Processing, 1977

1976

An experiment in teaching programming languages.

Farhad Mavaddat

ACM SIGCSE Bull., 1976

1971

Using Stacks to Detect Expression Parallelism.

Farhad Mavaddat

Proceedings of the Information Processing, Proceedings of IFIP Congress 1971, Volume 1, 1971

1968

Automatic conversion of serial to parallel programs and the organization of computer systems for their execution.

Farhad Mavaddat

PhD thesis, 1968