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

TOTAL DOCUMENTS

41

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642243714, 9783642243721

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections

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

10.1007/978-3-642-24372-1_6 ◽

2011 ◽

pp. 60-74 ◽

Author(s):

Miguel Carrillo ◽

David A. Rosenblueth

Download Full-text

A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems

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

10.1007/978-3-642-24372-1_15 ◽

2011 ◽

pp. 198-212 ◽

Author(s):

Janusz Malinowski ◽

Peter Niebert ◽

Pierre-Alain Reynier

Keyword(s):

Hybrid Systems ◽

Hierarchical Approach ◽

Stabilizing Controllers

Download Full-text

Trust Metrics for the SPKI/SDSI Authorisation Framework

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

10.1007/978-3-642-24372-1_13 ◽

2011 ◽

pp. 168-182

Author(s):

Dominik Wojtczak

Keyword(s):

Download Full-text

Policy Iteration within Logico-Numerical Abstract Domains

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

10.1007/978-3-642-24372-1_21 ◽

2011 ◽

pp. 290-305 ◽

Author(s):

Pascal Sotin ◽

Bertrand Jeannet ◽

Franck Védrine ◽

Eric Goubault

Keyword(s):

Policy Iteration ◽

Numerical Abstract Domains ◽

Abstract Domains

Download Full-text

Automated Analysis of Industrial Embedded Software

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

10.1007/978-3-642-24372-1_5 ◽

2011 ◽

pp. 51-59

Author(s):

Moonzoo Kim ◽

Yunho Kim

Keyword(s):

Automated Analysis ◽

Embedded Software

Download Full-text

Efficient Loop Navigation for Symbolic Execution

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

10.1007/978-3-642-24372-1_34 ◽

2011 ◽

pp. 453-462 ◽

Author(s):

Jan Obdržálek ◽

Marek Trtík

Keyword(s):

Symbolic Execution

Download Full-text

An Efficient Algorithm for Learning Event-Recording Automata

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

10.1007/978-3-642-24372-1_35 ◽

2011 ◽

pp. 463-472 ◽

Author(s):

Shang-Wei Lin ◽

Étienne André ◽

Jin Song Dong ◽

Jun Sun ◽

Yang Liu

Keyword(s):

Efficient Algorithm ◽

Event Recording ◽

Download Full-text

Making Software Verification Tools Really Work

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

10.1007/978-3-642-24372-1_3 ◽

2011 ◽

pp. 28-42 ◽

Author(s):

Jade Alglave ◽

Alastair F. Donaldson ◽

Daniel Kroening ◽

Michael Tautschnig

Keyword(s):

Software Verification ◽

Verification Tools

Download Full-text

Learning-Based Compositional Verification for Synchronous Probabilistic Systems

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

10.1007/978-3-642-24372-1_40 ◽

2011 ◽

pp. 511-521 ◽

Author(s):

Lu Feng ◽

Tingting Han ◽

Marta Kwiatkowska ◽

David Parker

Keyword(s):

Compositional Verification ◽

Probabilistic Systems

Download Full-text

Linear Hybrid System Falsification through Local Search

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

10.1007/978-3-642-24372-1_39 ◽

2011 ◽

pp. 503-510 ◽

Author(s):

Houssam Abbas ◽

Georgios Fainekos

Keyword(s):

Local Search ◽

Download Full-text