Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation
Latest Publications

TOTAL DOCUMENTS

46

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642165603, 9783642165610

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Role of Non-functional Properties in Compiler Verification

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-642-16561-0_46 ◽

2010 ◽

pp. 491-495

Author(s):

Jens Knoop ◽

Wolf Zimmermann

Keyword(s):

Functional Properties ◽

Compiler Verification

Download Full-text

Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-642-16561-0_41 ◽

2010 ◽

pp. 449-463 ◽

Author(s):

Björn Lisper ◽

Andreas Ermedahl ◽

Dietmar Schreiner ◽

Jens Knoop ◽

Peter Gliwa

Keyword(s):

Flow Analysis ◽

Source Level ◽

Practical Experiences

Download Full-text

Certification of Software-Driven Medical Devices

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-642-16561-0_29 ◽

2010 ◽

pp. 293-295

Author(s):

Mark Lawford ◽

Tom Maibaum ◽

Alan Wassyng

Keyword(s):

Medical Devices

Download Full-text

Modeling and Reasoning about Service Behaviors and Their Compositions

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-642-16561-0_14 ◽

2010 ◽

pp. 82-96 ◽

Author(s):

Aida Čaušević ◽

Cristina Seceleanu ◽

Paul Pettersson

Download Full-text

Towards a Connector Algebra

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-642-16561-0_28 ◽

2010 ◽

pp. 278-292 ◽

Author(s):

Marco Autili ◽

Chris Chilton ◽

Paola Inverardi ◽

Marta Kwiatkowska ◽

Massimo Tivoli

Download Full-text

Model-Checking Temporal Properties of Real-Time HTL Programs

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-642-16561-0_22 ◽

2010 ◽

pp. 191-205

Author(s):

André Carvalho ◽

Joel Carvalho ◽

Jorge Sousa Pinto ◽

Simão Melo de Sousa

Keyword(s):

Model Checking ◽

Real Time ◽

Temporal Properties

Download Full-text

Modeling and Analyzing Diversity

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-642-16561-0_7 ◽

2010 ◽

pp. 23-25

Author(s):

Ina Schaefer

Download Full-text

Covering Arrays Generation Methods Survey

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-642-16561-0_36 ◽

2010 ◽

pp. 382-396 ◽

Author(s):

Victor Kuliamin ◽

Alexander Petukhov

Keyword(s):

Covering Arrays

Download Full-text

LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-642-16561-0_5 ◽

2010 ◽

pp. 15-19 ◽

Author(s):

Alessandro Moschitti

Keyword(s):

Kernel Methods ◽

Relational Learning ◽

Semantic Modeling

Download Full-text

Adaptive Composition of Conversational Services through Graph Planning Encoding

Lecture Notes in Computer Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-642-16561-0_11 ◽

2010 ◽

pp. 35-50 ◽

Author(s):

Pascal Poizat ◽

Yuhong Yan

Keyword(s):

Download Full-text