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

Margaret A. Wojcicki

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5EEJohn Ngui, Paul A. Strooper, Luke Wildman, Margaret A. Wojcicki: Comparing the Cost-Effectiveness of Statically Analysing and Model Checking Concurrent Java Components for Deadlocks. ASWEC 2007: 223-232
4EEPaul A. Strooper, Margaret A. Wojcicki: Selecting V&V Technology Combinations: How to Pick a Winner? ICECCS 2007: 87-96
3EEMargaret A. Wojcicki, Paul A. Strooper: Maximising the information gained from a study of static analysis technologies for concurrent software. Empirical Software Engineering 12(6): 617-645 (2007)
2006
2EEMargaret A. Wojcicki, Paul A. Strooper: Maximising the information gained from an experimental analysis of code inspection and static analysis for concurrent java components. ISESE 2006: 174-183
1EEMargaret A. Wojcicki, Paul A. Strooper: A state-of-practice questionnaire on verification and validation for concurrent programs. PADTAD 2006: 1-10

Coauthor Index

1John Ngui [5]
2Paul A. Strooper [1] [2] [3] [4] [5]
3Luke Wildman [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)