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: Browne:James_C=
Facilitated 1 volumes:
EdContributed to:
2006
2004
20032003
2003
20032002
20012001
1993
1982197819761975
1972Wrote 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.