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
Anaïs Durand:
Election et anneaux unidirectionnels en présence d'homonymes
Nikolaos Kekatos, Marcelo Forets, Goran Frehse:
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata
Karine Altisen, Stéphane Devismes, Anaïs Durand:
Concurrency in snap-stabilizing local resource allocation
Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus:
Combining the Temporal and Epistemic Dimensions for MTL Monitoring
Alexandre Rocca, Victor Magron, Thao Dang:
Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations
Alexey Bakhirkin, Thomas Ferrére, Oded Maler, Dogan Ulus:
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals
Jobs and internships
Jobs and internships
Phd Proposal : Inférence de modèles de faute pour simulation d’attaques sur composants sécurisés
Phd proposal : Optimisation de l’évaluation et des tests de sécurité des systèmes cyber-physiques par analyse des canaux auxiliaires
[M1 internship] Modeling of Graph Topologies Using Coq
[M2 internship] Certification of Distributed Self-Stabilizing Algorithms Using Coq
[M2 internship] Models of Distributed Algorithms
Browsing
Sections
Verimag
Members
Publications
Tools
Projects
Partners
Workshops and Conferences
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.26
+
AHUNTSIC
[CC License]
info visites
989364
English
Français