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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319471686, 9783319471693

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

User Profiles for Context-Aware Reconfiguration in Software Product Lines

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

10.1007/978-3-319-47169-3_44 ◽

2016 ◽

pp. 563-578 ◽

Cited By ~ 2

Author(s):

Michael Nieke ◽

Jacopo Mauro ◽

Christoph Seidl ◽

Ingrid Chieh Yu

Keyword(s):

Software Product Lines ◽

Context Aware ◽

User Profiles ◽

Product Lines ◽

Software Product

Download Full-text

Merging Modeling and Programming Using Umple

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

10.1007/978-3-319-47169-3_14 ◽

2016 ◽

pp. 187-197 ◽

Cited By ~ 8

Author(s):

Timothy C. Lethbridge ◽

Vahdat Abdelzad ◽

Mahmoud Husseini Orabi ◽

Ahmed Husseini Orabi ◽

Opeyemi Adesina

Download Full-text

Enhancement of an Adaptive HEV Operating Strategy Using Machine Learning Algorithms

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

10.1007/978-3-319-47169-3_53 ◽

2016 ◽

pp. 688-702 ◽

Cited By ~ 1

Author(s):

Mark Schudeleit ◽

Meng Zhang ◽

Xiaofei Qi ◽

Ferit Küçükay ◽

Andreas Rausch

Keyword(s):

Machine Learning ◽

Learning Algorithms ◽

Machine Learning Algorithms ◽

Operating Strategy

Download Full-text

Programming ⊂ Modeling ⊂ Engineering

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

10.1007/978-3-319-47169-3_2 ◽

2016 ◽

pp. 11-26 ◽

Cited By ~ 2

Author(s):

Bran Selić

Download Full-text

Systems Modeling and Programming in a Unified Environment Based on Julia

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

10.1007/978-3-319-47169-3_15 ◽

2016 ◽

pp. 198-217 ◽

Cited By ~ 7

Author(s):

Hilding Elmqvist ◽

Toivo Henningsson ◽

Martin Otter

Keyword(s):

Systems Modeling

Download Full-text

Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring

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

10.1007/978-3-319-47169-3_52 ◽

2016 ◽

pp. 672-687 ◽

Cited By ~ 4

Author(s):

Malte Mauritz ◽

Falk Howar ◽

Andreas Rausch

Keyword(s):

Runtime Monitoring ◽

Driver Assistance ◽

Driver Assistance Systems ◽

Advanced Driver Assistance Systems ◽

Assistance Systems

Download Full-text

Model-Based Testing as a Service for IoT Platforms

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

10.1007/978-3-319-47169-3_55 ◽

2016 ◽

pp. 727-742 ◽

Cited By ~ 9

Author(s):

Abbas Ahmad ◽

Fabrice Bouquet ◽

Elizabeta Fourneret ◽

Franck Le Gall ◽

Bruno Legeard

Keyword(s):

Model Based ◽

Model Based Testing ◽

Iot Platforms ◽

Testing As A Service

Download Full-text

Modelling and Testing of Real Systems

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

10.1007/978-3-319-47169-3_9 ◽

2016 ◽

pp. 119-130 ◽

Cited By ~ 3

Author(s):

Andreas Prinz ◽

Birger Møller-Pedersen ◽

Joachim Fischer

Download Full-text

A Technology-Neutral Role-Based Collaboration Model for Software Ecosystems

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

10.1007/978-3-319-47169-3_41 ◽

2016 ◽

pp. 512-530 ◽

Cited By ~ 1

Author(s):

Ştefan Stănciulescu ◽

Daniela Rabiser ◽

Christoph Seidl

Keyword(s):

Software Ecosystems ◽

Collaboration Model ◽

Role Based

Download Full-text

Towards a Logic for Inferring Properties of Event Streams

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

10.1007/978-3-319-47169-3_31 ◽

2016 ◽

pp. 394-399 ◽

Cited By ~ 1

Author(s):

Sean Kauffman ◽

Rajeev Joshi ◽

Klaus Havelund

Download Full-text

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

User Profiles for Context-Aware Reconfiguration in Software Product Lines

Merging Modeling and Programming Using Umple

Enhancement of an Adaptive HEV Operating Strategy Using Machine Learning Algorithms

Programming ⊂ Modeling ⊂ Engineering

Systems Modeling and Programming in a Unified Environment Based on Julia

Assuring the Safety of Advanced Driver Assistance Systems Through a Combination of Simulation and Runtime Monitoring

Model-Based Testing as a Service for IoT Platforms

Modelling and Testing of Real Systems

A Technology-Neutral Role-Based Collaboration Model for Software Ecosystems

Towards a Logic for Inferring Properties of Event Streams

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