Welcome to D
SIGMOD 2004
PODS 2004
SIGMOD RECOR
CIKM 2004
DASFAA 2004
DBPL 2003
DE-BULLETIN
DEBS 2004
DMKD 2004
DMSN 2004
DOLAP 2004
DPDJ 2004
EDBT 2004
ER 2003
GIS 2004
HDP 2004
HYPERTEXT 20
ICDE 2004
ICDT 2003
JCDL 2004
MDM
MIR 2004
MIS 2004
MMDB 2004
MOBIDE 2003
RIDE 2004
SBBD 2003
SIGIR FORUM
SIGIR 2004
SIGKDD EXPLO
SIGKDD 2004
SSDBM 2004
SSTD 2003
TIME 2004
TODS 2004
VLDB 2004
VLDB Journal
WEBDB 2004
WIDM 2004
XIME-P 2004
Footer

Mehdi Jazayeri

Papers on DiSC'04


On Methodologies for Constructing Correct Event-Based Applications

Publications


Note: Links lead to the DBLP on the Web.

Mehdi Jazayeri

Gerald Reif , Harald Gall , Mehdi Jazayeri: WEESA: Web engineering for semantic Web applications. WWW 2005 : 722-729

Mehdi Jazayeri, Johann Oberleitner : Predicting Incompatibility of Transformations in Model-driven Development. Electr. Notes Theor. Comput. Sci. 127 (3): 129-137 (2005)

Martin Pinzger , Michael Fischer , Mehdi Jazayeri, Harald Gall : Abstracting Module Views from Source Code. ICSM 2004 : 533

Pascal Fenkam , Mehdi Jazayeri: Formally Designing an Event-Based Application for Mobile Collaboration: A Case Study. SEM 2004 : 78-90

Gerald Reif , Mehdi Jazayeri, Harald Gall : Towards Semantic Web Engineering: WEESA - Mapping XML Schema to Ontologies. WWW Workshop on Application Design, Development and Implementation Issues in the Semantic Web 2004

Mehdi Jazayeri: Pervasive Software Services for Mobile Ad-Hoc Teams (Invited talk). CAiSE Workshops 2003

Pascal Fenkam , Harald Gall , Mehdi Jazayeri: Composing Specifications of Event Based Applications. FASE 2003 : 67-86

Pascal Fenkam , Harald Gall , Mehdi Jazayeri: Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach. FME 2003 : 636-657

Johann Oberleitner , Thomas Gschwind , Mehdi Jazayeri: The Vienna Component Framework Enabling Composition Across Component Models. ICSE 2003 : 25-37

Harald Gall , Mehdi Jazayeri, Jacek Krajewski : CVS Release History Data for Detecting Logical Couplings. IWPSE 2003 : 13-23

Pascal Fenkam , Harald Gall , Mehdi Jazayeri: A Systematic Approach to the Development of Event Based Applications. SRDS 2003 : 199-208

Pascal Fenkam , Harald Gall , Mehdi Jazayeri: Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing. ASE 2002 : 129-138

Mehdi Jazayeri: On Architectural Stability and Evolution. Ada-Europe 2002 : 13-23

Ivana Podnar , Manfred Hauswirth , Mehdi Jazayeri: Mobile Push: Delivering Content to Mobile Users. ICDCS Workshops 2002 : 563-570

Pascal Fenkam , Harald Gall , Mehdi Jazayeri, Christopher Krügel : DPS : An Architectural Style for Development of Secure Software. InfraSec 2002 : 180-198

Roman Kurmanowytsch , Mehdi Jazayeri, Engin Kirda : Towards a Hierarchical, Semantic Peer-to-Peer Topology. Peer-to-Peer Computing 2002 : 167-168

Pascal Fenkam , Harald Gall , Mehdi Jazayeri: Visual Requirements Validation: Case Study in a Corba-Supported Environment. RE 2002 : 81-90

Thomas Gschwind , Mehdi Jazayeri, Johann Oberleitner : Pervasive Challenges for Software Components. RISSEF 2002 : 152-166

Martin Pinzger , Michael Fischer , Harald Gall , Mehdi Jazayeri: Revealer: A Lexical Pattern Matcher for Architecture Recovery. WCRE 2002 : 170-

Clemens Kerer , Engin Kirda , Mehdi Jazayeri, Roman Kurmanowytsch : Building and Managing XML/XSL-powered Web Sites: an Experience Report. COMPSAC 2001 : 547-554

Mehdi Jazayeri, Ivana Podnar : A Business and Domain Model for Information Commerce. HICSS 2001

Manfred Hauswirth , Mehdi Jazayeri, Markus Schneider II : A Phase Model for E-Commerce Business Models and its Application to Security Assessment. HICSS 2001

Engin Kirda , Clemens Kerer , Mehdi Jazayeri, Christopher Krügel : Supporting Multi-Device Enabled Web Services: Challenges and Open Problems. WETICE 2001 : 49-54

Engin Kirda , Clemens Kerer , Mehdi Jazayeri, Harald Gall , Roman Kurmanowytsch : The Evolution of an Organizational Web Site: Migrating to XML/XSL. WSE 2001 : 62-69

Engin Kirda , Mehdi Jazayeri, Clemens Kerer , Markus W. Schranz : Experiences in Engineering Flexible Web Services. IEEE MultiMedia 8 (1): 58-65 (2001)

Mehdi Jazayeri, Rüdiger Loos , David R. Musser : Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers Springer 2000

Domenico Talia , Pradip K. Srimani , Mehdi Jazayeri: Guest Editor's Introduction: Special Issues on Architecture-Independent Languages and Software tools for Parallel Processing. IEEE Trans. Software Eng. 26 (3): 193-196 (2000)

Domenico Talia , Pradip K. Srimani , Mehdi Jazayeri: Guest Editor's Introduction: Special Issues on Architecture-Independent Languages and Software tools for Parallel Processing. IEEE Trans. Software Eng. 26 (4): 289-292 (2000)

Manfred Hauswirth , Mehdi Jazayeri: A Component and Communication Model for Push Systems. ESEC / SIGSOFT FSE 1999 : 20-38

Harald Gall , Mehdi Jazayeri, Claudio Riva : Visualizing Software Release Histories: The Use of Color and Third Dimension. ICSM 1999 : 99-108

Jean-Marc DeBaud , Mehdi Jazayeri: Session 3: Architecture Recovery. ESPRIT ARES Workshop 1998 : 87-88

Harald Gall , Karin Hajek , Mehdi Jazayeri: Detection of Logical Coupling Based on Product Release History. ICSM 1998 : 190-197

Mehdi Jazayeri, Helmut Schauer : Software Engineering - ESEC/FSE '97, 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings Springer 1997

Mehdi Jazayeri: Issues in software component technology: position statement. COMPSAC 1997 : 171-172

Harald Gall , Mehdi Jazayeri, René Klösch , Georg Trausmuth : The Architectural Style of Component Programming. COMPSAC 1997 : 18-

Mehdi Jazayeri: Software Engineering - Old Problems, New Problems, and Unsolved Problems (Panel). ESEC / SIGSOFT FSE 1997 : 530

Harald Gall , Mehdi Jazayeri, René Klösch , Georg Trausmuth : Software Evolution Observations Based on Product Release History. ICSM 1997 : 160-

Carlo Ghezzi , Mehdi Jazayeri, Dino Mandrioli : Software Qualities and Principles. The Computer Science and Engineering Handbook 1997 : 2278-2301

Mehdi Jazayeri, Georg Trausmuth : Design concepts as basis for organizing software catalogs. SAC 1996 : 558-564

Mehdi Jazayeri: Component Programming - a Fresh Look at Software Components. ESEC 1995 : 457-478

Ming C. Hao , Alan H. Karp , Abdul Waheed , Mehdi Jazayeri: VIZIR: An Integrated Environment for Distributed Program Visualization. MASCOTS 1995 : 288-292

Harald Gall , Mehdi Jazayeri, René Klösch : Research Directions in Software Reuse: Where to go from here? SSR 1995 : 225-228

Fabrizio Baiardi , Mehdi Jazayeri: P 3 M: A Virtual Machine Approach to Massively Parallel Computing. ICPP 1993 : 340-344

Flavio De Paoli , Mehdi Jazayeri: FLAME: A Language for Distributed Programming. ICCL 1990 : 69-78

Flavio De Paoli , Mehdi Jazayeri: Development of a Partitioned, Replicated Data Server in FLAME. ICPP (1) 1990 : 136-139

Mehdi Jazayeri: Objects for distributed systems. SIGPLAN Notices 24 (4): 117-119 (1989)

Mehdi Jazayeri, Diane Pozefsky : Space-Efficient Storage Management in an Attribute Grammar Evaluator. ACM Trans. Program. Lang. Syst. 3 (4): 388-404 (1981)

Mehdi Jazayeri: A Simpler Construction for Showing the Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars. J. ACM 28 (4): 715-720 (1981)

John H. Crawford , Mehdi Jazayeri: A New Approach to Code Motion and its Application to Hoisting. Comput. Lang. 5 (1): 29-36 (1980)

Mehdi Jazayeri: An Improvement in the Iterative Data Flow Analysis Algorithm. Inf. Process. Lett. 10 (2): 108-110 (1980)

John H. Crawford , Mehdi Jazayeri: Engineering A Program Optimizer. ACM Annual Conference (1) 1978 : 247-253

Diane Pozefsky , Mehdi Jazayeri: A Family Of Pass-Oriented Attribute Grammar Evaluators. ACM Annual Conference (1) 1978 : 261-270

Wayne A. Babich , Mehdi Jazayeri: The Method of Attributes for Data Flow Analysis: Part I. Exhaustive Analysis. Acta Inf. 10 : 245-264 (1978)

Wayne A. Babich , Mehdi Jazayeri: The Method of Attributes for Data Flow Analysis: Part II. Demand Analysis. Acta Inf. 10 : 265-272 (1978)

Mehdi Jazayeri: Formal Specification and Automatic Programming. ICSE 1976 : 293-296

Mehdi Jazayeri, William F. Ogden , William C. Rounds : On the Complexity of the Circularity Test for Attribute Grammars. POPL 1975 : 119-129

Mehdi Jazayeri, William F. Ogden , William C. Rounds : The Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars. Commun. ACM 18 (12): 697-706 (1975)

1 [ 4 ] [ 5 ]

2 [ 15 ]

3 [ 7 ] [ 9 ]

4 [ 27 ]

5 [ 41 ] [ 43 ] [ 46 ] [ 47 ] [ 50 ] [ 51 ] [ 54 ]

6 [ 39 ] [ 55 ]

7 [ 16 ] [ 21 ] [ 23 ] [ 26 ] [ 28 ] [ 34 ] [ 39 ] [ 41 ] [ 43 ] [ 46 ] [ 47 ] [ 48 ] [ 50 ] [ 51 ] [ 53 ] [ 55 ] [ 57 ]

8 [ 20 ]

9 [ 40 ] [ 49 ]

10 [ 26 ]

11 [ 17 ]

12 [ 29 ] [ 36 ] [ 44 ]

13 [ 17 ]

14 [ 33 ] [ 34 ] [ 35 ] [ 38 ]

15 [ 33 ] [ 34 ] [ 35 ] [ 38 ] [ 42 ]

16 [ 16 ] [ 21 ] [ 23 ]

17 [ 48 ]

18 [ 35 ] [ 43 ]

19 [ 34 ] [ 38 ] [ 42 ]

20 [ 32 ]

21 [ 20 ]

22 [ 32 ]

23 [ 40 ] [ 49 ] [ 56 ]

24 [ 1 ] [ 2 ]

25 [ 13 ] [ 14 ]

26 [ 39 ] [ 55 ]

27 [ 37 ] [ 44 ]

28 [ 6 ] [ 11 ]

29 [ 53 ] [ 57 ]

30 [ 28 ]

31 [ 1 ] [ 2 ]

32 [ 25 ]

33 [ 36 ]

34 [ 33 ]

35 [ 30 ] [ 31 ]

36 [ 30 ] [ 31 ]

37 [ 19 ] [ 21 ] [ 23 ]

38 [ 17 ]




©2005 Association for Computing Machinery