From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642548475, 9783642548482

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Driven Information Flow Security for Component-Based Systems

From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54848-2_1 ◽

2014 ◽

pp. 1-20 ◽

Author(s):

Najah Ben Said ◽

Takoua Abdellatif ◽

Saddek Bensalem ◽

Marius Bozga

Keyword(s):

Information Flow ◽

Information Flow Security ◽

Download Full-text

Steps towards Scenario-Based Programming with a Natural Language Interface

From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54848-2_9 ◽

2014 ◽

pp. 129-144 ◽

Author(s):

Michal Gordon ◽

David Harel

Keyword(s):

Natural Language ◽

Natural Language Interface

Download Full-text

Feedback in Synchronous Relational Interfaces

From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54848-2_17 ◽

2014 ◽

pp. 249-266 ◽

Author(s):

Stavros Tripakis ◽

Chris Shaver

Download Full-text

The Unmet Challenge of Timed Systems

From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54848-2_12 ◽

2014 ◽

pp. 177-192 ◽

Author(s):

Oded Maler

Keyword(s):

Download Full-text

Constructive Collisions

From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54848-2_11 ◽

2014 ◽

pp. 161-176

Author(s):

Edward A. Lee

Download Full-text

Parametric and Quantitative Extensions of Modal Transition Systems

From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54848-2_6 ◽

2014 ◽

pp. 84-97 ◽

Author(s):

Uli Fahrenberg ◽

Kim Guldstrand Larsen ◽

Axel Legay ◽

Louis-Marie Traonouez

Keyword(s):

Transition Systems ◽

Modal Transition Systems

Download Full-text

What Can be Computed in a Distributed System?

From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54848-2_14 ◽

2014 ◽

pp. 209-224 ◽

Author(s):

Michel Raynal

Keyword(s):

Distributed System

Download Full-text

Let’s Get Physical: Computer Science Meets Systems

From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54848-2_13 ◽

2014 ◽

pp. 193-208 ◽

Author(s):

Pierluigi Nuzzo ◽

Alberto Sangiovanni-Vincentelli

Keyword(s):

Computer Science

Download Full-text

A Model of Dynamic Systems

From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54848-2_3 ◽

2014 ◽

pp. 39-53 ◽

Author(s):

Manfred Broy

Keyword(s):

Dynamic Systems

Download Full-text

Programming and Verifying Component Ensembles

From Programs to Systems. The Systems perspective in Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-54848-2_5 ◽

2014 ◽

pp. 69-83 ◽

Author(s):

Rocco De Nicola ◽

Alberto Lluch Lafuente ◽

Michele Loreti ◽

Andrea Morichetta ◽

Rosario Pugliese ◽

...

Download Full-text