PAS 2014 PROGRAM
Thursday, July 17th
09:00-10:15 Session 64C: Opening +
Invited Talk by Viorica Sofronie-Stokkermans
/ Chair: Tudor Jebelean
Location:
FH, Seminarraum 138A
|
09:15 |
Hierarchical Reasoning and Quantifier
Elimination for the Verification of Parametric Reactive and Hybrid Systems |
10:15-10:45 Coffee Break
10:45-12:30 Session 66AN: Automated
Debugging / Chair: Temur Kutsia
Location:
FH, Seminarraum 138A
|
10:45 |
An Attempt to Formalize Popper's Logic
of Scientific Discovery |
|
11:30 |
Jie Luo
and Wei Li A Model Theory for R-calculus without
Cut |
|
12:00 |
Xiaoyu
Chen and Jie Luo RCK: A Software Toolkit for R-calculus |
13:00-14:30 Lunch Break
14:30-16:00 Session 75AM: Invited Talk
by Bruno Buchberger / Chair: Jens
Knoop
Location: FH, Seminarraum
138A
|
14:30 |
The Theorema
Approach to Mathematics |
|
15:30 |
Kristjan Liiva, Grant Passmore and Paul Jackson A Note on Real Quantifier Elimination
by Virtual Term Substitution of Unbounded Degree |
16:00-16:30 Coffee Break
16:30-18:30
Session 80G: Program Analysis / Chair: Viorica Sofronie-Stokkermans
Location: FH, Seminarraum
138A
|
16:30 |
Jens Knoop, Laura Kovacs and Jakob Zwirchmayr Successfully Coping with Scalability
of Symbolic Analysis in Timing Analysis |
|
17:00 |
Sandra Alves, Besik Dundua, Mario Florido and Temur
Kutsia Confluence of Pattern-Based Calculi
with Finitary Matching |
|
17:30 |
The Verification of Conversion
Algorithms between Finite Automata |
|
18:00 |
George
Stergiopoulos, Panagiotis Katsaros and Dimitris Gritzalis Source Code Profiling and
Classification for Automated Detection of Logical Errors |
Friday, July 18th
09:15-10:15 Session 88D: Invited Talk by
Hoon Hong / Chair: Dongming
Wang
Location:
FH, Seminarraum 138A
|
09:15 |
Test-Input Generation using Computational
Real Algebraic Geometry |
10:15-10:45 Coffee Break
10:45-12:45 Session 90AL: Symbolic
Computation / Chair: Hoon Hong
Location:
FH, Seminarraum 138A
|
10:45 |
Synthesis of Algorithms on Sets
Represented as Monotone Lists |
|
11:15 |
Alexander Letichevsky, Oleksandr Letychevskyi, Vladimir Peschanenko and Thomas Weigert New Predicate Transformer for Symbolic
Modeling |
|
11:45 |
Hao Huang, Fangmin Song, Zhengjiang Qian, Kangjie Li, Jiang Chen, Shuiwang Guan and Wei
Huang VTOS: A Finite State Machine Model of
OS and Formalized Verification of Its Microkernel |
|
12:15 |
Symbolic Problem Solving with
Bidirectional Executable Representations |
13:00-14:30 Lunch Break
14:30-16:00 Session 96AN: Invited Talk
by Michael Rusinowitch / Chair: Wei Li
Location:
FH, Seminarraum 138A
|
14:30 |
Automated Verification of Security
Protocols and Services |
|
15:30 |
Building Explicit Induction Schemas
for Cyclic Induction Reasoning |
16:00-16:30 Coffee Break
16:30-18:10 Session 99AM:
Program Verification / Chair: Michael Rusinowitch
Location:
FH, Seminarraum 138A
|
16:30 |
Xiaomei Hou, Mengxiang Lin and Tahir Jameel A Hybrid Path Constraint Solver
Combined with Meta-heuristic Search |
|
17:00 |
Farn Wang, Pin Hsiuan Chen and Wen-Hong Chiang Automatic App Testing of LTL
Properties |
|
17:30 |
Stefan Ciobaca, Dorel Lucanu, Vlad Rusu and Grigore Rosu Programming Language Aggregation with
Applications in Equivalence Checking |
