Travelled to:1 × Australia
1 × Greece
2 × Germany
3 × USA
Collaborated with:L.E.Moser R.L.Schwartz Y.S.Ramakrishna L.K.Dillon L.A.Tewksbury G.Kutty R.E.Shostak P.Narasimhan V.Kalogeraki G.Kutty
Talks about:system (4) graphic (3) logic (3) toolset (2) concurr (2) specif (2) interv (2) applic (2) time (2) real (2)
Person: P. M. Melliar-Smith
DBLP: Melliar-Smith:P=_M=
Contributed to:
2001
1999
1996
19961993
1992
19821981Wrote 8 papers:
- ICSM-2001-TewksburyMM #corba #replication #using
- Live Upgrades of CORBA Applications Using Object Replication (LAT, LEM, PMMS), p. 488–?.
- EDOC-1999-MoserMNTK #architecture #enterprise
- The Eternal system: an architecture for enterprise applications (LEM, PMMS, PN, LAT, VK), pp. 214–222.
- CAV-1996-MoserMRKD #logic #realtime #tool support #visual notation
- The Real-Time Graphical Interval Logic Toolset (LEM, PMMS, YSR, GK, LKD), pp. 446–449.
- TACAS-1996-MoserM #automaton #probability #realtime
- Probabilistic Duration Automata for Analyzing Real-Time Systems (LEM, PMMS), pp. 369–390.
- CAV-1993-KuttyRMDM #concurrent #logic #tool support #verification #visual notation
- A Graphical Interval Logic Toolset for Verifying Concurrent Systems (GK, YSR, LEM, LKD, PMMS), pp. 138–153.
- ICSE-1992-DillonKMMR #concurrent #specification #visual notation
- Graphical Specifications for Concurrent Software Systems (LKD, GK, LEM, PMMS, YSR), pp. 214–224.
- CADE-1982-ShostakSM #logic #named #specification #verification
- STP: A Mechanized Logic for Specification and Verification (RES, RLS, PMMS), pp. 32–49.
- ICSE-1981-SchwartzM #data type
- The Finalization Operation for Abstract Types (RLS, PMMS), pp. 273–282.