Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification, and Validation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319516400, 9783319516417

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Driven Active Automata Learning with LearnLib Studio

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-319-51641-7_8 ◽

2016 ◽

pp. 128-142

Author(s):

Oliver Bauer ◽

Johannes Neubauer ◽

Malte Isberner

Keyword(s):

Model Driven ◽

Automata Learning

Download Full-text

Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-319-51641-7_6 ◽

2016 ◽

pp. 97-112

Author(s):

Frederik Gossen

Keyword(s):

Head Pose ◽

Depth Data ◽

Pose Normalization

Download Full-text

Rehasport: The Challenge of Small Margin Healthcare Accounting

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-319-51641-7_1 ◽

2016 ◽

pp. 3-18

Author(s):

Markus Doedt ◽

Thomas Göke ◽

Jan Pardo ◽

Maik Merten

Download Full-text

Counterexample-Guided Prefix Refinement Analysis for Program Verification

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-319-51641-7_9 ◽

2016 ◽

pp. 143-155

Author(s):

Marc Jasper

Keyword(s):

Program Verification

Download Full-text

Learning-Based Cross-Platform Conformance Testing

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-319-51641-7_4 ◽

2016 ◽

pp. 53-79

Author(s):

Johannes Neubauer ◽

Bernhard Steffen

Keyword(s):

Conformance Testing ◽

Cross Platform

Download Full-text

Automated Spatial Data Processing and Refining

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-319-51641-7_3 ◽

2016 ◽

pp. 38-49 ◽

Cited By ~ 2

Author(s):

Marion Simon ◽

Hartmut Asche

Keyword(s):

Data Processing ◽

Spatial Data ◽

Spatial Data Processing

Download Full-text

Design and Implementation of Data Usability Processor into an Automated Processing Chain for Optical Remote Sensing Data

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-319-51641-7_2 ◽

2016 ◽

pp. 21-37

Author(s):

Erik Borg ◽

Bernd Fichtelmann ◽

Christian Fischer ◽

Hartmut Asche

Keyword(s):

Remote Sensing ◽

Remote Sensing Data ◽

Optical Remote Sensing ◽

Sensing Data ◽

Design And Implementation ◽

Processing Chain ◽

Automated Processing ◽

Data Usability

Download Full-text

Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile Matching

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-319-51641-7_5 ◽

2016 ◽

pp. 83-96

Author(s):

Axel Hessenkämper ◽

Barbara Steffen ◽

Steve Boßelmann

Keyword(s):

Global Communication ◽

Communication Infrastructure ◽

Profile Matching

Download Full-text

Guided Domain-Specific Tailoring of jABC4

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification, and Validation ◽

10.1007/978-3-319-51641-7_7 ◽

2016 ◽

pp. 113-127 ◽

Cited By ~ 2

Author(s):

Dennis Kühn ◽

Johannes Neubauer

Keyword(s):

Domain Specific

Download Full-text

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification, and ValidationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Model-Driven Active Automata Learning with LearnLib Studio

Head Pose Normalization for Recognition of Human Identities Using Color and Depth Data

Rehasport: The Challenge of Small Margin Healthcare Accounting

Counterexample-Guided Prefix Refinement Analysis for Program Verification

Learning-Based Cross-Platform Conformance Testing

Automated Spatial Data Processing and Refining

Design and Implementation of Data Usability Processor into an Automated Processing Chain for Optical Remote Sensing Data

Global Communication Infrastructure: Towards Standardization of Customized Projects via Profile Matching

Guided Domain-Specific Tailoring of jABC4

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification, and Validation
Latest Publications