International Conference on Embedded Systems 2012 (original) (raw)

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches
• 

Venues:

• no matches
• 

Publications:

• no matches
• 

12. EMSOFT 2012: Tampere, Finland

• 

• 

• 

• 

• 
  jump to

  • Keynotes
  • Testing and characterization of embedded software
  • Operating systems
  • Hardware support
  • Timing analysis
  • Languages, formal models and algorithms (1)
  • Tutorials

• 

• > Home > Conferences and Workshops > EMSOFT

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

• 
  Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr:
  Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012. ACM 2012, ISBN 978-1-4503-1425-1

Keynotes

• 
  • 
  • 
  • 
  • 
    Hannu Kauppinen:
    Wireless innovations for smartphones. 1-2
• 
  • 
  • 
  • 
  • 
    Satnam Singh:
    Computing without processors. 3-4
• 
  • 
  • 
  • 
  • 
    Jong-Deok Choi:
    A standards-based, fully-open software platform for smart embedded systems. 5-6

ESWEEK special session

• 
  • 
  • 
  • 
  • 
    Randolf Mock, Moritz Neukirchner, Rolf Ernst, Ruud Wijtvliet, Michael Huetwohl, Pascal Urard, Ovidiu Vermesan:
    Internet-of-energy: combining embedded computing and communication for the smart grid. 7-8
• 
  • 
  • 
  • 
  • 
    Dan Gunnarsson, Stefan Kuntz, Glenn Farrall, Akihito Iwai, Rolf Ernst:
    Trends in automotive embedded systems. 9-10
• 
  • 
  • 
  • 
  • 
    Petri Liuha, Kari Pehkonen, Juhani Rummukainen, Veli-Pekka Vatula, Tatu Koljonen:
    Research issues in smart phones, notepads and related services. 11-12

Testing and characterization of embedded software

• 
  • 
  • 
  • 
  • 
    Patricia López Cueva, Aurélie Bertaux, Alexandre Termier, Jean-François Méhaut, Miguel Santana:
    Debugging embedded multimedia application traces through periodic pattern mining. 13-22
• 
  • 
  • 
  • 
  • 
    Kisung Lee, Youjip Won:
    Smart layers and dumb result: IO characterization of an android-based smartphone. 23-32
• 
  • 
  • 
  • 
  • 
    Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller:
    XEMU: an efficient QEMU based binary mutation testing framework for embedded software. 33-42

Theoretical aspects of embedded systems

Operating systems

• 
  • 
  • 
  • 
  • 
    Luís Nogueira, Luís Miguel Pinho:
    Server-based scheduling of parallel real-time tasks. 73-82
• 
  • 
  • 
  • 
  • 
    Björn Döbel, Hermann Härtig, Michael Engel:
    Operating system support for redundant multithreading. 83-92
• 
  • 
  • 
  • 
  • 
    Adam Lackorzynski, Alexander Warg, Marcus Völp, Hermann Härtig:
    Flattening hierarchical scheduling. 93-102

Control theory

• 
  • 
  • 
  • 
  • 
    Indranil Saha, Rupak Majumdar:
    Trigger memoization in self-triggered control. 103-112
• 
  • 
  • 
  • 
  • 
    Yong Fu, Nicholas Kottenstette, Chenyang Lu, Xenofon D. Koutsoukos:
    Feedback thermal control of real-time systems on multicore processors. 113-122
• 
  • 
  • 
  • 
  • 
    Rupak Majumdar, Indranil Saha, Majid Zamani:
    Synthesis of minimal-error control software. 123-132

Hardware support

• 
  • 
  • 
  • 
  • 
    Gedare Bloom, Gabriel Parmer, Bhagirath Narahari, Rahul Simha:
    Shared hardware data structures for hard real-time systems. 133-142
• 
  • 
  • 
  • 
  • 
    Paul Dubrulle, Stéphane Louise, Renaud Sirdey, Vincent David:
    A low-overhead dedicated execution support for stream applications on shared-memory cmp. 143-152
• 
  • 
  • 
  • 
  • 
    Che-Wei Chang, Jian-Jia Chen, Waqaas Munawar, Tei-Wei Kuo, Heiko Falk:
    Partitioned scheduling for real-time tasks on multiprocessor embedded systems with programmable shared srams. 153-162

Invited session -- code-Level timing analysis

Timing analysis

• 
  • 
  • 
  • 
  • 
    Archana Ravindar, Y. N. Srikant:
    Estimation of probabilistic bounds on phase CPI and relevance in WCET analysis. 165-174
• 
  • 
  • 
  • 
  • 
    Mikel Fernández, Roberto Gioiosa, Eduardo Quiñones, Luca Fossati, Marco Zulianello, Francisco J. Cazorla:
    Assessing the suitability of the NGMP multi-core processor in the space domain. 175-184
• 
  • 
  • 
  • 
  • 
    Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Bekooij:
    Compositional temporal analysis model for incremental hard real-time system design. 185-194

Special session: an overview of the career of Paul Caspi

• 
  • 
  • 
  • 
  • 
    Albert Benveniste, Edward A. Lee, Marc Pouzet, Stavros Tripakis, Florence Maraninchi:
    An overview of the career of Paul Caspi. 195-196

Languages, formal models and algorithms (1)

• 
  • 
  • 
  • 
  • 
    Albert Cohen, Léonard Gérard, Marc Pouzet:
    Programming parallelism with futures in lustre. 197-206
• 
  • 
  • 
  • 
  • 
    Borislav Nikolic, Stefan M. Petters:
    Towards network-on-chip agreement protocols. 207-216
• 
  • 
  • 
  • 
  • 
    Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar:
    Input-output robustness for discrete systems. 217-226

Languages, formal models and algorithms (2)

Tutorials

• 
  • 
  • 
  • 
  • 
    Rolf Ernst, Alan Burns, Lothar Thiele, Jimmy Le Rhun:
    Mixed critical system design and analysis. 247-248
• 
  • 
  • 
  • 
  • 
    Borzoo Bonakdarpour, Sebastian Fischmeister:
    Runtime verification of real-time embedded systems. 249-250

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.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

dblp was originally created in 1993 at:

since 2018, dblp has been operated and maintained by: