Get started
Author

Aliaksei Tsitovich

OpenAlex ID: A5008065614
The OpenSMT Solver
2010 · Roberto Bruttomesso, Edgar Pek, et al. · Lecture notes in computer science · 129
Termination Analysis with Compositional Transition Invariants
2010 · Daniel Kroening, Natasha Sharygina, et al. · Lecture notes in computer science · 84
Loop Summarization Using Abstract Transformers
2008 · Daniel Kroening, Natasha Sharygina, et al. · Lecture notes in computer science · 54
Loop Summarization and Termination Analysis
2011 · Aliaksei Tsitovich, Natasha Sharygina, et al. · Lecture notes in computer science · 46
Loop summarization using state and transition invariants
2012 · Daniel Kroening, Natasha Sharygina, et al. · Formal Methods in System Design · 24
Flexible interpolation with local proof transformations
2010 · Roberto Bruttomesso, Simone Rollini, et al. · 17
Resolution proof transformation for compression and interpolation
2014 · Simone Fulvio Rollini, Roberto Bruttomesso, et al. · Formal Methods in System Design · 15
PDF
Loopfrog: A Static Analyzer for ANSI-C Programs
2009 · Daniel Kroening, Natasha Sharygina, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 13
Loopfrog — loop summarization for static analysis
2018 · Daniel Kroening, Natasha Sharygina, et al. · EPiC series in computing · 7
PDF
The synergy of precise and fast abstractions for program verification
2009 · Natasha Sharygina, Stefano Tonetta, et al. · ACM Symposium on Applied Computing · 6
An abstraction refinement approach combining precise and approximated techniques
2011 · Natasha Sharygina, Stefano Tonetta, et al. · International Journal on Software Tools for Technology Transfer · 5
Detection of Security Vulnerabilities Using Guided Model Checking
2008 · Aliaksei Tsitovich · Lecture notes in computer science · 3
An abstraction refinement approach combining precise and approximated techniques for efficient program verification
2009 · Natasha Sharygina, Stefano Tonetta, et al. · 1
Scalable abstractions for efficient security checks
2011 · Aliaksei Tsitovich · reroDoc Digital Library
OpenSMT 0.2 System Description
2010 · Roberto Bruttomesso, Edgar Pek, et al.
Neutron time-of-flight correlation spectrometers and their electronic circuits (review)
1976 · Aliaksei Tsitovich · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)
Programming device with a light pencil ray for time--amplitude measurements with AI-4096-3M analyzer
1972 · S.V. Krupin, S.K. Sotnikov, et al. · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)
Static Type Cyclic Magnetic Storage for Nuclear Investigations.
1969 · Aliaksei Tsitovich, Andrey Golovin · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)
Systems for the Stabilization of the Rotation Rate of Mechanical Neutron Selectors.
1969 · A.E. Golovin, Aliaksei Tsitovich · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)
An Amplitude Analyzer Made With a Solid Acoustic Delay Line (amplitudnyi Analizator Na Tverdoi Akusticheskoi Linii Zaderzhki)
1967 · Yu. M. Grashin, V. I. Efremenko, et al. · Defense Technical Information Center (DTIC)
Stabilization of Scintillation Counter
1965 · S.K. Sotnikov, B. V. Efimov, et al. · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)
Multimeasuring Input Device for a 2048-Channel Analyzer; MNOGOMERNOE VKHODNOE USTROISTVO 2048-KANAL'NOGO ANALIZATORA
1964 · S.K. Sotnikov, Aliaksei Tsitovich · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)
Method of Stabilizing the Amplification Channel of a Scintillation Counter; METOD STABILIZATSII TRAKTA USILENIYA STSINTILLYATSINNOGO SCHETCHIKA
1964 · S.K. Sotnikov, B. V. Efimov, et al. · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)
Correction for Flight Time of Neutrons in a Multisection Detector; KORREKTSIYA VREMENI PROLETA NEITRONOV V MNOGOSEKTSIONNOM DETEKTORE
1964 · O.G. Bespalov, T.A. Mostovaya, et al. · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)
Multichannel Analyzers With Magnetic Memory Devices (review)
1963 · Aliaksei Tsitovich · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)
Works count: 29
Citation count: 404
H-index: 8
I10-index: 8
Year
Topic
Type