Proceedings of the tenth ACM international conference on Embedded software - EMSOFT '12
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By ACM Press

9781450314251
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesis from incompatible specifications

2012 ◽  
Author(s):  
Pavol Černý ◽  
Sivakanth Gopi ◽  
Thomas A. Henzinger ◽  
Arjun Radhakrishna ◽  
Nishant Totla

Trends in automotive embedded systems

2012 ◽  
Author(s):  
Dan Gunnarsson ◽  
Stefan Kuntz ◽  
Glenn Farrall ◽  
Akihito Iwai ◽  
Rolf Ernst
Keyword(s):  
Embedded Systems

Code-level timing analysis of embedded software

2012 ◽  
Author(s):  
Heiko Falk ◽  
Kevin Hammond ◽  
Kim G. Larsen ◽  
Björn Lisper ◽  
Stefan M. Petters
Keyword(s):  
Timing Analysis ◽  
Embedded Software

Timed model checking with abstractions

2012 ◽  
Author(s):  
Georgia Giannopoulou ◽  
Kai Lampka ◽  
Nikolay Stoimenov ◽  
Lothar Thiele
Keyword(s):  
Model Checking ◽  
Timed Model Checking

XEMU

2012 ◽  
Author(s):  
Markus Becker ◽  
Daniel Baldin ◽  
Christoph Kuznik ◽  
Mabel Mary Joy ◽  
Tao Xie ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document