Michael Evangelist

21 papers A* 5B 1C 3Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2001 A* conf
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
ICSE
H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas
2000 J jnl
The NSF information technology research program.
ACM SIGSOFT Softw. Eng. Notes
Michael Evangelist
2000 — conf
The impact project: determining the impact of software engineering research upon practice (panel session).
SIGSOFT FSE
Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf
2000 A* conf
Why don't we get more (self?) respect: the positive impact of software engineering research upon practice.
ICSE
Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller
1997 — conf
A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems.
HICSS (1)
Yi Deng, Shengkai Lu, Michael Evangelist
1996 C conf
A Formalism for Architectural Modeling of Distributed Real-Time Systems.
SEKE
Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist
1993 J jnl
Convergence of Iteration Systems.
Distributed Comput.
Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
1993 C conf
Intermediate Executable Architectural Specifications for KBSA, Part I.
SEKE
Michael Evangelist
1993 C conf
Software Engineering in the Year 2000.
SEKE
Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh
1990 B conf
Convergence of Iteration Systems (Extended Abstract).
CONCUR
Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda
1990 — conf
Convergence/response tradeoffs in concurrent systems.
SPDP
Mohamed G. Gouda, Michael Evangelist
1990 — conf
Language Constructs for Distributed Systems.
Programming Concepts and Methods
Shmuel Katz, Ira R. Forman, Michael Evangelist
1990 A* conf
On the Limits of Efficient Temporal Decidability (Extended Abstract)
LICS
E. Allen Emerson, Michael Evangelist, Jai Srinivasan
1989 J jnl
Multiparty Interactions for Interprocess Communication and Synchronization.
IEEE Trans. Software Eng.
Michael Evangelist, Nissim Francez, Shmuel Katz
1989 — conf
Vanna: a visual environment for the design of distributed systems.
TRI-Ada
Paul C. Attie, Glenn Bruns, Michael Evangelist, Charles Richter, Vincent Y. Shen
1988 A* conf
Using Raddle To Design Distributed Systems.
ICSE
Michael Evangelist, Vincent Y. Shen, Ira R. Forman, Mike Graf
1986 — conf
The raddle project at MCC.
ACM SIGOPS European Workshop
Michael Evangelist
1985 J jnl
Complete Problems for Space Bounded Subclasses of NP.
Acta Informatica
Moon-Jung Chung, Michael Evangelist, Ivan Hal Sudborough
1985 — conf
Foundational problems in software process research.
ISPW
Michael Evangelist, J. Pellegrin
1984 A* conf
Program Complexity and Programming Style.
ICDE
Michael Evangelist
1982 J jnl
Nonstandard propositional logics and their application to complexity theory.
Notre Dame J. Formal Log.
Michael Evangelist