Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Altisen, Karine - Laboratoire VERIMAG, Centre National de la Recherche Scientifique (CNRS)
Exploring Aspects in the Context of Reactive Systems Karine Altisen
A Methodology for the Construction of Scheduled Systems
INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE pour obtenir le grade de
Tools for Controller Synthesis of Timed Systems Karine Altisen
Application contrleurs
Probabilistic Methods for Routing in Wireless Sensor Networks Master degree subject
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
Methodes probabilistes pour le routage dans les reseaux de capteurs Karine Altisen Stephane Devismes
OnTheFly Controller Synthesis for Discrete and DenseTime Systems
A Framework for Scheduler Synthesis K. Altisen, G. Goler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine
