Publication
-
AMBULANT Open SMIL Player Software
January 2006 -
Preface -- special issue on Foundations of Software Engineering Article
Electronic Notes in Theoretical Computer Science, 1-2.January 2006 -
On the semantics of componentware: a coalgebraic perspective, in Mathematical Frameworks for Component Software Book Chapter
January 2006 -
Reachability and control synthesis for piecewise-affine hybrid systems on simplices Article
IEEE Transactions on Automatic Control, 938-948.January 2006 -
Control of rectangular multi-affine hybrid systems In Proceedings
January 2006 -
January 2006 -
-- Presentation
January 2006 -
A distributed computational model for Reo. Tech Report
January 2006