↓ Skip to main content

Principles of Modeling

Overview of attention for book
Cover of 'Principles of Modeling'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 You Can Program What You Want but You Cannot Compute What You Want
  3. Altmetric Badge
    Chapter 2 Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces
  4. Altmetric Badge
    Chapter 3 Interfaces for Stream Processing Systems
  5. Altmetric Badge
    Chapter 4 Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties
  6. Altmetric Badge
    Chapter 5 Predictability Issues in Mixed-Criticality Real-Time Systems
  7. Altmetric Badge
    Chapter 6 Model-Based Representations for Dataflow Schedules
  8. Altmetric Badge
    Chapter 7 Hybrid Simulation Safety: Limbos and Zero Crossings
  9. Altmetric Badge
    Chapter 8 Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework
  10. Altmetric Badge
    Chapter 9 Computing Average Response Time
  11. Altmetric Badge
    Chapter 10 Modeling Dynamical Phenomena in the Era of Big Data
  12. Altmetric Badge
    Chapter 11 A Formal Semantics for Traffic Sequence Charts
  13. Altmetric Badge
    Chapter 12 Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models
  14. Altmetric Badge
    Chapter 13 A Semantic Account of Rigorous Simulation
  15. Altmetric Badge
    Chapter 14 On Determinism
  16. Altmetric Badge
    Chapter 15 Lossy Channels in a Dataflow Model of Computation
  17. Altmetric Badge
    Chapter 16 If We Could Go Back in Time... On the Use of ‘Unnatural’ Time and Ordering in Dataflow Models
  18. Altmetric Badge
    Chapter 17 Compressed Sensing in Cyber Physical Social Systems
  19. Altmetric Badge
    Chapter 18 Embedded Software Design Methodology Based on Formal Models of Computation
  20. Altmetric Badge
    Chapter 19 Anytime Algorithms in Time-Triggered Control Systems
  21. Altmetric Badge
    Chapter 20 Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems
  22. Altmetric Badge
    Chapter 21 The Relativity Example: Is Terminological Innovation a Good Idea?
  23. Altmetric Badge
    Chapter 22 Hierarchical System Design with Vertical Contracts
  24. Altmetric Badge
    Chapter 23 Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures
  25. Altmetric Badge
    Chapter 24 Cyber-Physical Systems Education: Explorations and Dreams
  26. Altmetric Badge
    Chapter 25 Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience
  27. Altmetric Badge
    Chapter 26 Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality
  28. Altmetric Badge
    Chapter 27 Complexity Challenges in Development of Cyber-Physical Systems
  29. Altmetric Badge
    Chapter 28 Augmenting State Models with Data Flow
  30. Altmetric Badge
    Chapter 29 On the Road to Conviction: An Email Exchange with Edward Lee
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
5 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Principles of Modeling
Published by
Springer International Publishing, November 2018
DOI 10.1007/978-3-319-95246-8
ISBNs
978-3-31-995245-1, 978-3-31-995246-8
Editors

Lohstroh, Marten, Derler, Patricia, Sirjani, Marjan

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 2 40%
Researcher 1 20%
Student > Doctoral Student 1 20%
Student > Master 1 20%
Readers by discipline Count As %
Engineering 2 40%
Computer Science 2 40%
Nursing and Health Professions 1 20%