Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By ACM Press

9781450344852

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Locally optimal reach set over-approximation for nonlinear systems

Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 ◽

10.1145/2968478.2968482 ◽

2016 ◽

Author(s):

Chuchu Fan ◽

James Kapinski ◽

Xiaoqing Jin ◽

Sayan Mitra

Keyword(s):

Nonlinear Systems

Download Full-text

The SMT-based automatic road network generation in vehicle simulation environment

Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 ◽

10.1145/2968478.2968498 ◽

2016 ◽

Author(s):

BaekGyu Kim ◽

Akshay Jarandikar ◽

Jonathan Shum ◽

Shinichi Shiraishi ◽

Masahiro Yamaura

Keyword(s):

Road Network ◽

Simulation Environment ◽

Network Generation ◽

Vehicle Simulation

Download Full-text

PCFIRE

Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 ◽

10.1145/2968478.2968492 ◽

2016 ◽

Author(s):

Jiaqi Tan ◽

Hui Jun Tay ◽

Utsav Drolia ◽

Rajeev Gandhi ◽

Priya Narasimhan

Download Full-text

RMC

Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 ◽

10.1145/2968478.2968494 ◽

2016 ◽

Author(s):

Jinsu Park ◽

Eunbi Cho ◽

Woongki Baek

Download Full-text

An algorithmic approach to global asymptotic stability verification of hybrid systems

Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 ◽

10.1145/2968478.2968483 ◽

2016 ◽

Author(s):

Pavithra Prabhakar ◽

Miriam García Soto

Keyword(s):

Asymptotic Stability ◽

Hybrid Systems ◽

Global Asymptotic Stability ◽

Algorithmic Approach ◽

Verification Of Hybrid Systems

Download Full-text

Lessons learned on assumptions and scalability with time-aware instrumentation

Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 ◽

10.1145/2968478.2975584 ◽

2016 ◽

Author(s):

Guy Martin Tchamgoue ◽

Sebastian Fischmeister

Keyword(s):

Lessons Learned ◽

Download Full-text

Schedulability analysis of mixed-criticality systems with multiple frequency specifications

Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 ◽

10.1145/2968478.2968488 ◽

2016 ◽

Author(s):

Sanjoy Baruah

Keyword(s):

Schedulability Analysis ◽

Multiple Frequency ◽

Mixed Criticality

Download Full-text

Flexible support for time and costs in scenario-aware dataflow

Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 ◽

10.1145/2968478.2968496 ◽

2016 ◽

Author(s):

Arnd Hartmanns ◽

Holger Hermanns ◽

Michael Bungert

Keyword(s):

Flexible Support

Download Full-text

Making DDS really real-time with openflow

Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 ◽

10.1145/2968478.2968479 ◽

2016 ◽

Author(s):

Hyon-Young Choi ◽

Andrew L. King ◽

Insup Lee

Keyword(s):

Download Full-text

Energy and timing aware synchronous programming

Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 ◽

10.1145/2968478.2968500 ◽

2016 ◽

Author(s):

JiaJie Wang ◽

Patha S. Roop ◽

Alain Girault

Keyword(s):

Synchronous Programming

Download Full-text