Travelled to:1 × Canada
1 × France
1 × Poland
1 × United Kingdom
3 × USA
Collaborated with:L.A.Clarke L.J.Osterweil D.Giannakopoulou C.S.Pasareanu G.S.Avrunin G.Naumovich A.E.Wise B.S.Lerner
Talks about:verif (4) algorithm (2) guarante (2) assumpt (2) analysi (2) right (2) assum (2) flow (2) data (2) architectur (1)
Person: Jamieson M. Cobleigh
DBLP: Cobleigh:Jamieson_M=
Contributed to:
2006
2004
2003
200220012000
1999Wrote 7 papers:
- ISSTA-2006-CobleighAC #composition #reasoning
- Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (JMC, GSA, LAC), pp. 97–108.
- ICSE-2004-GiannakopoulouPC #source code #verification
- Assume-Guarantee Verification of Source Code with Design-Level Assumptions (DG, CSP, JMC), pp. 211–220.
- TACAS-2003-CobleighGP #composition #learning #verification
- Learning Assumptions for Compositional Verification (JMC, DG, CSP), pp. 331–346.
- FSE-2002-CobleighOWL #adaptation #architecture #composition
- Containment units: a hierarchically composable architecture for adaptive systems (JMC, LJO, AEW, BSL), pp. 159–165.
- ICSE-2001-CobleighCO #algorithm #analysis #data flow #finite #verification
- The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification (JMC, LAC, LJO), pp. 37–46.
- ISSTA-2000-CobleighCO #process #verification
- Verifying properties of process definitions (JMC, LAC, LJO), pp. 96–101.
- PASTE-1999-NaumovichCC #analysis #data flow #partial order #performance #using #verification
- Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification (GN, LAC, JMC), pp. 57–65.