Karine Altisen
Karine Altisen
Maître de Conférences, Grenoble INP / Verimag
Verifierad e-postadress på imag.fr - Startsida
TitelCiteras avÅr
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
1511999
Scheduler modeling based on the controller synthesis paradigm
K Altisen, G Gößler, J Sifakis
Real-Time Systems 23 (1-2), 55-84, 2002
1452002
On-the-fly controller synthesis for discrete and dense-time systems
S Tripakis, K Altisen
International Symposium on Formal Methods, 233-252, 1999
911999
Using controller-synthesis techniques to build property-enforcing layers
K Altisen, A Clodic, F Maraninchi, E Rutten
European Symposium on Programming, 174-188, 2003
862003
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
822005
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
522000
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
522000
Tools for controller synthesis of timed systems
K Altisen, S Tripakis
Proc. 2nd Workshop on Real-Time Tools (RT-TOOLS’02), 2002-025, 2002
412002
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
392006
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
342010
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
232007
Self-stabilizing leader election in polynomial steps
K Altisen, A Cournier, S Devismes, A Durand, F Petit
Information and Computation 254, 330-366, 2017
202017
SR3: secure resilient reputation-based routing
K Altisen, S Devismes, R Jamet, P Lafourcade
2013 IEEE International Conference on Distributed Computing in Sensor …, 2013
202013
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
172010
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
152010
Introduction au contrôle des systèmes temps-réel
K Altisen, P Bouyer, T Cachat, F Cassez, G Gardey
Actes du 5ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'05 …, 2005
132005
A framework for certified self-stabilization
K Altisen, P Corbineau, S Devismes
International Conference on Formal Techniques for Distributed Objects …, 2016
122016
On-the-fly controller synthesis for discrete and dense-time systems
K Altisen, S Tripakis
World Congress on Formal Methods (FM’99) 1708, 233-252, 1999
111999
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
102011
On probabilistic snap-stabilization
K Altisen, S Devismes
Theoretical Computer Science 688, 49-76, 2017
92017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20