|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 124 occurrences of 79 keywords
|
|
|
|
|
Results
Found 357 publication records. Showing 357 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Strategy improvement for concurrent reachability and turn-based stochastic safety games.  |
J. Comput. Syst. Sci.  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna |
Quantitative abstraction refinement. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Christoph M. Kirsch, Hannes Payer, Ali Sezgin, Ana Sokolova |
Quantitative relaxation of concurrent data structures. |
POPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Haas, Michael Lippautz, Thomas A. Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, Ali Sezgin |
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation. |
Conf. Computing Frontiers |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonín Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomás Vojnar, David Antos (eds.) |
Mathematical and Engineering Methods in Computer Science, 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers |
MEMICS |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Arkadeb Ghosal, Daniel T. Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli |
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code. |
Sci. Comput. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna |
Simulation distances. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov |
Lumpability abstractions of rule-based systems. |
Theor. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Strategy Improvement for Concurrent Reachability and Safety Games |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Pavol Cerný, Martin Chmelik, Thomas A. Henzinger, Arjun Radhakrishna |
Interface Simulation Distances |
GandALF |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Finite Automata with Time-Delay Blocks (Extended Version) |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Yaron Velner, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Alexander Rabinovich, Jean-François Raskin |
The Complexity of Multi-Mean-Payoff and Multi-Energy Games |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Counterexample-guided Planning |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger |
A survey of stochastic ω-regular games. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi, Thomas A. Henzinger, Rajeev Alur, Marta Z. Kwiatkowska |
2011 CAV award announcement. |
Formal Methods in System Design |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic |
Synchronous Interface Theories and Time Triggered Scheduling. |
FMOODS/FORTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Sivakanth Gopi, Thomas A. Henzinger, Arjun Radhakrishna, Nishant Totla |
Synthesis from incompatible specifications. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Finite automata with time-delay blocks. |
EMSOFT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger |
Quantitative Reactive Models. |
MoDELS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Calin C. Guet, Ashutosh Gupta, Thomas A. Henzinger, Maria Mateescu, Ali Sezgin |
Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits. |
CAV |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger |
Keynote on "the propagation approach for computing biochemical reaction networks". |
Winter Simulation Conference |
2012 |
DBLP BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Dejan Nickovic |
Independent Implementability of Viewpoints. |
Monterey Workshop |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Zufferey, Thomas Wies, Thomas A. Henzinger |
Ideal Abstractions for Well-Structured Transition Systems. |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler |
Conditional model checking: a technique to pass information between verifiers. |
SIGSOFT FSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Thomas A. Henzinger |
Approximate Determinization of Quantitative Automata. |
FSTTCS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf |
Approximation of event probabilities in noisy cellular processes. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf |
Formalisms for Specifying Markovian Population Models. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee |
A Theory of Synchronous Relational Interfaces. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Fisher, David Harel, Thomas A. Henzinger |
Biology as reactivity. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler |
Conditional Model Checking |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu |
Timed Parity Games: Complexity and Robustness |
Logical Methods in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh 0002 |
Quantitative Synthesis for Concurrent Programs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol |
The Decidability Frontier for Probabilistic Automata on Infinite Words |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Qualitative concurrent parity games. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Verification of STM on relaxed memory models. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jasmin Fisher, Thomas A. Henzinger, Dejan Nickovic, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi |
Dynamic Reactive Modules. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Thomas A. Henzinger |
From boolean to quantitative synthesis. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn |
The Complexity of Request-Response Games. |
LATA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 |
QUASY: Quantitative Synthesis Tool. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
Specification-centered robustness. |
SIES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Maria Mateescu |
Propagation models for computing biochemical reaction networks. |
CMSB |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger |
The Complexity of Quantitative Information Flow Problems. |
CSF |
2011 |
DBLP DOI BibTeX RDF |
quantitative information flow, computational complexity, verification, synthesis |
| 1 | Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey |
Scheduling large jobs by abstraction refinement. |
EuroSys |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh 0002 |
Quantitative Synthesis for Concurrent Programs. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raluca Halalai, Thomas A. Henzinger, Vasu Singh |
Quantitative Evaluation of BFT Protocols. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
BFT protocols, performance evaluation, model checking |
| 1 | Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman |
Temporal Specifications with Accumulative Values. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Thomas A. Henzinger |
Determinizing Discounted-Sum Automata. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
Strategy construction for parity games with imperfect information. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
Strategy logic. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Generalized Mean-payoff and Energy Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna |
GIST: A Solver for Probabilistic Games |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jérôme Feret, Thomas A. Henzinger, Heinz Koeppl, Tatjana Petrov |
Lumpability Abstractions of Rule-based Systems |
MeCBIC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger |
Synthesis of AMBA AHB from Formal Specification |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger |
Randomness for Free |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 |
Measuring and Synthesizing Systems in Probabilistic Environments |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou |
Mean-payoff Automaton Expressions |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf |
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Maria Mateescu, Linar Mikeev, Verena Wolf |
Hybrid Numerical Solution of the Chemical Master Equation |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Expressiveness and Closure Properties for Quantitative Languages |
Logical Methods in Computer Science |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Model checking transactional memories. |
Distributed Computing |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Quantitative languages. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou |
Mean-Payoff Automaton Expressions. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna |
Simulation Distances. |
CONCUR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey |
A marketplace for cloud resources. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic |
Robustness of Sequential Circuits. |
ACSD |
2010 |
DBLP DOI BibTeX RDF |
robustness, sequential circuits, continuity, Mealy machines |
| 1 | Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács |
ABC: Algebraic Bound Computation for Loops. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko |
Aligators for Arrays (Tool Paper). |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger (eds.) |
Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings |
FORMATS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger |
Randomness for Free. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Qualitative Analysis of Partially-Observable Markov Decision Processes. |
MFCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger |
From Boolean to quantitative notions of correctness. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
quantitative specification, quantitative synthesis, quantitative analysis |
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger |
Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Beyer, Thomas A. Henzinger, Grégory Théoduloz, Damien Zufferey |
Shape Refinement through Explicit Heap Analysis. |
FASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Linar Mikeev, Maria Mateescu, Verena Wolf |
Hybrid numerical solution of the chemical master equation. |
CMSB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh |
Transactions in the jungle. |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
transactional memory, correctness, memory models |
| 1 | Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna |
Quantitative Simulation Games. |
Essays in Memory of Amir Pnueli |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey |
FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. |
IEEE CLOUD |
2010 |
DBLP DOI BibTeX RDF |
Simulation, Cloud computing |
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh 0002 |
Measuring and Synthesizing Systems in Probabilistic Environments. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
Robustness in the Presence of Liveness. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna |
Gist: A Solver for Probabilistic Games. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf |
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov |
Invariant and Type Inference for Matrices. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wies, Damien Zufferey, Thomas A. Henzinger |
Forward Analysis of Depth-Bounded Processes. |
FOSSACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin |
Generalized Mean-payoff and Energy Games. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Expressiveness and Closure Properties for Quantitative Languages |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann |
Better Quality in Synthesis through Quantitative Objectives |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
Alpaga: A Tool for Solving Parity Games with Imperfect Information |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Probabilistic Weighted Automata |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Qualitative Analysis of Partially-observable Markov Decision Processes |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn |
Finitary winning in omega-regular games. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Randal E. Bryant, Orna Grumberg, Thomas A. Henzinger, Moshe Y. Vardi |
The 2008 CAV Award citation. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Probabilistic Weighted Automata. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger |
Termination criteria for solving concurrent safety and reachability games. |
SODA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stavros Tripakis, Ben Lickly, Thomas A. Henzinger, Edward A. Lee |
On relational interfaces. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
interfaces, composition, refinement, compositionality |
| 1 | Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger |
Alpaga: A Tool for Solving Parity Games with Imperfect Information. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roderick Bloem, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann |
Synthesizing robust systems. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
A Survey of Stochastic Games with Limsup and Liminf Objectives. |
ICALP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn |
Stochastic Games with Finitary Objectives. |
MFCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf |
Formalisms for Specifying Markovian Population Models. |
RP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger |
Alternating Weighted Automata. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 357 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")