karine
Send a private message to this author
Articles by this author
DACRAW
Saturday 27 February 2016
Decision Procedure for Equivalence Relations
Sunday 30 August 2020
Karine Altisen
Saturday 9 July 2016
Karine Altisen’s Publications
Monday 9 July 2012
Models of Distributed Algorithms
Friday 16 October 2020
PADEC
Friday 1 January 2016
Performance Evaluation of Embedded Systems : a tradeoff between accuracy and scalability
Thursday 17 June 2010
Self-Stabilization in TVG
Thursday 10 September 2020
Silent Self-Stabilizing Algorithms: Certification Using Coq
Saturday 1 October 2016
The Impure Library
Friday 9 October 2020
[M1 internship] Modeling of Graph Topologies Using Coq
Sunday 16 September 2018
[Magistère M1/M2, M2R] Distributed Approach for Cross-Layer Resource Allocation in Wireless Sensor Networs
Saturday 30 September 2017
[master 2R 2011-2012] Routing Protocols for (Dynamic) Wireless Sensor Networks
Thursday 16 February 2012
[Master 2R 2012-2013] Probabilistic Snap-Stabilizing Algorithms for Local Resource Allocation Problems
Tuesday 30 April 2013
[Master 2R 2013-2014] Efficient Self-Stabilizing Algorithms for Pervasive Computing Systems
Wednesday 8 October 2014
[Master 2R 2014-2015] Performance Evaluation for Embedded Systems using Formal Methods
Tuesday 15 July 2014
[MASTER 2] Performance Evaluation for Embedded Systems: Between Computational Simulation and Mathematical Solutions
Friday 15 July 2011
[Master 2] Probabilistic Methods for Routing in Wireless Sensor Networks
Friday 15 July 2011
[Master] Implementing the Silence to Reduce Energy Consumption in Wireless Sensor Networks
Thursday 12 October 2023
[Master] Simulation of Distributed Algorithms
Wednesday 18 October 2023
[Postdoc positions] Coq Developments
Wednesday 16 October 2019
