TAPAS 2019: THE TENTH WORKSHOP ON TOOLS FOR AUTOMATIC PROGRAM ANALYSIS

A
Alias, Christophe	fkcc: the Farkas Calculator
B
Batty, Mark	PrideMM: Second Order Model Checking for Memory Consistency Models
Bodden, Eric	AuthCheck: Program-state Analysis for Access-control Vulnerabilities
C
Cooksey, Simon	PrideMM: Second Order Model Checking for Memory Consistency Models
Cordeiro, Lucas	Boost the Impact of Continuous Formal Verification in Industry
G
Garcia-Contreras, Isabel	Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP (Extended Abstract)
Grigore, Radu	PrideMM: Second Order Model Checking for Memory Consistency Models
H
Harris, Sarah	PrideMM: Second Order Model Checking for Memory Consistency Models
Hermenegildo, Manuel V.	Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP (Extended Abstract)
Husák, Robert	Handling Heap Data Structures in Backward Symbolic Execution
J
Janota, Mikolas	PrideMM: Second Order Model Checking for Memory Consistency Models
K
Kofron, Jan	Handling Heap Data Structures in Backward Symbolic Execution
L
Lacabanne, Pascal	Transforming development processes of avionics software with formal methods
M
Morales, Jose F.	Experiments in Context-Sensitive Incremental and Modular Static Analysis in CiaoPP (Extended Abstract)
P
Petrasch, Tobias	AuthCheck: Program-state Analysis for Access-control Vulnerabilities
Piskachev, Goran	AuthCheck: Program-state Analysis for Access-control Vulnerabilities
R
R. Gadelha, Mikhail	Boost the Impact of Continuous Formal Verification in Industry
R. Monteiro, Felipe	Boost the Impact of Continuous Formal Verification in Industry
Raco, Deni	Leveraging Highly Automated Theorem Proving for Certication
Rumpe, Bernhard	Leveraging Highly Automated Theorem Proving for Certication
S
Schmidt, Bernard	Establishing Sound Static Analysis for Integration Verification of Large-Scale Software in Automotive Industry
Späth, Johannes	AuthCheck: Program-state Analysis for Access-control Vulnerabilities
Stüber, Sebastian	Leveraging Highly Automated Theorem Proving for Certication
Z
Zaffanella, Enea	Some thoughts on the design of abstract domains
Zavoral, Filip	Handling Heap Data Structures in Backward Symbolic Execution

Disclaimer | Powered by EasyChair Smart Program