Travelled to:1 × Croatia
1 × Finland
4 × USA
Collaborated with:R.R.Razouk C.Kesselman R.N.Taylor J.R.Erenkrantz K.Strasser G.Suryanarayana R.T.Fielding J.Whitehead R.Khare P.Oreizy
Talks about:architectur (4) program (3) time (3) analysi (2) style (2) logic (2) real (2) web (2) workbench (1) represent (1)
Person: Michael M. Gorlick
DBLP: Gorlick:Michael_M=
Contributed to:
2012
2007
1991
1989
198819872017Wrote 7 papers:
- WICSA-ECSA-2012-GorlickST #architecture #distributed #named #on-demand
- COAST: An Architectural Style for Decentralized On-Demand Tailored Services (MMG, KS, RNT), pp. 71–80.
- ESEC-FSE-2007-ErenkrantzGST #architecture #evolution #web
- From representations to computations: the evolution of web architectures (JRE, MMG, GS, RNT), pp. 255–264.
- ICSE-1991-GorlickR #analysis #using
- Using Weaves for Software Construction and Analysis (MMG, RRR), pp. 23–34.
- TAV-1989-RazoukG #logic #realtime #reasoning #source code
- Real-Time Interval Logic for Reasoning about Executions of Real-Time Programs (RRR, MMG), pp. 10–19.
- JICSCP-1988-GorlickK88 #analysis #logic programming #named #performance #source code
- Gauge: A Workbench for the Performance Analysis of Logic Programs (MMG, CK), pp. 548–561.
- SLP-1987-GorlickK87 #prolog #source code
- Timing Prolog Programs without Clock (MMG, CK), pp. 426–434.
- ESEC-FSE-2017-FieldingTEGWKO #architecture #design #rest #web
- Reflections on the REST architectural style and “principled design of the modern web architecture” (impact paper award) (RTF, RNT, JRE, MMG, JW, RK, PO), pp. 4–14.