Abstract is missing.
- A characterization of integrated multi-view modeling in the context of embedded and cyber-physical systemsMagnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman, Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil. 1-10 [doi]
- Pre-orders for reasoning about stability properties with respect to input of hybrid systemsPavithra Prabhakar, Jun Liu, Richard M. Murray. 1-10 [doi]
- Limited preemptive scheduling of non-independent task setsAndrea Baldovin, Enrico Mezzetti, Tullio Vardanega. 1-10 [doi]
- Message from the program co-chairsRolf Ernst, Oleg Sokolsky. 1 [doi]
- An efficient code update solution for wireless sensor network reprogrammingBiswajit Mazumder, Jason O. Hallstrom. 1-10 [doi]
- Determinate composition of FMUs for co-simulationDavid Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter. 1-12 [doi]
- StreaMorph: A case for synthesizing energy-efficient adaptive programs using high-level abstractionsDai N. Bui, Edward A. Lee. 1-10 [doi]
- Simple analysis of partial worst-case execution paths on general control flow graphsJan C. Kleinsorge, Heiko Falk, Peter Marwedel. 1-10 [doi]
- BPDF: A statically analyzable dataflow model with integer and boolean parametersVagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur. 1-10 [doi]
- On the schedulability of real-time discrete-event systemsEleftherios Matsikoudis, Christos Stergiou, Edward A. Lee. 1-15 [doi]
- Synthesis of fixed-point programsEva Darulova, Viktor Kuncak, Rupak Majumdar, Indranil Saha. 1-10 [doi]
- Diversely enumerating system-level architecturesEthan K. Jackson, Gabor Simko, Janos Sztipanovits. 1-10 [doi]
- Diversifying wear index for MLC NAND flash memory to extend the lifetime of SSDsYeong-Jae Woo, Jin-Soo Kim. 1-10 [doi]
- Energy-aware thread co-location in heterogeneous multicore processorsRajiv Nishtala, Daniel Mossé, Vinicius Petrucci. 1-9 [doi]
- Verification of annotated models from executionsParasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan. 1-10 [doi]
- DIME: Time-aware dynamic binary instrumentation using rate-based resource allocationPansy Arafa, Hany Kashif, Sebastian Fischmeister. 1-10 [doi]
- Verifying Simulink diagrams via a Hybrid Hoare Logic ProverLiang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, Shengchao Qin. 1-10 [doi]
- A generalized software framework for accurate and efficient management of performance goalsHenry Hoffmann, Martina Maggio, Marco D. Santambrogio, Alberto Leva, Anant Agarwal. 1-10 [doi]
- WakeScope: Runtime WakeLock anomaly management scheme for Android platformKwanghwan Kim, Hojung Cha. 1-10 [doi]
- Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT SolvingPaula Herber, Robert Reicherdt, Patrick Bittner. 1-10 [doi]
- Safety verification for linear systemsParasara Sridhar Duggirala, Ashish Tiwari. 1-10 [doi]
- A synchronous embedding of Antescofo, a domain-specific language for interactive mixed musicGuillaume Baudart, Florent Jacquemard, Louis Mandel, Marc Pouzet. 1-12 [doi]
- Scheduling of mixed-criticality applications on resource-sharing multicore systemsGeorgia Giannopoulou, Nikolay Stoimenov, Pengcheng Huang, Lothar Thiele. 1-15 [doi]
- Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systemsAbdullah Al-Nayeem, Cheolgi Kim, Woochul Kang, Po-Liang Wu, Lui Sha. 1-10 [doi]
- Stability-aware analysis and design of embedded control systemsAmir Aminifar, Petru Eles, Zebo Peng, Anton Cervin. 1-10 [doi]
- Time-aware relational abstractions for hybrid systemsSergio Mover, Alessandro Cimatti, Ashish Tiwari, Stefano Tonetta. 1-10 [doi]
- Path-sensitive resource analysis compliant with assertionsDuc-Hiep Chu, Joxan Jaffar. 1-10 [doi]
- On composing and proving the correctness of reactive behaviorDavid Harel, Amir Kantor, Guy Katz, Assaf Marron, Lior Mizrahi, Gera Weiss. 1-10 [doi]