PSI 2015: 10TH INTERNATIONAL ANDREI ERSHOV MEMORIAL CONFERENCE
PROGRAM

Days: Monday, August 24th Tuesday, August 25th Wednesday, August 26th Thursday, August 27th

Monday, August 24th

View this program: with abstractssession overviewtalk overview

13:00-14:00Lunch Break
14:00-17:00 Session 2: Tutorial
14:00
Modelling and Analysis of Communicating Systems ( abstract )
Tuesday, August 25th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 4: Keynote Speech
09:00
Software Engineering, Why And What ( abstract )
10:00-10:30Coffee Break
10:30-12:30 Session 5: Modelling
10:30
Applying MDA to Generate Hadoop Based Scientific Computing Applications ( abstract )
11:00
Hybrid Lustre ( abstract )
11:30
Automated Two-Phase Composition of Timed Web Services ( abstract )
12:00
Modeling Actor Systems Using Dynamic I/O Automata ( abstract )
13:00-14:00Lunch Break
14:00-15:00 Session 7: Keynote Speech
14:00
Quantitative Analysis of Collective Adaptive Systems ( abstract )
15:00-16:00 Session 8: Security
15:00
Dynamics Security Policies and Process Opacity ( abstract )
15:30
Using Refinement in Formal Development of OS Security Model ( abstract )
16:00-16:30Coffee Break
16:30-17:30 Session 9: Algorithms
16:30
Maximally-Polyvariant Partial Evaluation in Polynomial Time ( abstract )
17:00
Сonflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population ( abstract )
Wednesday, August 26th

View this program: with abstractssession overviewtalk overview

09:30-10:00Coffee Break
10:00-12:30 Session 11: Formalisms
10:00
Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic ( abstract )
10:30
Equivalence of Finite-Valued Symbolic Finite Transducers ( abstract )
11:00
Behavioural Analysis of Sessions using the Calculus of Structures ( abstract )
11:30
Relaxed Parsing of Regular Approximations of String-Embedded Languages ( abstract )
12:00
Branching Processes of Timed Petri Nets ( abstract )
12:30-13:00 Session 12: Short Papers
12:30
Towards using exact real arithmetic for initial value problems ( abstract )
12:45
Rule-based Content Adaptation for Online Communication ( abstract )
13:00-14:00Lunch Break
14:00-16:00 Session 13: Verification
14:00
Program Scheme Technique to Solve Propositional Program Logics Revised ( abstract )
14:30
Lightweight Verification Support for DSLs Defined with XText ( abstract )
15:00
Checking Several Requirements at once by CEGAR ( abstract )
15:30
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data ( abstract )
16:00-16:30Coffee Break
Thursday, August 27th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 15: Keynote Speech
09:00
Automated Verification of Fault-Tolerant Distributed Algorithms ( abstract )
10:00-10:30Coffee Break
10:30-13:00 Session 16: Applications
10:30
Unifying Requirements and Code: an Example ( abstract )
11:00
Clone Detection in Reuse of Software Technical Documentation ( abstract )
11:30
Analysis of DOM Structures for Site-Level Template Extraction ( abstract )
12:00
RSSA: A Reversible SSA Form ( abstract )
12:30
Estimating Development Effort for Software Architectural Tactics ( abstract )
13:00-14:00Lunch Break
14:00-17:00 Session 17A: Tutorial
14:00
Introduction to algorithms on biosequence data ( abstract )
14:00-17:00 Session 17B: Tutorial
14:00
How to teach IT? Human side of IT-education ( abstract )
14:00-17:00 Session 17C: Tutorial
14:00
Software Development Lifecycle: Anti-Crisis Optimization ( abstract )
14:00-17:00 Session 17D: Poster Talks
14:00
Development of high performance visualization module for hydrodynamic web simulator ( abstract )
14:15
An Initial Study on the Prediction of the Successful Completion of Requirements in Software Development ( abstract )