default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60th Birthday: Edward A. Lee 2018
- Marten Lohstroh, Patricia Derler, Marjan Sirjani:
Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 10760, Springer 2018, ISBN 978-3-319-95245-1 - Alireza S. Abyaneh, Christoph M. Kirsch:
You Can Program What You Want but You Cannot Compute What You Want. 1-15 - Gul Agha, Karl Palmskog:
Transforming Threads into Actors: Learning Concurrency Structure from Execution Traces. 16-37 - Rajeev Alur, Konstantinos Mamouras, Caleb Stanford
, Val Tannen:
Interfaces for Stream Processing Systems. 38-60 - Murat Arcak, John N. Maidens:
Simulation-Based Reachability Analysis for Nonlinear Systems Using Componentwise Contraction Properties. 61-76 - Sanjoy K. Baruah:
Predictability Issues in Mixed-Criticality Real-Time Systems. 77-87 - Shuvra S. Bhattacharyya, Johan Lilius:
Model-Based Representations for Dataflow Schedules. 88-105 - David Broman:
Hybrid Simulation Safety: Limbos and Zero Crossings. 106-121 - Janette Cardoso, Pierre Siron:
Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework. 122-142 - Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop:
Computing Average Response Time. 143-161 - Bruno Sinopoli, John A. W. B. Costanzo:
Modeling Dynamical Phenomena in the Era of Big Data. 162-181 - Werner Damm, Eike Möhlmann, Thomas Peikenkamp, Astrid Rakow:
A Formal Semantics for Traffic Sequence Charts. 182-205 - Caroline Brandberg, Marco Di Natale:
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models. 206-222 - Adam Duracz, Eugenio Moggi, Walid Taha, Zhenchao Lin:
A Semantic Account of Rigorous Simulation. 223-239 - Stephen A. Edwards:
On Determinism. 240-253 - Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei:
Lossy Channels in a Dataflow Model of Computation. 254-266 - Marc Geilen:
If We Could Go Back in Time... On the Use of 'Unnatural' Time and Ordering in Dataflow Models. 267-286 - Radu Grosu, Elahe Ghalebi K., Ali Movaghar, Hamidreza Mahyar:
Compressed Sensing in Cyber Physical Social Systems. 287-305 - Soonhoi Ha, Eunjin Jeong:
Embedded Software Design Methodology Based on Formal Models of Computation. 306-325 - Hermann Kopetz:
Anytime Algorithms in Time-Triggered Control Systems. 326-335 - Jie Liu:
Autonomous Retailing: A Frontier for Cyber-Physical-Human Systems. 336-350 - David G. Messerschmitt:
The Relativity Example: Is Terminological Innovation a Good Idea? 351-359 - Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli:
Hierarchical System Design with Vertical Contracts. 360-382 - Bernhard Rumpe, Andreas Wortmann:
Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures. 383-406 - Sanjit A. Seshia:
Cyber-Physical Systems Education: Explorations and Dreams. 407-422 - Marjan Sirjani:
Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience. 423-448 - Stavros Tripakis, Roberto Lublinerman:
Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality. 449-477 - Martin Törngren, Ulf Sellgren:
Complexity Challenges in Development of Cyber-Physical Systems. 478-503 - Nis Wechselberg, Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden:
Augmenting State Models with Data Flow. 504-523 - Reinhard Wilhelm:
On the Road to Conviction: An Email Exchange with Edward Lee. 524-537
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 18:59 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
