Lecture Notes in Computer Science - Principles of Modeling
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319952451, 9783319952468

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the Road to Conviction: An Email Exchange with Edward Lee

Lecture Notes in Computer Science - Principles of Modeling ◽

10.1007/978-3-319-95246-8_29 ◽

2018 ◽

pp. 524-537

Author(s):

Reinhard Wilhelm

Keyword(s):

The Road ◽

On The Road

Download Full-text

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces

Lecture Notes in Computer Science - Principles of Modeling ◽

10.1007/978-3-319-95246-8_2 ◽

2018 ◽

pp. 16-37 ◽

Cited By ~ 3

Author(s):

Gul Agha ◽

Karl Palmskog

Keyword(s):

Execution Traces

Download Full-text

Lossy Channels in a Dataflow Model of Computation

Lecture Notes in Computer Science - Principles of Modeling ◽

10.1007/978-3-319-95246-8_15 ◽

2018 ◽

pp. 254-266

Author(s):

Pascal Fradet ◽

Alain Girault ◽

Leila Jamshidian ◽

Xavier Nicollin ◽

Arash Shafiei

Keyword(s):

Model Of Computation ◽

Dataflow Model

Download Full-text

A Semantic Account of Rigorous Simulation

Lecture Notes in Computer Science - Principles of Modeling ◽

10.1007/978-3-319-95246-8_13 ◽

2018 ◽

pp. 223-239

Author(s):

Adam Duracz ◽

Eugenio Moggi ◽

Walid Taha ◽

Zhenchao Lin

Keyword(s):

Semantic Account

Download Full-text

Model-Based Representations for Dataflow Schedules

Lecture Notes in Computer Science - Principles of Modeling ◽

10.1007/978-3-319-95246-8_6 ◽

2018 ◽

pp. 88-105

Author(s):

Shuvra S. Bhattacharyya ◽

Johan Lilius

Keyword(s):

Model Based

Download Full-text

Anytime Algorithms in Time-Triggered Control Systems

Lecture Notes in Computer Science - Principles of Modeling ◽

10.1007/978-3-319-95246-8_19 ◽

2018 ◽

pp. 326-335

Author(s):

Hermann Kopetz

Keyword(s):

Control Systems ◽

Anytime Algorithms

Download Full-text

Augmenting State Models with Data Flow

Lecture Notes in Computer Science - Principles of Modeling ◽

10.1007/978-3-319-95246-8_28 ◽

2018 ◽

pp. 504-523

Author(s):

Nis Wechselberg ◽

Alexander Schulz-Rosengarten ◽

Steven Smyth ◽

Reinhard von Hanxleden

Keyword(s):

Data Flow ◽

State Models

Download Full-text

Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience

Lecture Notes in Computer Science - Principles of Modeling ◽

10.1007/978-3-319-95246-8_25 ◽

2018 ◽

pp. 423-448 ◽

Cited By ~ 7

Author(s):

Marjan Sirjani

Download Full-text

You Can Program What You Want but You Cannot Compute What You Want

Lecture Notes in Computer Science - Principles of Modeling ◽

10.1007/978-3-319-95246-8_1 ◽

2018 ◽

pp. 1-15

Author(s):

Alireza S. Abyaneh ◽

Christoph M. Kirsch

Download Full-text

On Determinism

Lecture Notes in Computer Science - Principles of Modeling ◽

10.1007/978-3-319-95246-8_14 ◽

2018 ◽

pp. 240-253

Author(s):

Stephen A. Edwards

Download Full-text

Lecture Notes in Computer Science - Principles of ModelingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

On the Road to Conviction: An Email Exchange with Edward Lee

Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces

Lossy Channels in a Dataflow Model of Computation

A Semantic Account of Rigorous Simulation

Model-Based Representations for Dataflow Schedules

Anytime Algorithms in Time-Triggered Control Systems

Augmenting State Models with Data Flow

Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience

You Can Program What You Want but You Cannot Compute What You Want

On Determinism

Lecture Notes in Computer Science - Principles of Modeling
Latest Publications