PAS 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: A B C D F G H J K L P Q R S W Z

A
Alves, Sandra	Confluence of Pattern-Based Calculi with Finitary Matching (PDF, talk)
B
Buchberger, Bruno	The Theorema Approach to Mathematics (PDF, talk)
C
Chen, Jiang	VTOS: A Finite State Machine Model of OS and Formalized Verification of Its Microkernel (PDF, talk)
Chen, Pin Hsiuan	Automatic App Testing of LTL Properties (PDF, talk)
Chen, Xiaoyu	RCK: A Software Toolkit for R-calculus (PDF, talk)
Chiang, Wen-Hong	Automatic App Testing of LTL Properties (PDF, talk)
Ciobaca, Stefan	Programming Language Aggregation with Applications in Equivalence Checking (PDF, talk)
D
Dramnesc, Isabela	Synthesis of Algorithms on Sets Represented as Monotone Lists (PDF, talk)
Dundua, Besik	Confluence of Pattern-Based Calculi with Finitary Matching (PDF, talk)
F
Florido, Mario	Confluence of Pattern-Based Calculi with Finitary Matching (PDF, talk)
G
Gritzalis, Dimitris	Source code profiling and classification for automated detection of logical errors (PDF, talk)
Guan, Shuiwang	VTOS: A Finite State Machine Model of OS and Formalized Verification of Its Microkernel (PDF, talk)
H
Hong, Hoon	Test-Input Generation using Computational Real Algebraic Geometry (PDF, talk)
Hou, Xiaomei	A hybrid path constraint solver combined with meta-heuristic search (PDF, talk)
Huang, Hao	VTOS: A Finite State Machine Model of OS and Formalized Verification of Its Microkernel (PDF, talk)
Huang, Wei	VTOS: A Finite State Machine Model of OS and Formalized Verification of Its Microkernel (PDF, talk)
J
Jackson, Paul	A note on real quantifier elimination by virtual term substitution of unbounded degree (PDF, talk)
Jameel, Tahir	A hybrid path constraint solver combined with meta-heuristic search (PDF, talk)
Jiang, Dongchen	The Verification of Conversion Algorithms between Finite Automata (PDF, talk)
K
Katsaros, Panagiotis	Source code profiling and classification for automated detection of logical errors (PDF, talk)
Knoop, Jens	Successfully Coping with Scalability of Symbolic Analysis in Timing Analysis (PDF, talk)
Kovacs, Laura	Successfully Coping with Scalability of Symbolic Analysis in Timing Analysis (PDF, talk)
Kutsia, Temur	Confluence of Pattern-Based Calculi with Finitary Matching (PDF, talk)
L
Letichevsky, Alexander	New predicate transformer for symbolic modeling (PDF, talk)
Letychevskyi, Oleksandr	New predicate transformer for symbolic modeling (PDF, talk)
Li, Kangjie	VTOS: A Finite State Machine Model of OS and Formalized Verification of Its Microkernel (PDF, talk)
Li, Wei	An Attempt to Formalize Popper's Logic of Scientific Discovery (PDF, talk) A Model Theory for R-calculus without Cut (PDF, talk)
Liiva, Kristjan	A note on real quantifier elimination by virtual term substitution of unbounded degree (PDF, talk)
Lin, Mengxiang	A hybrid path constraint solver combined with meta-heuristic search (PDF, talk)
Lucanu, Dorel	Programming Language Aggregation with Applications in Equivalence Checking (PDF, talk)
Luo, Jie	RCK: A Software Toolkit for R-calculus (PDF, talk) A Model Theory for R-calculus without Cut (PDF, talk)
P
Passmore, Grant	A note on real quantifier elimination by virtual term substitution of unbounded degree (PDF, talk)
Peschanenko, Vladimir	New predicate transformer for symbolic modeling (PDF, talk)
Praher, Jakob	Symbolic Problem Solving With Bidirectional Executable Representations (PDF, talk)
Q
Qian, Zhengjiang	VTOS: A Finite State Machine Model of OS and Formalized Verification of Its Microkernel (PDF, talk)
R
Rosu, Grigore	Programming Language Aggregation with Applications in Equivalence Checking (PDF, talk)
Rusinowitch, Michael	Automated verification of security protocols and services (PDF, talk)
Rusu, Vlad	Programming Language Aggregation with Applications in Equivalence Checking (PDF, talk)
S
Sofronie-Stokkermans, Viorica	Hierarchical reasoning and quantifier elimination for the verification of parametric reactive and hybrid systems (PDF, talk)
Song, Fangmin	VTOS: A Finite State Machine Model of OS and Formalized Verification of Its Microkernel (PDF, talk)
Stergiopoulos, George	Source code profiling and classification for automated detection of logical errors (PDF, talk)
Stratulat, Sorin	Building explicit induction schemas for cyclic induction reasoning (PDF, talk)
W
Wang, Farn	Automatic App Testing of LTL Properties (PDF, talk)
Weigert, Thomas	New predicate transformer for symbolic modeling (PDF, talk)
Z
Zwirchmayr, Jakob	Successfully Coping with Scalability of Symbolic Analysis in Timing Analysis (PDF, talk)