Gottlob, Georg (ed.); Henzinger, Thomas A. (ed.); Weissenbacher, Georg (ed.) Preface of the special issue in memoriam Helmut Veith. (English) Zbl 1384.00074 Form. Methods Syst. Des. 51, No. 2, 267-269 (2017). MSC: 00B15 68-03 68-06 01A70 PDFBibTeX XMLCite \textit{G. Gottlob} (ed.) et al., Form. Methods Syst. Des. 51, No. 2, 267--269 (2017; Zbl 1384.00074) 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
Chatterjee, Krishnendu; Doyen, Laurent; Henzinger, Thomas A. A survey of partial-observation stochastic parity games. (English) Zbl 1291.91022 Form. Methods Syst. Des. 43, No. 2, 268-284 (2013). MSC: 91A15 91A05 91A43 91A80 68Q87 91-02 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Form. Methods Syst. Des. 43, No. 2, 268--284 (2013; Zbl 1291.91022) Full Text: DOI Link
Guerraoui, Rachid; Henzinger, Thomas A.; Singh, Vasu Verification of STM on relaxed memory models. (English) Zbl 1247.68165 Form. Methods Syst. Des. 39, No. 3, 297-331 (2011). MSC: 68Q60 PDFBibTeX XMLCite \textit{R. Guerraoui} et al., Form. Methods Syst. Des. 39, No. 3, 297--331 (2011; Zbl 1247.68165) Full Text: DOI Link
Henzinger, Thomas A.; Kupferman, Orna; Qadeer, Shaz From pre-historic to post-modern symbolic model checking. (English) Zbl 1074.68036 Form. Methods Syst. Des. 23, No. 3, 303-327 (2003). MSC: 68Q60 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Form. Methods Syst. Des. 23, No. 3, 303--327 (2003; Zbl 1074.68036) Full Text: DOI
Alur, R.; Brayton, R. K.; Henzinger, T. A.; Qadeer, S.; Rajamani, S. K. Partial-order reduction in symbolic state-space exploration. (English) Zbl 1001.68080 Form. Methods Syst. Des. 18, No. 2, 97-116 (2001). MSC: 68Q65 PDFBibTeX XMLCite \textit{R. Alur} et al., Form. Methods Syst. Des. 18, No. 2, 97--116 (2001; Zbl 1001.68080) Full Text: DOI