BRIAND, Lionel ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
Model-Based Automated and Guided Configuration of Embedded Software Systems
Publication date :
2012
Event name :
European Conference on Modeling Foundations and Applications (ECMFA) 2012
Event place :
Kgs. Lyngby, Denmark
Event date :
2012
Audience :
International
Main work title :
European Conference on Modeling Foundations and Applications
ISBN/EAN :
978-3-642-31490-2
Pages :
226-243
Peer reviewed :
Peer reviewed
Commentary :
Modelling Foundations and Applications - 8th European Conference,
Behjati, R., Yue, T., Briand, L., Selic, B.: SimPL a product-line modeling methodology for families of integrated control systems, Tech. Repo 2011-14, SRL (2011), http://simula.no/publications/Simula.simula.746
Benavides, D., Segura, S., Trinidad, P., Ruiz Cortés, A.: Fama: Tooling a framework for the automated analysis of feature models. In: VaMoS (2007)
Cabot, J., Clarisó, R., Riera, D.: Verification of uml/ocl class diagrams using constraint programming, Washington, DC, USA, pp. 73-80 (2008)
Carlsson, M., Mildner, P.: Sicstus prolog - the first 25 years. CoRR, abs/1011.5640 (2010)
Carlsson, M., Ottosson, G., Carlson, B.: An Open-Ended Finite Domain Constraint Solver. In: Hartel, P.H., Kuchen, H. (eds.) PLILP 1997. LNCS, vol. 1292, pp. 191-206. Springer, Heidelberg (1997)
Collavizza, H., Rueher, M., Van Hentenryck, P.: A constraint-programming framework for bounded program verification. Constraints Journal (2010)
Czarnecki, K., Kim, P.: Cardinality-Based Feature Modeling and Constraints: A Progress Report. In: Proceedings of the International Workshop on Software Factories at OOPSLA (2005)
Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specialization. In: Software Process: Improvement and Practice (2005)
Czarnecki, K., Pietroszek, K.: Verifying feature-based model templates against well-formedness ocl constraints. In: GPCE 2006, pp. 211-220 (2006)
Eames, B.K., Neema, S., Saraswat, R.: Desertfd: a finite-domain constraint based tool for design space exploration. Design Autom. for Emb. Sys. 14(2), 43-74 (2010)
Van Hentenryck, P., Saraswat, V.A., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(fd). Selected Papers from Constraint Programming: Basics and Trends (1995)
Horváth, Á., Varró, D.: Dynamic constraint satisfaction problems over models. Software and Systems Modeling (November 2010)
Lopez-Herrejon, R.E., Egyed, A.: Detecting Inconsistencies in Multi-View Models with Variability. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 217-232. Springer, Heidelberg (2010)
Mazo, R., Salinesi, C., Diaz, D., Lora-Michiels, A.: Transforming attribute and clone-enabled feature models into constraint programs over finite domains. In: ENASE (2011)
Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag New York, Inc., Secaucus (2005)