Travelled to:1 × Ireland
1 × Singapore
3 × USA
Collaborated with:∅ E.A.Emerson J.Srinivasan Y.Deng W.Du P.C.Attie V.Y.Shen I.R.Forman M.Graf L.J.Osterweil B.W.Boehm V.Gruhn J.Kramer E.F.Miller B.I.Blum V.R.Basili S.K.Chang C.V.Ramamoorthy R.T.Yeh
Talks about:architectur (2) distribut (2) softwar (2) system (2) engin (2) intermedi (1) research (1) respect (1) practic (1) tempor (1)
Person: Michael Evangelist
DBLP: Evangelist:Michael
Contributed to:
2000
19961993
19901988Wrote 6 papers:
- ICSE-2000-OsterweilBEGKM #re-engineering #research #why
- Why don’t we get more (self?) respect: the positive impact of software engineering research upon practice (LJO, BWB, ME, VG, JK, EFM), p. 660.
- SEKE-1996-DengDAE #architecture #distributed #modelling #realtime
- A Formalism for Architectural Modeling of Distributed Real-Time Systems (YD, WD, PCA, ME), pp. 408–417.
- SEKE-1993-BlumBCERY #re-engineering
- Software Engineering in the Year 2000 (BIB, VRB, SKC, ME, CVR, RTY), p. 473.
- SEKE-1993-Evangelist #architecture #execution #specification
- Intermediate Executable Architectural Specifications for KBSA, Part I (ME), p. 584.
- LICS-1990-EmersonES #decidability #on the #performance
- On the Limits of Efficient Temporal Decidability (EAE, ME, JS), pp. 464–475.
- ICSE-1988-EvangelistSFG #design #distributed #using
- Using Raddle To Design Distributed Systems (ME, VYS, IRF, MG), pp. 102–115.