- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c13 |      | Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade: Analysis of Random Walks Using Tabu Lists. SIROCCO 2012: 254-266 |
| 2010 | ||
| c12 | | Karine Altisen, Matthieu Moy: ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. ECRTS 2010: 207-216 |
| c11 | | Matthieu Moy, Karine Altisen: Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. TACAS 2010: 358-372 |
| c10 | | Karine Altisen, Yanhong Liu, Matthieu Moy: Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. QAPL 2010: 16-33 |
| i1 | | Karine Altisen, Yanhong Liu, Matthieu Moy: Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. CoRR abs/1004.2637 (2010) |
| 2007 | ||
| c9 | | Franck Cassez, Stavros Tripakis, Karine Altisen: Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. ACSD 2007: 90-99 |
| c8 | | Franck Cassez, Stavros Tripakis, Karine Altisen: Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. TASE 2007: 316-325 |
| 2006 | ||
| j2 | | Karine Altisen, Florence Maraninchi, David Stauch: Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework. Sci. Comput. Program. 63(3): 297-320 (2006) |
| c7 | | Karine Altisen, Franck Cassez, Stavros Tripakis: Monitoring and fault-diagnosis with digital clocks. ACSD 2006: 101-110 |
| c6 | | Karine Altisen, Florence Maraninchi, David Stauch: Modular Design of Man-Machine Interfaces with Larissa. Software Composition 2006: 291-306 |
| 2005 | ||
| c5 | | Karine Altisen, Stavros Tripakis: Implementation of Timed Automata: An Issue of Semantics or Modeling? FORMATS 2005: 273-288 |
| 2003 | ||
| c4 | | Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten: Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. ESOP 2003: 174-188 |
| 2002 | ||
| j1 | | Karine Altisen, Gregor Gößler, Joseph Sifakis: Scheduler Modeling Based on the Controller Synthesis Paradigm. Real-Time Systems 23(1-2): 55-84 (2002) |
| 2000 | ||
| c3 | | Karine Altisen, Gregor Gößler, Joseph Sifakis: A Methodology for the Construction of Scheduled Systems. FTRTFT 2000: 106-120 |
| 1999 | ||
| c2 | | Stavros Tripakis, Karine Altisen: On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. World Congress on Formal Methods 1999: 233-252 |
| c1 | | Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine: A Framework for Scheduler Synthesis. RTSS 1999: 154-163 |
Colors in the list of coauthors
Last update Thu May 23 16:25:39 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page