The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Karine Altisen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Karine Altisen, Franck Cassez, Stavros Tripakis
    Monitoring and fault-diagnosis with digital clocks [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:101-110 [Conf]
  2. Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten
    Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. [Citation Graph (0, 0)][DBLP]
    ESOP, 2003, pp:174-188 [Conf]
  3. Stavros Tripakis, Karine Altisen
    On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:233-252 [Conf]
  4. Karine Altisen, Stavros Tripakis
    Implementation of Timed Automata: An Issue of Semantics or Modeling? [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:273-288 [Conf]
  5. Karine Altisen, Gregor Gößler, Joseph Sifakis
    A Methodology for the Construction of Scheduled Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2000, pp:106-120 [Conf]
  6. Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine
    A Framework for Scheduler Synthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1999, pp:154-163 [Conf]
  7. Karine Altisen, Florence Maraninchi, David Stauch
    Modular Design of Man-Machine Interfaces with Larissa. [Citation Graph (0, 0)][DBLP]
    Software Composition, 2006, pp:291-306 [Conf]
  8. Karine Altisen, Gregor Gößler, Joseph Sifakis
    Scheduler Modeling Based on the Controller Synthesis Paradigm. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2002, v:23, n:1-2, pp:55-84 [Journal]
  9. Karine Altisen, Florence Maraninchi, David Stauch
    Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:3, pp:297-320 [Journal]
  10. Franck Cassez, Stavros Tripakis, Karine Altisen
    Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. [Citation Graph (0, 0)][DBLP]
    ACSD, 2007, pp:90-99 [Conf]
  11. Franck Cassez, Stavros Tripakis, Karine Altisen
    Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. [Citation Graph (0, 0)][DBLP]
    TASE, 2007, pp:316-325 [Conf]

  12. ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. [Citation Graph (, )][DBLP]


  13. Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. [Citation Graph (, )][DBLP]


  14. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata [Citation Graph (, )][DBLP]


  15. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata [Citation Graph (, )][DBLP]


Search in 0.033secs, Finished in 0.034secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002