| 1-Click Eclipse Text Editor |
Manager, Project Creator |
06/27/2014 |
| coreboot libgfxinit |
Developer |
02/28/2022 |
| Aspectrace |
Manager, Developer |
01/28/2019 |
| AstraVer Toolset |
Manager, Developer, Project Creator |
04/26/2018 |
| Deductive Verification Tools for Linux Kernel |
Manager, Developer, Project Creator |
09/02/2014 |
| Verification Tool Supports |
Manager, Developer |
07/02/2015 |
| Дополнительные материалы к монографии |
Manager, Developer, Project Creator |
04/28/2018 |
| Инструменты дедуктивной верификации моделей политик безопасности |
Manager, Developer, Project Creator |
04/26/2018 |
| Build Analyzer |
Manager, Developer, Project Creator |
04/19/2017 |
| C Instrumentation Framework |
Reporter |
06/05/2012 |
| Aspectator |
Reporter |
02/27/2018 |
| Clade |
Manager, Developer |
10/19/2018 |
| Kartographer |
Manager, Project Creator |
11/18/2015 |
| MicroTESK for PowerPC |
Manager |
10/21/2016 |
| Race Hound |
Manager, Developer, Project Creator |
09/05/2012 |
| KEDR |
Manager, Developer |
06/20/2011 |
| Klever |
Manager, Developer RO |
09/04/2015 |
| Linux Driver Verification |
Manager, Project Creator |
05/20/2010 |
| BLAST |
Manager |
09/16/2011 |
| LDV Tools |
Manager, Project Creator |
03/17/2018 |
| CPAchecker |
Manager, Project Creator |
07/28/2018 |
| CVC3 with small optimizations for BLAST |
Manager, Project Creator |
07/25/2018 |
| Linux Kernel Safety RuleDB |
Manager, Developer, Project Creator |
10/25/2011 |
| Linux Kernel Rules Repo |
Project Creator |
07/29/2018 |
| Технологический центр исследования безопасности ядра Linux |
Manager, Developer |
02/22/2022 |
| memconfigcheck |
Manager, Developer, Project Creator |
01/15/2019 |
| TSMT: Tools for bounded E-Matching |
Manager, Developer, Project Creator |
01/16/2020 |
| Requality |
Manager, Developer, Product Owner |
11/26/2009 |
| Runtime Verification |
Manager |
01/13/2023 |
| VerKer - Verification of Linux Kernel Library Functions |
Manager, Developer, Reporter |
05/09/2017 |
| MASIW Framework |
Manager, Project Creator |
09/11/2013 |
| Examples of behavioral AADL models |
Manager |
02/13/2017 |
| КМБ-2014 |
Manager, Developer |
09/29/2014 |
| Тесты с использованием моделей на базе Summer |
Manager, Developer |
12/03/2013 |