BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × France
1 × Mexico
1 × Poland
1 × Spain
1 × Sweden
2 × Italy
7 × USA
Collaborated with:
F.Xie V.Levin R.P.Kurshan N.Sharygina M.F.Kleyn D.B.Johnson G.L.Lasseter K.Sankaralingam S.Sethumadhavan D.Gangopadhyay U.Dayal K.M.Chandy T.W.Keller
Talks about:
softwar (7) system (7) model (7) check (6) object (5) design (5) orient (4) base (4) languag (3) execut (3)

Person: James C. Browne

DBLP DBLP: Browne:James_C=

Facilitated 1 volumes:

SOSP 1975Ed

Contributed to:

CBSE 20062006
FASE 20042004
ESEC/FSE 20032003
FASE 20032003
FME 20032003
HPDC 20032003
FASE 20022002
ASE 20012001
FASE 20012001
ICSE 19931993
VLDB 19821982
ICSE 19781978
ICSE 19761976
VLDB 19751975
DAC 19721972

Wrote 16 papers:

CBSE-2006-XieB #component #product line #verification
Verification of Component-Based Software Application Families (FX, JCB), pp. 50–66.
FASE-2004-XieLKB #design #model checking
Translating Software Designs for Model Checking (FX, VL, RPK, JCB), pp. 324–338.
ESEC-FSE-2003-XieB #component #composition
Verified systems by composition from verified components (FX, JCB), pp. 277–286.
FASE-2003-SharyginaB #abstraction #model checking
Model Checking Software via Abstraction of Loop Transitions (NS, JCB), pp. 325–340.
FME-2003-XieBK #composition #reasoning
Translation-Based Compositional Reasoning for Software Systems (FX, JCB, RPK), pp. 582–599.
HPDC-2003-SankaralingamSB #distributed #rank
Distributed Pagerank for P2P Systems (KS, SS, JCB), pp. 58–69.
FASE-2002-XieB #design #execution #model checking #object-oriented #reduction
Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs (FX, JCB), pp. 64–79.
FASE-2002-XieLB #design #execution #model checking #named #object-oriented
ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs (FX, VL, JCB), pp. 331–335.
ASE-2001-XieLB #execution #model checking #set #uml
Model Checking for an Executable Subset of UML (FX, VL, JCB), pp. 333–336.
FASE-2001-SharyginaBK #analysis #design #object-oriented #reliability #verification
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification (NS, JCB, RPK), pp. 318–332.
ICSE-1993-KleynB #graph #programming #specification
A High Level Language for Specifying Graph Based Languages and Their Programming Environments (MFK, JCB), pp. 324–335.
VLDB-1982-GangopadhyayDB #approach #network #object-oriented #semantics
Semantics of Network Data Manipulation Languages: An Object-Oriented Approach (DG, UD, JCB), pp. 357–369.
ICSE-1978-BrowneJ #generative #named #performance #program analysis
FAST: A Second Generation Program Analysis System (JCB, DBJ), pp. 142–148.
ICSE-1976-Browne #evaluation #overview #performance
A Critical Overview of Computer Performance Evaluation (JCB), pp. 138–145.
VLDB-1975-BrowneL #database #scalability
An Optimizable Model for Application of Rollback/Restart/Recovery Procedures for Large Data Bases (JCB, GLL), pp. 508–510.
DAC-1972-ChandyKB #automation #design #evaluation #interactive #modelling #network
Design automation and queueing networks: An interactive system for the evaluation of computer queueing models (KMC, TWK, JCB), pp. 357–367.

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.