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 Berlin Heidelberg

9783642347801, 9783642347818

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Hierarchical Variability Model for Software Product Lines

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

10.1007/978-3-642-34781-8_15 ◽

2012 ◽

pp. 181-199 ◽

Cited By ~ 1

Author(s):

Dilian Gurov ◽

Bjarte M. Østvold ◽

Ina Schaefer

Keyword(s):

Software Product Lines ◽

Product Lines ◽

Software Product ◽

Variability Model

Download Full-text

Monitoring Anomalies in IT-Landscapes Using Clustering Techniques and Complex Event Processing

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

10.1007/978-3-642-34781-8_14 ◽

2012 ◽

pp. 162-180 ◽

Cited By ~ 2

Author(s):

Matthias Gander ◽

Michael Felderer ◽

Basel Katt ◽

Ruth Breu

Keyword(s):

Complex Event Processing ◽

Event Processing ◽

Clustering Techniques

Download Full-text

Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments

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

10.1007/978-3-642-34781-8_5 ◽

2012 ◽

pp. 61-75

Author(s):

Tobe Toben ◽

Sönke Eilers ◽

Christian Kuka ◽

Sören Schweigert ◽

Hannes Winkelmann ◽

...

Keyword(s):

Outdoor Environments

Download Full-text

Automata Learning with On-the-Fly Direct Hypothesis Construction

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

10.1007/978-3-642-34781-8_19 ◽

2012 ◽

pp. 248-260 ◽

Cited By ~ 4

Author(s):

Maik Merten ◽

Falk Howar ◽

Bernhard Steffen ◽

Tiziana Margaria

Keyword(s):

Automata Learning

Download Full-text

The Teachers’ Crowd: The Impact of Distributed Oracles on Active Automata Learning

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

10.1007/978-3-642-34781-8_18 ◽

2012 ◽

pp. 232-247 ◽

Cited By ~ 7

Author(s):

Falk Howar ◽

Oliver Bauer ◽

Maik Merten ◽

Bernhard Steffen ◽

Tiziana Margaria

Keyword(s):

Automata Learning ◽

The Impact

Download Full-text

KOROS Initiative: Automatized Throwing and Catching for Material Transportation

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

10.1007/978-3-642-34781-8_10 ◽

2012 ◽

pp. 136-143 ◽

Cited By ~ 4

Author(s):

Martin Pongratz ◽

Klaus Pollhammer ◽

Alexander Szep

Keyword(s):

Material Transportation

Download Full-text

A Role-Based Language for Collaborative Robot Applications

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

10.1007/978-3-642-34781-8_1 ◽

2012 ◽

pp. 1-15 ◽

Cited By ~ 3

Author(s):

Sebastian Götz ◽

Max Leuthäuser ◽

Jan Reimann ◽

Julia Schroeter ◽

Christian Wende ◽

...

Keyword(s):

Role Based ◽

Collaborative Robot

Download Full-text

A Software Integration Framework for Cognitive Systems

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

10.1007/978-3-642-34781-8_9 ◽

2012 ◽

pp. 121-135

Author(s):

Michael Zillich ◽

Wolfgang Ponweiser ◽

Markus Vincze

Keyword(s):

Cognitive Systems ◽

Software Integration ◽

Integration Framework

Download Full-text

Machine Learning for Automatic Classification of Web Service Interface Descriptions

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

10.1007/978-3-642-34781-8_17 ◽

2012 ◽

pp. 220-231 ◽

Cited By ~ 2

Author(s):

Amel Bennaceur ◽

Valérie Issarny ◽

Richard Johansson ◽

Alessandro Moschitti ◽

Daniel Sykes ◽

...

Keyword(s):

Machine Learning ◽

Web Service ◽

Automatic Classification ◽

Service Interface

Download Full-text

Object Detection and Classification for Domestic Robots

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

10.1007/978-3-642-34781-8_8 ◽

2012 ◽

pp. 106-120 ◽

Cited By ~ 2

Author(s):

Markus Vincze ◽

Walter Wohlkinger ◽

Sven Olufs ◽

Peter Einramhof ◽

Robert Schwarz ◽

...

Keyword(s):

Object Detection ◽

Domestic Robots

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 Berlin Heidelberg

A Hierarchical Variability Model for Software Product Lines

Monitoring Anomalies in IT-Landscapes Using Clustering Techniques and Complex Event Processing

Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments

Automata Learning with On-the-Fly Direct Hypothesis Construction

The Teachers’ Crowd: The Impact of Distributed Oracles on Active Automata Learning

KOROS Initiative: Automatized Throwing and Catching for Material Transportation

A Role-Based Language for Collaborative Robot Applications

A Software Integration Framework for Cognitive Systems

Machine Learning for Automatic Classification of Web Service Interface Descriptions

Object Detection and Classification for Domestic Robots

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