Chercher dans 81 notices:
	Tous les champsAuteurTitreannéeunitécollectionjournaléditeurrésumémot cléDOI
Conseils de recherche :: Recherche avancée

Derniers ajouts: 2019-08-23 16:06 PDF The 2008 CAV Award citation Bryant, R. E. ; Grumberg, O. ; Henzinger, T. A. ; Vardi, M. Y. Formal Methods in System Design, 35, 4-5 (2009) 2009 | Journal Articles | Notice détaillée - Notices similaires 2015-04-13 14:41 Measuring and Synthesizing Systems in Probabilistic Environments Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Jobstmann, Barbara ; Singh, Rohit Journal Of The Acm, 62 (1), 9 (2015) 2015 | Journal Articles | Notice détaillée - Notices similaires 2014-06-16 08:02 Synthesizing robust systems Bloem, Roderick ; Chatterjee, Krishnendu ; Greimel, Karin ; Henzinger, Thomas A.[...] Acta Informatica, 51 (3-4), 193-220 (2014) 2014 | Journal Articles | Notice détaillée - Notices similaires 2013-04-19 18:10 Multiple Files ABC: Algebraic Bound Computation for Loops Blanc, Régis William ; Henzinger, Thomas A. ; Hottelier, Thibaud ; Kovács, Laura[...] Logic for Programming, Artificial Intelligence, and Reasoning, 6355, 103-118 (2010) 2010 | Conference Papers | Notice détaillée - Notices similaires 2012-07-04 09:27 Path invariants Beyer, Dirk ; Henzinger, Thomas A. ; Majumdar, Rupak Acm Sigplan Notices, 42, 300-309 (2007) 2007 | Conference Papers | Notice détaillée - Notices similaires 2012-06-12 11:18 PDF Verification of STM on relaxed memory models Guerraoui, Rachid ; Henzinger, Thomas A. ; Singh, Vasu Formal Methods In System Design, 39, 297-331 (2011) 2011 | Journal Articles | Notice détaillée - Notices similaires 2012-03-01 18:05 A survey of stochastic omega-regular games Chatterjee, Krishnendu ; Henzinger, Thomas A. Journal Of Computer And System Sciences, 78, 394-413 (2012) 2012 | Journal Articles | Notice détaillée - Notices similaires 2011-12-16 15:00 Counterexample-Guided Focus Podelski, Andreas ; Wies, Thomas Acm Sigplan Notices, 45, 249-260 (2010) 2010 | Conference Papers | Notice détaillée - Notices similaires 2011-12-16 15:00 PDF Model checking transactional memories Guerraoui, Rachid ; Henzinger, Thomas A. ; Singh, Vasu Distributed Computing, 22, 129-145 (2010) 2010 | Journal Articles | Notice détaillée - Notices similaires 2011-12-16 15:00 Strategy logic Chatterjee, Krishnendu ; Henzinger, Thomas A. ; Piterman, Nir Information And Computation, 208, 677-693 (2010) 2010 | Conference Papers | Notice détaillée - Notices similaires [>> davantage]