Antoaneta Kondeva

Publications

Export list as BibTeX file

  • September 2020 Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns (Application Paper) Yuri Gil Dantas , Antoaneta Kondeva and Vivek Nigam In 36th International Conference on Logic Programming (ICLP), Rende, Italy, September 2020. Details BIB
  • September 2020 Towards Automating Safety and Security Co-Analysis with Patterns Yuri Gil Dantas , Antoaneta Kondeva and Vivek Nigam In 39th International Conference on Computer Safety, Reliability and Security (SafeComp), Lisbon, Portugal, September 2020. Details BIB
  • 2019 On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering Antoaneta Kondeva , Carmen Cârlan , Harald Rueß and Vivek Nigam In Proceedings of the 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019. IEEE. Details DOI BIB
  • September 2015 The SFIT tool: Supporting assembly planners to deal with new product variants Antoaneta Kondeva , Vincent Aravantinos , Lukas Hermanns and Leenhard Hörauf In Proceedings of the 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), September 2015. IEEE. Details DOI BIB
  • April 2013 Seamless Model-based Development of Embedded Systems with AF3 Phoenix Sebastian Voss , Antoaneta Kondeva , Daniel Ratiu and Bernhard Schätz In Tool demonstration on the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), pages 212, April 2013. Details DOI BIB