Abstract is missing.
- Challenges and potential solutions for complex embedded systemsGérard Berry. 1-2 [doi]
- Heterogeneous actor modelingEdward A. Lee. 3-12 [doi]
- Resource allocation contracts for open analytic runtime modelsMin-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha. 13-22 [doi]
- A practical ontology framework for static model analysisBen Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee. 23-32 [doi]
- Repeatability, reproducibility, and rigor in systems researchJan Vitek, Tomas Kalibera. 33-38 [doi]
- RT-Xen: towards real-time hypervisor scheduling in xenSisu Xi, Justin Wilson, Chenyang Lu, Christopher D. Gill. 39-48 [doi]
- Aciom: application characteristics-aware disk and network i/o management on android platformHyosu Kim, Minsub Lee, Wookhyun Han, Kilho Lee, Insik Shin. 49-58 [doi]
- Automated distributed implementation of component-based models with prioritiesBorzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf. 59-68 [doi]
- Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locksBjörn B. Brandenburg, James H. Anderson. 69-78 [doi]
- Task synchronization and allocation for many-core real-time systemsPi-Cheng Hsiu, Der-Nien Lee, Tei-Wei Kuo. 79-88 [doi]
- On under-determined dynamical systemsOded Maler. 89-96 [doi]
- Computing semi-algebraic invariants for polynomial dynamical systemsJiang Liu 0009, Naijun Zhan, Hengjun Zhao. 97-106 [doi]
- Synthesis of optimal switching logic for hybrid systemsSusmit Jha, Sanjit A. Seshia, Ashish Tiwari. 107-116 [doi]
- Precise control flow reconstruction using boolean logicThomas Reinbacher, Jörg Brauer. 117-126 [doi]
- Automated addition of fault recovery to cyber-physical component-based modelsBorzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni. 127-136 [doi]
- A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous codeAlbert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. 137-148 [doi]
- From boolean to quantitative synthesisPavol Cerný, Thomas A. Henzinger. 149-154 [doi]
- Safety-assured development of the GPCA infusion pump softwareBaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley. 155-164 [doi]
- Relating average and discounted costs for quantitative analysis of timed systemsRajeev Alur, Ashutosh Trivedi. 165-174 [doi]
- Reliability-aware frame packing for the static segment of flexrayBogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng. 175-184 [doi]
- Multi-level hierarchical scheduling in ethernet switchesRui Santos, Moris Behnam, Thomas Nolte, Paulo Pedreiras, Luís Almeida. 185-194 [doi]
- Hard-real-time scheduling of data-dependent tasks in embedded streaming applicationsMohamed Bamakhrama, Todor Stefanov. 195-204 [doi]
- Software certification: coding, code, and codersKlaus Havelund, Gerard J. Holzmann. 205-210 [doi]
- New challenges in certification for aircraft softwareJohn M. Rushby. 211-218 [doi]
- Software certification experience in the canadian nuclear industry: lessons for the futureAlan Wassyng, Mark Lawford, T. S. E. Maibaum. 219-226 [doi]
- Challenges in the regulatory approval of medical cyber-physical systemsOleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl. 227-232 [doi]
- Demand bound server: generalized resource reservation for hard real-time systemsPratyush Kumar, Jian-Jia Chen, Lothar Thiele. 233-242 [doi]
- Real-time communication analysis for networks with two-stage arbitrationJonas Diemer, Jonas Rox, Mircea Negrean, Steffen Stein, Rolf Ernst. 243-252 [doi]
- Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systemsTaeju Park, Soontae Kim. 253-262 [doi]
- Cross-layer analysis, testing and verification of automotive control softwareManfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree. 263-272 [doi]
- Formal verification of hybrid systemsRajeev Alur. 273-278 [doi]
- Model-checking behavioral programsDavid Harel, Robby Lampert, Assaf Marron, Gera Weiss. 279-288 [doi]
- ARMor: fully verified software fault isolationLu Zhao, Guodong Li, Bjorn De Sutter, John Regehr. 289-298 [doi]
- Performance-aware scheduler synthesis for control systemsRupak Majumdar, Indranil Saha, Majid Zamani. 299-308 [doi]
- Synchronous control of reconfiguration in fractal component-based systems: a case studyTayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten. 309-318 [doi]
- Symbolic simulation on complicated loops for WCET path analysisDuc-Hiep Chu, Joxan Jaffar. 319-328 [doi]
- A synergetic approach to accurate analysis of cache-related preemption delayJan C. Kleinsorge, Heiko Falk, Peter Marwedel. 329-338 [doi]
- ExLRU: a unified write buffer cache management for flash memoryLiang Shi, Jianhua Li, Chun Jason Xue, Chengmo Yang, Xuehai Zhou. 339-348 [doi]
- Timing and schedulability analysis for distributed automotive control applicationsSamarjit Chakraborty, Marco Di Natale, Heiko Falk, Martin Lukasiewycz, Frank Slomka. 349-350 [doi]
- Time-predictable and composable architectures for dependable embedded systemsSaddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis. 351-352 [doi]