VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program