Michael Evangelist

According to our database, Michael Evangelist authored at least 21 papers between 1982 and 2001.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2001

Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?

H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

The NSF information technology research program.

Michael Evangelist

ACM SIGSOFT Softw. Eng. Notes, 2000

The impact project: determining the impact of software engineering research upon practice (panel session).

Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Why don't we get more (self?) respect: the positive impact of software engineering research upon practice.

Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1997

A Formal Approach for Architectural Modeling and Prototyping of Distributed Real-Time Systems.

Yi Deng, Shengkai Lu, Michael Evangelist

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

A Formalism for Architectural Modeling of Distributed Real-Time Systems.

Yi Deng, Wenliang Du, Paul C. Attie, Michael Evangelist

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1993

Convergence of Iteration Systems.

Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda

Distributed Comput., 1993

Intermediate Executable Architectural Specifications for KBSA, Part I.

Michael Evangelist

Proceedings of the SEKE'93, 1993

Software Engineering in the Year 2000.

Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh

Proceedings of the SEKE'93, 1993

1990

Convergence/response tradeoffs in concurrent systems.

Mohamed G. Gouda, Michael Evangelist

Proceedings of the Second IEEE Symposium on Parallel and Distributed Processing, 1990

On the Limits of Efficient Temporal Decidability (Extended Abstract)

E. Allen Emerson, Michael Evangelist, Jai Srinivasan

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

Language Constructs for Distributed Systems.

Shmuel Katz, Ira R. Forman, Michael Evangelist

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

Convergence of Iteration Systems (Extended Abstract).

Anish Arora, Paul C. Attie, Michael Evangelist, Mohamed G. Gouda

Proceedings of the CONCUR '90, 1990

1989

Multiparty Interactions for Interprocess Communication and Synchronization.

Michael Evangelist, Nissim Francez, Shmuel Katz

IEEE Trans. Software Eng., 1989

Vanna: a visual environment for the design of distributed systems.

Paul C. Attie, Glenn Bruns, Michael Evangelist, Charles Richter, Vincent Y. Shen

Proceedings of the Conference on Tri-Ada 1989, 1989

1988

Using Raddle To Design Distributed Systems.

Michael Evangelist, Vincent Y. Shen, Ira R. Forman, Mike Graf

Proceedings of the Proceedings, 1988

1986

The raddle project at MCC.

Michael Evangelist

Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

1985

Complete Problems for Space Bounded Subclasses of NP.

Moon-Jung Chung, Michael Evangelist, Ivan Hal Sudborough

Acta Informatica, 1985

Foundational problems in software process research.

Michael Evangelist, J. Pellegrin

Proceedings of an International Workshop on the Software Process and Software Environments, 1985

1984

Program Complexity and Programming Style.

Michael Evangelist

Proceedings of the First International Conference on Data Engineering, 1984

1982

Nonstandard propositional logics and their application to complexity theory.

Michael Evangelist

Notre Dame J. Formal Log., 1982