Mehrdad Sabetzadeh

Empir. Softw. Eng., 2019

Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach.

[BibT_eX]

[DOI]

CoRR, 2019

Practical Model-driven Data Generation for System Testing.

[BibT_eX]

[DOI]

Ghanem Soltana

CoRR, 2019

Preface to the Posters and Tools Track.

[BibT_eX]

[DOI]

Andreas Vogelsang

Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Decision Support for Security-Control Identification Using Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2019

A Query System for Extracting Requirements-Related Information from Legal Texts.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

A Machine Learning-Based Approach for Demarcating Requirements in Textual Specifications.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Using Models to Enable Compliance Checking Against the GDPR: An Experience Report.

[BibT_eX]

[DOI]

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

Bridging the Gap between Requirements Modeling and Behavior-Driven Development.

[BibT_eX]

[DOI]

Jean-Richard Riccardi

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

2018

Model-based simulation of legal policies: framework, tool support, and validation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact.

[BibT_eX]

[DOI]

IEEE Softw., 2018

Automated Extraction of Semantic Legal Metadata using Natural Language Processing.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems.

[BibT_eX]

[DOI]

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

Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017

Automated Extraction and Clustering of Requirements Glossary Terms.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated.

[BibT_eX]

[DOI]

IEEE Softw., 2017

An automated framework for detection and resolution of cross references in legal texts.

[BibT_eX]

[DOI]

Requir. Eng., 2017

From RELAW Research to Practice: Reflections on an Ongoing Technology Transfer Project.

[BibT_eX]

[DOI]

Nicolas Sannier

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Legal Markup Generation in the Large: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Synthetic data generation for statistical testing.

[BibT_eX]

[DOI]

Ghanem Soltana

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Automated change impact analysis between SysML models of requirements and design.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Automated Classification of Legal Cross References Based on Semantic Intent.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2016

Model-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation.

[BibT_eX]

[DOI]

Ghanem Soltana

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Extracting domain models from natural-language requirements: approach and industrial evaluation.

[BibT_eX]

[DOI]

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

Model management for regulatory compliance: a position paper.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Testing the untestable: model testing of complex software-intensive systems.

[BibT_eX]

[DOI]

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

2015

Automated Checking of Conformance to Requirements Templates Using Natural Language Processing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Evidence management for compliance of critical systems with safety standards: A survey on the state of practice.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2015

NARCIA: an automated tool for change impact analysis in natural language requirements.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Change impact analysis for Natural Language requirements: An NLP approach.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

A model-based framework for probabilistic simulation of legal policies.

[BibT_eX]

[DOI]

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

2014

Traceability and SysML design slices to support safety inspections: A controlled experiment.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

An extended systematic literature review on provision of evidence for safety certification.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2014

Requirement boilerplates: Transition from manually-enforced to automatically-verifiable natural language patterns.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Workshop on Requirements Patterns, 2014

Automated detection and resolution of legal cross references: Approach and a study of Luxembourg's legislation.

[BibT_eX]

[DOI]

Morayo Adedjouma

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg's Tax Law.

[BibT_eX]

[DOI]

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

Improving requirements glossary construction via clustering: approach and industrial case studies.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

2013

A goal-based approach for qualification of new technologies: Foundations, tool support, and industrial validation.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2013

Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2013

RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Classification, Structuring, and Assessment of Evidence for Safety - A Systematic Literature Review.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Automatic Checking of Conformance to Requirement Boilerplates via Text Chunking: An Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

PWWM: A Personal Web Workflow Methodology.

[BibT_eX]

[DOI]

Proceedings of the Personal Web - A Research Agenda, 2013

2012

Matching and Merging of Variant Feature Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach.

[BibT_eX]

[DOI]

IEEE Softw., 2012

A relationship-based approach to model integration.

[BibT_eX]

[DOI]

Marsha Chechik

Shiva Nejati

Innov. Syst. Softw. Eng., 2012

A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2012

Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2012

Introduction to Sassur 2012.

[BibT_eX]

[DOI]

Alejandra Ruiz

Tim P. Kelly

Didier Van Den Abeele

Proceedings of the Computer Safety, Reliability, and Security, 2012

Towards customer-based requirements engineering practices.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Workshop on Empirical Requirements Engineering, 2012

Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

2011

SafeSlice: a model slicing and design safety inspection tool for SysML.

[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

Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience.

[BibT_eX]

[DOI]

Proceedings of the 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29, 2011

A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29, 2011

Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience.

[BibT_eX]

[DOI]

Shiva Nejati

Anne-Heidi Evensen Mills

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

CRESCO: Construction of Evidence Repositories for Managing Standards Compliance.

[BibT_eX]

[DOI]

Torbjørn Skyberg Knutsen

Proceedings of the Advances in Conceptual Modeling. Recent Developments and New Directions - ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31, 2011

2010

Viewpoints.

[BibT_eX]

[DOI]

Anthony Finkelstein

Michael Goedicke

Proceedings of the Encyclopedia of Software Engineering, 2010

Reasoning about Consistency in Model Merging.

[BibT_eX]

[DOI]

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

Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard.

[BibT_eX]

[DOI]

Thierry Coq

Proceedings of the Third International Conference on Software Testing, 2010

2009

Merging and Consistency Checking of Distributed Models.

[BibT_eX]

[DOI]

Petcharat Viriyakattiyaporn

PhD thesis, 2009

Relationship-based change propagation: A case study.

[BibT_eX]

[DOI]

Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009

2008

Towards compositional synthesis of evolving systems.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Global consistency checking of distributed models with TReMer+.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Consistency Checking of Conceptual Models via Model Merging.

[BibT_eX]

[DOI]

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

A Relationship-Driven Framework for Model Merging.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Modeling in Software Engineering, 2007

Matching and Merging of Statecharts Specifications.

[BibT_eX]

[DOI]

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

An Eclipse-based tool framework for software model management.

[BibT_eX]

[DOI]

Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007

2006

A relationship-driven approach to view merging.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2006

View merging in the presence of incompleteness and inconsistency.

[BibT_eX]

[DOI]

Requir. Eng., 2006

Management of Incomplete and Inconsistent Views.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

2005

iVuBlender: A Tool for Merging Incomplete and Inconsistent Views.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

An Algebraic Framework for Merging Incomplete and Inconsistent Views.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Traceability in viewpoint merging: a model management perspective.

[BibT_eX]

[DOI]

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

A Category-theoretic Approach to Syntactic Software Merging.

[BibT_eX]

[DOI]

Nan Niu

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

2003

Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach.

[BibT_eX]

[DOI]