Thomas A. Henzinger
Orcid: 0000-0002-2985-7724Affiliations:
- Institute of Science and Technology Austria
According to our database1,
Thomas A. Henzinger
authored at least 454 papers
between 1985 and 2025.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2006, "For contributions to formal verification and hybrid systems.".
IEEE Fellow
IEEE Fellow 2006, "For contributions to the verification of real-time and hybrid systems.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Sci. Comput. Program., 2025
2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024
Overparametrization helps offline-to-online generalization of closed-loop control from pixels.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
Proceedings of the 35th International Conference on Concurrency Theory, 2024
Proceedings of the 35th International Conference on Concurrency Theory, 2024
Proceedings of the 35th International Conference on Concurrency Theory, 2024
2023
Int. J. Softw. Tools Technol. Transf., August, 2023
IEEE Robotics Autom. Lett., March, 2023
Bioinform., 2023
A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
Proceedings of the Foundations of Software Science and Computation Structures, 2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023
Proceedings of the 34th International Conference on Concurrency Theory, 2023
Proceedings of the 34th International Conference on Concurrency Theory, 2023
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Are All Vision Models Created Equal? A Study of the Open-Loop to Closed-Loop Causality Gap.
CoRR, 2022
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022
Proceedings of the Runtime Verification - 22nd International Conference, 2022
Proceedings of the Reachability Problems - 16th International Conference, 2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
Proceedings of the Fundamental Approaches to Software Engineering, 2022
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Log. Methods Comput. Sci., 2021
Proceedings of the Software Verification - 13th International Conference, 2021
Proceedings of the Runtime Verification - 21st International Conference, 2021
Proceedings of the Runtime Verification - 21st International Conference, 2021
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Dataset, April, 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Runtime Verification - 20th International Conference, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
2019
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019
Proceedings of the Reachability Problems - 13th International Conference, 2019
Proceedings of the International Conference on Robotics and Automation, 2019
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Proceedings of the Computational Methods in Systems Biology, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the Web and Internet Economics - 14th International Conference, 2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018
Proceedings of the International Conference on Embedded Software, 2018
Proceedings of the 29th International Conference on Concurrency Theory, 2018
Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018
2017
ACM Trans. Comput. Log., 2017
Formal Methods Syst. Des., 2017
Formal Methods Syst. Des., 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
Proceedings of the Numerical Software Verification - 10th International Workshop, 2017
Proceedings of the Models, Algorithms, Logics and Tools, 2017
2016
Biosyst., 2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the Static Analysis - 23rd International Symposium, 2016
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Guest Editors' Introduction to Special Issue on Computational Methods in Systems Biology.
ACM Trans. Model. Comput. Simul., 2015
Commun. ACM, 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the 1st Summit on Advances in Programming Languages, 2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Proceedings of the Programming Languages and Systems, 2015
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015
2014
Log. Methods Comput. Sci., 2014
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the on Future of Software Engineering, 2014
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014
Proceedings of the Formal Methods in Computer-Aided Design, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
IEEE ACM Trans. Comput. Biol. Bioinform., 2013
Int. J. Softw. Tools Technol. Transf., 2013
Strategy improvement for concurrent reachability and turn-based stochastic safety games.
J. Comput. Syst. Sci., 2013
Formal Methods Syst. Des., 2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Quantitative Fitness Measures for Embedded Systems.
Proceedings of the PECCS 2013, 2013
Proceedings of the Formal Methods in Computer-Aided Design, 2013
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation.
Proceedings of the Computing Frontiers Conference, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code.
Sci. Comput. Program., 2012
Proceedings of the Winter Simulation Conference, 2012
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012
Proceedings of the Formal Techniques for Distributed Systems, 2012
Proceedings of the 12th International Conference on Embedded Software, 2012
Proceedings of the 12th International Conference on Embedded Software, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Theor. Comput. Sci., 2011
Int. J. Found. Comput. Sci., 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the Industrial Embedded Systems (SIES), 2011
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
Proceedings of the Language and Automata Theory and Applications, 2011
Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011
Proceedings of the European Conference on Computer Systems, 2011
Proceedings of the 11th International Conference on Embedded Software, 2011
Proceedings of the Computer Science Logic, 2011
Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Inf. Comput., 2010
Log. Methods Comput. Sci., 2010
Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010
Proceedings of the QEST 2010, 2010
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010
Proceedings of the Foundations of Software Science and Computational Structures, 2010
Proceedings of the Fundamental Approaches to Software Engineering, 2010
Proceedings of the 10th International conference on Embedded software, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
Proceedings of the Automated Technology for Verification and Analysis, 2010
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010
Proceedings of the IEEE International Conference on Cloud Computing, 2010
2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2009
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
Inf. Process. Lett., 2008
Proceedings of the Distributed Computing, 22nd International Symposium, 2008
Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008
Proceedings of the Logic for Programming, 2008
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
2007
ACM Trans. Program. Lang. Syst., 2007
Predictive Modeling of Signaling Crosstalk during <i>C. elegans</i> Vulval Development.
PLoS Comput. Biol., 2007
Log. Methods Comput. Sci., 2007
BMC Syst. Biol., 2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007
Proceedings of the Infinity in Logic and Computation, International Conference, 2007
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007
Proceedings of the Foundations of Software Science and Computational Structures, 2007
Proceedings of the Developments in Language Theory, 11th International Conference, 2007
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
Theor. Comput. Sci., 2006
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Proceedings of the STACS 2006, 2006
Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games.
Proceedings of the STACS 2006, 2006
Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2006
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
Proceedings of the FM 2006: Formal Methods, 2006
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
Proceedings of the Program Analysis and Compilation, 2006
2005
Proceedings of the 14th international conference on World Wide Web, 2005
Proceedings of the 1st International Conference on Virtual Execution Environments, 2005
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005
Proceedings of the Model Checking Software, 2005
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005
Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005
Proceedings of the Fundamental Approaches to Software Engineering, 2005
Proceedings of the Correct Hardware Design and Verification Methods, 2005
2004
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2004
Proceedings of the Static Analysis, 11th International Symposium, 2004
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004
Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004
Proceedings of the EMSOFT 2004, 2004
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
Formal Methods Syst. Des., 2003
Proceedings of the Implementation and Application of Automata, 2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
Proceedings of the Embedded Software, Third International Conference, 2003
Proceedings of the Embedded Software, Third International Conference, 2003
Proceedings of the Computer Science Logic, 17th International Workshop, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003
2002
ACM Trans. Program. Lang. Syst., 2002
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002
Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002
Proceedings of the Embedded Software, Second International Conference, 2002
Proceedings of the Embedded Software, Second International Conference, 2002
Proceedings of the Embedded Software, Second International Conference, 2002
Proceedings of the Computer Science Logic, 16th International Workshop, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
2001
Formal Methods Syst. Des., 2001
Proceedings of the Poster Proceedings of the Tenth International World Wide Web Conference, 2001
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001
Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, 2001
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001
Proceedings of the 23rd International Conference on Software Engineering, 2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001
Proceedings of the Embedded Software, First International Workshop, 2001
Proceedings of the CONCUR 2001, 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
2000
Proceedings of the International Workshop on Models for Time-Critical Systems, 2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Proceedings of the Static Analysis, 7th International Symposium, 2000
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000
Proceedings of the Theoretical Computer Science, 2000
Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
1999
Theor. Comput. Sci., 1999
Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
1998
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998
Computer-aided Verification of Embedded Systems.
Proceedings of the Fundamentals - Foundations of Computer Science, 1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
Proceedings of the Computer Aided Verification, 10th International Conference, 1998
1997
Int. J. Softw. Tools Technol. Transf., 1997
Int. J. Softw. Tools Technol. Transf., 1997
Proceedings of the CONCUR '97: Concurrency Theory, 1997
1996
Proceedings of the CONCUR '96, 1996
Proceedings of the CONCUR '96, 1996
1995
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995
Proceedings of the Hybrid Systems III: Verification and Control, 1995
Proceedings of the 36th Annual Symposium on Foundations of Computer Science, 1995
Proceedings of the Formal Methods for Industrial Applications, 1995
Proceedings of the Computer Aided Verification, 1995
Proceedings of the Computer Aided Verification, 1995
1994
Proceedings of the Hybrid Systems II, 1994
Proceedings of the Hybrid Systems II, 1994
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
1993
Verifying Temporal Properties of Systems . By Julian Charles Bradfield. (Birkhauser, 1992 viii+113pp . ISBN 0-8176-3625-0 . $49.50).
SIGACT News, 1993
Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, 1993
1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
Proceedings of the Hybrid Systems, 1992
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.
Proceedings of the Hybrid Systems, 1992
Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, 1992
1991
Proceedings of the Real-Time: Theory in Practice, 1991
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991
1990
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990
Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990
1985
Proceedings of the Österreichische Artificial Intelligence-Tagung, 1985