author-photo

Nina Yevtushenko

National Research University – Higher School of Economics

6

Papers

2

Citations

Citation Trend

Filter By

Papers (6) Sort By

Journal Conference Others

Homing Sequence Derivation with Quantified Boolean Satisfiability

2021 IEEE Transactions on Computers
Show All
- Source
- Cite
- Save
Citations (0)
Checking Robustness of Web Services based on Solving Automata Equations

2021
Show All
- Source
- Cite
- Save
Citations (0)
Verifying cryptographic protocols by Tamarin Prover

2020
Show All
- Source
- Cite
- Save
Citations (0)
Optimizing Components of Multi-Module Systems Based on don’t Care Input Sequences

2020 EWDTS | East-West Design and Test Symposium
Show All
- Source
- Cite
- Save
Citations (1)
Deriving Homing Sequences for Finite State Machines with Timed Guards

2020 Modeling and Analysis of Information Systems
- Aleksandr Tvardovskii
- Nina Yevtushenko
Show All
- Source
- Cite
- Save
Citations (0)
Guest Editorial: Special issue on Testing Software and Systems

2019 Software Quality Journal
Show All
- Source
- Cite
- Save
Citations (1)