A framework for scheduler synthesis K Altisen, G Goßler, A Pnueli, J Sifakis, S Tripakis, S Yovine
Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No. 99CB37054), 154-163, 1999
164 1999 Scheduler modeling based on the controller synthesis paradigm K Altisen, G Gößler, J Sifakis
Real-Time Systems 23, 55-84, 2002
160 2002 On-the-fly controller synthesis for discrete and dense-time systems S Tripakis, K Altisen
FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999
114 1999 Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. K Altisen, A Clodic, F Maraninchi, É Rutten
ESOP 2618, 174-188, 2003
94 2003 Implementation of timed automata: An issue of semantics or modeling? K Altisen, S Tripakis
Formal Modeling and Analysis of Timed Systems: Third International …, 2005
79 2005 A methodology for the construction of scheduled systems K Altisen, G Gößler, J Sifakis
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International …, 2000
56 2000 A methodology for the construction of scheduled systems K Altisen, G Gößler, J Sifakis
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International …, 2000
56 2000 Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. M Moy, K Altisen
TACAS 6015, 358-372, 2010
49 2010 Tools for controller synthesis of timed systems K Altisen, S Tripakis
Proc. 2nd Work. on Real-Time Tools (RT-TOOLS’02), 2002-025, 2002
49 2002 Introduction to distributed self-stabilizing algorithms K Altisen, S Devismes, S Dubois, F Petit
Synthesis Lectures on Distributed Computing Theory 8 (1), 1-165, 2019
43 2019 Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework K Altisen, F Maraninchi, D Stauch
Science of Computer Programming 63 (3), 297-320, 2006
41 2006 Coherent Bremsstrahlung in the M Hoefman, L Aphecetche, JCS Bacelar, H Delagrange, P Descouvemont, ...
Physical Review Letters 85 (7), 1404, 2000
35 * 2000 Self-stabilizing leader election in polynomial steps K Altisen, A Cournier, S Devismes, A Durand, F Petit
Information and Computation 254, 330-366, 2017
33 2017 Sensor minimization problems with static or dynamic observers for fault diagnosis F Cassez, S Tripakis, K Altisen
Seventh International Conference on Application of Concurrency to System …, 2007
28 2007 SR3: Secure resilient reputation-based routing K Altisen, S Devismes, R Jamet, P Lafourcade
2013 IEEE International Conference on Distributed Computing in Sensor …, 2013
25 2013 A framework for certified self-stabilization K Altisen, P Corbineau, S Devismes
Formal Techniques for Distributed Objects, Components, and Systems: 36th …, 2016
22 2016 Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata K Altisen, Y Liu, M Moy
arXiv preprint arXiv:1004.2637, 2010
20 2010 ac2lus: Bringing SMT-solving and abstract interpretation techniques to real-time calculus through the synchronous language Lustre K Altisen, M Moy
2010 22nd Euromicro Conference on Real-Time Systems, 207-216, 2010
16 2010 Leader election in asymmetric labeled unidirectional rings K Altisen, AK Datta, S Devismes, A Durand, LL Larmore
2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS …, 2017
15 2017 On probabilistic snap-stabilization K Altisen, S Devismes
Theoretical Computer Science 688, 49-76, 2017
14 2017 