A Systematic Elaboration of Safety Requirements in the Avionic Domain. - Antoaneta Kondeva; Martin Wassmuth; Andreas Mitschke (SAFECOMP Workshops, 2012)

Seamless Model-Based Development of Embedded Systems with AF3 Phoenix. - Antoaneta Kondeva; Daniel Ratiu; Bernhard Schätz; Sebastian Voss (ECBS, 2013)

The SFIT tool: Supporting assembly planners to deal with new product variants. - Antoaneta Kondeva; Vincent Aravantinos; Lukas Hermanns; Leenhard Hörauf (ETFA, 2015)

On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering. - Antoaneta Kondeva; Vivek Nigam; Harald Ruess; Carmen Cârlan (ISSRE Workshops, 2019)

Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns. - Yuri Gil Dantas; Antoaneta Kondeva; Vivek Nigam (ICLP Technical Communications, 2020)