Quantitative reactive modeling and verification

por Henzinger, Thomas A.
Publicado 2013

Refinement for Structured Concurrent Programs

por Kragl, Bernhard, Qadeer, Shaz, Henzinger, Thomas A.
Publicado 2020

How Many Bits Does it Take to Quantize Your Neural Network?

por Giacobbe, Mirco, Henzinger, Thomas A., Lechner, Mathias
Publicado 2020

Qualitative networks: a symbolic approach to analyze biological signaling networks

por Schaub, Marc A, Henzinger, Thomas A, Fisher, Jasmin
Publicado 2007

Strategy improvement for concurrent reachability and turn-based stochastic safety games()()

por Chatterjee, Krishnendu, de Alfaro, Luca, Henzinger, Thomas A.
Publicado 2013

Trap spaces of multi-valued networks: definition, computation, and applications

por Trinh, Van-Giang, Benhamou, Belaid, Henzinger, Thomas, Pastva, Samuel
Publicado 2023

Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development

por Fisher, Jasmin, Piterman, Nir, Hajnal, Alex, Henzinger, Thomas A
Publicado 2007

Solving the chemical master equation using sliding windows

por Wolf, Verena, Goel, Rushil, Mateescu, Maria, Henzinger, Thomas A
Publicado 2010

From non-preemptive to preemptive scheduling using synchronization synthesis

por Černý, Pavol, Clarke, Edmund M., Henzinger, Thomas A., Radhakrishna, Arjun, Ryzhyk, Leonid, Samanta, Roopsha, Tarrach, Thorsten
Publicado 2016

Contracts for system design

por Benveniste, Albert, Caillaud, Benoît, Nickovic, Dejan, Passerone, Roberto, Raclet, Jean-Baptiste, Reinkemeier, Philipp, Sangiovanni-Vincentelli, Alberto, Damm, Werner, Henzinger, Thomas A, Larsen, Kim G
Publicado 2018