PSI 2015: 10TH INTERNATIONAL ANDREI ERSHOV MEMORIAL CONFERENCE

A
Akbar, Zaenal	Rule-based Content Adaptation for Online Communication
Akhmed-Zaki, Darkhan	Applying MDA to Generate Hadoop Based Scientific Computing Applications
Alarte, Julian	Analysis of DOM Structures for Site-Level Template Extraction
Anokhin, Stepan	Сonflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
Avdyukhin, Dmitry	Relaxed Parsing of Regular Approximations of String-Embedded Languages
B
Baar, Thomas	Lightweight Verification Support for DSLs Defined with XText
Basit, Hamid Abdul	Clone Detection in Reuse of Software Technical Documentation
Bjorner, Nikolaj	Equivalence of Finite-Valued Symbolic Finite Transducers
Borovlyov, Victor	Branching Processes of Timed Petri Nets
Brausse, Franz	Towards using exact real arithmetic for initial value problems
Bride, Hadrien	Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
Bukharaev, Naille	How to teach IT? Human side of IT-education
C
Cazorla, Diego	BTC Formal Model of MAP/REDUCE
Ciobanu, Gabriel	Behavioural Analysis of Sessions using the Calculus of Structures
Conejero, Javier	BTC Formal Model of MAP/REDUCE
D
Dadykina, Ekaterina	Applying MDA to Generate Hadoop Based Scientific Computing Applications
Dergachev, Artem	Aug 25 12:30
Destefanis, Giuseppe	Estimating Development Effort for Software Architectural Tactics
Devyanin, Petr	Using Refinement in Formal Development of OS Security Model
F
Fensel, Dieter	Rule-based Content Adaptation for Online Communication
G
Garanina, Natalia	Сonflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
Glück, Robert	Maximally-Polyvariant Partial Evaluation in Polynomial Time
Grigorev, Semyon	Relaxed Parsing of Regular Approximations of String-Embedded Languages
Gruska, Damas	Dynamics Security Policies and Process Opacity
H
Heiss, Hans-Ulrich	Scheduling for Manycore Systems
Hillston, Jane	Quantitative Analysis of Collective Adaptive Systems
Horne, Ross	Behavioural Analysis of Sessions using the Calculus of Structures
I
Insa, David	Analysis of DOM Structures for Site-Level Template Extraction
Ivanov, Vladimir	An Initial Study on the Prediction of the Successful Completion of Requirements in Software Development
K
Kassab, Mohamad	Estimating Development Effort for Software Architectural Tactics
Khoroshilov, Alexey	Using Refinement in Formal Development of OS Security Model
Korovina, Margarita	Towards using exact real arithmetic for initial value problems
Kouchnarenko, Olga	Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
Koznov, Dmitrij	Clone Detection in Reuse of Software Technical Documentation
Kucherov, Gregory	Introduction to algorithms on biosequence data
Kuliamin, Victor	Using Refinement in Formal Development of OS Security Model
Kumalakov, Bolatzhan	Applying MDA to Generate Hadoop Based Scientific Computing Applications
Kurnia, Ilham W.	Modeling Actor Systems Using Dynamic I/O Automata
L
Lieh, Ouh Eng	Clone Detection in Reuse of Software Technical Documentation
Liu, Jing	Hybrid Lustre
Luciv, Dmitry	Clone Detection in Reuse of Software Technical Documentation
Luo, Juan	Hybrid Lustre
M
Mansurova, Madina	Applying MDA to Generate Hadoop Based Scientific Computing Applications
Matkerim, Bazargul	Applying MDA to Generate Hadoop Based Scientific Computing Applications
Meyer, Bertrand	Unifying Requirements and Code: an Example
Meyer, Bertrand	Design by contract
Mogensen, Torben	RSSA: A Reversible SSA Form
Mordan, Vitaly	Checking Several Requirements at once by CEGAR
Mousavi, Mohammad	Modelling and Analysis of Communicating Systems
Mutilin, Vadim	Checking Several Requirements at once by CEGAR
Müller, Norbert Th.	Towards using exact real arithmetic for initial value problems
N
Naumchev, Alexandr	Unifying Requirements and Code: an Example
O
Olzhas, Turar	Development of high performance visualization module for hydrodynamic web simulator
P
Parnas, David	Software Engineering, Why And What
Pavlov, Evgeny	Aug 25 12:30
Petrenko, Alexander K.	Using Refinement in Formal Development of OS Security Model
Peureux, Fabien	Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
Poetzsch-Heffter, Arnd	Modeling Actor Systems Using Dynamic I/O Automata
Popova-Zeugmann, Louchka	Branching Processes of Timed Petri Nets
Pérez Leándrez, Diego	BTC Formal Model of MAP/REDUCE
R
Rivera, Victor	Unifying Requirements and Code: an Example
Ruiz, M.Carmen	BTC Formal Model of MAP/REDUCE
S
Shchepetkov, Ilya	Using Refinement in Formal Development of OS Security Model
Shilov, Nikolay	Program Scheme Technique to Solve Propositional Program Logics Revised
Sidorin, Aleksei	Aug 25 12:30
Sidorova, Elena	Сonflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population
Silva, Josep	Analysis of DOM Structures for Site-Level Template Extraction
Smirnov, Mikhail	Clone Detection in Reuse of Software Technical Documentation
Szreter, Maciej	Automated Two-Phase Composition of Timed Web Services
T
Tamarit, Salvador	Analysis of DOM Structures for Site-Level Template Extraction
Toma, Ioan	Rule-based Content Adaptation for Online Communication
Tormasov, Alexander	Opening
Trofimovich, Iuliia	Aug 25 12:30
V
Veanes, Margus	Equivalence of Finite-Valued Symbolic Finite Transducers
Veith, Helmut	Automated Verification of Fault-Tolerant Distributed Algorithms
Verbitskaia, Ekaterina	Relaxed Parsing of Regular Approximations of String-Embedded Languages
Virbitskaite, Irina	Branching Processes of Timed Petri Nets
W
Woltzenlogel Paleo, Bruno	Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic
Y
Yuan, Zhengheng	Hybrid Lustre
Z
Zhou, Tingliang	Hybrid Lustre
Zykov, Sergey	Software Development Lifecycle: Anti-Crisis Optimization

Disclaimer | Powered by EasyChair Smart Program