ESEC / SIGSOFT FSE

Keyphrases

Publications

2003

Dimitra Giannakopoulou, Jeff Magee
Fluent model checking for event-based systems. ESEC / SIGSOFT FSE (2003)
Kleanthis Thramboulidis
Towards an engineering tool for implementing reusable distributed control systems. ESEC / SIGSOFT FSE (2003)
Paulo Asterio de Castro Guerra, Cecília M. F. Rubira, Alexander B. Romanovsky, Rogério de Lemos
A fault-tolerant software architecture for COTS-based software systems. ESEC / SIGSOFT FSE (2003)
Giovanni Vigna, Fredrik Valeur, Richard A. Kemmerer
Designing and implementing a family of intrusion detection systems. ESEC / SIGSOFT FSE (2003)
Gregory M. Kapfhammer, Mary Lou Soffa
A family of test adequacy criteria for database-driven applications. ESEC / SIGSOFT FSE (2003)
Nguyen Tran Sy, Yves Deville
Consistency techniques for interprocedural test data generation. ESEC / SIGSOFT FSE (2003)
Giuseppe Longo
Computer modelling and natural phenomena. ESEC / SIGSOFT FSE (2003)
Richard S. Hall, Humberto Cervantes
Gravity: supporting dynamically available services in client-side applications. ESEC / SIGSOFT FSE (2003)
Jeremy S. Bradbury, Jürgen Dingel
Evaluating and improving the automatic analysis of implicit invocation systems. ESEC / SIGSOFT FSE (2003)
Dennis Brylow, Jens Palsberg
Deadline analysis of interrupt-driven software. ESEC / SIGSOFT FSE (2003)
Don S. Batory, Jia Liu, Jacob Neal Sarvela
Refinements and multi-dimensional separation of concerns. ESEC / SIGSOFT FSE (2003)
Alessandro Orso, Taweesup Apiwattanapong, Mary Jean Harrold
Leveraging field data for impact analysis and regression testing. ESEC / SIGSOFT FSE (2003)
Petri Selonen, Jianli Xu
Validating UML models against architectural profiles. ESEC / SIGSOFT FSE (2003)
Stan Jarzabek, Shubiao Li
Eliminating redundancies with a "composition with adaptation" meta-programming technique. ESEC / SIGSOFT FSE (2003)
João W. Cangussu, Raymond A. DeCarlo, Aditya P. Mathur
Monitoring the software test process using statistical process control: a logarithmic approach. ESEC / SIGSOFT FSE (2003)
Sebastián Uchitel, Jeff Kramer, Jeff Magee
Behaviour model elaboration using partial labelled transition systems. ESEC / SIGSOFT FSE (2003)
James D. Herbsleb, Audris Mockus
Formulation and preliminary test of an empirical theory of coordination in software engineering. ESEC / SIGSOFT FSE (2003)
Koushik Sen, Grigore Rosu, Gul Agha
Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE (2003)
Claus Pahl, Michael Casey
Ontology support for web service processes. ESEC / SIGSOFT FSE (2003)
Stephen McCamant, Michael D. Ernst
Predicting problems caused by component upgrades. ESEC / SIGSOFT FSE (2003)
V. Benjamin Livshits, Monica S. Lam
Tracking pointers with path and context sensitivity for bug detection in C programs. ESEC / SIGSOFT FSE (2003)
Fei Xie, James C. Browne
Verified systems by composition from verified components. ESEC / SIGSOFT FSE (2003)
Matthias M. Müller, Frank Padberg
On the economic evaluation of XP projects. ESEC / SIGSOFT FSE (2003)
Ari Jaaksi
Assessing software projects: tools for business owners. ESEC / SIGSOFT FSE (2003)
Dirk Ohst, Michael Welle, Udo Kelter
Differences between versions of UML diagrams. ESEC / SIGSOFT FSE (2003)
Ralph D. Jeffords, Constance L. Heitmeyer
A strategy for efficiently verifying requirements. ESEC / SIGSOFT FSE (2003)
Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake
Towards the compositional verification of real-time UML designs. ESEC / SIGSOFT FSE (2003)
Oksana Tkachuk, Matthew B. Dwyer
Adapting side effects analysis for modular program model checking. ESEC / SIGSOFT FSE (2003)
Nikunj R. Mehta, Nenad Medvidovic
Composing architectural styles from architectural primitives. ESEC / SIGSOFT FSE (2003)
Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró
Modeling and validation of service-oriented architectures: application vs. style. ESEC / SIGSOFT FSE (2003)
Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand Grégoire, Sophie Ramel
EFFICIENT: a tool set for supporting the modelling and validation of ebXML. ESEC / SIGSOFT FSE (2003)
Suan Hsi Yong, Susan Horwitz
Protecting C programs from attacks via invalid pointer dereferences. ESEC / SIGSOFT FSE (2003)
Jukka Viljamaa
Reverse engineering framework reuse interfaces. ESEC / SIGSOFT FSE (2003)
Atif M. Memon, Mary Lou Soffa
Regression testing of GUIs. ESEC / SIGSOFT FSE (2003)
Alexander Ran, Raimondas Lencevicius
Making sense of runtime architecture for mobile phone software. ESEC / SIGSOFT FSE (2003)
Tore Dybå
Factors of software process improvement success in small and large organizations: an empirical study in the scandinavian context. ESEC / SIGSOFT FSE (2003)
Yichen Xie, Andy Chou, Dawson R. Engler
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. ESEC / SIGSOFT FSE (2003)
Leon J. Osterweil
Understanding process and the quest for deeper questions in software engineering research. ESEC / SIGSOFT FSE (2003)
Hridesh Rajan, Kevin J. Sullivan
: instance-level aspects for integrated system design. ESEC / SIGSOFT FSE (2003)
Jens Krinke
Context-sensitive slicing of concurrent programs. ESEC / SIGSOFT FSE (2003)
Robby, Matthew B. Dwyer, John Hatcliff
Bogor: an extensible and highly-modular software model checking framework. ESEC / SIGSOFT FSE (2003)
Simonetta Balsamo, Moreno Marzolla
A simulation-based approach to software performance modeling. ESEC / SIGSOFT FSE (2003)
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia-Yi Pan
Towards scalable compositional analysis by refactoring design models. ESEC / SIGSOFT FSE (2003)
Eunyoung Lee, Andrew W. Appel
Policy-enforced linking of untrusted components. ESEC / SIGSOFT FSE (2003)
Antonia Bertolino, Stefania Gnesi
Use case-based testing of product lines. ESEC / SIGSOFT FSE (2003)

2001