Antoaneta Kondeva

According to our database, Antoaneta Kondeva authored at least 5 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns.

Yuri Gil Dantas, Antoaneta Kondeva, Vivek Nigam

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

2019

On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering.

Antoaneta Kondeva, Vivek Nigam, Harald Ruess, Carmen Cârlan

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

2015

The SFIT tool: Supporting assembly planners to deal with new product variants.

Antoaneta Kondeva, Vincent Aravantinos, Lukas Hermanns, Leenhard Hörauf

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2013

Seamless Model-Based Development of Embedded Systems with AF3 Phoenix.

Antoaneta Kondeva, Daniel Ratiu, Bernhard Schätz, Sebastian Voss

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

2012

A Systematic Elaboration of Safety Requirements in the Avionic Domain.

Antoaneta Kondeva, Martin Wassmuth, Andreas Mitschke

Proceedings of the Computer Safety, Reliability, and Security, 2012