Michael Evangelist

Publication Activity (10 Years)

Years Active: 1982-2001
Publications (10 Years): 0

Publications

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)
Michael Evangelist
The NSF information technology research program. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
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)
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)
Yi Deng, Shengkai Lu, Michael Evangelist
A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems. HICSS (1) (1997)
Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist
A Formalism for Architectural Modeling of Distributed Real-Time Systems. SEKE (1996)
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)
Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
Convergence of Iteration Systems. Distributed Comput. 7 (1) (1993)
Michael Evangelist
Intermediate Executable Architectural Specifications for KBSA, Part I. SEKE (1993)
Shmuel Katz, Ira R. Forman, Michael Evangelist
Language Constructs for Distributed Systems. Programming Concepts and Methods (1990)
Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
Convergence of Iteration Systems (Extended Abstract). CONCUR (1990)
Mohamed G. Gouda, Michael Evangelist
Convergence/response tradeoffs in concurrent systems. SPDP (1990)
E. Allen Emerson, Michael Evangelist, Jai Srinivasan
On the Limits of Efficient Temporal Decidability (Extended Abstract) LICS (1990)
Michael Evangelist, Nissim Francez, Shmuel Katz
Multiparty Interactions for Interprocess Communication and Synchronization. IEEE Trans. Software Eng. 15 (11) (1989)
Paul C. Attie, Glenn Bruns, Michael Evangelist, Charles Richter, Vincent Y. Shen
Vanna: a visual environment for the design of distributed systems. TRI-Ada (1989)
Michael Evangelist, V. Y. Shen, Ira R. Forman, M. Graf
Using Raddle To Design Distributed Systems. ICSE (1988)
Michael Evangelist
The raddle project at MCC. ACM SIGOPS European Workshop (1986)
Moon-Jung Chung, Michael Evangelist, Ivan Hal Sudborough
Complete Problems for Space Bounded Subclasses of NP. Acta Informatica 22 (4) (1985)
Michael Evangelist, J. Pellegrin
Foundational problems in software process research. ISPW (1985)
Michael Evangelist
Program Complexity and Programming Style. ICDE (1984)
Michael Evangelist
Nonstandard propositional logics and their application to complexity theory. Notre Dame J. Formal Log. 23 (4) (1982)