FSE 2002

18 papers

1. A micro-economic approach to conflict resolution in mobile computing · Licia Capra, Wolfgang Emmerich, Cecilia Mascolo
2. Architectural primitives for distribution and mobility · Antónia Lopes, José Luiz Fiadeiro, Michel Wermelinger
3. Composable semantics for model-based notations · Jianwei Niu, Joanne M. Atlee, Nancy A. Day
4. Containment units: a hierarchically composable architecture for adaptive systems · Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner
5. Deriving operational software specifications from system goals · Emmanuel Letier, Axel van Lamsweerde
6. Egocentric context-aware programming in ad hoc mobile environments · Christine Julien, Gruia-Catalin Roman
7. Improving program slicing with dynamic points-to data · Markus Mock, Darren C. Atkinson, Craig Chambers, Susan J. Eggers
8. Invariant inference for static checking · Jeremy W. Nimmer, Michael D. Ernst
9. Isolating cause-effect chains from computer programs · Andreas Zeller
10. Model exploration with temporal logic query checking · Arie Gurfinkel, Benet Devereux, Marsha Chechik
11. Negative scenarios for implied scenario elicitation · Sebastián Uchitel, Jeff Kramer, Jeff Magee
12. Searching for points-to analysis · Glenn Bruns, Satish Chandra
13. Secure systems development based on the common criteria: the PalME project · Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner
14. Supporting aggregation in fine grained software configuration management · Mark Chu-Carroll, James L. Wright, David Shields
15. The logic of bugs · Gerard J. Holzmann
16. Triggered message sequence charts · Bikram Sengupta, Rance Cleaveland
17. Using redundancies to find errors · Yichen Xie, Dawson R. Engler
18. Verifying cross-cutting features as open systems · Harry C. Li, Shriram Krishnamurthi, Kathi Fisler