Sciweavers

EMSOFT
2003
Springer
13 years 8 months ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
EMSOFT
2003
Springer
13 years 8 months ago
Schedule-Carrying Code
We introduce the paradigm of schedule-carrying code (SCC). A hard real-time program can be executed on a given platform only if there exists a feasible schedule for the real-time t...
Thomas A. Henzinger, Christoph M. Kirsch, Slobodan...
EMSOFT
2003
Springer
13 years 8 months ago
Eliminating Stack Overflow by Abstract Interpretation
act Interpretation John Regehr Alastair Reid Kirk Webb University of Utah
John Regehr, Alastair Reid, Kirk Webb