PSI 2014: ERSHOV INFORMATICS CONFERENCE

Program Committee Accepted Papers PROGRAM INDEXES

PROGRAM FOR WEDNESDAY, JUNE 25TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

09:00-10:00

Model Checking and the Verification of Computer Systems

Ed Clarke

10:00-10:25

Model Checking Value-Passing Modal Specifications

Maurice H. Ter Beek, Stefania Gnesi, Franco Mazzanti

10:55-11:20

Bonsai: Cutting Models Down to Size

Stefan Vijzelaar, Kees Verstoep, Henri Bal, Wan Fokkink

11:20-11:45

A proof-based method for modelling timed systems

Alexei Iliasov, Jeremy W. Bryans

11:45-12:10

The role of indirections in lazy natural semantics

Lidia Sánchez Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén

12:10-12:35

Neutralizing Semantic Ambiguities of Function Block Architecture by Modeling with ASM

Victor Dubinin, Sandeep Patil, Cheng Pang, Valeriy Vyatkin

12:35-13:00

Probabilistic formal concepts for contexts with negation

Evgenii Vityaev, Vitaly Martynovich

14:00-15:00

Languages and types for linked data

Vladimiro Sassone

15:00-15:15

Process Opacity

Damas Gruska

15:15-15:30

Comparing Semantics under Strong Timing of Petri Nets

Irina Virbitskaite, Dmitry Bushin

15:30-15:45

Timed History Preserving Bisimulation and Open Maps

Natalya Gribovskaya

15:45-16:00

Verification of Temporal Properties of Hybrid Systems Using dMTL

Ping Hou, Yifei Chen

16:30-16:55

Decidability and Expressiveness of Recursive Weighted Logic

Radu Mardare, Bingtian Xue, Kim Guldstrand Larsen

16:55-17:20

Index sets as a measure of continuous constraint complexity

Margarita Korovina, Oleg Kudinov

17:20-17:35

On Tractability of Disjoint AND-Decomposition of Boolean Formulas

Pavel Emelyanov, Denis Ponomaryov

17:35-17:50

A Multi-agent Text Analysis Based on Ontology of Subject Domain

Natalia Garanina, Elena Sidorova, Evgeny Bodin

10:25-10:55 Coffee Break

13:00-14:00 Lunch Break

16:00-16:30 Coffee Break & Poster Session