Login / Signup
Antoaneta Kondeva
Publication Activity (10 Years)
Years Active: 2012-2020
Publications (10 Years): 2
Top Topics
Domain Models
Software Engineering
Nuclear Power Plant
Diagnosis Of Breast Cancer
Top Venues
SAFECOMP Workshops
ICLP Technical Communications
ECBS
ISSRE Workshops
</>
Publications
</>
Yuri Gil Dantas
,
Antoaneta Kondeva
,
Vivek Nigam
Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns.
ICLP Technical Communications
(2020)
Antoaneta Kondeva
,
Vivek Nigam
,
Harald Ruess
,
Carmen Cârlan
On Computer-Aided Techniques for Supporting Safety and Security Co-Engineering.
ISSRE Workshops
(2019)
Antoaneta Kondeva
,
Vincent Aravantinos
,
Lukas Hermanns
,
Leenhard Hörauf
The SFIT tool: Supporting assembly planners to deal with new product variants.
ETFA
(2015)
Antoaneta Kondeva
,
Daniel Ratiu
,
Bernhard Schätz
,
Sebastian Voss
Seamless Model-Based Development of Embedded Systems with AF3 Phoenix.
ECBS
(2013)
Antoaneta Kondeva
,
Martin Wassmuth
,
Andreas Mitschke
A Systematic Elaboration of Safety Requirements in the Avionic Domain.
SAFECOMP Workshops
(2012)