Output details
11 - Computer Science and Informatics
University College London
Return to search
Output 0 of 0 in the submission
Output title
Model projection: Simplifying models in response to restricting the environment
Type
E - Conference contribution
Name of conference/published proceedings
Proceedings - International Conference on Software Engineering
Volume number
-
Issue number
-
First page of article
291
ISSN of proceedings
0270-5257
Year of publication
2011
URL
-
Number of additional authors
6
Additional information
<07> This paper was accepted at the top conference in Software Engineering, ICSE (with acceptance rate 62/441 (14%)). The paper develops new algorithms for model projections and proves them correct. Effectiveness and efficiency is evaluated empirically using widely studied benchmarks and industrial models. The work has been taken up and used, for example, by researchers at the University of Waterloo, INRIA and Hitachi, all three of whom incorporate techniques from this ICSE paper into their analysis systems.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
5
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
