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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450344852

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 10

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

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 ◽

Cited By ~ 13

Author(s):

Chuchu Fan ◽

James Kapinski ◽

Xiaoqing Jin ◽

Sayan Mitra

Keyword(s):

Nonlinear Systems

Download Full-text

PCFIRE

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

10.1145/2968478.2968492 ◽

2016 ◽

Cited By ~ 4

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 ◽

Cited By ~ 4

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 ◽

Time Aware

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 ◽

Cited By ~ 7

Author(s):

Sanjoy Baruah

Keyword(s):

Schedulability Analysis ◽

Multiple Frequency ◽

Mixed Criticality

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 ◽

Cited By ~ 2

Author(s):

JiaJie Wang ◽

Patha S. Roop ◽

Alain Girault

Keyword(s):

Synchronous Programming

Download Full-text

Exploring the performance of ROS2

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

10.1145/2968478.2968502 ◽

2016 ◽

Cited By ~ 45

Author(s):

Yuya Maruyama ◽

Shinpei Kato ◽

Takuya Azumi

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 ◽

Cited By ~ 4

Author(s):

Hyon-Young Choi ◽

Andrew L. King ◽

Insup Lee

Keyword(s):

Real Time

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

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

Locally optimal reach set over-approximation for nonlinear systems

PCFIRE

RMC

An algorithmic approach to global asymptotic stability verification of hybrid systems

Lessons learned on assumptions and scalability with time-aware instrumentation

Schedulability analysis of mixed-criticality systems with multiple frequency specifications

Energy and timing aware synchronous programming

Exploring the performance of ROS2

Making DDS really real-time with openflow

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