PUBLICATIONS

I am the author or co-author of over 70 publications. Of these, a few more recent ones indicating my current range of research interests are given below.

• Cristina Ribeiro, Farhad Mavaddat and, Alexander Ferworn, Adaptive Engineering of an Embedded System, Engineered for use by Search and Rescue Canines, selected as the best paper of those presented in the session 'Engineering Concepts, Relations and Methodologies', 2010.
• Shahram Esmaeilsabzali, Nancy A. Day, and Farhad Mavaddat. C,Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata,C. Fundamenta Informaticae, 82:4, pp. 465-512, IOS Press, 2008
• Shahram Esmaeilsabzali, Farhad Mavaddat, and Nancy A. Day. C,Interface Automata with Complex Actions,C. In Proceeding of IPM International Workshop on Foundations of Software Engineering (FSEN), (In Cooperation with ACM/SigSoft), pp. 79C197, In ElsevierC-s ENTCS Conference Series, 159, 2006, (The Distinguished Paper Award)
• Heydarnoori, A., F. Mavaddat, and F. Arbab, "Towards an Automated D eployment Planner for Composition of Web Services as Software Components", Electronic Notes in Theoretical Computer Science, vol. 160, pp. 239C1253, 08/2006.
• Heydarnoori, A., and F. Mavaddat, "Reliable Deployment of Component-based Applications into Distributed Environments", Proceedings of the 3rd International Conference on Information Technology: New Generations, Washington, DC, USA, IEEE Computer Society, 04/2006.
• Heydarnoori, A., F. Mavaddat, and F. Arbab, "Deploying Loosely Coupled, Component-based Applications into Distributed Environments", Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Washington, DC, USA, IEEE Computer Society, 03/2006.
• Shahram Esmaeilsabzali, Nancy A. Day, and Farhad Mavaddat. C,Interface Automata with Complex Actions - Extended Version,C. Technical Report CS-2005-26, Cheriton School of Computer Science, University of Waterloo, 2005 (Revised May 15, 2006) (29 pages), Technical Report
• Shahram Esmaeilsabzali, Nancy A. Day, and Farhad Mavaddat. C,Specifying Search Queries for Web Service Discovery,C. In Proceeding of the First International Workshop on Service-Oriented Computing: Consequences for Engineering Requirements (SOCCER), available on Requirements Engineering conference 2005, Website, 2005
• Seyyed Vahid Hashemian, Farhad Mavaddat, A Logical Reasoning Approach to Automatic Composition of Stateless Components David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Ontario, Canada. svhashemian@cs.uwaterloo.ca Farhad Mavaddat David R. Cheriton School of Computer Science, University of Waterloo, Waterloo, Ontario, Canada. fmavaddat@cs.uwaterloo.ca
• F. Mavaddat and A. Arbab. Coordination through Channel Composition. Proceedings of 5th Intern ational Conference, Coordination, 2002.
• F. Mavaddat, K. Sartipi, and K. Knotogiannis. A Pattern Matching Framework for Software Archi tecture Recovering and Restructuring. Proceedings of the IEEE International Workshop on Program Co mprehension (IWPC), pp. 37-47, 2000.
• F. Mavaddat, K. Sartipi, and K. Knotogiannis. Architectural Design Recovery using Data Mining Techniques. Proceedings of the IEEE European Conference on Software Maintenance and Reengineering (CSMR), pp. 129-139, 2000.
• Designing and Modeling VLSI Systems at Register-Transfer Level, International Journal of Computer Aided VLSI design, special issue on Modeling, Verification and Synthesis for Zero-Defect VLSI Design, Vol. 2, pp 281-314, 1990.
• Inductive Assertions on Algorithmic State Machines: A Maple-based Register-Transfer-Level Proof System, Formal VLSI Correctness Verification, VLSI Design Methods-II, Editor L.J.M. Claesen, North Holland, 1990, pp 257-266.
• With Mahmood, M. I. Elmasry, and M. H. M. Cheng, A Formal Language Model of Microcode Synthesis, Formal VLSI Specification and Synthesis, VLSI Design Methods-I, Editor L.J.M. Claesen, North Holland, 1990, pp 23-41.
• With Mahmood, M., and M. I. Elmasry, A Formal Approach to Control Unit Synthesis, Proceedings of IFIP Working Conference on Logic and Architecture Synthesis, Paris, France, May 30-April 1 1990, pp 126-135.
• With Mahmood, M. and M. I. Elmasry, Experiments with an Efficient Heuristic Algorithm for Local Microcode Generation, Proc. of ICCD ’90 International Conference on Computer Design, Cambridge, Massachusetts, September 17-19, 1990, pp-319-323.
• With Mahmood, M. and M. H. M. Cheng, An Application of L Systems to Local Microcode Synthesis’ Proceedings of the 23rd Annual Workshop and Symposium on Microprogramming and Microarchitecture - Micro23, Orlando, Florida, November 1990, pp 166-175, recipient of the best paper award.
• With J. A. Brzozowski and T. Gahlinger, Consistency and Satisfiability of Waveform Timing Specifications, Networks, Vol. 21, pp 91-107, Wiley & Sons, 1991.
• With Mahmood, M., On Compiling Behaviour to Silicon: A Formal Language Approach, Integration, the VLSI Journal, Vol 12, No. 3, North Holland, Amsterdam, The Netherlands, December 1991, pp 239-266.
• Data-Path Synthesis as Grammar Inference, in Synthesis for Control Dominated Circuits, Ed. G. Saucier, North Holland, pp 193-205.
• The Role of Symbolic Programming in Hardware Verification: The Case of Maple, in Mathematical Computation with Maple V: Ideas and Applications, Ed. T. Lee, Birkhauser, Boston, June 1993, pp 176-187.
• On Transforming Code Generation to a Parsing Problem, in Code Generation for Embedded Processors, Eds. Peter Marwedel and Gert Goossens, Kluwer Academic Publishers, 1995, pp 153-170.
• With Dmitri Galter, Symbolic Verification of Instruction-Set Processors, in Working Conference on Correct Hardware Design and Verification Methods, Frankfurt, Germany, October 1995.