dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jeremy S. Bradbury Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAhmad A. Saifan, Jürgen Dingel, Jeremy S. Bradbury, Ernesto Posse: Implementing and Evaluating a Runtime Conformance Checker for Mobile Agent Systems. ICST 2011: 269-278
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoit Baudry, Jeremy S. Bradbury, Gordon Fraser: Guest Editorial for Special Section on Mutation Testing. Information & Software Technology 53(10): 1097 (2011)
2010
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKevin Jalbert, Jeremy S. Bradbury: Using clone detection to identify bugs in concurrent software. ICSM 2010: 1-5
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDevin Kester, Martin Mwebesa, Jeremy S. Bradbury: How Good is Static Analysis at Finding Concurrency Bugs? SCAM 2010: 115-124
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGowritharan Maheswara, Jeremy S. Bradbury, Christopher Collins: TIE: an interactive visualization of thread interleavings. SOFTVIS 2010: 215-216
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLL. Ruhai Cai, Jeremy S. Bradbury, Jürgen Dingel: Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking. FMOODS 2007: 44-58
2006
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel: Using source transformation to test and model check implicit-invocation systems. Sci. Comput. Program. 62(3): 209-227 (2006)
2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy S. Bradbury, James R. Cordy, Jürgen Dingel: An empirical framework for comparing effectiveness of testing and property-based formal analysis. PASTE 2005: 2-5
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel: Implementation and Verification of Implicit-Invocation Systems Using Source Transformation. SCAM 2005: 87-96
2004
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy S. Bradbury, James R. Cordy, Jürgen Dingel, Michel Wermelinger: A survey of self-management in dynamic software architecture specifications. WOSS 2004: 28-33
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy S. Bradbury, Jeffrey S. Shell, Craig B. Knowles: Hands on cooking: towards an attentive kitchen. CHI Extended Abstracts 2003: 996-997
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy S. Bradbury, Jürgen Dingel: Evaluating and improving the automatic analysis of implicit invocation systems. ESEC / SIGSOFT FSE 2003: 78-87

Coauthor Index

1Benoit Baudry [11]
2L. Ruhai Cai [7]
3Christopher Collins [8]
4James R. Cordy [3] [4] [5] [6]
5Jürgen Dingel [1] [3] [4] [5] [6] [7] [12]
6Gordon Fraser [11]
7Kevin Jalbert [10]
8Devin Kester [9]
9Craig B. Knowles [2]
10Gowritharan Maheswara [8]
11Martin Mwebesa [9]
12Ernesto Posse [12]
13Ahmad A. Saifan [12]
14Jeffrey S. Shell [2]
15Michel Wermelinger [3]
16Hongyu Zhang [4] [6]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page