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 |
16 | EE | Leon 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 |
15 | EE | Leon 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 |
14 | EE | Yi 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 |
7 | EE | Mohamed G. Gouda,
Michael Evangelist:
Convergence/response tradeoffs in concurrent systems.
SPDP 1990: 188-192 |
1989 |
6 | EE | Michael 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 |
4 | EE | Michael 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 |
1 | EE | Michael Evangelist:
Program Complexity and Programming Style.
ICDE 1984: 534-541 |