Abstract is missing.
- You Can Program What You Want but You Cannot Compute What You WantAlireza S. Abyaneh, Christoph M. Kirsch. 1-15 [doi]
- Transforming Threads into Actors: Learning Concurrency Structure from Execution TracesGul Agha, Karl Palmskog. 16-37 [doi]
- Interfaces for Stream Processing SystemsRajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen. 38-60 [doi]
- Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction PropertiesMurat Arcak, John N. Maidens. 61-76 [doi]
- Predictability Issues in Mixed-Criticality Real-Time SystemsSanjoy Baruah. 77-87 [doi]
- Model-Based Representations for Dataflow SchedulesShuvra S. Bhattacharyya, Johan Lilius. 88-105 [doi]
- Hybrid Simulation Safety: Limbos and Zero CrossingsDavid Broman. 106-121 [doi]
- Ptolemy-HLA: A Cyber-Physical System Distributed Simulation FrameworkJanette Cardoso, Pierre Siron. 122-142 [doi]
- Computing Average Response TimeKrishnendu Chatterjee, Thomas A. Henzinger, Jan Otop. 143-161 [doi]
- Modeling Dynamical Phenomena in the Era of Big DataBruno Sinopoli, John A. W. B. Costanzo. 162-181 [doi]
- A Formal Semantics for Traffic Sequence ChartsWerner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow. 182-205 [doi]
- Enabling Flow Preservation and Portability in Multicore Implementations of Simulink ModelsCaroline Brandberg, Marco Di Natale. 206-222 [doi]
- A Semantic Account of Rigorous SimulationAdam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin. 223-239 [doi]
- On DeterminismStephen A. Edwards. 240-253 [doi]
- Lossy Channels in a Dataflow Model of ComputationPascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei 0001. 254-266 [doi]
- If We Could Go Back in Time... On the Use of 'Unnatural' Time and Ordering in Dataflow ModelsMarc Geilen. 267-286 [doi]
- Compressed Sensing in Cyber Physical Social SystemsRadu Grosu, Elahe Ghalebi K., Ali Movaghar, Hamidreza Mahyar. 287-305 [doi]
- Embedded Software Design Methodology Based on Formal Models of ComputationSoonhoi Ha, EunJin Jeong. 306-325 [doi]
- Anytime Algorithms in Time-Triggered Control SystemsHermann Kopetz. 326-335 [doi]
- Autonomous Retailing: A Frontier for Cyber-Physical-Human SystemsJie Liu. 336-350 [doi]
- The Relativity Example: Is Terminological Innovation a Good Idea?David G. Messerschmitt. 351-359 [doi]
- Hierarchical System Design with Vertical ContractsPierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli. 360-382 [doi]
- Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-ArchitecturesBernhard Rumpe, Andreas Wortmann. 383-406 [doi]
- Cyber-Physical Systems Education: Explorations and DreamsSanjit A. Seshia. 407-422 [doi]
- Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor ExperienceMarjan Sirjani. 423-448 [doi]
- Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, CompositionalityStavros Tripakis, Roberto Lublinerman. 449-477 [doi]
- Complexity Challenges in Development of Cyber-Physical SystemsMartin Törngren, Ulf Sellgren. 478-503 [doi]
- Augmenting State Models with Data FlowNis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden. 504-523 [doi]
- On the Road to Conviction: An Email Exchange with Edward LeeReinhard Wilhelm. 524-537 [doi]