posted by user: jyotirmoy || 8405 views || tracked by 27 users: [display]

EMSOFT 2013 : Embedded Software

FacebookTwitterLinkedInGoogle


Conference Series : Embedded Software
 
Link: http://www.emsoft.org/
 
When Sep 29, 2013 - Oct 4, 2013
Where Montreal, Canada
Abstract Registration Due Apr 5, 2013
Submission Deadline Apr 12, 2013
Notification Due Jul 5, 2013
Final Version Due Jul 26, 2013
Categories    embedded software   verification   testing
 

Call For Papers

The International Conference on Embedded Software (EMSOFT) brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology in embedded software development. EMSOFT 2013 is part of the Embedded Systems Week.

Since 2001, EMSOFT has been the premier venue for cutting-edge research in the design and analysis of software that interacts with physical processes. This focus on all aspects of the development of embedded software makes EMSOFT a premier venue with a long-standing tradition for results on cyber-physical systems, which compose computation, networking, and physical dynamics.

EMSOFT 2013 (13th in the series!) is part of the Embedded Systems Week.

Program Chairs:
Rolf Earnst, TU Braunschweig, Germany.
Oleg Sokolsky, University of Pennsylvania, USA.
Areas of Interest

Testing and validation, Formal verification
Software design and implementation
Virtual prototyping and system-level design for embedded software
Model- and component-based software design and analysis
Programming languages
Compiler optimizations
Software engineering and programming methodologies
Scheduling and execution time analysis
Operating systems and middleware
QoS management and performance analysis, energy consumption
Hardware-dependent software and interfaces
Distributed, networked embedded systems and security
Embedded control and communication
Software for multiprocessor/multicore embedded systems and systems-on-chip
Application areas, e.g., automotive, avionics, energy, health care, mobile devices, multimedia, cyber-physical systems
Replication, reproduction, and confirmation of empirical results
Empirical studies related to embedded systems

Submission Information

Papers should represent original work, not published or submitted for publication in other forums.
A blind review process will be enforced. Authors should not reveal authorship directly or indirectly through references.
Papers must be in PDF format and should not exceed 10 pages in ACM two-column format (9pt on 8.5"x11" letter size paper). For formatting instructions and templates, visit the ACM web site. Formal proceedings will be published on CD-ROM and web page forms (copyright by ACM and IEEE).

Related Resources

ISSTA 2021   International Symposium on Software Testing and Analysis
ITE 2021   2nd International Conference on Integrating Technology in Education
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
CYBI 2021   8th International Conference on Cybernetics & Informatics
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core
ITCON 2020   6th International Conference on Information Technology Converge Services
SEAI--EI Compendex, Scopus 2021   2021 International Conference on Software Engineering and Artificial Intelligence (SEAI 2021)--EI Compendex, Scopus
IJCSEA 2020   International Journal of Computer Science, Engineering and Applications
JSS SI on Test Automation 2021   Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier)
SANER 2021   The 28th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering