Principles of Modeling

Publications

2018

Sanjit A. Seshia
Cyber-Physical Systems Education: Explorations and Dreams. Principles of Modeling (2018)
Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin
A Semantic Account of Rigorous Simulation. Principles of Modeling (2018)
Stavros Tripakis, Roberto Lublinerman
Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality. Principles of Modeling (2018)
Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden
Augmenting State Models with Data Flow. Principles of Modeling (2018)
Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow
A Formal Semantics for Traffic Sequence Charts. Principles of Modeling (2018)
Stephen A. Edwards
On Determinism. Principles of Modeling (2018)
Shuvra S. Bhattacharyya, Johan Lilius
Model-Based Representations for Dataflow Schedules. Principles of Modeling (2018)
Martin Törngren, Ulf Sellgren
Complexity Challenges in Development of Cyber-Physical Systems. Principles of Modeling (2018)
Jie Liu
Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems. Principles of Modeling (2018)
Reinhard Wilhelm
On the Road to Conviction: An Email Exchange with Edward Lee. Principles of Modeling (2018)
Janette Cardoso, Pierre Siron
Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework. Principles of Modeling (2018)
Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei
Lossy Channels in a Dataflow Model of Computation. Principles of Modeling (2018)
Alireza S. Abyaneh, Christoph M. Kirsch
You Can Program What You Want but You Cannot Compute What You Want. Principles of Modeling (2018)
Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli
Hierarchical System Design with Vertical Contracts. Principles of Modeling (2018)
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
Computing Average Response Time. Principles of Modeling (2018)
Soonhoi Ha, Eunjin Jeong
Embedded Software Design Methodology Based on Formal Models of Computation. Principles of Modeling (2018)
Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, Val Tannen
Interfaces for Stream Processing Systems. Principles of Modeling (2018)
Bernhard Rumpe, Andreas Wortmann
Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures. Principles of Modeling (2018)
Marjan Sirjani
Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience. Principles of Modeling (2018)
Murat Arcak, John N. Maidens
Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties. Principles of Modeling (2018)
Caroline Brandberg, Marco Di Natale
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models. Principles of Modeling (2018)
David G. Messerschmitt
The Relativity Example: Is Terminological Innovation a Good Idea? Principles of Modeling (2018)
Bruno Sinopoli, John A. W. B. Costanzo
Modeling Dynamical Phenomena in the Era of Big Data. Principles of Modeling (2018)
Marc Geilen
If We Could Go Back in Time... On the Use of 'Unnatural' Time and Ordering in Dataflow Models. Principles of Modeling (2018)
Gul Agha, Karl Palmskog
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces. Principles of Modeling (2018)
Hermann Kopetz
Anytime Algorithms in Time-Triggered Control Systems. Principles of Modeling (2018)
Radu Grosu, Elahe Ghalebi K., Ali Movaghar, Hamidreza Mahyar
Compressed Sensing in Cyber Physical Social Systems. Principles of Modeling (2018)
David Broman
Hybrid Simulation Safety: Limbos and Zero Crossings. Principles of Modeling (2018)
Sanjoy K. Baruah
Predictability Issues in Mixed-Criticality Real-Time Systems. Principles of Modeling (2018)

volume 10760, 2018

Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday Principles of Modeling 10760 (2018)