Login / Signup
Amanda Stjerna
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Flow Diagram
Web Application Development
Business Applications
Constraint Solving
Top Venues
Proc. ACM Program. Lang.
CCS
</>
Publications
</>
Amanda Stjerna
,
Philipp Rümmer
A Constraint Solving Approach to Parikh Images of Regular Languages.
Proc. ACM Program. Lang.
8 (OOPSLA1) (2024)
Benjamin Eriksson
,
Amanda Stjerna
,
Riccardo De Masellis
,
Philipp Rümmer
,
Andrei Sabelfeld
Black Ostrich: Web Application Scanning with String Solvers.
CCS
(2023)