Viewing publications by year : 2013

[5] Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material) (Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski), In CoRR, volume abs/1309.0065, 2013. [bibtex] [pdf]
[4] Integrating heterogeneous variability modeling approaches with invar (Deepak Dhungana, Dominik Seichter, Goetz Botterweck, Rick Rabiser, Paul Grünbacher, David Benavides, José A. Galindo), In The Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, Pisa , Italy, January 23 - 25, 2013, 2013. [bibtex] [pdf] [doi]
[3] Joint Workshop of the 5\(^\mboxth\) International Workshop on Model-Driven Approaches in Software Product Line Engineering and the 4\(^\mboxth\) Workshop on Scalable Modeling Techniques for Software Product Lines (MAPLE/SCALE 2013) (Goetz Botterweck, Deepak Dhungana, Natsuko Noda, Rick Rabiser, Hironori Washizaki), In 17th International Software Product Line Conference, SPLC 2013, Tokyo, Japan - August 26 - 30, 2013, 2013. [bibtex] [pdf] [doi]
[2] Automated verification of interactive rule-based configuration systems (Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski), In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013, 2013. [bibtex] [pdf] [doi]
[1] Generation of conjoint domain models for system-of-systems (Deepak Dhungana, Andreas A. Falkner, Alois Haselböck), In Generative Programming: Concepts and Experiences, GPCE'13, Indianapolis, IN, USA - October 27 - 28, 2013, 2013. [bibtex] [pdf] [doi]