researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1972
1974
1975
1977
1979
1981
1989
1993
1996
1999
2000
2001
2003
2006
2007
2009
2010
2011
2012
2014
2015
2016
2017
2018
2019
Filter by Tag
[+]
OR
AND
NOT
1
algebra
C++
Meta-Environment
analysis
architecture
compiler
constraints
data-flow
e-science
logic
logic programming
meta-model
meta-objects
programming
programming languages
rule-based
semantics
systematic-approach
testing
transformation
Filter by Author
[+]
OR
AND
NOT
1
Alexandre Petrenko
Alexey V. Khoroshilov
Andrei Sabelfeld
Andrei V. Klimov
Andrei Voronkov
Cornelis H. A. Koster
Dieter Fensel
Dmitry Ushakov
Irina Virbitskaite
Margarita V. Korovina
Natalia Sidorova
Neil D. Jones
Nikolay V. Shilov
Oleg V. Kudinov
Robert Glück
Roland Weiss
Thomas Baar
Torben Æ. Mogensen
Victor V. Kuliamin
Viktor K. Sabelfeld
Filter by Top terms
[+]
OR
AND
NOT
1
abstract
algorithms
analysis
approach
checking
data
formal
language
logic
method
model
program
programming
programs
semantics
system
systems
time
using
verification
Ershov Memorial Conference (ershov)
Editions
Publications
Viewing Publication 1 - 100 from 561
2019
Two-Step Deductive Verification of Control Software Using Reflex
Igor S. Anureev
,
Natalia Olegovna Garanina
,
Tatiana Liakh
,
Andrei Rozov
,
Vladimir Zyubin
,
Sergei Gorlatch
.
ershov 2019
:
50-63
[doi]
A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax
Thomas Baar
.
ershov 2019
:
125-139
[doi]
Case-Based Genetic Optimization of Web User Interfaces
Maxim Bakaev
,
Vladimir Khvorostov
.
ershov 2019
:
10-25
[doi]
Data Compression Algorithms in Analysis of UI Layouts Visual Complexity
Maxim Bakaev
,
Ekaterina Goltsova
,
Vladimir Khvorostov
,
Olga Razumnikova
.
ershov 2019
:
167-184
[doi]
Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, Revised Selected Papers
Nikolaj Bjørner
,
Irina Virbitskaite
,
Andrei Voronkov
, editors,
Volume 11964 of
Lecture Notes in Computer Science
, Springer,
2019.
[doi]
Causality-Based Testing in Time Petri Nets
Elena N. Bozhenkova
,
Irina Virbitskaite
,
Louchka Popova-Zeugmann
.
ershov 2019
:
252-261
[doi]
Inter-country Competition and Collaboration in the miRNA Science Field
Artemiy Firsov
,
Igor Titov
.
ershov 2019
:
26-40
[doi]
Distributed Representation of n-gram Statistics for Boosting Self-organizing Maps with Hyperdimensional Computing
Denis Kleyko
,
Evgeny Osipov
,
Daswin De Silva
,
Urban Wiklund
,
Valeriy Vyatkin
,
Damminda Alahakoon
.
ershov 2019
:
64-79
[doi]
Rapid Instruction Decoding for IA-32
Yauhen Klimiankou
.
ershov 2019
:
1-9
[doi]
Prediction of RNA Secondary Structure Based on Optimization in the Space of Its Descriptors by the Simulated Annealing Algorithm
Nikolay Kobalo
,
Alexander Kulikov
,
Igor Titov
.
ershov 2019
:
116-124
[doi]
Towards Automatic Deductive Verification of C Programs over Linear Arrays
Dmitry Kondratyev
,
Ilya V. Maryasov
,
Valery A. Nepomniaschy
.
ershov 2019
:
232-242
[doi]
The Analytical Object Model as a Base of Heterogeneous Data Integration
Anna V. Korobko
,
Anna Metus
.
ershov 2019
:
106-115
[doi]
Computable Topology for Reliable Computations
Margarita V. Korovina
,
Oleg V. Kudinov
.
ershov 2019
:
185-198
[doi]
About Leaks of Confidential Data in the Process of Indexing Sites by Search Crawlers
Sergey Kratov
.
ershov 2019
:
199-204
[doi]
Archival Information Systems: New Opportunities for Historians
Irina Krayneva
,
Sergey Troshkov
.
ershov 2019
:
41-49
[doi]
A Logical Approach to the Analysis of Aerospace Images
Valeriy N. Kuchuganov
,
Denis R. Kasimov
,
Aleksandr V. Kuchuganov
.
ershov 2019
:
156-166
[doi]
Parallel Factorization of Boolean Polynomials
Vadiraj Kulkarni
,
Pavel Emelyanov
,
Denis K. Ponomaryov
,
Madhava Krishna C
,
Soumyendu Raha
,
S. K. Nandy
.
ershov 2019
:
80-94
[doi]
An Ontology-Based Approach to the Agile Requirements Engineering
Marina Murtazina
,
Tatiana Avdeenko
.
ershov 2019
:
205-213
[doi]
Verification and Validation of Semantic Annotations
Oleksandra Panasiuk
,
Omar Holzknecht
,
Umutcan Simsek
,
Elias Kärle
,
Dieter Fensel
.
ershov 2019
:
223-231
[doi]
Nobrainer: An Example-Driven Framework for C/C++ Code Transformations
Valeriy Savchenko
,
Konstantin Sorokin
,
Georgiy Pankratenko
,
Sergey Markov
,
Alexander Spiridonov
,
Ilia Alexandrov
,
Alexander Volkov
,
Kwangwon Sun
.
ershov 2019
:
140-155
[doi]
Providing the Sharing of Heterogeneous Ontology Design Patterns in the Development of the Ontologies of Scientific Subject Domains
Yury A. Zagorulko
,
Olesya Borovikova
.
ershov 2019
:
95-105
[doi]
Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS
Sophia A. Zelenova
,
Sergey V. Zelenov
.
ershov 2019
:
214-222
[doi]
Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)
Torben Ægidius Mogensen
.
ershov 2019
:
243-251
[doi]
2018
Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Alexander K. Petrenko
,
Andrei Voronkov
, editors,
Volume 10742 of
Lecture Notes in Computer Science
, Springer,
2018.
[doi]
2017
An Architecture for Non-invasive Software Measurement
Vasilii Artemev
,
Vladimir Ivanov
,
Manuel Mazzara
,
Alan Rogers
,
Alberto Sillitti
,
Giancarlo Succi
,
Eugene Zouev
.
ershov 2018
:
1-11
[doi]
A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications
Mehrnoosh Askarpour
,
Dino Mandrioli
,
Matteo Rossi
,
Federico Vicentini
.
ershov 2018
:
12-27
[doi]
Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code
Andrey Belevantsev
,
Arutyun Avetisyan
.
ershov 2018
:
28-42
[doi]
Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method
Stefan Brass
,
Heike Stephan
.
ershov 2018
:
43-58
[doi]
A Platform for Security Monitoring of Multi-cloud Applications
Pamela Carvallo
,
Ana R. Cavalli
,
Wissam Mallouli
.
ershov 2018
:
59-71
[doi]
The Hybrid Multidimensional-Ontological Data Model Based on Metagraph Approach
Valeriy M. Chernenkiy
,
Yuriy E. Gapanyuk
,
Anatoly N. Nardid
,
Anton V. Gushcha
,
Yuriy S. Fedorenko
.
ershov 2018
:
72-87
[doi]
PosDB: A Distributed Column-Store Engine
George Chernishev
,
Viacheslav Galaktionov
,
Valentin Grigorev
,
Evgeniy Klyuchikov
,
Kirill Smirnov 0001
.
ershov 2018
:
88-94
[doi]
Microservices: How To Make Your Application Scale
Nicola Dragoni
,
Ivan Lanese
,
Stephan Thordal Larsen
,
Manuel Mazzara
,
Ruslan Mustafin
,
Larisa Safina
.
ershov 2018
:
95-104
[doi]
Static Binary Code Instrumentation for ARM Architecture
Mikhail Ermakov
.
ershov 2018
:
105-116
[doi]
A Behavioural Theory for Reflective Sequential Algorithms
Flavio Ferrarotti
,
Klaus-Dieter Schewe
,
Loredana Tec
.
ershov 2018
:
117-131
[doi]
Lightweight Non-intrusive Virtual Machine Introspection
Natalia Fursova
,
Pavel Dovgalyuk
,
Ivan Vasiliev
,
Vladimir Makarov
.
ershov 2018
:
132-146
[doi]
A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population
Natalia Olegovna Garanina
,
Elena A. Sidorova
,
Irina Kononenko
.
ershov 2018
:
147-162
[doi]
A Framework for Dynamical Construction of Software Components
Efim Grinkrug
.
ershov 2018
:
163-178
[doi]
A Transformation-Based Approach to Developing High-Performance GPU Programs
Bastian Hagedorn
,
Michel Steuwer
,
Sergei Gorlatch
.
ershov 2018
:
179-195
[doi]
Domain Engineering the Magnolia Way
Magne Haveraaen
.
ershov 2018
:
196-210
[doi]
Approximating Event System Abstractions by Covering Their States and Transitions
Jacques Julliand
,
Olga Kouchnarenko
,
Pierre-Alain Masson
,
Guillaume Voiron
.
ershov 2018
:
211-226
[doi]
MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors
Alexander Kamkin
,
Andrei Tatarnikov
.
ershov 2018
:
387-393
[doi]
Implementing the Symbolic Method of Verification in the C-Light Project
Dmitry Kondratyev
.
ershov 2018
:
227-240
[doi]
Highlights of the Rice-Shapiro Theorem in Computable Topology
Margarita V. Korovina
,
Oleg V. Kudinov
.
ershov 2018
:
241-255
[doi]
A Memory Model for Deductively Verifying Linux Kernel Modules
Mikhail U. Mandrykin
,
Alexey V. Khoroshilov
.
ershov 2018
:
256-275
[doi]
Indexing of Hierarchically Organized Spatial-Temporal Data Using Dynamic Regular Octrees
Sergey V. Morozov
,
Vitaly A. Semenov
,
Oleg A. Tarlapan
,
Vladislav A. Zolotov
.
ershov 2018
:
276-290
[doi]
An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language
Denis A. Nikiforov
,
Dmitriy V. Korj
,
Ruslan L. Sivakov
.
ershov 2018
:
291-305
[doi]
Towards Automated Static Verification of GNU C Programs
Evgeny Novikov
,
Ilja S. Zakharov
.
ershov 2018
:
402-416
[doi]
WhaleProver: First-Order Intuitionistic Theorem Prover Based on the Inverse Method
Vladimir Pavlov
,
Vadim Pak
.
ershov 2018
:
322-336
[doi]
Compositional Relational Programming with Name Projection and Compositional Synthesis
Görkem Paçaci
,
Steve McKeever
,
Andreas Hamfelt
.
ershov 2018
:
306-321
[doi]
Statistical Approach to Increase Source Code Completion Accuracy
Valeriy Savchenko
,
Alexander Volkov
.
ershov 2018
:
352-363
[doi]
Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation
Dmitry Shachnev
,
Dmitry Karpenko
.
ershov 2018
:
364-374
[doi]
Runtime Specialization of PostgreSQL Query Executor
Eugene Sharygin
,
Ruben Buchatskiy
,
Roman Zhuykov
,
Arseny Sher
.
ershov 2018
:
375-386
[doi]
Domain Specific Semantic Validation of Schema.org Annotations
Umutcan Simsek
,
Elias Kärle
,
Omar Holzknecht
,
Dieter Fensel
.
ershov 2018
:
417-429
[doi]
Enriching Textual Xtext-DSLs with a Graphical GEF-Based Editor
Marcel Toussaint
,
Thomas Baar
.
ershov 2018
:
394-401
[doi]
Distributed In Situ Processing of Big Raster Data in the Cloud
Ramon Antonio Rodriges Zalipynis
.
ershov 2018
:
337-351
[doi]
2016
Perspectives of System Informatics - 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
Manuel Mazzara
,
Andrei Voronkov
, editors,
Volume 9609 of
Lecture Notes in Computer Science
, Springer,
2016.
[doi]
2015
Applying MDA to Generate Hadoop Based Scientific Computing Applications
Darkhan Akhmed-Zaki
,
Madina Mansurova
,
Bazargul Matkerim
,
Ekateryna Dadykina
,
Bolatzhan Kumalakov
.
ershov 2016
:
22-35
[doi]
Site-Level Web Template Extraction Based on DOM Analysis
Julián Alarte
,
David Insa
,
Josep Silva
,
Salvador Tamarit
.
ershov 2016
:
36-49
[doi]
Verification Support for a State-Transition-DSL Defined with Xtext
Thomas Baar
.
ershov 2016
:
50-60
[doi]
Towards Using Exact Real Arithmetic for Initial Value Problems
Franz Brauße
,
Margarita V. Korovina
,
Norbert Th. Müller
.
ershov 2016
:
61-74
[doi]
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
Hadrien Bride
,
Olga Kouchnarenko
,
Fabien Peureux
.
ershov 2016
:
75-90
[doi]
Behavioural Analysis of Sessions Using the Calculus of Structures
Gabriel Ciobanu
,
Ross Horne
.
ershov 2016
:
91-106
[doi]
Using Refinement in Formal Development of OS Security Model
Petr N. Devyanin
,
Alexey V. Khoroshilov
,
Victor V. Kuliamin
,
Alexander K. Petrenko
,
Ilya V. Shchepetkov
.
ershov 2016
:
107-115
[doi]
Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
Natalia Olegovna Garanina
,
Elena A. Sidorova
,
Stepan Anokhin
.
ershov 2016
:
116-129
[doi]
Maximally-Polyvariant Partial Evaluation in Polynomial Time
Robert Glück
.
ershov 2016
:
130-148
[doi]
Dynamics Security Policies and Process Opacity for Timed Process Algebras
Damas P. Gruska
.
ershov 2016
:
149-157
[doi]
Quantitative Analysis of Collective Adaptive Systems
Jane Hillston
.
ershov 2016
:
1-5
[doi]
Estimating Development Effort for Software Architectural Tactics
Mohamad Kassab
,
Giuseppe Destefanis
.
ershov 2016
:
158-169
[doi]
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms
Igor V. Konnov
,
Helmut Veith
,
Josef Widder
.
ershov 2016
:
6-21
[doi]
Clone Detection in Reuse of Software Technical Documentation
Dmitrij Koznov
,
Dmitry Luciv
,
Hamid Abdul Basit
,
Ouh Eng Lieh
,
Mikhail Smirnov
.
ershov 2016
:
170-185
[doi]
Modeling Actor Systems Using Dynamic I/O Automata
Ilham W. Kurnia
,
Arnd Poetzsch-Heffter
.
ershov 2016
:
186-202
[doi]
Checking Several Requirements at once by CEGAR
Vitaly Mordan
,
Vadim S. Mutilin
.
ershov 2016
:
218-232
[doi]
Unifying Requirements and Code: An Example
Alexandr Naumchev
,
Bertrand Meyer
,
Víctor Rivera
.
ershov 2016
:
233-244
[doi]
Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic
Bruno Woltzenlogel Paleo
.
ershov 2016
:
314-324
[doi]
Program Schemata Technique to Solve Propositional Program Logics Revised
Nikolay Shilov
.
ershov 2016
:
245-259
[doi]
Automated Two-Phase Composition of Timed Web Services
Maciej Szreter
.
ershov 2016
:
260-275
[doi]
Equivalence of Finite-Valued Symbolic Finite Transducers
Margus Veanes
,
Nikolaj Bjørner
.
ershov 2016
:
276-290
[doi]
Relaxed Parsing of Regular Approximations of String-Embedded Languages
Ekaterina Verbitskaia
,
Semyon Grigorev
,
Dmitry Avdyukhin
.
ershov 2016
:
291-302
[doi]
Branching Processes of Timed Petri Nets
Irina Virbitskaite
,
Victor Borovlyov
,
Louchka Popova-Zeugmann
.
ershov 2016
:
303-313
[doi]
Perspectives of System Informatics - 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers
Andrei Voronkov
,
Irina Virbitskaite
, editors,
Volume 8974 of
Lecture Notes in Computer Science
, Springer,
2015.
[doi]
Hybrid Lustre
Zhengheng Yuan
,
Tingliang Zhou
,
Jing Liu
,
Juan Luo
,
Yi Zhang
,
Xiaohong Chen
.
ershov 2016
:
325-340
[doi]
RSSA: A Reversible SSA Form
Torben Ægidius Mogensen
.
ershov 2016
:
203-217
[doi]
2014
Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs
Michael Dever
,
G. W. Hamilton
.
ershov 2015
:
59-66
[doi]
On Tractability of Disjoint AND-Decomposition of Boolean Formulas
Pavel Emelyanov
,
Denis Ponomaryov
.
ershov 2015
:
92-101
[doi]
A Multi-agent Text Analysis Based on Ontology of Subject Domain
Natalia Olegovna Garanina
,
Elena Sidorova
,
Eugene Bodin
.
ershov 2015
:
102-110
[doi]
Inductive Prover Based on Equality Saturation for a Lazy Functional Language
Sergei Grechanik
.
ershov 2015
:
127-141
[doi]
Timed History Preserving Bisimulation and Open Maps
Nataliya S. Gribovskaya
.
ershov 2015
:
142-150
[doi]
Process Opacity for Timed Process Algebra
Damas P. Gruska
.
ershov 2015
:
151-160
[doi]
Asymptotic Speedups, Bisimulation and Distillation (Work in Progress)
Neil D. Jones
,
Geoff W. Hamilton
.
ershov 2015
:
177-185
[doi]
Certifying Supercompilation for Martin-Löf's Type Theory
Ilya Klyuchnikov
,
Sergei A. Romanenko
.
ershov 2015
:
186-200
[doi]
Big Data, Big Systems, Big Challenges: A Personal Experience - (Extended Abstract)
Vadim E. Kotov
.
ershov 2015
:
41-44
[doi]
An Automatic Technique for Static Deadlock Prevention
Bertrand Meyer
.
ershov 2015
:
45-58
[doi]
A Sufficient Condition for the Observational Equivalence of Processes
Andrew Mironov
.
ershov 2014
:
9-29
[doi]
Turchin's Relation and Subsequence Relation in Loop Approximation
Antonina Nepeivoda
.
ershov 2014
:
30-42
[doi]
The Study of Multidimensional R-Tree-Based Index Scalability in Multicore Environment
Kirill Smirnov
,
George Chernishev
,
Pavel Fedotovsky
,
George Erokhin
,
Kirill Cherednik
.
ershov 2015
:
266-272
[doi]
The Role of Indirections in Lazy Natural Semantics
Lidia Sánchez-Gil
,
Mercedes Hidalgo-Herrero
,
Yolanda Ortega-Mallén
.
ershov 2015
:
288-303
[doi]
Towards Specializing JavaScript Programs
Peter Thiemann
.
ershov 2015
:
320-334
[doi]
Comparing Semantics Under Strong Timing of Petri Nets
Irina Virbitskaite
,
Dmitriy Bushin
.
ershov 2015
:
376-384
[doi]
PSI 2014. Ershov Informatics Conference, June 24-27, 2014, Peterhof, St. Petersburg, Russia, Poster Presentations
Irina Virbitskaite
,
Andrei Voronkov
, editors,
Volume 23 of
EPiC Series
, EasyChair,
2014.
[doi]
Probabilistic Formal Concepts with Negation
E. E. Vityaev
,
V. V. Martinovich
.
ershov 2015
:
385-399
[doi]
Sign in
or
sign up
to see more results.