Valentina Andreeva

13 papers Unranked 13
YearRankTypeTitle / Venue / Authors
2022 — conf
Deriving FSM-based tests using $a, b-\text{faults}$ for Logic Circuits.
ISVLSI
Andrey Laputenko, Nina Yevtushenko, Valentina Andreeva, Anzhela Yu. Matrosova
2021 — conf
SAT Solvers Application of Deriving All Test Pairs Detecting Robust Testable PDFs.
EWDTS
Anjela Yu. Matrosova, Valentina Andreeva, V. Tychinskiy
2019 — conf
Deriving Low Power Test Sequences Detecting Robust Testable PDFs.
EWDTS
Anjela Yu. Matrosova, Valentina Andreeva, V. Tychinskiy
2018 — conf
Fault-Tolerant Synchronous FSM Network Design for Path Delay Faults.
EWDTS
Sergey Ostanin, Valentina Andreeva, Natalia Butorina, D. Tretyakov
2017 — conf
Finding the shortest transfer sequence of sequential circuit based on simplified ROBDDs.
EWDTS
Valentina Andreeva, Semyon Chernyshov
2016 — conf
Patching circuit design based on reserved CLBs.
AQTR
Anjela Yu. Matrosova, Sergey Ostanin, Valentina Andreeva
2016 — conf
ROBDDs application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itself.
EWDTS
Anzhela Yu. Matrosova, Valentina Andreeva, Alexey Melnikov
2015 — conf
Fully delay and multiple stuck-at faults testable FSM design.
EWDTS
Anzhela Yu. Matrosova, Valentina Andreeva, V. Tomkov
2014 — conf
Decomposition tree - based compaction procedure with iteration steps for interconversional layouts of tasks.
EWDTS
Valentina Andreeva, Kirill A. Sorudeykin
2013 — conf
A research of heuristic optimization approaches to the test set compaction procedure based on a decomposition tree for combinational circuits.
EWDTS
Valentina Andreeva, Kirill A. Sorudeykin
2011 — conf
Test set compaction procedure for combinational circuits based on decomposition tree.
EWDTS
Valentina Andreeva
2010 — conf
Test minimization technique for multiple stuck-at faults of combinational circuit.
EWDTS
Valentina Andreeva
2002 — conf
Survivable Discrete Circuits Design.
IOLTW
Anzhela Yu. Matrosova, Valentina Andreeva, Yu. Sedov
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling