2013 Proceedings of the International Conference on Embedded Software (EMSOFT)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479914432

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) ◽

10.1109/emsoft.2013.6658583 ◽

2013 ◽

Cited By ~ 2

Author(s):

Abdullah Al-Nayeem ◽

Cheolgi Kim ◽

Woochul Kang ◽

Po-Liang Wu ◽

Lui Sha

Download Full-text

Scheduling of mixed-criticality applications on resource-sharing multicore systems

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) ◽

10.1109/emsoft.2013.6658595 ◽

2013 ◽

Cited By ~ 42

Author(s):

Georgia Giannopoulou ◽

Nikolay Stoimenov ◽

Pengcheng Huang ◽

Lothar Thiele

Keyword(s):

Resource Sharing ◽

Multicore Systems ◽

Mixed Criticality

Download Full-text

Verification of annotated models from executions

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) ◽

10.1109/emsoft.2013.6658604 ◽

2013 ◽

Cited By ~ 43

Author(s):

Parasara Sridhar Duggirala ◽

Sayan Mitra ◽

Mahesh Viswanathan

Download Full-text

Tutorial

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) ◽

10.1109/emsoft.2013.6658578 ◽

2013 ◽

Download Full-text

Path-sensitive resource analysis compliant with assertions

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) ◽

10.1109/emsoft.2013.6658593 ◽

2013 ◽

Cited By ~ 1

Author(s):

Duc-Hiep Chu ◽

Joxan Jaffar

Keyword(s):

Resource Analysis

Download Full-text

Stability-aware analysis and design of embedded control systems

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) ◽

10.1109/emsoft.2013.6658601 ◽

2013 ◽

Cited By ~ 10

Author(s):

Amir Aminifar ◽

Petru Eles ◽

Zebo Peng ◽

Anton Cervin

Keyword(s):

Control Systems ◽

Embedded Control ◽

Analysis And Design ◽

Embedded Control Systems

Download Full-text

Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) ◽

10.1109/emsoft.2013.6658586 ◽

2013 ◽

Cited By ~ 13

Author(s):

Paula Herber ◽

Robert Reicherdt ◽

Patrick Bittner

Keyword(s):

Formal Verification ◽

Discrete Time ◽

Matlab Simulink ◽

Smt Solving

Download Full-text

[Copyright notice]

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) ◽

10.1109/emsoft.2013.6658574 ◽

2013 ◽

Keyword(s):

Download Full-text

DIME: Time-aware dynamic binary instrumentation using rate-based resource allocation

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) ◽

10.1109/emsoft.2013.6658603 ◽

2013 ◽

Cited By ~ 6

Author(s):

Pansy Arafa ◽

Hany Kashif ◽

Sebastian Fischmeister

Keyword(s):

Resource Allocation ◽

Binary Instrumentation ◽

Dynamic Binary Instrumentation ◽

Time Aware

Download Full-text

Synthesis of fixed-point programs

2013 Proceedings of the International Conference on Embedded Software (EMSOFT) ◽

10.1109/emsoft.2013.6658600 ◽

2013 ◽

Cited By ~ 14

Author(s):

Eva Darulova ◽

Viktor Kuncak ◽

Rupak Majumdar ◽

Indranil Saha

Keyword(s):

Fixed Point

Download Full-text

2013 Proceedings of the International Conference on Embedded Software (EMSOFT)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Middleware design for Physically-Asynchronous Logically-Synchronous (PALS) systems

Scheduling of mixed-criticality applications on resource-sharing multicore systems

Verification of annotated models from executions

Tutorial

Path-sensitive resource analysis compliant with assertions

Stability-aware analysis and design of embedded control systems

Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving

[Copyright notice]

DIME: Time-aware dynamic binary instrumentation using rate-based resource allocation

Synthesis of fixed-point programs

2013 Proceedings of the International Conference on Embedded Software (EMSOFT)
Latest Publications