Mehrdad Sabetzadeh
|
|
||||
| Faculty or Centre | Interdisciplinary Centre for Security, Reliability and Trust | ||||
| Postal Address |
Université du Luxembourg 29, avenue JF Kennedy L-1855 Luxembourg |
||||
| Campus Office | JFK Building, E04-426 | ||||
|
|||||
| Telephone | (+352) 46 66 44 5331 | ||||
I am a Research Scientist at the Software Verification and Validation Lab, University of Luxembourg.
I received the PhD degree in Computer Science from the University of Toronto in 2008.
From 2009 to 2012, I was a member of the research staff at Simula Research Laboratory, Norway. In 2009, I was a visiting researcher at University College London.
My research interests are focused on model-based software engineering with a particular emphasis on model-based verification and validation of business- and mission-critical applications.
Please visit my personal home page for more information.
Last updated on: Monday, 14 January 2013
In press
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact; ; ; ; ;
in IEEE Software (in press)
2018
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems; ; ; ; ;
in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (2018, October)
Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach; ; ; ;
in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18) (2018, July)
Automated Extraction of Semantic Legal Metadata Using Natural Language Processing; ; ; ;
in the 26th IEEE International Requirements Engineering Conference, Banff, Alberta, 20-24 August 2018 (2018, August)
Model-Based Simulation of Legal Policies: Framework, Tool Support, and Validation; ; ;
in Software & Systems Modeling (2018), 17(3), 851-883
2017
Automated Extraction and Clustering of Requirements Glossary Terms; ; ;
in IEEE Transactions on Software Engineering (2017), 43(10), 918-945
The Case for Context-Driven Software Engineering Research; ; ; ;
in IEEE Software (2017), 34(5), 72-75
Legal Markup Generation in the Large: An Experience Report; ; ;
in the 25th International Requirements Engineering Conference (RE'17), Lisbon, 4-8 September 2017 (2017, September)
An Automated Framework for Detection and Resolution of Cross References in Legal Texts; ; ;
in Requirements Engineering (2017), 22(2), 215-237
From RELAW Research to Practice: Reflections on an Ongoing Technology Transfer Project; ;
in the IEEE 25th International Requirements Engineering Conference, Lisbon, Portugal, 4-8 September 2017 (2017, September)
Synthetic Data Generation for Statistical Testing; ;
in 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE'17) (2017)
2016
Extracting Domain Models from Natural-Language Requirements: Approach and Industrial Evaluation; ; ;
in 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo 2-7 October 2016 (2016, October)
Testing the Untestable: Model Testing of Complex Software-Intensive Systems; ; ;
in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) Companion (2016, May)
Automated Change Impact Analysis between SysML Models of Requirements and Design; ; ; ;
in 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Seattle 13-18 November 2016 (2016)
Automated Classification of Legal Cross References Based on Semantic Intent; ; ;
in 22nd International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'16) (2016, March)
Model-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation; ;
in 24th IEEE International Conference on Requirements Engineering (RE'16) (2016)
2015
Automated Checking of Conformance to Requirements Templates using Natural Language Processing; ; ;
in IEEE Transactions on Software Engineering (2015), 41(10), 944-968
NARCIA: An Automated Tool for Change Impact Analysis in Natural Language Requirements; ; ; ;
in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo 30 August - 4 September 2015 (2015, September)
Change Impact Analysis for Natural Language Requirements: An NLP Approach; ; ; ;
in 23rd IEEE International Requirements Engineering Conference, Ottawa 24-28 August 2015 (2015, August)
Assessing IT Security Standards Against the Upcoming GDPR for Cloud Systems; ; ; ;
Poster (2015, March 11)
Evidence management for compliance of critical systems with safety standards: A survey on the state of practice; ; ;
in Information & Software Technology (2015), 60
A Model-Based Framework for Probabilistic Simulation of Legal Policies; ; ;
in 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'15) (2015)
2014
Automated Detection and Resolution of Legal Cross References: Approach and a Study of Luxembourg's Legislation; ;
in 22nd IEEE International Requirements Engineering Conference (2014, August 25)
Improving Requirements Glossary Construction via Clustering: Approach and Industrial Case Studies; ; ;
in 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2014) (2014, September)
Requirement Boilerplates: Transition From Manually-Enforced to Automatically-Verifiable Natural Language Patterns; ; ;
in Requirements Patterns (RePa), 2014 IEEE 4th International Workshop on (2014, August)
Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment; ; ; ;
in ACM Transactions on Software Engineering & Methodology (2014), 23(1),
An Extended Systematic Literature Review on Provision of Evidence for Safety Certification; ; ;
in Information & Software Technology (2014), 56(7), 689717
Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law; ; ; ;
in 17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14) (2014)
2013
Automatic Checking of Conformance to Requirement Boilerplates via Text Chunking: An Industrial Case Study; ; ; ;
in 7th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2013) (2013, October)
RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates; ; ; ;
in 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) (2013, August)
PWWM: A Personal Web Workflow Methodology; ; ; ; ;
in Chignell, M.; Cordy, J.; Kealey, R.; Yesha, Y. (Eds.) The Personal Web (2013)
Classification, structuring, and assessment of evidence for safety: A systematic literature review; ; ;
in International Conference on Software Testing, Verification, and Validation, Luxembourg 2013 (2013)
Supporting the Verification of Compliance to Safety Standards via Model-Driven Engineering: Approach, Tool-Support and Empirical Validation; ;
in Information & Software Technology (2013), 55(1), 836-864
A Goal-Based Approach for Qualification of New Technologies: Foundations, Tool Support, and Industrial Validation; ; ;
in Reliability Engineering & System Safety (2013), 119
2012
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering; ; ; ;
in 15th ACM/IEEE International Conference Model Driven Engineering Languages and Systems (2012)
Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach; ; ; ; ;
in IEEE Software (2012), 29(3), 64-70
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing; ; ;
in 15th ACM/IEEE International Conference on Model Driven Engineering Languages & Systems (2012)
Matching and Merging of Variant Feature Specifications.; ; ; ;
in IEEE Transactions on Software Engineering (2012), 38(6), 1355-1375
