Travelled to:1 × USA
2 × Canada
Collaborated with:O.Raz M.Shaw E.Latronico R.B.Buchheit C.Faloutsos
Talks about:sequenc (1) languag (1) diagram (1) anomali (1) system (1) semant (1) repres (1) formal (1) expect (1) elicit (1)
Person: Philip Koopman
DBLP: Koopman:Philip
Contributed to:
2004
2002
2001Wrote 3 papers:
- SEKE-2004-RazBSKF #automation #elicitation
- Automated Assistance for Eliciting User Expectations (OR, RBB, MS, PK, CF), pp. 80–85.
- ICSE-2002-RazKS #data flow #detection #online #semantics
- Semantic anomaly detection in online data sources (OR, PK, MS), pp. 302–312.
- UML-2001-LatronicoK #diagrams #embedded #formal method #representation #sequence chart
- Representing Embedded System Sequence Diagrams as a Formal Language (EL, PK), pp. 302–316.