| 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 | 152 | 1999 |
| Scheduler modeling based on the controller synthesis paradigm K Altisen, G Gößler, J Sifakis Real-Time Systems 23 (1-2), 55-84, 2002 | 145 | 2002 |
| On-the-fly controller synthesis for discrete and dense-time systems S Tripakis, K Altisen International Symposium on Formal Methods, 233-252, 1999 | 102 | 1999 |
| Using controller-synthesis techniques to build property-enforcing layers K Altisen, A Clodic, F Maraninchi, E Rutten European Symposium on Programming, 174-188, 2003 | 94 | 2003 |
| Implementation of timed automata: An issue of semantics or modeling? K Altisen, S Tripakis International Conference on Formal Modeling and Analysis of Timed Systems …, 2005 | 82 | 2005 |
| A methodology for the construction of scheduled systems K Altisen, G Gößler, J Sifakis International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000 | 53 | 2000 |
| A methodology for the construction of scheduled systems K Altisen, G Gößler, J Sifakis International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2000 | 53 | 2000 |
| Tools for controller synthesis of timed systems K Altisen, S Tripakis Proc. 2nd Work. on Real-Time Tools (RT-TOOLS’02), 2002-025, 2002 | 43 | 2002 |
| 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 |
| Arrival curves for real-time calculus: the causality problem and its solutions M Moy, K Altisen International Conference on Tools and Algorithms for the Construction and …, 2010 | 37 | 2010 |
| Coherent Bremsstrahlung in the System at M Hoefman, L Aphecetche, JCS Bacelar, H Delagrange, P Descouvemont, ... Physical Review Letters 85 (7), 1404, 2000 | 31* | 2000 |
| 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 | 25 | 2007 |
| Self-stabilizing leader election in polynomial steps K Altisen, A Cournier, S Devismes, A Durand, F Petit Information and Computation 254, 330-366, 2017 | 21 | 2017 |
| SR3: Secure resilient reputation-based routing K Altisen, S Devismes, R Jamet, P Lafourcade 2013 IEEE International Conference on Distributed Computing in Sensor …, 2013 | 21* | 2013 |
| 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 | 18 | 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 |
| A framework for certified self-stabilization K Altisen, P Corbineau, S Devismes International Conference on Formal Techniques for Distributed Objects …, 2016 | 14 | 2016 |
| On probabilistic snap-stabilization K Altisen, S Devismes Theoretical Computer Science 688, 49-76, 2017 | 10 | 2017 |
| Causality closure for a new class of curves in real-time calculus K Altisen, M Moy Proceedings of the 1st International Workshop on Worst-Case Traversal Time, 3-10, 2011 | 10 | 2011 |
| Synthesis of optimal-cost dynamic observers for fault diagnosis of discrete-event systems F Cassez, S Tripakis, K Altisen First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007 | 10 | 2007 |
