Verimag

Karine Altisen’s Publications

2016

  1. Causality Problem in Real-Time Calculus. Karine Altisen, Matthieu Moy - Formal Methods in System Design - [bibtex]
  2. SR3: Secure Resilient Reputation-based Routing. Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade - Wireless Networks - [bibtex]
  3. Concurrence en allocation de ressources locales instantanément stabilisante. Karine Altisen, Stéphane Devismes, Anaïs Durand - Algotel'2016 - [bibtex]
  4. A Framework for Certified Self-Stabilization. Karine Altisen, Corbineau Pierre, Stéphane Devismes - FORTE'2016, the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and System - [bibtex]
  5. Gradual Stabilization under T-Dynamics. Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit - Euro-Par 2016, 22nd International European Conference on Parallel and Distributed Computing - [bibtex]
  6. Leader Election in Rings with Bounded Multiplicity. Karine Altisen, Ajoy Kumar Datta, Stéphane Devismes, Anaïs Durand, Lawrence L. Larmore - SSS'2016, 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems - [bibtex]

2015

  1. Self-Stabilizing Leader Election in Polynomial Steps. Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit - Information and Computation - [bibtex]
  2. On Probabilistic Snap-Stabilization. Karine Altisen, Stéphane Devismes - Theoretical Computer Science (TCS) - [bibtex]
  3. Election autostabilisante en un nombre polynomial de pas de calcul. Karine Altisen, Stéphane Devismes, Anaïs Durand - 17èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) - [bibtex]
  4. Concurrency in Snap-Stabilizing Local Resource Allocation. Karine Altisen, Stéphane Devismes, Anaïs Durand - NETYS'2015, The International Conference on NETworked sYStems - [bibtex]

2014

  1. Comparison of Mean Hitting Times for a Degree-Biased Random Walk. Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade - Discrete Applied Mathematics - [bibtex]
  2. On Probabilistic Snap-Stabilization. Karine Altisen, Stéphane Devismes - ICDCN'2014, 15th International Conference on Distributed Computing and Networking - [bibtex]
  3. Stabilisation Instantanée Probabiliste. Karine Altisen, Stéphane Devismes - 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) - [bibtex]
  4. Self-Stabilizing Leader Election in Polynomial Steps. Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit - SSS'2014, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems - [bibtex]

2013

  1. SR3: Secure Resilient Reputation-based Routing. Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade - The annual IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS 2013) - [bibtex]
  2. Routage sécurisé et résilient pour réseaux de capteurs sans fil. Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade - 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel) - [bibtex]

2012

  1. Analysis of Random Walks using Tabu Lists. Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade - 19th International Colloquium on Structural Information and Communication Complexity (SIROCCO'2012) - PDF - [bibtex]

2011

  1. Causality closure for a new class of curves in real-time calculus. Karine Altisen, Matthieu Moy - Proceedings of the 1st International Workshop on Worst-Case Traversal Time - [bibtex]
  2. Routage par marche aléatoire à listes tabous. Karine Altisen, Stéphane Devismes, Pascal Lafourcade, Clément Ponsonnet - Algotel - [bibtex]

2010

  1. Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions. Karine Altisen, Matthieu Moy - TACAS - [bibtex]
  2. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. Karine Altisen, Yanhong Liu, Matthieu Moy - Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL) - [bibtex]
  3. ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. Karine Altisen, Matthieu Moy - 22nd Euromicro Conference on Real-Time Systems (ECRTS) - PDF - [bibtex]

2007

  1. Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. Franck Cassez, Stavros Tripakis, Karine Altisen - ACSD '07: Proceedings of the Seventh International Conference on Application of Concurrency to System Design - [bibtex]
  2. Larissa, un langage d'aspects pour le développement des systèmes réactifs sûrs. David Stauch, Karine Altisen, Florence Maraninchi - 3èmes Journées Francophones sur le Développement de Logiciels par Aspects - [bibtex]
  3. Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. Franck Cassez, Stavros Tripakis, Karine Altisen - TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering - [bibtex]

2006

  1. Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework. Karine Altisen, Florence Maraninchi, David Stauch - Science of Computer Programming - [bibtex]
  2. Monitoring and Fault Diagnosis with Digital Clocks. Karine Altisen, Franck Cassez, Stavros Tripakis - Application of Concurrency to System Design (ACSD'06) - [bibtex]
  3. Interference of Larissa Aspects. David Stauch, Karine Altisen, Florence Maraninchi - FOAL : Foundations of Aspect-Oriented Languages workshop (an AOSD'06 satellite event) - [bibtex]
  4. Larissa: Modular Design of Man-Machine Interfaces with Aspects. Karine Altisen, Florence Maraninchi, David Stauch - Fifth International Symposium on Software Composition (an ETAPS satellite event) - [bibtex]

2005

  1. Introduction au contrôle des systèmes temps-réel. Karine Altisen, Patricia Bouyer, Thierry Cachat, Franck Cassez, Guillaume Gardey - Modélisation des Systèmes Réactifs (MSR'05), session invitée de l'ACI CORTOS - [bibtex]
  2. Implémentabilité des automates temporisés. Karine Altisen, Nicolas Markey, Pierre-Alain Reynier, Stavros Tripakis - Modélisation des Systèmes Réactifs (MSR'05), session invitée de l'ACI CORTOS - [bibtex]
  3. Implementation of Timed Automata: An Issue of Semantics or Modeling?. Karine Altisen, Stavros Tripakis - FORMATS - [bibtex]
  4. Aspects for Reactive Systems. Karine Altisen, Florence Maraninchi, David Stauch - [bibtex]

2004

  1. Exploring Aspects in the Context of Reactive Systems. Karine Altisen, Florence Maraninchi, David Stauch - Workshop on the Foundations of Aspect-Oriented Languages (FOAL), affiliated with AOSD (International Conference on Aspect-Oriented Software Development) - [bibtex]

2003

  1. Using Controller Synthesis to Build Property-Enforcing Layers. Karine Altisen, Aurélie Clodic, Florence Maraninchi, Eric Rutten - European Symposium on Programming (ESOP) - [bibtex]

2002

  1. Scheduler modelling based on the controller synthesis paradigm. Karine Altisen, Gregor Goessler, Joseph Sifakis - Journal of Real-Time Systems - [bibtex]
  2. Tools for Controller Synthesis of Timed Systems. Karine Altisen, Stavros Tripakis - 2nd Workshop on Real-Time Tools (RT-TOOLS'2002) - [bibtex]

2001

  1. Application de la synthèse de contrôleur à l'ordonnancement de systèmes temps-réel. Karine Altisen - [bibtex]

2000

  1. A methodology for the construction of scheduled systems. Karine Altisen, Gregor Goessler, Joseph Sifakis - Formal Techniques in Real-Time and Fault-Tolerant Systems 2000 (FTRTFT'00) - [bibtex]

1999

  1. A Framework for Scheduler Synthesis. Karine Altisen, Gregor Goessler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine - RTSS'99 - [bibtex]
  2. On-the-fly controller synthesis for discrete and dense time systems. Stavros Tripakis, Karine Altisen - Formal Methods 1999 (FM'99) - [bibtex]

Contact | Site Map | Site powered by SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 703897