Yanhong Liu
FoToVP 2008-2009
Analytical versus computational models for the performance analysis of embedded systems.
Navigation
Actualités
- Conférences
- Du 28 septembre au 2 octobre 2020 AlgoTel et CoRes 2020
- Du 18 au 21 novembre 2020 SSS 2020
Nouvelles publications
- Publications
Récentes
- Camille Coti, David Monniaux, Hang Yu: Parallel Parametric Linear Programming Solving, and Application to Polyhedral Computations
- Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: Prenex Separation Logic with One Selector Field
- Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Manuel de savoir-prouver à l'usage des roboteux et des distributeux
- Lukas Holik, Radu Iosif, A Rogalewicz, T Vojnar: Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
- Radu Iosif, Xiao Xu: Alternating Automata Modulo First Order Theories
Offres d'emploi et stages
- Offres d'emploi et stages
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Decision Procedure for Equivalence Relations
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Models of Distributed Algorithms
- PhD position : Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- Self-Stabilization in TVG
