Keywords: FWF P21321
Refereed Journal Papers and Articles
2016
[4] , , and : Consistent Merging of Model Versions, in Journal of Systems and Software, volume 112, . [pdf] [doi]
2015
[3] , and : Constraint-Driven Modeling through Transformation, in Software and System Modeling, volume 14, . [pdf] [doi]
2011
[2] : Automatically Detecting and Tracking Inconsistencies in Software Design Models., in IEEE Transactions on Software Engineering, volume 37, . [pdf]
2009
[1] , and : An Efficient and Scalable Approach to Correct Class Model Refinement., in IEEE Transactions on Software Engineeering, volume 35, . [pdf]
Refereed Conference Papers
2014
[27] , and : Automatic and Incremental Product Optimization for Software Product Lines., in Proceedings of the 7th International Conference on Software Testing, Verification and Validation (ICST 2014), Cleveland, USA, . [pdf] [doi]
[26] , and : Inconsistency Resolution in Merging Versions of Architectural Models., in Proceedings of the 11th Working IEEE/IFIP Conference on Software Architecture (WICSA 2014), Sydney, Australia, IEEE Computer Society, . [pdf] [doi]
2013
[25] , and : On Extracting Feature Models from Sets of Valid Feature Combinations., in Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013), Rome, Italy (Vittorio Cortellessa, Daniel Varr, eds.), Springer, volume 7793, . [pdf] [doi]
[24] and : SBSE4VM: Search Based Software Engineering for Variability Management., in Proceedings of the 17th European Conference on Software Maintenance and Reengineering (CSMR 2013), Genova, Italy (Anthony Cleve, Filippo Ricca, Maura Cerioli, eds.), (IEEE) Computer Society, . [pdf] [doi]
[23] , and : Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management., in Proceeding of the 16th International Conference on Model-Driven Engineering Languages & Systems (MoDELS 2013), Miami, USA, . [pdf] [doi]
2012
[22] , and : Automatically generating and adapting model constraints to support co-evolution of design models., in Proceedings of the 27th International Conference on Automated Software Engineering (ASE 2012), Essen, Germany (Michael Goedicke, Tim Menzies, Motoshi Saeki, eds.), ACM, . [pdf] [doi]
[21] and : Computing repair trees for resolving inconsistencies in design models., in Proceedings of the 27th International Conference on Automated Software Engineering (ASE 2012), Essen, Germany (Michael Goedicke, Tim Menzies, Motoshi Saeki, eds.), ACM, . [pdf] [doi]
[20] , and : Constraint-Driven Modeling through Transformation., in 5th International Conference on Theory and Practice of Model Transformations (ICMT), Prague, Czech Republic (Zhenjiang Hu, Juan de Lara, eds.), Springer, volume 7307, . [pdf] [doi]
[19] and : Incremental Consistency Checking for Complex Design Rules and Larger Model Changes., in Proceedings of the 15th International Conference on Model-Driven Engineering Languages & Systems (MoDELS 2012), Innsbruck, Austria (Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson, eds.), Springer, volume 7590, . [pdf] [doi]
[18] , , , and : Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study., in Proceedings of the 4th International Symposium on Search-Based Software Engineering (SSBSE 2012), Riva del Garda, Italy (Gordon Fraser, Jerffeson Teixeira de Souza, eds.), Springer, volume 7515, . [pdf] [doi]
2011
[17] and : C2MV2: Consistency and Composition for Managing Variability in Multi-view Systems., in Proceedings of the 15th European Conference on Software Maintenance and Reengineering (CSMR 2011), Oldenburg, Germany (Tom Mens, Yannis Kanellopoulos, Andreas Winter, eds.), IEEE Computer Society, . [pdf] [doi]
[16] , , , and : Conformance Checking with Constraint Logic Programming: The Case of Feature Models., in Proceedings of the 35th Computer Software and Applications Conference (COMPSAC 2011), Munich, Germany, IEEE Computer Society, . [pdf] [doi]
[15] , and : Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking., in Proceedings of the 19th Symposium on the Foundations of Software Engineering (FSE), Szeged, Hungary, ACM, . [pdf] [doi]
[14] , and : From Requirements to Features: An Exploratory Study of Feature-Oriented Refactoring., in Proceedings of the 14th International Conference (SPLC), Munich, Germany (Eduardo Santana de Almeida, Tomoji Kishi, Christa Schwanninger, Isabel John, Klaus Schmid, eds.), IEEE Computer Society, . [pdf] [doi]
[13] and : Optimizing User Guidance during Decision-Making., in Proceedings of the14th International Conference (SPLC), Munich, Germany (Eduardo Santana de Almeida, Tomoji Kishi, Christa Schwanninger, Isabel John, Klaus Schmid, eds.), IEEE Computer Society, . [pdf] [doi]
[12] , and : Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution., in Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), New Ideas and Emerging Results Track, Honolulu, Hawaii (Richard N. Taylor, Harald C. Gall, Nenad Medvidovic, eds.), ACM, . [pdf] [doi]
[11] , , , and : Supporting Consistency Checking between Features and Software Product Line Use Scenarios., in Proceeding of the 12th International Conference on Software Reuse (ICSR 2011), Pohang, Korea (Klaus Schmid, ed.), Springer, volume 6727, . [pdf] [doi]
[10] , and : Understanding the Relationship of Information in Mechatronic Design Modeling., in Proceedings of the 13th International Conference on Computer Aided Systems Theory (EUROCAST 2011), Las Palmas, Spain (Roberto Moreno-Diaz, Franz Pichler, Alexis Quesada-Arencibia, eds.), Springer, volume 6928, . [pdf] [doi]
2010
[9] and : C2O: a tool for guided decision-making., in Proceedings of the 25th International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium (Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto, eds.), ACM, . [pdf] [doi]
[8] and : Detecting Inconsistencies in Multi-View Models with Variability., in Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA 2010), Paris, France (Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier, eds.), . [pdf] [doi]
[7] , , , and : Flexible and scalable consistency checking on product line variability models, in Proceedings of the 25th IEEE/ACM Int'l Conference on Automated Software Engineering, (ASE 2010), Antwerp, Belgium (Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto, eds.), ACM, . [pdf] [doi]
[6] , and : Incremental Consistency Checking of Dynamic Constraints., in Proceedings of the13th International Conference on Fundamental Approaches to Software Engineering (FASE 2010), Paphos, Cyprus (David S. Rosenblum, Gabriele Taentzer, eds.), Springer, volume 6013, . [pdf] [doi]
[5] and : Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML., in Proceedings of the 25th International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium (Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto, eds.), ACM, . [pdf] [doi]
[4] and : On the Need of Safe Software Product Line Architectures., in Proceeding of the 4th European Conference Software Architecture (ECSA 2010), August 2010, Copenhagen, Denmark (Muhammad Ali Babar, Ian Gorton, eds.), Springer, volume 6285, . [pdf] [doi]
[3] and : Selective and Consistent Undoing of Model Changes., in Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), Oslo, Norway (Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen, eds.), Springer, volume 6395, . [pdf] [doi]
[2] and : Understanding where requirements are implemented., in Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), Timisoara, Romania, IEEE Computer Society, . [pdf] [doi]
2009
[1] and : Selective backtracking of model changes., in 31st International Conference on Software Engineering (ICSE), May 2009, Vancouver, Canada, . [pdf] [doi]
Other Publications
2013
[4] : Automated Consistency Management Framework for the Model Based Software Development, PhD thesis, Johannes Kepler University (JKU), Linz, Austria, . (Advisor: Alexander Egyed) [pdf]
[3] : Automatic Model-based Management of Design Constraints, PhD thesis, Johannes Kepler University (JKU), Linz, Austria, . [pdf]
2012
[2] : Inconsistencies in Decision Modeling, PhD thesis, Johannes Kepler University (JKU), Linz, Austria, . [pdf]
2011
[1] : Konsistenzprüfung von Software Design Modellen in Mehrbenutzerumgebungen, Master's thesis, Johannes Kepler University (JKU), Linz, Austria, . [pdf]
Powered by bibtexbrowser