Automated Technology for Verification and Analysis - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer International Publishing

9783030010898, 9783030010904
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Neural State Classification for Hybrid Systems

2018 ◽  
pp. 422-440 ◽  
Author(s):  
Dung Phan ◽  
Nicola Paoletti ◽  
Timothy Zhang ◽  
Radu Grosu ◽  
Scott A. Smolka ◽  
...  
Keyword(s):  
Hybrid Systems ◽  
State Classification

scholarly journals EthIR: A Framework for High-Level Analysis of Ethereum Bytecode

2018 ◽  
pp. 513-520 ◽  
Author(s):  
Elvira Albert ◽  
Pablo Gordillo ◽  
Benjamin Livshits ◽  
Albert Rubio ◽  
Ilya Sergey
Keyword(s):  
High Level ◽  
Level Analysis

scholarly journals EVE: A Tool for Temporal Equilibrium Analysis

2018 ◽  
pp. 551-557 ◽  
Author(s):  
Julian Gutierrez ◽  
Muhammad Najib ◽  
Giuseppe Perelli ◽  
Michael Wooldridge
Keyword(s):  
Equilibrium Analysis

Information Leakage in Arbiter Protocols

2018 ◽  
pp. 404-421
Author(s):  
Nestan Tsiskaridze ◽  
Lucas Bang ◽  
Joseph McMahan ◽  
Tevfik Bultan ◽  
Timothy Sherwood
Keyword(s):  
Information Leakage
Load More ...
Sign in / Sign up

Export Citation Format

Share Document