Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan Multi-dimensional long-run average problems for vector addition systems with states. (English) Zbl 07559479 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 23, 22 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 23, 22 p. (2020; Zbl 07559479) Full Text: DOI arXiv
Avni, Guy; Henzinger, Thomas A. A survey of bidding games on graphs (Invited Paper). (English) Zbl 07559458 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 2, 21 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Avni} and \textit{T. A. Henzinger}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 2, 21 p. (2020; Zbl 07559458) Full Text: DOI
Chatterjee, Krishnendu; Henzinger, Thomas A.; Otop, Jan Long-run average behavior of vector addition systems with states. (English) Zbl 07649935 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 27, 16 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 27, 16 p. (2019; Zbl 07649935) Full Text: DOI arXiv
Aghajohari, Milad; Avni, Guy; Henzinger, Thomas A. Determinacy in discrete-bidding infinite-duration games. (English) Zbl 07649928 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 20, 17 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Aghajohari} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 20, 17 p. (2019; Zbl 07649928) Full Text: DOI
Kragl, Bernhard; Qadeer, Shaz; Henzinger, Thomas A. Synchronizing the asynchronous. (English) Zbl 1520.68029 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 21, 17 p. (2018). MSC: 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{B. Kragl} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 21, 17 p. (2018; Zbl 1520.68029) Full Text: DOI
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. The cost of exactness in quantitative reachability. (English) Zbl 1431.68073 Aceto, Luca (ed.) et al., Models, algorithms, logics and tools. Essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10460, 367-381 (2017). MSC: 68Q85 68Q25 68R10 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 10460, 367--381 (2017; Zbl 1431.68073) Full Text: DOI
Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten From non-preemptive to preemptive scheduling using synchronization synthesis. (English) Zbl 1360.68346 Form. Methods Syst. Des. 50, No. 2-3, 97-139 (2017). MSC: 68N19 68M20 68Q60 68Q85 PDFBibTeX XMLCite \textit{P. Černý} et al., Form. Methods Syst. Des. 50, No. 2--3, 97--139 (2017; Zbl 1360.68346) Full Text: DOI
Daca, Przemysław; Henzinger, Thomas A.; Krětínský, Jan; Petrov, Tatjana Linear distances between Markov chains. (English) Zbl 1392.68293 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 20, 15 p. (2016). MSC: 68Q85 60J10 68Q60 68Q87 PDFBibTeX XMLCite \textit{P. Daca} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 20, 15 p. (2016; Zbl 1392.68293) Full Text: DOI arXiv
Haas, Andreas; Henzinger, Thomas A.; Holzer, Andreas; Kirsch, Christoph M.; Lippautz, Michael; Payer, Hannes; Sezgin, Ali; Sokolova, Ana; Veith, Helmut Local linearizability for concurrent container-type data structures. (English) Zbl 1392.68152 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 6, 15 p. (2016). MSC: 68P05 68Q85 PDFBibTeX XMLCite \textit{A. Haas} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 6, 15 p. (2016; Zbl 1392.68152) Full Text: DOI
Chakraborty, Soham; Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor Aspect-oriented linearizability proofs. (English) Zbl 1391.68023 Log. Methods Comput. Sci. 11, No. 1, Paper No. 20, 33 p. (2015). MSC: 68P05 68Q85 68W10 PDFBibTeX XMLCite \textit{S. Chakraborty} et al., Log. Methods Comput. Sci. 11, No. 1, Paper No. 20, 33 p. (2015; Zbl 1391.68023) Full Text: DOI
Boker, Udi; Henzinger, Thomas A.; Radhakrishna, Arjun Battery transition systems. (English) Zbl 1284.68382 Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 595-606 (2014). MSC: 68Q60 68Q85 93C35 PDFBibTeX XMLCite \textit{U. Boker} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 595--606 (2014; Zbl 1284.68382) Full Text: DOI
Henzinger, Thomas A.; Otop, Jan From model checking to model measuring. (English) Zbl 1390.68428 D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 273-287 (2013). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{T. A. Henzinger} and \textit{J. Otop}, Lect. Notes Comput. Sci. 8052, 273--287 (2013; Zbl 1390.68428) Full Text: DOI Link
Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor Aspect-oriented linearizability proofs. (English) Zbl 1390.68213 D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 242-256 (2013). MSC: 68P05 68Q85 68W10 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 8052, 242--256 (2013; Zbl 1390.68213) Full Text: DOI arXiv
Zufferey, Damien; Wies, Thomas; Henzinger, Thomas A. Ideal abstractions for well-structured transition systems. (English) Zbl 1326.68205 Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 445-460 (2012). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{D. Zufferey} et al., Lect. Notes Comput. Sci. 7148, 445--460 (2012; Zbl 1326.68205) Full Text: DOI
Feret, Jerome; Henzinger, Thomas; Koeppl, Heinz; Petrov, Tatjana Lumpability abstractions of rule-based systems. (English) Zbl 1267.68153 Theor. Comput. Sci. 431, 137-164 (2012). Reviewer: Antti Valmari (Tampere) MSC: 68Q85 92C42 68Q60 68Q87 PDFBibTeX XMLCite \textit{J. Feret} et al., Theor. Comput. Sci. 431, 137--164 (2012; Zbl 1267.68153) Full Text: DOI arXiv
Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun Simulation distances. (English) Zbl 1234.68253 Theor. Comput. Sci. 413, No. 1, 21-35 (2012). MSC: 68Q60 91A80 91A05 68N30 68Q85 PDFBibTeX XMLCite \textit{P. Černý} et al., Theor. Comput. Sci. 413, No. 1, 21--35 (2012; Zbl 1234.68253) Full Text: DOI
Chatterjee, Krishnendu; De Alfaro, Luca; Henzinger, Thomas A. Qualitative concurrent parity games. (English) Zbl 1351.68179 ACM Trans. Comput. Log. 12, No. 4, Article No. 28, 51 p. (2011). MSC: 68Q85 03B44 68Q25 68Q60 91A05 91A43 91A80 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., ACM Trans. Comput. Log. 12, No. 4, Article No. 28, 51 p. (2011; Zbl 1351.68179) Full Text: DOI
Fisher, Jasmin; Henzinger, Thomas A.; Nickovic, Dejan; Piterman, Nir; Singh, Anmol V.; Vardi, Moshe Y. Dynamic reactive modules. (English) Zbl 1343.68167 Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 404-418 (2011). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Fisher} et al., Lect. Notes Comput. Sci. 6901, 404--418 (2011; Zbl 1343.68167) Full Text: DOI
Henzinger, Thomas; Jobstmann, Barbara; Wolf, Verena Formalisms for specifying Markovian population models. (English) Zbl 1216.68190 Int. J. Found. Comput. Sci. 22, No. 4, 823-841 (2011). MSC: 68Q85 60J28 92C42 PDFBibTeX XMLCite \textit{T. Henzinger} et al., Int. J. Found. Comput. Sci. 22, No. 4, 823--841 (2011; Zbl 1216.68190) Full Text: DOI
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu Model checking transactional memories. (English) Zbl 1267.68143 Distrib. Comput. 22, No. 3, 129-145 (2010). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{R. Guerraoui} et al., Distrib. Comput. 22, No. 3, 129--145 (2010; Zbl 1267.68143) Full Text: DOI Link
Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun Quantitative simulation games. (English) Zbl 1288.68180 Manna, Zohar (ed.) et al., Time for verification. Essays in memory of Amir Pnueli. Berlin: Springer (ISBN 978-3-642-13753-2/pbk). Lecture Notes in Computer Science 6200, 42-60 (2010). MSC: 68Q85 91A43 91A80 94B70 PDFBibTeX XMLCite \textit{P. Černý} et al., Lect. Notes Comput. Sci. 6200, 42--60 (2010; Zbl 1288.68180) Full Text: DOI
Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun Simulation distances. (English) Zbl 1287.68127 Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 253-268 (2010). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{P. Černý} et al., Lect. Notes Comput. Sci. 6269, 253--268 (2010; Zbl 1287.68127) Full Text: DOI Link
Wies, Thomas; Zufferey, Damien; Henzinger, Thomas A. Forward analysis of depth-bounded processes. (English) Zbl 1284.68419 Ong, Luke (ed.), Foundations of software science and computational structures. 13th international conference, FOSSACS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12031-2/pbk). Lecture Notes in Computer Science 6014, 94-108 (2010). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{T. Wies} et al., Lect. Notes Comput. Sci. 6014, 94--108 (2010; Zbl 1284.68419) Full Text: DOI
Henzinger, Thomas A.; Jobstmann, Barbara; Wolf, Verena Formalisms for specifying Markovian population models. (English) Zbl 1260.68284 Bournez, Olivier (ed.) et al., Reachability problems. 3rd international workshop, RP 2009, Palaiseau, France, September 23–25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04419-9/pbk). Lecture Notes in Computer Science 5797, 3-23 (2009). MSC: 68Q87 60J27 65C40 68Q85 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 5797, 3--23 (2009; Zbl 1260.68284) Full Text: DOI Link
Berwanger, Dietmar; Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A.; Raje, Sangram Strategy construction for parity games with imperfect information. (English) Zbl 1160.68455 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 325-339 (2008). MSC: 68Q85 03B70 91A43 PDFBibTeX XMLCite \textit{D. Berwanger} et al., Lect. Notes Comput. Sci. 5201, 325--339 (2008; Zbl 1160.68455) Full Text: DOI Link
Chatterjee, Krishnendu; Henzinger, Thomas A.; Jobstmann, Barbara Environment assumptions for synthesis. (English) Zbl 1160.68437 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 147-161 (2008). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 5201, 147--161 (2008; Zbl 1160.68437) Full Text: DOI arXiv
Doyen, Laurent; Henzinger, Thomas A.; Raskin, Jean-François Equivalence of labeled Markov chains. (English) Zbl 1155.68035 Int. J. Found. Comput. Sci. 19, No. 3, 549-563 (2008). MSC: 68Q45 60J10 68Q10 90C40 PDFBibTeX XMLCite \textit{L. Doyen} et al., Int. J. Found. Comput. Sci. 19, No. 3, 549--563 (2008; Zbl 1155.68035) Full Text: DOI
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu Permissiveness in transactional memories. (English) Zbl 1161.68387 Taubenfeld, Gadi (ed.), Distributed computing. 22nd international symposium, DISC 2008, Arcachon, France, September 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87778-3/pbk). Lecture Notes in Computer Science 5218, 305-319 (2008). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{R. Guerraoui} et al., Lect. Notes Comput. Sci. 5218, 305--319 (2008; Zbl 1161.68387) Full Text: DOI Link
Chatterjee, Krishnendu; Henzinger, Thomas A.; Prabhu, Vinayak S. Trading infinite memory for uniform randomness in timed games. (English) Zbl 1143.68479 Egerstedt, Magnus (ed.) et al., Hybrid systems: Computation and control. 11th international workshop, HSCC 2008, St. Louis, MO, USA, April 22–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78928-4/pbk). Lecture Notes in Computer Science 4981, 87-100 (2008). MSC: 68Q85 68Q45 91A80 93B50 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 4981, 87--100 (2008; Zbl 1143.68479) Full Text: DOI
Fisher, Jasmin; Henzinger, Thomas A.; Mateescu, Maria; Piterman, Nir Bounded asynchrony: concurrency for modeling cell-cell interactions. (English) Zbl 1375.92018 Fisher, Jasmin (ed.), Formal methods in systems biology. First international workshop, FMSB 2008, Cambridge, UK, June 4–5, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68410-7/pbk). Lecture Notes in Computer Science 5054. Lecture Notes in Bioinformatics, 17-32 (2008). MSC: 92C37 68Q60 68Q85 PDFBibTeX XMLCite \textit{J. Fisher} et al., Lect. Notes Comput. Sci. 5054, 17--32 (2008; Zbl 1375.92018) Full Text: DOI
Chatterjee, Krishnendu; Henzinger, Thomas A.; Piterman, Nir Strategy logic. (English) Zbl 1151.03327 Caires, Luís (ed.) et al., CONCUR 2007 – concurrency theory. 18th international conference, CONCUR 2007, Lisbon, Portugal, September 3–8, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74406-1/pbk). Lecture Notes in Computer Science 4703, 59-73 (2007). MSC: 03B70 03D05 68Q45 68Q85 91A05 91A43 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 4703, 59--73 (2007; Zbl 1151.03327) Full Text: DOI
Henzinger, Thomas A. Games, time, and probability: Graph models for system design and analysis. (English) Zbl 1132.68043 van Leeuwen, Jan (ed.) et al., SOFSEM 2007: Theory and practice of computer science. 33rd conference on current trends in theory and practice of computer science, Harrachov, Czech Republic, January 20–26, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-69506-6/pbk). Lecture Notes in Computer Science 4362, 103-110 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. A. Henzinger}, Lect. Notes Comput. Sci. 4362, 103--110 (2007; Zbl 1132.68043) Full Text: DOI
Chatterjee, Krishnendu; Henzinger, Thomas A. Assume-guarantee synthesis. (English) Zbl 1186.68284 Grumberg, Orna (ed.) et al., Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71208-4/pbk). Lecture Notes in Computer Science 4424, 261-275 (2007). MSC: 68Q60 68Q85 91A80 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{T. A. Henzinger}, Lect. Notes Comput. Sci. 4424, 261--275 (2007; Zbl 1186.68284) Full Text: DOI
Chatterjee, Krishnendu; Henzinger, Thomas A. Strategy improvement for stochastic Rabin and Streett games. (English) Zbl 1151.68474 Baier, Christel (ed.) et al., CONCUR 2006 – concurrency theory. 17th international conference, CONCUR 2006, Bonn, Germany, August 27–30, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37376-6/pbk). Lecture Notes in Computer Science 4137, 375-389 (2006). MSC: 68Q60 68Q45 68Q85 91A15 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{T. A. Henzinger}, Lect. Notes Comput. Sci. 4137, 375--389 (2006; Zbl 1151.68474) Full Text: DOI
Chatterjee, Krishnendu; Henzinger, Thomas A. Finitary winning in \(\omega\)-regular games. (English) Zbl 1180.68171 Hermanns, Holger (ed.) et al., Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 – April 2, 2006. Proceedings. Berlin: Springer (ISBN 3-540-33056-9/pbk). Lecture Notes in Computer Science 3920, 257-271 (2006). MSC: 68Q60 68Q85 91A43 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{T. A. Henzinger}, Lect. Notes Comput. Sci. 3920, 257--271 (2006; Zbl 1180.68171) Full Text: DOI
Henzinger, Thomas A.; Majumdar, Rupak; Raskin, Jean-François A classification of symbolic transition systems. (English) Zbl 1367.68193 ACM Trans. Comput. Log. 6, No. 1, 1-32 (2005). MSC: 68Q60 68Q45 68Q85 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., ACM Trans. Comput. Log. 6, No. 1, 1--32 (2005; Zbl 1367.68193) Full Text: DOI
Henzinger, Thomas A.; Majumdar, Rupak; Prabhu, Vinayak S. Quantifying similarities between timed systems. (English) Zbl 1175.68281 Pettersson, Paul (ed.) et al., Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26–28, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30946-2/pbk). Lecture Notes in Computer Science 3829, 226-241 (2005). MSC: 68Q85 68Q45 68Q60 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 3829, 226--241 (2005; Zbl 1175.68281) Full Text: DOI
Chatterjee, Krishnendu; Henzinger, Thomas A. Semiperfect-information games. (English) Zbl 1172.68540 Ramanujam, R. (ed.) et al., FSTTCS 2005: Foundations of software technology and theoretical computer science. 25th international conference, Hyderabad, India, December 15–18, 2005. Proceedings. Berlin: Springer (ISBN 3-540-30495-9/pbk). Lecture Notes in Computer Science 3821, 1-18 (2005). MSC: 68Q60 68Q85 91A43 PDFBibTeX XMLCite \textit{K. Chatterjee} and \textit{T. A. Henzinger}, Lect. Notes Comput. Sci. 3821, 1--18 (2005; Zbl 1172.68540) Full Text: DOI
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle Model checking discounted temporal properties. (English) Zbl 1079.68062 Theor. Comput. Sci. 345, No. 1, 139-170 (2005). MSC: 68Q60 68Q85 03B44 PDFBibTeX XMLCite \textit{L. de Alfaro} et al., Theor. Comput. Sci. 345, No. 1, 139--170 (2005; Zbl 1079.68062) Full Text: DOI
de Alfaro, Luca; Faella, Marco; Henzinger, Thomas A.; Majumdar, Rupak; Stoelinga, Mariëlle The element of surprise in timed games. (English) Zbl 1262.68141 Amadio, Roberto (ed.) et al., CONCUR 2003 – concurrency theory. 14th international conference, Marseille, France, September 3–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40753-7/pbk). Lect. Notes Comput. Sci. 2761, 144-158 (2003). MSC: 68Q85 68Q45 68Q60 91A05 91A80 PDFBibTeX XMLCite \textit{L. de Alfaro} et al., Lect. Notes Comput. Sci. 2761, 144--158 (2003; Zbl 1262.68141) Full Text: DOI
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak Discounting the future in systems theory. (English) Zbl 1039.68087 Baeten, Jos C. M. (ed.) et al., Automata, languages and programming. 30th international colloquium, ICALP 2003, Eindhoven, The Netherland, June 30 – July 4, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40493-7/pbk). Lect. Notes Comput. Sci. 2719, 1022-1037 (2003). MSC: 68Q85 91A80 93A30 PDFBibTeX XMLCite \textit{L. de Alfaro} et al., Lect. Notes Comput. Sci. 2719, 1022--1037 (2003; Zbl 1039.68087) Full Text: Link
Jurdzinski, Marcin; Kupferman, Orna; Henzinger, Thomas A. Trading probability for fairness. (English) Zbl 1020.68060 Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 292-305 (2002). MSC: 68Q85 68Q60 91A80 PDFBibTeX XMLCite \textit{M. Jurdzinski} et al., Lect. Notes Comput. Sci. 2471, 292--305 (2002; Zbl 1020.68060) Full Text: Link
Henzinger, Thomas A.; Kupferman, Orna; Rajamani, Sriram K. Fair simulation. (English) Zbl 1009.68071 Inf. Comput. 173, No. 1, 64-81 (2002). MSC: 68Q60 68Q85 68N30 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Inf. Comput. 173, No. 1, 64--81 (2002; Zbl 1009.68071) Full Text: DOI Link
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C. The control of synchronous systems. II. (English) Zbl 1006.68534 Larsen, Kim G. (ed.) et al., CONCUR 2001 - Concurrency theory. 12th international conference, Aalborg, Denmark, August 20-25, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2154, 566-581 (2001). MSC: 68Q85 93C83 PDFBibTeX XMLCite \textit{L. de Alfaro} et al., Lect. Notes Comput. Sci. 2154, 566--581 (2001; Zbl 1006.68534) Full Text: Link
de Alfaro, Luca; Henzinger, Thomas A.; Majumdar, Rupak Symbolic algorithms for infinite-state games. (English) Zbl 1006.68095 Larsen, Kim G. (ed.) et al., CONCUR 2001 - Concurrency theory. 12th international conference, Aalborg, Denmark, August 20-25, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2154, 536-550 (2001). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{L. de Alfaro} et al., Lect. Notes Comput. Sci. 2154, 536--550 (2001; Zbl 1006.68095) Full Text: Link
de Alfaro, Luca; Henzinger, Thomas A.; Jhala, Ranjit Compositional methods for probabilistic systems. (English) Zbl 1006.68083 Larsen, Kim G. (ed.) et al., CONCUR 2001 - Concurrency theory. 12th international conference, Aalborg, Denmark, August 20-25, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2154, 351-365 (2001). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. de Alfaro} et al., Lect. Notes Comput. Sci. 2154, 351--365 (2001; Zbl 1006.68083) Full Text: Link
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C. The control of synchronous systems. (English) Zbl 0999.68531 Palamidessi, Catuscia (ed.), CONCUR 2000 - Concurrency theory. 11th international conference, University Park, PA, USA, August 22-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1877, 458-473 (2000). MSC: 68Q85 93C83 PDFBibTeX XMLCite \textit{L. de Alfaro} et al., Lect. Notes Comput. Sci. 1877, 458--473 (2000; Zbl 0999.68531)
Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François Abstract interpretation of game properties. (English) Zbl 0966.68150 Palsberg, Jens (ed.), Static analysis. 7th internationales symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1824, 220-239 (2000). MSC: 68Q85 03B70 68N30 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 1824, 220--239 (2000; Zbl 0966.68150)
Henzinger, Thomas A.; Rajamani, Sriram K. Fair bisimulation. (English) Zbl 0960.68121 Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 299-314 (2000). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. A. Henzinger} and \textit{S. K. Rajamani}, Lect. Notes Comput. Sci. 1785, 299--314 (2000; Zbl 0960.68121)
Henzinger, Thomas A.; Majumdar, Rupak Symbolic model checking for rectangular hybrid systems. (English) Zbl 0960.68117 Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 142-156 (2000). MSC: 68Q85 68Q45 68Q60 93B99 PDFBibTeX XMLCite \textit{T. A. Henzinger} and \textit{R. Majumdar}, Lect. Notes Comput. Sci. 1785, 142--156 (2000; Zbl 0960.68117)
Henzinger, Thomas A.; Majumdar, Rupak A classification of symbolic transition systems. (English) Zbl 0959.68093 Reichel, Horst (ed.) et al., STACS 2000. 17th annual symposium on Theoretical aspects of computer science. Lille, France, February 17-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1770, 13-34 (2000). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. A. Henzinger} and \textit{R. Majumdar}, Lect. Notes Comput. Sci. 1770, 13--34 (2000; Zbl 0959.68093)
Henzinger, Thomas A.; Qadeer, Shaz; Rajamani, Sriram K. Verifying sequential consistency on shared-memory multiprocessor systems. (English) Zbl 1046.68593 Halbwachs, Nicolas (ed.) et al., Computer aided verification. 11th international conference, CAV ’99. Trento, Italy, July 6–10, 1999. Proceedings. Berlin: Springer (ISBN 3-540-66202-2). Lect. Notes Comput. Sci. 1633, 301-315 (1999). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 1633, 301--315 (1999; Zbl 1046.68593)
Alur, Rajeev; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C. Automating modular verification. (English) Zbl 0940.68088 Baeten, Jos C. M. (ed.) et al., CONCUR ’99. Concurrency theory. 10th international conference, Eindhoven, the Netherlands, August 24-27, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1664, 82-97 (1999). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Alur} et al., Lect. Notes Comput. Sci. 1664, 82--97 (1999; Zbl 0940.68088)
Henzinger, Thomas A.; Kupferman, Orna; Rajamani, Sriram K. Fair simulation. (English) Zbl 1512.68168 Mazurkiewicz, Antoni (ed.) et al., CONCUR ’97: concurrency theory. 8th international conference. Warsaw, Poland. July 1–4, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1243, 273-287 (1997). MSC: 68Q85 91A80 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 1243, 273--287 (1997; Zbl 1512.68168) Full Text: DOI
Alur, Rajeev; Henzinger, Thomas A. Modularity for timed and hybrid systems. (English) Zbl 1512.68146 Mazurkiewicz, Antoni (ed.) et al., CONCUR ’97: concurrency theory. 8th international conference. Warsaw, Poland. July 1–4, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1243, 74-88 (1997). MSC: 68Q60 68Q85 91A80 93C30 PDFBibTeX XMLCite \textit{R. Alur} and \textit{T. A. Henzinger}, Lect. Notes Comput. Sci. 1243, 74--88 (1997; Zbl 1512.68146) Full Text: DOI
Henzinger, Thomas A.; Kupferman, Orna; Vardi, Moshe Y. A space-efficient on-the-fly algorithm for real-time model checking. (English) Zbl 1514.68168 Montanari, Ugo (ed.) et al., CONCUR ‘96: Concurrency theory. 7th international conference, Pisa, Italy, August 26–29, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1119, 514-529 (1996). MSC: 68Q85 03B44 68Q45 68Q60 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 1119, 514--529 (1996; Zbl 1514.68168) Full Text: DOI
Henzinger, Thomas A.; Kopke, Peter W.; Wong-Toi, Howard The expressive power of clocks. (English) Zbl 1412.68131 Fülöp, Zoltán (ed.) et al., Automata, languages and programming. 22nd international colloquium, ICALP ’95, Szeged, Hungary, July 10–14, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 944, 417-428 (1995). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 944, 417--428 (1995; Zbl 1412.68131) Full Text: DOI
Henzinger, Thomas A.; Manna, Zohar; Pnueli, Amir Temporal proof methodologies for timed transition systems. (English) Zbl 0820.68085 Inf. Comput. 112, No. 2, 273-337 (1994). MSC: 68Q85 68T27 68T15 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Inf. Comput. 112, No. 2, 273--337 (1994; Zbl 0820.68085) Full Text: DOI Link
Henzinger, Thomas A.; Nicollin, Xavier; Sifakis, Joseph; Yovine, Sergio Symbolic model checking for real-time systems. (English) Zbl 0806.68080 Inf. Comput. 111, No. 2, 193-244 (1994). MSC: 68Q60 03B70 68Q85 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Inf. Comput. 111, No. 2, 193--244 (1994; Zbl 0806.68080) Full Text: DOI Link
Alur, Rajeev; Feder, Tomás; Henzinger, Thomas A. The benefits of relaxing punctuality. (English) Zbl 1314.68195 Proceedings of the tenth annual ACM symposium on principles of distributed computing, PODC ’91, Montreal, QC, Canada, August 19–21, 1991. New York, NY: Association for Computing Machinery (ACM) (ISBN 0-89791-439-2). 139-152 (1991). MSC: 68Q85 03B44 68Q55 68Q60 PDFBibTeX XMLCite \textit{R. Alur} et al., in: Proceedings of the tenth annual ACM symposium on principles of distributed computing, PODC '91, Montreal, QC, Canada, August 19--21, 1991. New York, NY: Association for Computing Machinery (ACM). 139--152 (1991; Zbl 1314.68195) Full Text: DOI Link