Thomas A. Henzinger
AuthID: R-006-GS0
1
TITLE: Membership-Based Synthesis of Linear Hybrid Automata
AUTHORS: Soto, MG ; Henzinger, TA; Schilling, C; Zeleznik, L;
PUBLISHED: 2019, SOURCE: 31st International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, CAV 2019, PT I, VOLUME: 11561
AUTHORS: Soto, MG ; Henzinger, TA; Schilling, C; Zeleznik, L;
PUBLISHED: 2019, SOURCE: 31st International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, CAV 2019, PT I, VOLUME: 11561
2
TITLE: Finite automata with time-delay blocks
AUTHORS: Chatterjee, K; Henzinger, TA; Prabhu, VS ;
PUBLISHED: 2012, SOURCE: 10th ACM International Conference on Embedded Software 2012, EMSOFT 2012, Co-located with 8th Embedded Systems Week, ESWEEK 2012 in EMSOFT'12 - Proceedings of the 10th ACM International Conference on Embedded Software 2012, Co-located with ESWEEK
AUTHORS: Chatterjee, K; Henzinger, TA; Prabhu, VS ;
PUBLISHED: 2012, SOURCE: 10th ACM International Conference on Embedded Software 2012, EMSOFT 2012, Co-located with 8th Embedded Systems Week, ESWEEK 2012 in EMSOFT'12 - Proceedings of the 10th ACM International Conference on Embedded Software 2012, Co-located with ESWEEK
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef3
TITLE: TIMED PARITY GAMES: COMPLEXITY AND ROBUSTNESS
AUTHORS: Krishnendu Chatterjee; Thomas A Henzinger; Vinayak S Prabhu ;
PUBLISHED: 2011, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 7, ISSUE: 4
AUTHORS: Krishnendu Chatterjee; Thomas A Henzinger; Vinayak S Prabhu ;
PUBLISHED: 2011, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 7, ISSUE: 4
INDEXED IN: Scopus 
WOS
Scopus WOS4
TITLE: Distributed, Modular HTL Full Text
AUTHORS: Thomas A Henzinger; Christoph M Kirsch; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2009, SOURCE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS
AUTHORS: Thomas A Henzinger; Christoph M Kirsch; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2009, SOURCE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS
5
TITLE: Minimum-time reachability in timed games
AUTHORS: Brihaye, T; Henzinger, TA; Prabhu, VS; Raskin, JF;
PUBLISHED: 2007, SOURCE: 34th International Colloquium on Automata, Languages and Programming, ICALP 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4596 LNCS
AUTHORS: Brihaye, T; Henzinger, TA; Prabhu, VS; Raskin, JF;
PUBLISHED: 2007, SOURCE: 34th International Colloquium on Automata, Languages and Programming, ICALP 2007 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4596 LNCS
INDEXED IN: Scopus
Scopus6
TITLE: Timed alternating-time temporal logic
AUTHORS: Henzinger, TA; Prabhu, VS;
PUBLISHED: 2006, SOURCE: 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4202 LNCS
AUTHORS: Henzinger, TA; Prabhu, VS;
PUBLISHED: 2006, SOURCE: 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4202 LNCS
INDEXED IN: Scopus
Scopus7
TITLE: Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
AUTHORS: Thomas A Henzinger; Marius Minea; Vinayak Prabhu;
PUBLISHED: 2001, SOURCE: Hybrid Systems: Computation and Control - Lecture Notes in Computer Science
AUTHORS: Thomas A Henzinger; Marius Minea; Vinayak Prabhu;
PUBLISHED: 2001, SOURCE: Hybrid Systems: Computation and Control - Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef