Publications
(sorted by date)
- K. Altisen M. Moy
ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to
Real-Time Calculus Through the Synchronous Language Lustre ,
ECRTS10, 22nd Euromicro Conference on Real-Time Systems ,
Brussels, Belgium, 2010
- M. Moy, K. Altisen
Arrival Curves for Real-Time Calculus: the Causality
Problem and its Solutions ,
TACAS'10, Sixteenth International Conference
on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS,
Paphos, Cyprus, 2010
- K. Altisen, Y. Liu, M. Moy
Performance Evaluation of Components Using a
Granularity-based Interface Between Real-Time Calculus and Timed
Automata
Eighth Workshop on Quantitative Aspects of Programming
Languages (QAPL 2010),
Paphos, Cyprus, 2010
- D. Stauch, K. Altisen, F. Maraninchi
Larissa : un langage d'aspect pour le développement des
systèmes réactifs sûrs
JFDLPA'07(in French)
- F. Cassez, S. Tripakis, K. Altisen
Sensor Minimization Problems with Static or Dynamic
Observers for Fault Diagnosis
ACSD'07
- F. Cassez, S. Tripakis, K. Altisen
Synthesis of Optimal-Cost Dynamic Observers for Fault
Diagnosis of Discrete-Event Systems
TASE'07
- K. Altisen, F. Cassez, S. Tripakis
Monitoring and Fault Diagnosis with Digital Clocks
ACSD'06
- D. Stauch, K. Altisen, and F. Maraninchi
Interference of Larissa aspects
Foundations of Aspect-Oriented Languages workshop (FOAL'06)
, march 2006, Bonn, Germany
- K. Altisen, F. Maraninchi and D. Stauch
Larissa: Modular Design of Man-Machine Interfaces with
Aspects
Fifth International Symposium on Software Composition
(SC'06), march 2006, Vienna (Austria).
- K. Altisen, F. Maraninchi and D. Stauch
Aspect-Oriented Programming for Reactive Systems: Larissa,
a Proposal in the Synchronous Framework
Science of Computer Programming,2006.
- K. Altisen, P. Bouyer, T. Cachat, F. Cassez, G. Gardey
Introduction au contrôle des systèmes temps-réel
MSR'05 (in French, invited paper for the Cortos
project)
also published in: Journal Européen des Systèmes Automatisés,
VOL 39/1-3 - 2005 - pp.367-380
- K. Altisen, N. Markey, P.-A. Reynier, S. Tripakis
Implémentabilité des automates temporisés
MSR'05 (in French, invited paper for the Cortos
project)
also published in: Journal Européen des Systèmes Automatisés,
VOL 39/1-3 - 2005 - pp.395-406
- K. Altisen and S. Tripakis.
Implementation of timed automata: an issue of semantics or
modeling?
FORMATS'05.
- K. Altisen, F. Maraninchi and D. Stauch
Exploring Aspects in the Context of Reactive Systems
Foundations Of Aspect-oriented Languages (FOAL)
2004 [Pdf]
- K. Altisen, A. Clodic, F. Maraninchi and E.
Rutten.
Using Controller Synthesis to Build Property-Enforcing
Layers.
European Symposium on Programming (ESOP) 2003.[Pdf]
- K. Altisen and S. Tripakis
Tools for Controller Synthesis of Timed Systems.
RT-TOOLS'02 [Pdf]
- K. Altisen
Application de la synthèse de contrôleur à
l'ordonnancement de systèmes temps-réel.
Thèse de doctorat, INPG, décembre 2001.
In French. [Gzipped PostScript][Slides(.ps.gz) of the defense]
- K. Altisen, G. Goessler and J. Sifakis.
Scheduler Modeling Based on the Controller Synthesis
Paradigm.
Journal of Real-Time Systems, special issue on
control-theoritical approaches to real-time computing, 23, 55--84,
2002.
- K. Altisen, G. Goessler, and J. Sifakis.
A methodology for the construction of scheduled systems.
In M. Joseph, editor, FTRTFT 2000 proceedings,
volume 1926 of LNCS, pages 106--120, 2000. [PostScript]
- K. Altisen, G. Goessler, A. Pnueli, J. Sifakis,
S. Tripakis, and S.Yovine.
A framework for scheduler synthesis.
In RTSS 1999 proceedings, pages 154--163, 1999. [PostScript]
- S. Tripakis and K. Altisen.
On-the-fly Controller Synthesis for Discrete and Dense
Time Systems.
In Formal Methods 1999 (FM'99), volume 1706 of
LNCS, pages 233--252, 1999. [PostScript]