Publications

• 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]