Ildar Nigmatullin

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Programming Interface

Security Requirements

Secure Electronic

Top Venues

Publications

Ildar Nigmatullin, Andrey Sadovykh, Sophie Ebersold, Nan Messe
RQCODE: Security Requirements Formalization with Testing. ICTSS (2023)
Ildar Nigmatullin, Andrey Sadovykh, Nan Messe, Sophie Ebersold, Jean-Michel Bruel
RQCODE - Towards Object-Oriented Requirements in the Software Security Domain. ICST Workshops (2022)