Wasim Said

13 papers A 4C 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2020 — —
Interactive state machine mining from embedded software.
Wasim Said
2020 J jnl
Mining understandable state machine models from embedded code.
Empir. Softw. Eng.
Wasim Said, Jochen Quante, Rainer Koschke
2019 A conf
Do extracted state machine models help to understand embedded software?
ICPC
Wasim Said, Jochen Quante, Rainer Koschke
2019 J jnl
Mining of Comprehensible State Machine Models for Embedded Software Comprehension.
Softwaretechnik-Trends
Wasim Said, Jochen Quante
2019 J jnl
Reflexion Models for State Diagrams.
Softwaretechnik-Trends
Jochen Quante, Wasim Said
2019 A conf
Towards Understandable Guards of Extracted State Machines from Embedded Software.
SANER
Wasim Said, Jochen Quante, Rainer Koschke
2018 — conf
Interactive Measures for Mining Understandable State Machines from Embedded Software: Experiments and Case Studies.
MODELSWARD (Revised Selected Papers)
Wasim Said, Jochen Quante, Rainer Koschke
2018 — conf
Interactive model mining from embedded legacy software.
ICSE (Companion Volume)
Wasim Said
2018 A conf
On State Machine Mining from Embedded Control Software.
ICSME
Wasim Said, Jochen Quante, Rainer Koschke
2018 A conf
Reflexion Models for State Machine Extraction and Verification.
ICSME
Wasim Said, Jochen Quante, Rainer Koschke
2018 J jnl
State Machine Mining from Embedded Software: An interactive approach.
Softwaretechnik-Trends
Wasim Said, Jochen Quante
2018 C conf
Towards Interactive Mining of Understandable State Machine Models from Embedded Software.
MODELSWARD
Wasim Said, Jochen Quante, Rainer Koschke
2017 J jnl
Towards Interactive Model Mining From Embedded Software.
Softwaretechnik-Trends
Wasim Said, Jochen Quante
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling