Vorobyov - PDFSEARCH.IO - Document Search Engine

Vorobyov
Results: 14

#	Item
1	Shadow State Encoding for Efficient Monitoring of Block-Level Properties Kostyantyn Vorobyov Julien Signoles Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-08-11 12:57:26
2	Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174, Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2018-06-20 05:46:32 Computing Software engineering Computer programming Software bugs Software testing Computer network security Debuggers Common Weakness Enumeration Memory debugger Memory safety Application security Frama-C
3	Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-09-15 19:04:17 Computing Software engineering Computer programming Data types C++ C Primitive types Software bugs Pointer Struct Memory safety C dynamic memory allocation
4	1) Differential cross-sections of 1 gev proton scattering from G.D. Alkhazov, G.M. Amalsky, S.L. Belostotsky, A.A. Vorobyov, O.A. Domchenkov, Yu.V. Dotsenko, V.E. Starodubsky (Ioffe Phys. Tech. InstPublished i Add to Reading List Source URL: hepd.pnpi.spb.ru - Date: 2007-01-08 14:15:09
5	PNPI in LHCb Status report for 2003 A.Vorobyov HEPD Scientific Board meeting, December 26,2003 Add to Reading List Source URL: hepd.pnpi.spb.ru Language: English - Date: 2005-01-18 06:21:22
6	\|51\| E761 collaboration N.F.Bondar, A.A.Vorobyov, A.S.Denisov, A.V.Dobrovolsky, V.L.Golovtsov, V.T.Grachev, N.P.Kuropatkin, V.M.Samsonov, N.K.Terentyev, I.I.Tkach, L.N.Uvarov, Add to Reading List Source URL: hepd.pnpi.spb.ru Language: English - Date: 2010-03-30 07:05:59
7	PNPI and CMS Physics Victor Kim PNPI, Gatchina PNPI CMS Physics Team: A. Vorobyov , I. Smirnov, V. Sulimov Add to Reading List Source URL: hepd.pnpi.spb.ru Language: English - Date: 2009-12-23 01:40:46
8	\|121\| 3 He{collaboration: D.V.Balin, V.N.Baturin, A.A.Vorobyov, N.I.Voropaev, Yu.S.Grigoriev, Add to Reading List Source URL: hepd.pnpi.spb.ru Language: English - Date: 2010-03-30 07:05:59
9	Yu. Shcheglov, A.A. Vorobyov , Nelly Sagidova PNPI 2010, December 28  Add to Reading List Source URL: hepd.pnpi.spb.ru Language: English - Date: 2010-12-28 03:29:39
10	Публикации за 2014 год ОФВЭ . Add to Reading List Source URL: hepd.pnpi.spb.ru Language: English - Date: 2014-12-02 12:06:53 E-Science Large Hadron Collider Supersymmetry Vorobyov Smirnov CERN Physics Science Europe

UPDATE