2015 International Conference on Embedded Software (EMSOFT)
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By IEEE

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

A framework for mining hybrid automata from input/output traces

2015 ◽  
Author(s):  
Ramy Medhat ◽  
S. Ramesh ◽  
Borzoo Bonakdarpour ◽  
Sebastian Fischmeister
Keyword(s):  
Hybrid Automata ◽  
Input Output

scholarly journals Forward invariant cuts to simplify proofs of safety

2015 ◽  
Author(s):  
Nikos Aréchiga ◽  
James Kapinski ◽  
Jyotirmoy V. Deshmukh ◽  
André Platzer ◽  
Bruce Krogh

Can real-time systems be chaotic?

2015 ◽  
Author(s):  
Lothar Thiele ◽  
Pratyush Kumar
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems

Executing dataflow actors as kahn processes

2015 ◽  
Author(s):  
Andreas Tretter ◽  
Jani Boutellier ◽  
James Guthrie ◽  
Lars Schor ◽  
Lothar Thiele

scholarly journals Numerical static analysis of interrupt-driven programs via sequentialization

2015 ◽  
Author(s):  
Xueguang Wu ◽  
Liqian Chen ◽  
Antoine Mine ◽  
Wei Dong ◽  
Ji Wang
Keyword(s):  
Static Analysis

scholarly journals Data mining approach to temporal debugging of embedded streaming applications

2015 ◽  
Author(s):  
Oleg Iegorov ◽  
Vincent Leroy ◽  
Alexandre Termier ◽  
Jean-Francois Mehaut ◽  
Miguel Santana
Keyword(s):  
Data Mining ◽  
Streaming Applications ◽  
Data Mining Approach
Load More ...
Sign in / Sign up

Export Citation Format

Share Document