Ershov Memorial Conference

Keyphrases

Publications

volume 9609, 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 Ershov Memorial Conference 9609 (2016)

2015

Damas P. Gruska
Dynamics Security Policies and Process Opacity for Timed Process Algebras. Ershov Memorial Conference (2015)
Thomas Baar
Verification Support for a State-Transition-DSL Defined with Xtext. Ershov Memorial Conference (2015)
Franz Brauße, Margarita V. Korovina, Norbert Th. Müller
Towards Using Exact Real Arithmetic for Initial Value Problems. Ershov Memorial Conference (2015)
Irina B. Virbitskaite, Victor Borovlyov, Louchka Popova-Zeugmann
Branching Processes of Timed Petri Nets. Ershov Memorial Conference (2015)
Igor V. Konnov, Helmut Veith, Josef Widder
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms. Ershov Memorial Conference (2015)
Bruno Woltzenlogel Paleo
Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic. Ershov Memorial Conference (2015)
Vitaly O. Mordan, Vadim S. Mutilin
Checking Several Requirements at once by CEGAR. Ershov Memorial Conference (2015)
Jane Hillston
Quantitative Analysis of Collective Adaptive Systems. Ershov Memorial Conference (2015)
Zhengheng Yuan, Tingliang Zhou, Jing Liu, Juan Luo, Yi Zhang, Xiaohong Chen
Hybrid Lustre. Ershov Memorial Conference (2015)
Maciej Szreter
Automated Two-Phase Composition of Timed Web Services. Ershov Memorial Conference (2015)
Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
Site-Level Web Template Extraction Based on DOM Analysis. Ershov Memorial Conference (2015)
Nikolay Shilov
Program Schemata Technique to Solve Propositional Program Logics Revised. Ershov Memorial Conference (2015)
Mohamad Kassab, Giuseppe Destefanis
Estimating Development Effort for Software Architectural Tactics. Ershov Memorial Conference (2015)
Margus Veanes, Nikolaj Bjørner
Equivalence of Finite-Valued Symbolic Finite Transducers. Ershov Memorial Conference (2015)
Robert Glück
Maximally-Polyvariant Partial Evaluation in Polynomial Time. Ershov Memorial Conference (2015)
Natalia Olegovna Garanina, Elena A. Sidorova, Stepan Anokhin
Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population. Ershov Memorial Conference (2015)
Torben Ægidius Mogensen
RSSA: A Reversible SSA Form. Ershov Memorial Conference (2015)
Alexandr Naumchev, Bertrand Meyer, Víctor Rivera
Unifying Requirements and Code: An Example. Ershov Memorial Conference (2015)
Ekaterina Verbitskaia, Semyon V. Grigorev, Dmitry Avdyukhin
Relaxed Parsing of Regular Approximations of String-Embedded Languages. Ershov Memorial Conference (2015)
Dmitrij V. Koznov, Dmitry V. Luciv, Hamid Abdul Basit, Ouh Eng Lieh, Mikhail Smirnov
Clone Detection in Reuse of Software Technical Documentation. Ershov Memorial Conference (2015)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. Ershov Memorial Conference (2015)
Gabriel Ciobanu, Ross Horne
Behavioural Analysis of Sessions Using the Calculus of Structures. Ershov Memorial Conference (2015)
Darkhan Akhmed-Zaki, Madina Mansurova, Bazargul Matkerim, Ekateryna Dadykina, Bolatzhan Kumalakov
Applying MDA to Generate Hadoop Based Scientific Computing Applications. Ershov Memorial Conference (2015)
Ilham W. Kurnia, Arnd Poetzsch-Heffter
Modeling Actor Systems Using Dynamic I/O Automata. Ershov Memorial Conference (2015)
Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
Using Refinement in Formal Development of OS Security Model. Ershov Memorial Conference (2015)

2014