Error 404
Error in query: No results found.
The path you selected does not seem to be valid. Please return to the previous page and verify the information provided.
Select
previous page
Search
Home
Site Map
New publications
Recent Publications
Arvind S. Adimoolam:
A Calculus of Complex Zonotopes for Computing Invariants of Affine Hybrid Systems
Victor Magron, Alexandre Rocca, Thao Dang:
Certified Roundoff Error Bounds using Bernstein Expansions and Sparse Krivine-Stengle Representations
Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs
Rim El-Ballouli:
Modeling Self-configuration In Architecture-based Self-adaptive Systems
Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil:
Optimal torus exploration by oblivious robots
Mohammad Al Khatib, Antoine Girard, Thao Dang:
Timing Contracts for Multi-Core Embedded Control Systems
Jobs and internships
Jobs and internships
ADE
PHD proposal: Data Mining Dynamic Behaviors using Signal Temporal Logic
Post-Doc and/or Research Engineer positions on Software Security
STMicroelectronics
[M2 internship] Self-Stabilization in TVG
[Postdoc positions] Coq Developments
Browsing
Sections
Verimag
Members
Publications
Tools
Projects
Partners
Workshops and Conferences
Seminars
Documents
Teams
Pacss
RSD
Synchrone
Tempo
Contact
Whom to contact
How to reach us
Site Map
Search:
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.0.28
+
AHUNTSIC
[CC License]
info visites
1247881
English
Français
