BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cobleigh:Jamieson_M=

Contributed to:

ISSTA 20062006
ICSE 20042004
TACAS 20032003
FSE 20022002
ICSE 20012001
ISSTA 20002000
PASTE 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.