Formal Aspects of Component Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319076010, 9783319076027

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Orchestration

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

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

2014 ◽

pp. 5-12

Author(s):

Jayadev Misra

Download Full-text

Using Daikon to Prioritize and Group Unit Bugs

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07602-7_14 ◽

2014 ◽

pp. 215-233

Author(s):

Nehul Jain ◽

Saikat Dutta ◽

Ansuman Banerjee ◽

Anil K. Ghosh ◽

Lihua Xu ◽

...

Download Full-text

Compatibility Checking for Asynchronously Communicating Software

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07602-7_19 ◽

2014 ◽

pp. 310-328 ◽

Cited By ~ 6

Author(s):

Meriem Ouederni ◽

Gwen Salaün ◽

Tevfik Bultan

Download Full-text

Automatic Component Deployment in the Presence of Circular Dependencies

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07602-7_16 ◽

2014 ◽

pp. 254-272 ◽

Cited By ~ 3

Author(s):

Tudor A. Lascu ◽

Jacopo Mauro ◽

Gianluigi Zavattaro

Download Full-text

A General Trace-Based Framework of Logical Causality

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07602-7_11 ◽

2014 ◽

pp. 157-173 ◽

Cited By ~ 5

Author(s):

Gregor Gössler ◽

Daniel Le Métayer

Download Full-text

A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07602-7_22 ◽

2014 ◽

pp. 369-383

Author(s):

Xiuna Zhu

Keyword(s):

Formal Model ◽

Behavior Specification

Download Full-text

Layered Reduction for Modal Specification Theories

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07602-7_20 ◽

2014 ◽

pp. 329-347 ◽

Cited By ~ 2

Author(s):

Arpit Sharma ◽

Joost-Pieter Katoen

Download Full-text

Probabilistic Modal Specifications (Invited Extended Abstract)

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

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

2014 ◽

pp. 1-4

Author(s):

Kim G. Larsen ◽

Axel Legay

Download Full-text

Incremental Modeling of System Architecture Satisfying SysML Functional Requirements

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

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

2014 ◽

pp. 79-99 ◽

Cited By ~ 1

Author(s):

Oscar Carrillo ◽

Samir Chouali ◽

Hassan Mountassir

Keyword(s):

System Architecture ◽

Functional Requirements ◽

Incremental Modeling

Download Full-text

A Proof-Carrying Code Approach to Certificate Auction Mechanisms

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

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

2014 ◽

pp. 23-40 ◽

Cited By ~ 1

Author(s):

W. Bai ◽

E. M. Tadjouddine ◽

T. R. Payne ◽

S. U. Guan

Keyword(s):

Auction Mechanisms

Download Full-text

Formal Aspects of Component Software - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Orchestration

Using Daikon to Prioritize and Group Unit Bugs

Compatibility Checking for Asynchronously Communicating Software

Automatic Component Deployment in the Presence of Circular Dependencies

A General Trace-Based Framework of Logical Causality

A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables

Layered Reduction for Modal Specification Theories

Probabilistic Modal Specifications (Invited Extended Abstract)

Incremental Modeling of System Architecture Satisfying SysML Functional Requirements

A Proof-Carrying Code Approach to Certificate Auction Mechanisms

Formal Aspects of Component Software - Lecture Notes in Computer Science
Latest Publications