PAS ON FRIDAY, JULY 18TH: TALK VIEW

Days:

previous day

all days

View: with abstracts session overview side by side with other conferences

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:15-10:15

Test-Input Generation using Computational Real Algebraic Geometry

Hoon Hong

10:45-11:15

Synthesis of Algorithms on Sets Represented as Monotone Lists

Isabela Dramnesc

11:15-11:45

New predicate transformer for symbolic modeling

A. Letichevsky, O. Letychevskyi, V. Peschanenko, T. Weigert

11:45-12:15

VTOS: A Finite State Machine Model of OS and Formalized Verification of Its Microkernel

H. Huang, F. Song, Z. Qian, K. Li, J. Chen, S. Guan, W. Huang

12:15-12:45

Symbolic Problem Solving With Bidirectional Executable Representations

Jakob Praher

14:30-15:30

Automated verification of security protocols and services

Michael Rusinowitch

15:30-16:00

Building explicit induction schemas for cyclic induction reasoning

Sorin Stratulat

16:30-17:00

A hybrid path constraint solver combined with meta-heuristic search

Xiaomei Hou, Mengxiang Lin, Tahir Jameel

17:00-17:30

Automatic App Testing of LTL Properties

Farn Wang, Pin Hsiuan Chen, Wen-Hong Chiang

17:30-18:00

Programming Language Aggregation with Applications in Equivalence Checking

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break