dblp.uni-trier.dewww.uni-trier.de

Michael Evangelist

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
17 H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas: Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? ICSE 2001: 698-698
2000
16EELeon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller: Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. ICSE 2000: 660
15EELeon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf: The impact project: determining the impact of software engineering research upon practice (panel session). SIGSOFT FSE 2000: 108-109
1997
14EEYi Deng, Shengkai Lu, Michael Evangelist: A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems. HICSS (1) 1997: 481-490
1996
13 Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist: A Formalism for Architectural Modeling of Distributed Real-Time Systems. SEKE 1996: 408-417
1993
12 Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh: Software Engineering in the Year 2000. SEKE 1993: 473
11 Michael Evangelist: Intermediate Executable Architectural Specifications for KBSA, Part I. SEKE 1993: 584
10 Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda: Convergence of Iteration Systems. Distributed Computing 7(1): 43-53 (1993)
1990
9 Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda: Convergence of Iteration Systems (Extended Abstract). CONCUR 1990: 70-82
8 E. Allen Emerson, Michael Evangelist, Jai Srinivasan: On the Limits of Efficient Temporal Decidability (Extended Abstract) LICS 1990: 464-475
7EEMohamed G. Gouda, Michael Evangelist: Convergence/response tradeoffs in concurrent systems. SPDP 1990: 188-192
1989
6EEMichael Evangelist, Nissim Francez, Shmuel Katz: Multiparty Interactions for Interprocess Communication and Synchronization. IEEE Trans. Software Eng. 15(11): 1417-1426 (1989)
1988
5 Michael Evangelist, V. Y. Shen, Ira R. Forman, M. Graf: Using Raddle To Design Distributed Systems. ICSE 1988: 102-115
1986
4EEMichael Evangelist: The raddle project at MCC. ACM SIGOPS European Workshop 1986
1985
3 Michael Evangelist, J. Pellegrin: Foundational problems in software process research. ISPW 1985: 17-20
2 Moon-Jung Chung, Michael Evangelist, Ivan Hal Sudborough: Complete Problems for Space Bounded Subclasses of NP. Acta Inf. 22(4): 379-395 (1985)
1984
1EEMichael Evangelist: Program Complexity and Programming Style. ICDE 1984: 534-541

Coauthor Index

1Anish Arora [9] [10]
2Paul C. Attie [9] [10] [13]
3Victor R. Basili [12]
4Bruce I. Blum [12]
5Barry W. Boehm [16]
6Manfred Broy [17]
7S. K. Chang [12]
8Moon-Jung Chung [2]
9Lori A. Clarke [15]
10Yi Deng [13] [14]
11Wenliang Du [13]
12E. Allen Emerson [8]
13Ira R. Forman [5]
14Nissim Francez [6]
15Mohamed G. Gouda [7] [9] [10]
16M. Graf [5]
17Volker Gruhn [16]
18Shmuel Katz [6]
19Jeff Kramer [15] [16]
20Shengkai Lu [14]
21Ali Mili [17]
22Edward F. Miller [16]
23Leon J. Osterweil [15] [16] [17]
24David Lorge Parnas [17]
25J. Pellegrin [3]
26C. V. Ramamoorthy [12]
27H. Dieter Rombach [15] [17]
28V. Y. Shen [5]
29Jai Srinivasan [8]
30Ivan Hal Sudborough [2]
31Alexander L. Wolf [15]
32Raymond T. Yeh [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)