Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer International Publishing

9783319229744, 9783319229751
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Nested Timed Automata with Frozen Clocks

2015 ◽  
pp. 189-205 ◽  
Author(s):  
Guoqiang Li ◽  
Mizuhito Ogawa ◽  
Shoji Yuen
Keyword(s):  
Timed Automata

A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems

2015 ◽  
pp. 305-320 ◽  
Author(s):  
Erik Ramsgaard Wognsen ◽  
Boudewijn R. Haverkort ◽  
Marijn Jongerden ◽  
René Rydhof Hansen ◽  
Kim Guldstrand Larsen
Keyword(s):  
Embedded Systems ◽  
Score Function ◽  
Cycle Life

scholarly journals Bounded Determinization of Timed Automata with Silent Transitions

2015 ◽  
pp. 288-304 ◽  
Author(s):  
Florian Lorber ◽  
Amnon Rosenmann ◽  
Dejan Ničković ◽  
Bernhard K. Aichernig
Keyword(s):  
Timed Automata

scholarly journals Contracts for Schedulability Analysis

2015 ◽  
pp. 270-287 ◽  
Author(s):  
Philipp Reinkemeier ◽  
Albert Benveniste ◽  
Werner Damm ◽  
Ingo Stierand
Keyword(s):  
Schedulability Analysis

scholarly journals On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling

2015 ◽  
pp. 108-123 ◽  
Author(s):  
Raul Gorcitz ◽  
Emilien Kofman ◽  
Thomas Carle ◽  
Dumitru Potop-Butucaru ◽  
Robert de Simone
Keyword(s):  
Real Time ◽  
Constraint Solving ◽  
Real Time Scheduling ◽  
Time Scheduling
Load More ...
Sign in / Sign up

Export Citation Format

Share Document