Alexander Egyed

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Code smell analysis in cloned Java variants: the apo-games case study.

[BibT_eX]

[DOI]

Luciano Marchezan

Edvin Herac

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

Automated Process-Centric Quality Constraints Checking for Quality Assurance in Safety-critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2022, 2022

Evaluating PDDL for programming production cells: a case study.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Robotics Software Engineering, 2022

Reactive links across multi-domain engineering models.

[BibT_eX]

[DOI]

Cosmina Cristina Ratiu

Rainer Haas

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Using Consensual Biterms from Text Structures of Requirements and Code to Improve IR-Based Traceability Recovery.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel.

[BibT_eX]

[DOI]

Ruben Heradio

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Change-Oriented Repair Propagation.

[BibT_eX]

[DOI]

Luciano Marchezan

Proceedings of the ICSSP/ICGSE 2022: 16th International Conference on Software and System Processes and 17th International Conference on Global Software Engineering, Virtual Event / Pittsburgh, PA, USA, May 19, 2022

Assembly Precedence Graph Mining Based on Similar Products.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Technology, 2022

Trace Refinement in B and Event-B.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2022

Semantic Clone Detection via Probabilistic Software Modeling.

[BibT_eX]

[DOI]

Hannes Thaller

Proceedings of the Fundamental Approaches to Software Engineering, 2022

Application of Validation Obligations to Security Concerns.

[BibT_eX]

[DOI]

Sebastian Stock

Proceedings of the Database and Expert Systems Applications - DEXA 2022 Workshops, 2022

Runtime Monitoring for Systems of System - A Closer Look on Opportunities for Manufacturers in the Context of Industry 4.0.

[BibT_eX]

[DOI]

Michael Vierhauser

Wesley Klewerton Guez Assunção

Proceedings of the Digital Transformation, 2022

Designing Strongly-decoupled Industry 4.0 Applications Across the Stack: A Use Case.

[BibT_eX]

[DOI]

Proceedings of the Digital Transformation, 2022

Variability in Products and Production.

[BibT_eX]

[DOI]

Proceedings of the Digital Transformation, 2022

2021

Data for a mapping study about the usage of MDE in Safety and Security Domain.

[BibT_eX]

[DOI]

Dataset, November, 2021

Data for a mapping study about the usage of MDE in Safety and Security Domain.

[BibT_eX]

[DOI]

Dataset, November, 2021

Generating Repairs for Inconsistent Models.

[BibT_eX]

[DOI]

Dataset, April, 2021

Consistent change propagation within models.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2021

Ensuring safe and consistent coengineering of cyber-physical production systems: A case study.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2021

Transforming abstract to concrete repairs with a generative approach of repair values.

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

Genetic programming for feature model synthesis: a replication study.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2021

A Literature Review of Using Machine Learning in Software Development Life Cycle Stages.

[BibT_eX]

[DOI]

IEEE Access, 2021

A Hybrid Feature Location Technique for Re-engineeringSingle Systems into Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

Managing systems evolving in space and time: four challenges for maintenance, evolution and composition of variants.

[BibT_eX]

[DOI]

David Obermann

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Automated Reuse of Test Cases for Highly Configurable Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2021, 2021

Instant distribution of consistency-relevant change information in a hierarchical multi-developer engineering environment.

[BibT_eX]

[DOI]

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

On the effect of incompleteness to check requirement-to-method traces.

[BibT_eX]

[DOI]

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

A Traceability Dataset for Open Source Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE/ACM International Conference on Mining Software Repositories, 2021

Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE/ACM Joint International Conference on Software and System Processes, 2021

Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE/ACM Joint International Conference on Software and System Processes, 2021

TaskAllocator: A Recommendation Approach for Role-based Tasks Allocation in Agile Software Development.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE/ACM Joint International Conference on Software and System Processes, 2021

Do Communities in Developer Interaction Networks align with Subsystem Developer Teams? An Empirical Study of Open Source Systems.

[BibT_eX]

[DOI]

Sebastiano Panichella

Proceedings of the 15th IEEE/ACM Joint International Conference on Software and System Processes, 2021

Monitoring of Human-Intensive Assembly Processes Based on Incomplete and Indirect Shopfloor Observations.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021

Automated Deviation Detection for Partially-Observable Human-Intensive Assembly Processes.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021

Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Inconsistency-Tolerating Guidance for Software Engineering Processes.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification.

[BibT_eX]

[DOI]

Michael Leuschel

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, 2021

Guiding Engineers with the Passive Process Engine Environment.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Dynamically Wiring CPPS Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Industrial Technology, 2021

The life cycle of features in highly-configurable software systems evolving in space and time.

[BibT_eX]

[DOI]

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

NLP4IP: Natural Language Processing-based Recommendation Approach for Issues Prioritization.

[BibT_eX]

[DOI]

Proceedings of the 47th Euromicro Conference on Software Engineering and Advanced Applications, 2021

Model Assisted Distributed Root Cause Analysis.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

Recommending Assembly Work to Station Assignment Based on Historical Data.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

Security- and safety-critical cyber-physical systems.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2020

Automated test reuse for highly configurable software.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

Semantic Clone Detection via Probabilistic Software Modeling.

[BibT_eX]

[DOI]

CoRR, 2020

Machine Learning for Software Engineering: A Systematic Mapping.

[BibT_eX]

[DOI]

CoRR, 2020

Model-driven Engineering of Safety and Security Systems: A Systematic Mapping Study.

[BibT_eX]

[DOI]

Robert Wille

CoRR, 2020

Towards Fault Localization via Probabilistic Software Modeling.

[BibT_eX]

[DOI]

Proceedings of the IEEE Workshop on Validation, Analysis and Evolution of Software Tests, 2020

Locating feature revisions in software systems evolving in space and time.

[BibT_eX]

[DOI]

David Obermann

Wesley Klewerton Guez Assunção

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Mining Feature Revisions in Highly-Configurable Software Systems.

[BibT_eX]

[DOI]

Wesley Klewerton Guez Assunção

David Obermann

Larissa Cardoso Zimmermann

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Maintaining Consistency across Engineering Artifacts.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2020, 2020

A Mixed Graph-Relational Dataset of Socio-technical Interactions in Open Source Systems.

[BibT_eX]

[DOI]

Usman Ashraf

Sebastiano Panichella

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

Towards Semantic Clone Detection via Probabilistic Software Modeling.

[BibT_eX]

[DOI]

Hannes Thaller

Proceedings of the IEEE 14th International Workshop on Software Clones, 2020

Process Inspection Support: an Industrial Case Study.

[BibT_eX]

[DOI]

Johann Tuder

Proceedings of the ICSSP '20: International Conference on Software and System Processes, 2020

Evaluating the alignment of sequence diagrams with system behavior.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Industry 4.0 and Smart Manufacturing (ISM 2020), 2020

TimeTracer: a tool for back in time traceability replaying.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Towards Optimal Assembly Line Order Sequencing with Reinforcement Learning: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Capability-Based Process Modeling and Control.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019

An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing.

[BibT_eX]

[DOI]

Georgios Kanakis

Michael Tröls

J. Object Technol., 2019

Probabilistic Software Modeling: A Data-driven Paradigm for Software Analysis.

[BibT_eX]

[DOI]

CoRR, 2019

Feature Maps: A Comprehensible Software Representation for Design Pattern Detection.

[BibT_eX]

[DOI]

Hannes Thaller

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Mining Cross-Task Artifact Dependencies from Developer Interactions.

[BibT_eX]

[DOI]

Usman Ashraf

Proceedings of the 26th IEEE International Conference on Software Analysis, 2019

Comparison-based feature location in ArgoUML variants.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

A kconfig translation to logic with one-way validation system.

[BibT_eX]

[DOI]

Ruben Heradio

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Automating test reuse for highly configurable software.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Detecting and exploring side effects when repairing model inconsistencies.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Live and global consistency checking in a collaborative engineering environment.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Multifaceted Consistency Checking of Collaborative Engineering Artifacts.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Using frugal user feedback with closeness analysis on code to improve IR-based traceability recovery.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Program Comprehension, 2019

Supporting the statistical analysis of variability models.

[BibT_eX]

[DOI]

Ruben Heradio

Proceedings of the 41st International Conference on Software Engineering, 2019

Supporting a flexible grouping mechanism for collaborating engineering teams.

[BibT_eX]

[DOI]

Georgios Kanakis

Proceedings of the 14th International Conference on Global Software Engineering, 2019

Collaboratively enhanced consistency checking in a cloud-based engineering environment.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2019

Assessing Adaptability of Software Architectures for Cyber Physical Production Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 13th European Conference, 2019

2018

Evaluating the suitability of state-based formal methods for industrial deployment.

[BibT_eX]

[DOI]

Felix Kossak

Softw. Pract. Exp., 2018

Introduction to the special issue on the 18th international conference on model driven engineering languages and systems (MODELS'15).

[BibT_eX]

[DOI]

Jordi Cabot

Softw. Syst. Model., 2018

A systematic mapping study of information visualization for software product line engineering.

[BibT_eX]

[DOI]

Sheny Illescas

J. Softw. Evol. Process., 2018

Do code data sharing dependencies support an early prediction of software actual change impact set?

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2018

Maintaining Consistency across Engineering Artifacts.

[BibT_eX]

[DOI]

Computer, 2018

Developing and evolving a DSL-based approach for runtime monitoring of systems of systems.

[BibT_eX]

[DOI]

Rick Rabiser

Jürgen Thanhofer-Pilisch

Michael Vierhauser

Autom. Softw. Eng., 2018

Experiences on Traceability and Consistency Checking across Engineering Tools in an Automation Solution Company.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering und Software Management 2018, 2018

Towards a fault-detection benchmark for evaluating software product line testing approaches.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Analysis of Experiences with the Engineering of a Medical Device Using State-Based Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Change Propagation-based and Composition-based Co-evolution of Transformations with Evolving Metamodels.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Invited Talk: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Model and Data Engineering, 2018

Predicting Higher Order Structural Feature Interactions in Variable Systems.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

Does the propagation of artifact changes across tasks reflect work dependencies?

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

An automated and instant discovery of concrete repairs for model inconsistencies.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Feature-Oriented Evolution of Automation Software Systems in Industrial Software Ecosystems.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2017

Variability extraction and modeling for product variants.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2017

Exploiting traceability uncertainty between software architectural models and extra-functional results.

[BibT_eX]

[DOI]

Catia Trubiani

J. Syst. Softw., 2017

Reengineering legacy applications into software product lines: a systematic mapping.

[BibT_eX]

[DOI]

Silvia R. Vergilio

Empir. Softw. Eng., 2017

Multi-objective reverse engineering of variability-safe feature models based on code dependencies of system variants.

[BibT_eX]

[DOI]

Silvia R. Vergilio

Empir. Softw. Eng., 2017

Analyzing closeness of code dependencies for improving IR-based Traceability Recovery.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Exploring code clones in programmable logic controller software.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

From Abstract to Concrete Repairs of Model Inconsistencies: An Automated Approach.

[BibT_eX]

[DOI]

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

An Exploratory Experiment on Metamodel-Transformation Co-Evolution.

[BibT_eX]

[DOI]

Horacio Hoyos Rodriguez

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

Evolutionary Computation for Software Product Line Testing: An Overview and Open Challenges.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence and Quantitative Software Engineering, 2016

Multi-objective test case prioritization in highly configurable systems: A case study.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Co-evolution of metamodels and models through consistent change propagation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Consistent merging of model versions.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Visualization for Software Product Lines: A Systematic Mapping Study.

[BibT_eX]

[DOI]

Sheny Illescas

Proceedings of the 2016 IEEE Working Conference on Software Visualization, 2016

Towards Visualization of Feature Interactions in Software Product Lines.

[BibT_eX]

[DOI]

Sheny Illescas

Proceedings of the 2016 IEEE Working Conference on Software Visualization, 2016

A DSL-based approach for event-based monitoring of systems of systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

Enhancing clone-and-own with systematic reuse for developing software variants.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

A Source Level Empirical Study of Features and Their Interactions in Variable Software.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Efficient detection of inconsistencies in a multi-developer engineering environment.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Towards efficient risk-identification in risk-driven development processes.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software and Systems Process, 2016

Introducing Traceability and Consistency Checking for Change Impact Analysis across Engineering Tools in an Automation Solution Company: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

A variability aware configuration management and revision control platform.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

A preliminary empirical assessment of similarity for combinatorial interaction testing of software product lines.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016

2015

Constraint-driven modeling through transformation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Can method data dependencies support the assessment of traceability between requirements and source code?

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2015

Applying multiobjective evolutionary algorithms to dynamic software product lines for reconfiguring mobile applications.

[BibT_eX]

[DOI]

Gustavo G. Pascual

Mónica Pinto

Lidia Fuentes

J. Syst. Softw., 2015

An assessment of search-based techniques for reverse engineering feature models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Exploiting traceability uncertainty among artifacts and code.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

A systematic mapping study of search-based software engineering for software product lines.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2015

Do developers benefit from requirements traceability when evolving and maintaining a software system?

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2015

Variability and consistency in mechatronic design.

[BibT_eX]

[DOI]

Concurr. Eng. Res. Appl., 2015

DesignSpace: an infrastructure for multi-user/multi-tool engineering.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Towards Safe Model Transformation for Constraint-driven Modeling.

[BibT_eX]

[DOI]

Proceedings of the 12th Workshop on Model-Driven Engineering, 2015

Developing a DSL-Based Approach for Event-Based Monitoring of Systems of Systems: Experiences and Lessons Learned (E).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

A first systematic mapping study on combinatorial interaction testing for software product lines.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Using Traceability for Incremental Construction and Evolution of Software Product Portfolios.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACM International Symposium on Software and Systems Traceability, 2015

The ECCO Tool: Extraction and Composition for Clone-and-Own.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Genetic Improvement for Software Product Lines: An Overview and a Roadmap.

[BibT_eX]

[DOI]

Silvia Regina Vergilio

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Extracting Variability-Safe Feature Models from Source Code Dependencies in System Variants.

[BibT_eX]

[DOI]

Silvia Regina Vergilio

Proceedings of the Genetic and Evolutionary Computation Conference, 2015

Bridging the Gap between Software Variability and System Variant Management: Experiences from an Industrial Machinery Product Line.

[BibT_eX]

[DOI]

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

Exploiting Traceability Uncertainty Between Software Architectural Models and Performance Analysis Results.

[BibT_eX]

[DOI]

Catia Trubiani

Proceedings of the Software Architecture - 9th European Conference, 2015

Towards Flexible and Efficient Process and Workflow Support in Enterprise Modeling.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops, 2015

2014

Consistency Checking in Early Software Product Line Specifications - The VCC Approach.

[BibT_eX]

[DOI]

Mauricio Alférez

Ana Moreira

Vasco Amaral

J. Univers. Comput. Sci., 2014

A Hitchhiker's Guide to Search-Based Software Engineering for Software Product Lines.

[BibT_eX]

[DOI]

CoRR, 2014

Towards a Benchmark and a Comparison Framework for Combinatorial Interaction Testing of Software Product Lines.

[BibT_eX]

[DOI]

Javier Ferrer

Francisco Chicano

Enrique Alba

CoRR, 2014

Inconsistency Resolution in Merging Versions of Architectural Models.

[BibT_eX]

[DOI]

Hoa Khanh Dam

Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Feature Model Synthesis with Genetic Programming.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

Towards flexible, incremental, and paradigm-agnostic consistency checking in multi-level modeling environments.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Multi-Level Modelling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Automatic and Incremental Product Optimization for Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Recovering Feature-to-Code Mappings in Mixed-Variability Software Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution, Victoria, BC, Canada, September 29, 2014

A parallel evolutionary algorithm for prioritized pairwise testing of software product lines.

[BibT_eX]

[DOI]

Javier Ferrer

Francisco Chicano

Enrique Alba

Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Towards Model-and-Code Consistency Checking.

[BibT_eX]

[DOI]

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Comparative analysis of classical multi-objective evolutionary algorithms and seeding strategies for pairwise testing of Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2014

2013

Determining the Cause of a Design Model Inconsistency.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Improving CASA Runtime Performance by Exploiting Basic Feature Model Analysis.

[BibT_eX]

[DOI]

CoRR, 2013

C2O configurator: a tool for guided decision-making.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2013

Towards interactive visualization support for pairwise testing software product lines.

[BibT_eX]

[DOI]

Proceedings of the 2013 First IEEE Working Conference on Software Visualization (VISSOFT), 2013

Using feature model knowledge to speed up the generation of covering arrays.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Recovering traceability between features and code in product variants.

[BibT_eX]

[DOI]

Proceedings of the 17th International Software Product Line Conference, 2013

Co-evolution of Metamodels and Models through Consistent Change Propagation.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Models and Evolution co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Supporting the Co-evolution of Metamodels and Constraints through Incremental Constraint Management.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Multi-objective Optimal Test Suite Computation for Software Product Line Pairwise Testing.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

Towards collaboration-centric pattern-based software development support.

[BibT_eX]

[DOI]

Christoph Dorn

Proceedings of the 6th International Workshop on Cooperative and Human Aspects of Software Engineering, 2013

On Extracting Feature Models from Sets of Valid Feature Combinations.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2013

SBSE4VM: Search Based Software Engineering for Variability Management.

[BibT_eX]

[DOI]

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012

Exploiting Traceability Uncertainty between Architectural Models and Code.

[BibT_eX]

[DOI]

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Managing SAT inconsistencies with HUMUS.

[BibT_eX]

[DOI]

Armin Biere

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Towards fixing inconsistencies in models with variability.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Variability Modelling of Software-Intensive Systems, 2012

Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

A comparison of strategies for tolerating inconsistencies during decision-making.

[BibT_eX]

[DOI]

Armin Biere

Proceedings of the 16th International Software Product Line Conference, 2012

The quest for Ubiquity: A roadmap for software and systems traceability research.

[BibT_eX]

[DOI]

Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Incremental Consistency Checking for Complex Design Rules and Larger Model Changes.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Computing repair trees for resolving inconsistencies in design models.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Code patterns for automatically validating requirements-to-code traces.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Automatically generating and adapting model constraints to support co-evolution of design models.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Assessing the effect of requirements traceability for software maintenance.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Do data dependencies in source code complement call dependencies for understanding requirements traceability?

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Software Maintenance, 2012

Traceability Fundamentals.

[BibT_eX]

[DOI]

Proceedings of the Software and Systems Traceability., 2012

The Grand Challenge of Traceability (v1.0).

[BibT_eX]

[DOI]

Proceedings of the Software and Systems Traceability., 2012

2011

Automatically Detecting and Tracking Inconsistencies in Software Design Models.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

Reverse Engineering Feature Models from Programs' Feature Sets.

[BibT_eX]

[DOI]

Proceedings of the 18th Working Conference on Reverse Engineering, 2011

Optimizing User Guidance during Decision-Making.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

From Requirements to Features: An Exploratory Study of Feature-Oriented Refactoring.

[BibT_eX]

[DOI]

Leticia Montalvillo-Mendizabal

Proceedings of the Software Product Lines - 15th International Conference, 2011

Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Reconciling requirements and architectures with the CBSP approach in an iPhone app project.

[BibT_eX]

[DOI]

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

Do software engineers benefit from source code navigation with traceability? - An experiment in software change management.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Observations on the connectedness between requirements-to-code traces and calling relationships for trace validation.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

GoPoMoSA: a goal-oriented process modeling and simulation advisor.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software and Systems Process, 2011

Supporting Consistency Checking between Features and Software Product Line Use Scenarios.

[BibT_eX]

[DOI]

Mauricio Alférez

Ana Moreira

Vasco Amaral

Proceedings of the Top Productivity through Software Reuse, 2011

Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Grand challenges, benchmarks, and TraceLab: developing infrastructure for the software traceability research community.

[BibT_eX]

[DOI]

Proceedings of the TEFSE'11, 2011

Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Model Transformations, 2011

Understanding the Relationship of Information in Mechatronic Design Modeling.

[BibT_eX]

[DOI]

Peter Hehenberger

Klaus Zeman

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

C2MV2: Consistency and Composition for Managing Variability in Multi-view Systems.

[BibT_eX]

[DOI]

Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011

Conformance Checking with Constraint Logic Programming: The Case of Feature Models.

[BibT_eX]

[DOI]

Raúl Mazo

Camille Salinesi

Daniel Diaz

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010

Tool Support for Incremental Consistency Checking on Variability Models.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Conflict Resolution Strategies During Product Configuration.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Effort and Quality of Recovering Requirements-to-Code Traces: Two Exploratory Experiments.

[BibT_eX]

[DOI]

Florian Graf

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Selective and Consistent Undoing of Model Changes.

[BibT_eX]

[DOI]

Iris Groher

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Flexible and scalable consistency checking on product line variability models.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Model/analyzer: a tool for detecting, visualizing and fixing design errors in UML.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Utilizing the Relationships Between Inconsistencies for more Effective Inconsistency Resolution.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, 2010

C2O: a tool for guided decision-making.

[BibT_eX]

[DOI]

Proceedings of the ASE 2010, 2010

Adapting COTS products.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Understanding where requirements are implemented.

[BibT_eX]

[DOI]

Benedikt Burgstaller

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Incremental Consistency Checking of Dynamic Constraints.

[BibT_eX]

[DOI]

Iris Groher

Proceedings of the Fundamental Approaches to Software Engineering, 2010

On the Need of Safe Software Product Line Architectures.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, 4th European Conference, 2010

Coping with Variability in Model-Based Systems Engineering: An Experience in Green Energy.

[BibT_eX]

[DOI]

Salvador Trujillo

Jose Miguel Garate

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

Detecting Inconsistencies in Multi-View Models with Variability.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

2009

An Efficient and Scalable Approach to Correct Class Model Refinement.

[BibT_eX]

[DOI]

Wuwei Shen

Kun Wang

IEEE Trans. Software Eng., 2009

Guest editors' introduction.

[BibT_eX]

[DOI]

Bernd Fischer

Autom. Softw. Eng., 2009

Selective backtracking of model changes.

[BibT_eX]

[DOI]

Iris Groher

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models.

[BibT_eX]

[DOI]

Emmanuel Letier

Anthony Finkelstein

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

2007

AWDRAT: A Cognitive Middleware System for Information Survivability.

[BibT_eX]

[DOI]

AI Mag., 2007

Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, 2007

Value-Based Requirements Traceability: Lessons Learned.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Summery of the 2<sup>nd</sup> International Workshop on Incorporating COTS Software into Software Systems (IWICSS): Tools and Techniques.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

STRADA: A Tool for Scenario-Based Feature-to-Code Trace Detection and Analysis.

[BibT_eX]

[DOI]

Gernot Binder

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Fixing Inconsistencies in UML Design Models.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Support for Managing Design-Time Decisions.

[BibT_eX]

[DOI]

David S. Wile

IEEE Trans. Software Eng., 2006

Integrating COTS Software into Systems through Instrumentation and Reasoning.

[BibT_eX]

[DOI]

Robert Balzer

Autom. Softw. Eng., 2006

Instant consistency checking for the UML.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Value-Based Selection of Requirements Engineering Tool Support.

[BibT_eX]

[DOI]

Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

Tailoring Software Traceability to Value-Based Needs.

[BibT_eX]

[DOI]

Proceedings of the Value-Based Software Engineering, 2006

2005

Guest Editors' Introduction: Integrating COTS into the Development Process.

[BibT_eX]

[DOI]

Hausi A. Müller

Dewayne E. Perry

IEEE Softw., 2005

Separating architectural concerns to ease program understanding.

[BibT_eX]

[DOI]

Vladimir Jakobac

ACM SIGSOFT Softw. Eng. Notes, 2005

Scenarios and state machines: models, algorithms, and tools: a summary of the 4<sup>th</sup> workshop.

[BibT_eX]

[DOI]

Yves Bontemps

ACM SIGSOFT Softw. Eng. Notes, 2005

Supporting Software Understanding with Automated Requirements Traceability.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2005

A value-based approach for understanding cost-benefit trade-offs during automated software traceability.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Traceability in Emerging Forms of Software Engineering, 2005

Determining the cost-quality trade-off for automated software traceability.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

4th international workshop on scenarios and state machines: models, algorithms and tools (SCESM'05).

[BibT_eX]

[DOI]

Yves Bontemps

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Improving System Understanding via Interactive, Tailorable, Source Code Analysis.

[BibT_eX]

[DOI]

Vladimir Jakobac

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Maintaining Life Perspectives During the Refinement of UML Class Structures.

[BibT_eX]

[DOI]

Wuwei Shen

Kun Wang

Proceedings of the Fundamental Approaches to Software Engineering, 2005

Automatically Discovering Transitive Relationships in Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Software Development, 2005

2004

Reconciling software requirements and architectures with intermediate models.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2004

Identifying Requirements Conflicts and Cooperation: How Quality Attributes and Automated Traceability Can Help.

[BibT_eX]

[DOI]

IEEE Softw., 2004

Architecture differencing for self management.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

An Externalized Infrastructure for Self-Healing Systems.

[BibT_eX]

[DOI]

David S. Wile

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Resolving uncertainties during trace analysis.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Instant and Incremental Transformation of Models.

[BibT_eX]

[DOI]

Sven Johann

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

First International Workshop on Incorporating COTS into Software Systems.

[BibT_eX]

[DOI]

Dewayne E. Perry

Proceedings of the COTS-Based Software Systems, Third International Conference, 2004

Consistent Adaptation and Evolution of Class Diagrams during Refinement.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Dynamic Deployment of Executing and Simulating Software Components.

[BibT_eX]

[DOI]

Proceedings of the Component Deployment, Second International Working Conference, 2004

2003

A Scenario-Driven Approach to Trace Dependency Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

Bridging models across the software lifecycle.

[BibT_eX]

[DOI]

J. Syst. Softw., 2003

Compositional and Relational Reasoning during Class Abstraction.

[BibT_eX]

[DOI]

Proceedings of the «UML» 2003, 2003

Stemming Architectural Erosion by Coupling Architectural Discovery and Recovery.

[BibT_eX]

[DOI]

Proceedings of the ICSE 2003, 2003

Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

Automated abstraction of class diagrams.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2002

Automating Requirements Traceability: Beyond the Record & Replay Paradigm.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

2001

Statechart Simulator for Modeling Architectural Dynamics.

[BibT_eX]

[DOI]

David S. Wile

Proceedings of the 2001 Working IEEE / IFIP Conference on Software Architecture (WICSA 2001), 2001

Software Model Connectors: Bridging Models across the Software Lifecycle.

[BibT_eX]

Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

Reconciling Software Requirements and Architectures: The CBSP Approach.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Unfriendly COTS Integration-Instrumentation and Interfaces for Improved Plugability.

[BibT_eX]

[DOI]

Robert Balzer

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Scalable Consistency Checking Between Diagrams-The ViewIntegra Approach.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

A Scenario-Driven Approach to Traceability.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

UML/Analyzer - a system for defining and analyzing the conceptual integrity of UML models.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

Component-based perspective on software mismatch detection and resolution.

[BibT_eX]

[DOI]

Cristina Gacek

IEE Proc. Softw., 2000

Semantic Abstraction Rules for Class Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Software Connectors and Refinement in Family Architectures.

[BibT_eX]

[DOI]

Nikunj R. Mehta

Proceedings of the Software Architectures for Product Families, 2000

A Formal Approach to Heterogeneous Software Modeling.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

The MBASE Life Cycle Architecture Milestone Package.

[BibT_eX]

Proceedings of the Software Architecture, 1999

Extending Architectural Representation in UML with View Integration.

[BibT_eX]

[DOI]

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Automatically Detecting Mismatches During Component-based and Model-based Development.

[BibT_eX]

[DOI]

Cristina Gacek

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Rose/Architecture: A Tool to Visualize Architecture.

[BibT_eX]

[DOI]

Philippe Kruchten

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Using the WinWin Spiral Model: A Case Study.

[BibT_eX]

[DOI]

Computer, 1998

A Stakeholder Win-Win Approach to Software Engineering Education.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1998

Software Requirements Negotiation: Some Lessons Learned.

[BibT_eX]

[DOI]

Barry W. Boehm