C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Samina Kanwal
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 5
Top Topics
Timed Automata
Product Line
Natural Language
Iso Iec
Top Venues
ENASE
RSSRail
J. Syst. Archit.
ENASE (Selected Papers)
</>
Publications
</>
Samina Kanwal
,
Faiz Ul Muram
,
Muhammad Atif Javed
Systematic review on contract-based safety assurance and guidance for future research.
J. Syst. Archit.
146 (2024)
Faiz Ul Muram
,
Muhammad Atif Javed
,
Samina Kanwal
Facilitating the Compliance of Process Models with Critical System Engineering Standards using Natural Language Processing.
ENASE
(2021)
Muhammad Atif Javed
,
Faiz Ul Muram
,
Samina Kanwal
Ontology-Based Natural Language Processing for Process Compliance Management.
ENASE (Selected Papers)
(2021)
Faiz Ul Muram
,
Samina Kanwal
,
Muhammad Atif Javed
Supporting Automated Verification of Reconfigurable Systems with Product Lines and Model Checking.
ENASE
(2021)
Faiz Ul Muram
,
Barbara Gallina
,
Samina Kanwal
A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process.
RSSRail
(2019)