MTC - Laboratoire de modèles et théorie de calculs

Derniers ajouts

• 2015-04-13
  14:41
  K. Chatterjee, T. A. Henzinger, B. Jobstmann and R. Singh. Measuring and Synthesizing Systems in Probabilistic Environments, in Journal Of The Acm, vol. 62, num. 1, 2015.

  Notice détaillée
• 2014-06-16
  08:02
  R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger and G. Hofferek et al. Synthesizing robust systems, in Acta Informatica, vol. 51, num. 3-4, p. 193-220, 2014.

  Notice détaillée
• 2013-04-19
  18:10
  R. W. Blanc, T. A. Henzinger, T. Hottelier and L. Kovács. ABC: Algebraic Bound Computation for Loops. 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Dakar, Senegal,, April 25–May 1, 2010. , Lecture Notes in Computer Science.

  Notice détailléeTexte intégral
• 2012-07-04
  09:27
  D. Beyer, T. A. Henzinger and R. Majumdar. Path invariants. Conference on Programming Language Design and Implementation (PLDI), San Diego, CA, Jun 10-13, 2007.

  Notice détaillée
• 2012-06-12
  11:18
  R. Guerraoui, T. A. Henzinger and V. Singh. Verification of STM on relaxed memory models, in Formal Methods In System Design, vol. 39, p. 297-331, 2011.

  Notice détailléeTexte intégral
• 2012-03-01
  18:05
  K. Chatterjee and T. A. Henzinger. A survey of stochastic omega-regular games, in Journal Of Computer And System Sciences, vol. 78, p. 394-413, 2012.

  Notice détaillée
• 2011-12-16
  15:00
  A. Podelski and T. Wies. Counterexample-Guided Focus. 37th ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Madrid, SPAIN, Jan 17-23, 2010.

  Notice détaillée
• 2011-12-16
  15:00
  R. Guerraoui, T. A. Henzinger and V. Singh. Model checking transactional memories, in Distributed Computing, vol. 22, p. 129-145, 2010.

  Notice détailléeTexte intégral
• 2011-12-16
  15:00
  K. Chatterjee, T. A. Henzinger and N. Piterman. Strategy logic. 18th International Conference on Concurrency Theory, Lisbon, PORTUGAL, Sep 03-08, 2007.

  Notice détaillée
• 2011-12-16
  15:00
  K. D. Jones, V. Konrad and D. Nickovic. Analog property checkers: a DDR2 case study, in Formal Methods In System Design, vol. 36, p. 114-130, 2010.

  Notice détaillée