General

Profile

Alexey Khoroshilov

Issues

open closed Total
Assigned issues 5 252 257
Reported issues 41 169 210

Projects

Project Roles Registered on
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
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

Activity

05/19/2022

08:07 PM Технологический центр исследования безопасности ядра Linux Wiki edit: How_to_send_patches_to_kernel (#5)
Alexey Khoroshilov

05/13/2022

01:28 PM Технологический центр исследования безопасности ядра Linux Wiki edit: Wiki (#10)
Alexey Khoroshilov

05/05/2022

12:27 PM Технологический центр исследования безопасности ядра Linux Wiki edit: Wiki (#8)
Alexey Khoroshilov

03/26/2022

05:27 PM Технологический центр исследования безопасности ядра Linux Wiki edit: How_to_send_patches_to_kernel (#4)
Alexey Khoroshilov

03/14/2022

07:40 PM VerKer - Verification of Linux Kernel Library Functions Wiki edit: Wiki (#5)
Alexey Khoroshilov

02/22/2022

09:32 PM Технологический центр исследования безопасности ядра Linux Wiki edit: Wiki (#7)
Alexey Khoroshilov
09:00 PM Технологический центр исследования безопасности ядра Linux Wiki edit: Wiki (#6)
Alexey Khoroshilov
09:00 PM Технологический центр исследования безопасности ядра Linux Wiki edit: Wiki (#5)
Alexey Khoroshilov
08:30 PM Технологический центр исследования безопасности ядра Linux svacer-manual-5.0.pdf
Инструкция по эксплуатации со SVACER 5.0 Alexey Khoroshilov
08:30 PM Технологический центр исследования безопасности ядра Linux svacer-quickstart-5.0.pdf
Быстрый старт со SVACER 5.0 Alexey Khoroshilov

Also available in: Atom