Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769530710

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Test Generation for Model-Based Code Generators

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) ◽

10.1109/isola.2006.70 ◽

2006 ◽

Cited By ~ 7

Author(s):

Sergey V. Zelenov ◽

Denis V. Silakov ◽

Alexander K. Petrenko ◽

Mirko Conrad ◽

Ines Fey

Keyword(s):

Test Generation ◽

Automatic Test Generation ◽

Automatic Test ◽

Model Based ◽

Code Generators

Download Full-text

Certificates of Resource Usage on Mobile Telephones

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) ◽

10.1109/isola.2006.41 ◽

2006 ◽

Author(s):

Thomas Jensen

Keyword(s):

Resource Usage ◽

Mobile Telephones

Download Full-text

Improve Model Checking Efficiency Using Specific Knowledge about the System

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) ◽

10.1109/isola.2006.28 ◽

2006 ◽

Author(s):

Jianhua Zhao ◽

Bin Lei ◽

Xuandong Li ◽

Guoliang Zheng

Keyword(s):

Model Checking ◽

Specific Knowledge ◽

Improve Model

Download Full-text

[mc]square: A Model Checker for Microcontroller Code

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) ◽

10.1109/isola.2006.62 ◽

2006 ◽

Cited By ~ 13

Author(s):

Bastian Schlich ◽

Stefan Kowalewski

Keyword(s):

Model Checker

Download Full-text

Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) ◽

10.1109/isola.2006.60 ◽

2006 ◽

Cited By ~ 5

Author(s):

Xianghua Deng ◽

Robby ◽

John Hatcliff

Keyword(s):

Symbolic Execution ◽

Test Case Generation ◽

Test Case

Download Full-text

Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) ◽

10.1109/isola.2006.63 ◽

2006 ◽

Cited By ~ 15

Author(s):

Daniel Sehlberg ◽

Andreas Ermedahl ◽

Jan Gustafsson ◽

Björn Lisper ◽

Steffen Wiegratz

Keyword(s):

Control Systems ◽

Real Time ◽

Vehicle Control ◽

Wcet Analysis ◽

Time Task ◽

Task Oriented

Download Full-text

Context Awareness Systems Design and Reasoning

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) ◽

10.1109/isola.2006.29 ◽

2006 ◽

Cited By ~ 3

Author(s):

Jin Song Dong ◽

Yuzhang Feng ◽

Jing Sun ◽

Jun Sun

Keyword(s):

Context Awareness ◽

Systems Design

Download Full-text

Reasoning about Airport Security Regulations Using the Focal Environment

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) ◽

10.1109/isola.2006.25 ◽

2006 ◽

Cited By ~ 6

Author(s):

David Delahaye ◽

Jean-Frédéric Étienne ◽

Véronique Viguié Donzeau-Gouge

Keyword(s):

Airport Security ◽

Security Regulations

Download Full-text

Patterns with Algebraic Properties in BPEL0

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) ◽

10.1109/isola.2006.57 ◽

2006 ◽

Cited By ~ 3

Author(s):

Geguang Pu ◽

Huibiao Zhu ◽

Jifeng He ◽

Zongyan Qiu ◽

Hongli Yang ◽

...

Keyword(s):

Algebraic Properties

Download Full-text

Modeling of Sensor Networks Using XRM

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) ◽

10.1109/isola.2006.27 ◽

2006 ◽

Cited By ~ 7

Author(s):

Akim Demaille ◽

Sylvain Peyronnet ◽

Benoît Sigoure

Keyword(s):

Sensor Networks

Download Full-text

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Automatic Test Generation for Model-Based Code Generators

Certificates of Resource Usage on Mobile Telephones

Improve Model Checking Efficiency Using Specific Knowledge about the System

[mc]square: A Model Checker for Microcontroller Code

Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution

Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems

Context Awareness Systems Design and Reasoning

Reasoning about Airport Security Regulations Using the Focal Environment

Patterns with Algebraic Properties in BPEL0

Modeling of Sensor Networks Using XRM

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)
Latest Publications