default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. EMSOFT 2011: Taipei, Taiwan
- Samarjit Chakraborty, Ahmed Jerraya, Sanjoy K. Baruah, Sebastian Fischmeister:
Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011. ACM 2011, ISBN 978-1-4503-0714-7
Keynote address
- Gérard Berry:
Challenges and potential solutions for complex embedded systems. 1-2
Modeling
- Edward A. Lee
:
Heterogeneous actor modeling. 3-12 - Min-Young Nam, Dionisio de Niz, Lutz Wrage, Lui Sha:
Resource allocation contracts for open analytic runtime models. 13-22 - Ben Lickly, Charles P. Shelton, Elizabeth Latronico, Edward A. Lee:
A practical ontology framework for static model analysis. 23-32
Systems
- Jan Vitek, Tomas Kalibera:
Repeatability, reproducibility, and rigor in systems research. 33-38 - Sisu Xi, Justin Wilson, Chenyang Lu, Christopher D. Gill:
RT-Xen: towards real-time hypervisor scheduling in xen. 39-48 - Hyosu Kim, Minsub Lee, Wookhyun Han, Kilho Lee, Insik Shin:
Aciom: application characteristics-aware disk and network i/o management on android platform. 49-58
Synchronization and allocation
- Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf:
Automated distributed implementation of component-based models with priorities. 59-68 - Björn B. Brandenburg, James H. Anderson:
Real-time resource-sharing under clustered scheduling: mutex, reader-writer, and k-exclusion locks. 69-78 - Pi-Cheng Hsiu, Der-Nien Lee, Tei-Wei Kuo:
Task synchronization and allocation for many-core real-time systems. 79-88
Hybrid systems
- Oded Maler:
On under-determined dynamical systems. 89-96 - Jiang Liu, Naijun Zhan, Hengjun Zhao:
Computing semi-algebraic invariants for polynomial dynamical systems. 97-106 - Susmit Jha, Sanjit A. Seshia, Ashish Tiwari:
Synthesis of optimal switching logic for hybrid systems. 107-116
Languages, analysis, and transformation
- Thomas Reinbacher, Jörg Brauer:
Precise control flow reconstruction using boolean logic. 117-126 - Borzoo Bonakdarpour, Yiyan Lin, Sandeep S. Kulkarni:
Automated addition of fault recovery to cyber-physical component-based models. 127-136 - Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet:
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. 137-148
Verification and assurance
- Pavol Cerný, Thomas A. Henzinger:
From boolean to quantitative synthesis. 149-154 - BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley:
Safety-assured development of the GPCA infusion pump software. 155-164 - Rajeev Alur, Ashutosh Trivedi:
Relating average and discounted costs for quantitative analysis of timed systems. 165-174
Networking
- Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
Reliability-aware frame packing for the static segment of flexray. 175-184 - Rui Santos, Moris Behnam, Thomas Nolte, Paulo Pedreiras, Luís Almeida:
Multi-level hierarchical scheduling in ethernet switches. 185-194 - Mohamed Bamakhrama, Todor P. Stefanov:
Hard-real-time scheduling of data-dependent tasks in embedded streaming applications. 195-204
Certification
- Klaus Havelund, Gerard J. Holzmann:
Software certification: coding, code, and coders. 205-210 - John M. Rushby:
New challenges in certification for aircraft software. 211-218 - Alan Wassyng, Mark Lawford, T. S. E. Maibaum:
Software certification experience in the canadian nuclear industry: lessons for the future. 219-226 - Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl:
Challenges in the regulatory approval of medical cyber-physical systems. 227-232
Real-time scheduling
- Pratyush Kumar, Jian-Jia Chen, Lothar Thiele:
Demand bound server: generalized resource reservation for hard real-time systems. 233-242 - Jonas Diemer, Jonas Rox, Mircea Negrean, Steffen Stein, Rolf Ernst:
Real-time communication analysis for networks with two-stage arbitration. 243-252 - Taeju Park, Soontae Kim:
Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems. 253-262
Automotive control software
- Manfred Broy, Samarjit Chakraborty, Dip Goswami, S. Ramesh, Manoranjan Satpathy, Stefan Resmerita, Wolfgang Pree:
Cross-layer analysis, testing and verification of automotive control software. 263-272
Verification
- Rajeev Alur:
Formal verification of hybrid systems. 273-278 - David Harel, Robby Lampert, Assaf Marron, Gera Weiss:
Model-checking behavioral programs. 279-288 - Lu Zhao, Guodong Li, Bjorn De Sutter, John Regehr:
ARMor: fully verified software fault isolation. 289-298
Control systems
- Rupak Majumdar, Indranil Saha, Majid Zamani:
Performance-aware scheduler synthesis for control systems. 299-308 - Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten:
Synchronous control of reconfiguration in fractal component-based systems: a case study. 309-318
WCET analysis & flash memory
- Duc-Hiep Chu, Joxan Jaffar:
Symbolic simulation on complicated loops for WCET path analysis. 319-328 - Jan C. Kleinsorge, Heiko Falk, Peter Marwedel:
A synergetic approach to accurate analysis of cache-related preemption delay. 329-338 - Liang Shi, Jianhua Li, Chun Jason Xue, Chengmo Yang, Xuehai Zhou:
ExLRU: a unified write buffer cache management for flash memory. 339-348
Tutorials
- Samarjit Chakraborty, Marco Di Natale, Heiko Falk, Martin Lukasiewycz, Frank Slomka:
Timing and schedulability analysis for distributed automotive control applications. 349-350 - Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis:
Time-predictable and composable architectures for dependable embedded systems. 351-352
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 2025-11-08 21:53 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:
