Loading...
Images of Nikolay Pakulin
(0 from 0 )1
0
0
News
MBT 2017: Model-Based Testing, 23 Apr 2017, Uppsala, Sweden
resources.illc.uva.nl
... Germany) (invited) Roman Nagy (BMW, Germany) (invited) Nikolay Pakulin (ISP RAS, Russia) Jan Peleska (University of Bremen, Germany) ...
Николай Пакулин - Наука и технологии России на YouTube
so-l.ru
Николай Пакулин, старший научный сотрудник Отдела технологий программирования Института системного программирования РАН. | Николай Пакулин
T3UC Call for paper_TTCN-3 User Conference 2011
conference.researchbib.com
Nikolay Pakulin, ISPRAS, Russia Primoz Jenko, Mobitel, Slovenia Simon Fürst, BMW, Germany Stefaan Sonck-Thiebaut, Open Synergy, ...
Network Profiles
LinkedIn: Nikolay Pakulin | LinkedIn
См. профессиональный профиль участника Nikolay Pakulin (Россия) в LinkedIn. LinkedIn – самая большая в мире деловая сеть, которая помогает таким ...
Business Profiles
Researchgate: Nikolay Pakulin
Moscow, Moscow, Russia
Private Homepages
About Overture
www.overturetool.org
Institute for System Programming of the Russian Academy of Sciences, Russia, Nikolay Pakulin. Key Technology Laboratory, Software Research Associates, Inc ...
Projects
npak / Profile
sourceforge.net
Nikolay Pakulin. User Activity. No activity to display. Personal Data. Username: npak; Joined: :58:21. Projects. No projects to display. Skills.
sipp / Re: [Sipp-users] [patch] SIPp with pcap support on cygwin
sourceforge.net
On , Nikolay Pakulin <npak@ wrote: Dear Oliver, In your mail on October you wrote: *Re: [Sipp-users] [patch] ...
Books & Literature
Leveraging Applications of Formal Methods, Verification, and...
books.google.de
371 Nikolay Pakulin and Anastasia Tugaenko Covering Arrays Generation Methods Survey Victor Kuliamin and Alexander Petukhov ...
Perspectives of Systems Informatics: 7th International Andrei Ershov...
books.google.de
... Systems Nikolay Pakulin and Vladimir Rubanov A Technique for Information Retrieval from Microformatted Websites .
Эльфийская стража - Ник Перумов - Google Books
books.google.de
Фесс спас этот мир своей кровью. Мир, который мог стать тюрьмой для Новых Богов и стал ею для Сигрлинн...Царственные эльфы обманом уводят людей из окрестных...
Related Documents
Specification Based Conformance Testing for Email Protocols -...
researchr.org
Authors. Nikolay Pakulin. This author has not been identified. Look up 'Nikolay Pakulin' in Google · Anastasia Tugaenko. This author has not been identified.
EPTCS 180: Model Based Testing
arxiv.org
EPTCS 180 Proceedings Tenth Workshop on Model Based Testing London, UK, 18th April Edited by: Nikolay Pakulin, Alexander K. Petrenko and Bernd-Holger …
CiteSeerX — MoDELS'08ACES-MBWorkshopProceedings ISE language: the ADL...
citeseerx.ist.psu.edu
· MoDELS'08ACES-MBWorkshopProceedings ISE language: the ADL for Efficient Development of Cross Toolkits {Nikolay Pakulin and Vladimir Rubanov} ...
A conformance test suite for TTCN-3 tools - ProQuest
www.proquest.com
Black-Box functional testing of TTCN-3 syntax and semantics. Benjamin Zeiss · Andras Kovacs · Nikolay Pakulin ·. Bogdan Stanca-Kaposta.
Scientific Publications
dblp: Nikolay V. Pakulin
dblp.uni-trier.de
List of computer science publications by Nikolay V. Pakulin
DBLP - Nikolay Pakulin
dblp.cloudmining.net
A. V. Nikeshin, Nikolay V. Pakulin, V. Z. Shnitman : Development of a test suite for the verification of implementations of the IPsec v2 security protocol.
dblp: Programming and Computer Software, Volume 37
dblp.uni-trier.de
Bibliographic content of Programming and Computer Software, Volume 37
dblp: Bogdan Stanca-Kaposta
dblp.dagstuhl.de
List of computer science publications by Bogdan Stanca-Kaposta
Publications
MoDELS'08ACES-MBWorkshopProceedings ISE language: the ADL for...
core.ac.uk
· By Nikolay Pakulin and Vladimir Rubanov. Abstract. Abstract. Cross toolkits (assembler, linker, debugger, simulator, profiler) ...
A Flexible Approach to Automated Development of Cross Toolkits for...
link.springer.com
Nikolay Pakulin Affiliated with Institute for System Programming of the Russian Academy of Sciences, Vladimir Rubanov Affiliated with Institute for System Programming ...
A conformance test suite for TTCN-3 tools | SpringerLink
link.springer.com
A conformance test suite for TTCN-3 tools Benjamin Zeiss, Andras Kovacs, Nikolay Pakulin, Bogdan Stanca-Kaposta … show all 4 hide; Download PDF ...
Specification Based Conformance Testing for Email Protocols |...
link.springer.com
The paper presents a method for conformance testing of Internet electronic mail protocols. The method is based on formal specification of the standards...
Reports & Statements
JISCMail - FMNET Archives
www.jiscmail.ac.uk
Subject: CFP: 9th Workshop on Model Based Testing (MBT 2014). From: Nikolay Pakulin <[log in to unmask]>. Reply-To: Nikolay Pakulin <[log in to unmask]>.
[Bug target ] Unnecessary floating-point instruction causes...
www.mail-archive.com
Comment #2 from Nikolay Pakulin <nikolay.pakulin at gmail dot com> --- (In reply to Segher Boessenkool from comment #1) > GCC 5 does not ...
Software Engineering Department
www.ispras.ru
Nikolay Pakulin, Senior Researcher, Ph.D. Telecommunication protocols; Hypervisors, virtualization tools for the analysis and protection of programs. Contacts.
[XXE] How to convert non-latin file using FOP plugin?
www.mail-archive.com
Best regards, Nikolay Pakulin Institute for System Programming RAS mailto: npak at ispras.ru Phone: +7 (095) (ext 4427) Fax : +7 ...
Miscellaneous
Nikolay Pakulin | LinkedIn
www.linkedin.com
View Nikolay Pakulin's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Nikolay Pakulin discover inside ...
1 Nikolay Pakulin/ ISPRAS Bogdan Stanca-Kaposta/ Testing Technologies...
slideplayer.com
1 Nikolay Pakulin/ ISPRAS Bogdan Stanca-Kaposta/ Testing Technologies Bostjan Pintar / Sintesio Tomas Urban / Elvior TTCN-XML CONFORMANCE TEST SUITE STF.
Conversations - Groups - Yahoo
groups.yahoo.com
Nikolay Pakulin. Dec 19, # CFP: 9th Workshop on Model Based Testing (MBT 2014) ... Please, accept our apologies if you receive multiple ...
Free Download Famous Software - Famouswhy
download.famouswhy.com
Free Download Famous Software - Famouswhy
ETSI Update on TTCN-3 Language Evolution and Tool Conformance Testing...
slideplayer.com
TTCN-3 Evolution TTCN-3 User Conference 2012, Bangelore, India Nikolay Pakulin on behalf of STF430
This mailing list is for software test professionals interested in the ...
groups.yahoo.com
... our apologies if you receive multiple copies of this Call for Papers. MBT th Workshop on Model-Based Testing April 6, 2014, Grenoble,. Nikolay Pakulin.
Nikolay Pakulin – 컬러 플랫폼 – Medium
medium.com
Read writing about Nikolay Pakulin in 컬러 플랫폼. 컬러 블록체인 플랫폼.
Model Based Conformance Testing for Extensible Internet Protocols...
slideplayer.com
3/19 Architecture of Extensible Protocols Protocol Functions Basic are mandatory for all protocol implementations; specifies the basic protocol functionality,...
Topics - Yahoo Groups
groups.yahoo.com
Nikolay Pakulin. 1. post. Dec 26, information please. (5). Dear Paul, we teach MBT as part of the Software Testing course at Åbo Akademi University, Turku ...
Nikolay Pakulin (@pakuula)`s Instagram Profile | Rankersta
rankersta.com
Nikolay Pakulin ( @pakuula ) Tarafindan Çekilen En Yeni Fotograflari Kontrol Et. @pakuula Kullanicisinin Fotograflarini Incele ve Paylas • Imgwonders.
TEST SUITE DEVELOPMENT FOR CONFORMANCE TESTING OF PROTOCOLS...
slideplayer.com
TEST SUITE DEVELOPMENT FOR CONFORMANCE TESTING OF EMAIL PROTOCOLS Anastasia Tugaenko Scientific Adviser: Nikolay Pakulin, PhD Institute …
Yahoo Groups
groups.yahoo.com
Nikolay Pakulin. Oct 28, # Dealine extended: 9th Workshop on Model Based Testing (MBT 2014) ... Please, accept our apologies if you receive ...
Model based conformance testing of communication protocols in common...
slideplayer.com
Conformance testing of Telecom Protocols Conformance testing: complex of active studies of protocol implementations to evaluate the degree of compliance with...
Con Collector
cc.thinkst.com
Search: Everything Browse: SpeakersConferencesTopicsContributorsAnalyticsFolkloreAboutLogin. Nikolay Pakulin [Speaker-Timeline] [Speaker-Links]
au:Pakulin_N in:cs - SciRate Search
scirate.com
@misc{ , author = {Nikolay Pakulin (Institute for System Programming Russian Academy of Sciences), Alexander K.~Petrenko (Institute for System ...
– Unnecessary floating-point instruction causes runtime...
gcc.gnu.org
:06 UTC by Nikolay Pakulin: Modified: :29 UTC CC List: 1 user See Also: Host: linux-x86_64 Target: powerpc-elf Build: Known to work: Known ...
CFP - EasyChair
easychair.org
Nikolay Pakulin, Scientific Secretary, Institute for System Programming, Russian Academy of Sciences, Russia Panagiotis Manolios, Professor, Northeastern University, USA Pawel Sobocinski, Associate Professor, University of Southampton, UK
Color - Decentralized for Daily Life
color-platform.org
Nikolay Pakulin graduated from Faculty of Control and Applied Mathematics, Moscow Institute of Physics and Technology (MIPT) in He is a senior researcher at the Institute for System Programming of the Russian Academy of Sciences (ISPRAS) where he …
Workshops
etaps.org
European Joint Conferences on Theory and Practice of Software, ETAPS Central Web Site
sorted by relevance / date