Sign in
Isobel Standen
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Genetic Algorithm
Multiscale
Requirements Engineering
User Requirements
Top Venues
CoRR
</>
Publications
</>
Nick Feng
,
Lina Marsso
,
Sinem Getir Yaman
,
Yesugen Baatartogtokh
,
Reem Ayad
,
Victória Oldemburgo de Mello
,
Beverley A. Townsend
,
Isobel Standen
,
Ioannis Stefanakos
,
Calum Imrie
,
Genaína Nunes Rodrigues
,
Ana Cavalcanti
,
Radu Calinescu
,
Marsha Chechik
Analyzing and Debugging Normative Requirements via Satisfiability Checking.
CoRR
(2024)