Thomas A. Henzinger

According to our database1, Thomas A. Henzinger
  • authored at least 442 papers between 1985 and 2017.
  • has a "Dijkstra number"2 of three.

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 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Faster Statistical Model Checking for Unbounded Temporal Properties.
ACM Trans. Comput. Log., 2017

Quantitative fair simulation games.
Inf. Comput., 2017

Preface of the Special Issue in Memoriam Helmut Veith.
Formal Methods in System Design, 2017

From non-preemptive to preemptive scheduling using synchronization synthesis.
Formal Methods in System Design, 2017

Bidirectional Nested Weighted Automata.
CoRR, 2017

Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults.
CoRR, 2017

Infinite-Duration Bidding Games.
CoRR, 2017

Model checking the evolution of gene regulatory networks.
Acta Inf., 2017

Counterexample-Guided Refinement of Template Polyhedra.
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

The quest for average response time.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Conic Abstractions for Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

Bidirectional Nested Weighted Automata.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Infinite-Duration Bidding Games.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees.
Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

The Cost of Exactness in Quantitative Reachability.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016
Viewpoints on "Logic activities in Europe", twenty years later.
Bulletin of the EATCS, 2016

Invariant Clusters for Hybrid Systems.
CoRR, 2016

Linear Distances between Markov Chains.
CoRR, 2016

Array Folds Logic.
CoRR, 2016

Nested Weighted Limit-Average Automata of Bounded Width.
CoRR, 2016

Quantitative Automata under Probabilistic Semantics.
CoRR, 2016

Adaptive moment closure for parameter inference of biochemical reaction networks.
Biosystems, 2016

Lipschitz Robustness of Timed I/O Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Abstraction-driven Concolic Testing.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Faster Statistical Model Checking for Unbounded Temporal Properties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Quantitative Monitor Automata.
Proceedings of the Static Analysis - 23rd International Symposium, 2016

Dynamic Resource Allocation Games.
Proceedings of the Algorithmic Game Theory - 9th International Symposium, 2016

PSync: a partially synchronous language for fault-tolerant distributed algorithms.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Nested Weighted Limit-Average Automata of Bounded Width.
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

Quantitative Automata under Probabilistic Semantics.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Scalable Static Hybridization Methods for Analysis of Nonlinear Systems.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Discrete Abstraction of Multiaffine Systems.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Local Linearizability for Concurrent Container-Type Data Structures.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Linear Distances between Markov Chains.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Array Folds Logic.
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

Theory in practice for system design and verification.
SIGLOG News, 2015

Measuring and Synthesizing Systems in Probabilistic Environments.
J. ACM, 2015

The complexity of multi-mean-payoff and multi-energy games.
Inf. Comput., 2015

Randomness for free.
Inf. Comput., 2015

Lipschitz Robustness of Timed I/O Systems.
CoRR, 2015

Local Linearizability.
CoRR, 2015

Faster Statistical Model Checking for Unbounded Temporal Properties.
CoRR, 2015

Abstraction-driven Concolic Testing.
CoRR, 2015

Nested Weighted Automata.
CoRR, 2015

Edit Distance for Pushdown Automata.
CoRR, 2015

Aspect-oriented linearizability proofs.
Logical Methods in Computer Science, 2015

Optimizing Solution Quality in Synchronization Synthesis.
CoRR, 2015

From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis.
CoRR, 2015

The equivalence problem for finite automata: technical perspective.
Commun. ACM, 2015

Model Checking Gene Regulatory Networks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

The Need for Language Support for Fault-Tolerant Distributed Systems.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Succinct Representation of Concurrent Trace Sets.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Nested Weighted Automata.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

The Target Discounted-Sum Problem.
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

Edit Distance for Pushdown Automata.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

Segment Abstraction for Worst-Case Execution Time Analysis.
Proceedings of the Programming Languages and Systems, 2015

Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.
Proceedings of the Computational Methods in Systems Biology, 2015

Complete Composition Operators for IOCO-Testing Theory.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Temporal Specifications with Accumulative Values.
ACM Trans. Comput. Log., 2014

Interface simulation distances.
Theor. Comput. Sci., 2014

Lipschitz Robustness of Finite-state Transducers.
CoRR, 2014

Model Checking Gene Regulatory Networks.
CoRR, 2014

Regression-free Synthesis for Concurrency.
CoRR, 2014

Exact and Approximate Determinization of Discounted-Sum Automata.
Logical Methods in Computer Science, 2014

Synthesizing robust systems.
Acta Inf., 2014

A Logic-Based Framework for Verifying Consensus Algorithms.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Battery transition systems.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Compositional Specifications for ioco Testing.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Probabilistic programming.
Proceedings of the on Future of Software Engineering, 2014

Model measuring for hybrid systems.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Lipschitz Robustness of Finite-state Transducers.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Computer-aided verification technology for biology.
Proceedings of the Formal Methods in Computer-Aided Design, 2014

Regression-Free Synthesis for Concurrency.
Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013
The Propagation Approach for Computing Biochemical Reaction Networks.
IEEE/ACM Trans. Comput. Biology Bioinform., 2013

Synthesis of AMBA AHB from formal specification: a case study.
STTT, 2013

Strategy improvement for concurrent reachability and turn-based stochastic safety games.
J. Comput. Syst. Sci., 2013

Quantitative reactive modeling and verification.
Computer Science - R&D, 2013

A survey of partial-observation stochastic parity games.
Formal Methods in System Design, 2013

Quantitative relaxation of concurrent data structures.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Quantitative abstraction refinement.
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

Distributed synthesis for LTL fragments.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

The Ackermann Award 2013.
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

Aspect-Oriented Linearizability Proofs.
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

From Model Checking to Model Measuring.
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

Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Efficient Synthesis for Concurrency by Semantics-Preserving Transformations.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Lumpability abstractions of rule-based systems.
Theor. Comput. Sci., 2012

Simulation distances.
Theor. Comput. Sci., 2012

Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code.
Sci. Comput. Program., 2012

A survey of stochastic ω-regular games.
J. Comput. Syst. Sci., 2012

2011 CAV award announcement.
Formal Methods in System Design, 2012

Interface Simulation Distances
Proceedings of the Proceedings Third International Symposium on Games, 2012

The Complexity of Multi-Mean-Payoff and Multi-Energy Games
CoRR, 2012

Finite Automata with Time-Delay Blocks (Extended Version)
CoRR, 2012

Counterexample-guided Planning
CoRR, 2012

Strategy Improvement for Concurrent Reachability and Safety Games
CoRR, 2012

Keynote on "the propagation approach for computing biochemical reaction networks".
Proceedings of the Winter Simulation Conference, 2012

Ideal Abstractions for Well-Structured Transition Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Conditional model checking: a technique to pass information between verifiers.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Independent Implementability of Viewpoints.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Quantitative Reactive Models.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

Approximate Determinization of Quantitative Automata.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Synchronous Interface Theories and Time Triggered Scheduling.
Proceedings of the Formal Techniques for Distributed Systems, 2012

Finite automata with time-delay blocks.
Proceedings of the 12th International Conference on Embedded Software, 2012

Synthesis from incompatible specifications.
Proceedings of the 12th International Conference on Embedded Software, 2012

Delayed Continuous-Time Markov Chains for Genetic Regulatory Circuits.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
A Theory of Synchronous Relational Interfaces.
ACM Trans. Program. Lang. Syst., 2011

Qualitative concurrent parity games.
ACM Trans. Comput. Log., 2011

Approximation of event probabilities in noisy cellular processes.
Theor. Comput. Sci., 2011

Formalisms for Specifying Markovian Population Models.
Int. J. Found. Comput. Sci., 2011

Verification of STM on relaxed memory models.
Formal Methods in System Design, 2011

Conditional Model Checking
CoRR, 2011

Quantitative Synthesis for Concurrent Programs
CoRR, 2011

The Decidability Frontier for Probabilistic Automata on Infinite Words
CoRR, 2011

Timed Parity Games: Complexity and Robustness
Logical Methods in Computer Science, 2011

Biology as reactivity.
Commun. ACM, 2011

QUASY: Quantitative Synthesis Tool.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Specification-centered robustness.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Quantitative Evaluation of BFT Protocols.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Temporal Specifications with Accumulative Values.
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

The Complexity of Request-Response Games.
Proceedings of the Language and Automata Theory and Applications, 2011

Static Scheduling in Clouds.
Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

Scheduling large jobs by abstraction refinement.
Proceedings of the European Conference on Computer Systems, 2011

From boolean to quantitative synthesis.
Proceedings of the 11th International Conference on Embedded Software, 2011

Determinizing Discounted-Sum Automata.
Proceedings of the Computer Science Logic, 2011

The Complexity of Quantitative Information Flow Problems.
Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

Dynamic Reactive Modules.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Propagation models for computing biochemical reaction networks.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

Quantitative Synthesis for Concurrent Programs.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Quantitative languages.
ACM Trans. Comput. Log., 2010

Strategy logic.
Inf. Comput., 2010

Strategy construction for parity games with imperfect information.
Inf. Comput., 2010

Model checking transactional memories.
Distributed Computing, 2010

Lumpability Abstractions of Rule-based Systems
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Expressiveness and Closure Properties for Quantitative Languages
Logical Methods in Computer Science, 2010

Generalized Mean-payoff and Energy Games
CoRR, 2010

Mean-payoff Automaton Expressions
CoRR, 2010

Randomness for Free
CoRR, 2010

SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks
CoRR, 2010

Hybrid Numerical Solution of the Chemical Master Equation
CoRR, 2010

GIST: A Solver for Probabilistic Games
CoRR, 2010

Measuring and Synthesizing Systems in Probabilistic Environments
CoRR, 2010

Synthesis of AMBA AHB from Formal Specification
CoRR, 2010

Solving the chemical master equation using sliding windows.
BMC Systems Biology, 2010

Invariant and Type Inference for Matrices.
Proceedings of the Verification, 2010

Transactions in the jungle.
Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks.
Proceedings of the QEST 2010, 2010

From Boolean to quantitative notions of correctness.
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Qualitative Analysis of Partially-Observable Markov Decision Processes.
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

Randomness for Free.
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

Aligators for Arrays (Tool Paper).
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

ABC: Algebraic Bound Computation for Loops.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Generalized Mean-payoff and Energy Games.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Forward Analysis of Depth-Bounded Processes.
Proceedings of the Foundations of Software Science and Computational Structures, 2010

Shape Refinement through Explicit Heap Analysis.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

A marketplace for cloud resources.
Proceedings of the 10th International conference on Embedded software, 2010

Mean-Payoff Automaton Expressions.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Simulation Distances.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

Hybrid numerical solution of the chemical master equation.
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

Measuring and Synthesizing Systems in Probabilistic Environments.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Gist: A Solver for Probabilistic Games.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Robustness in the Presence of Liveness.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

Quantitative Simulation Games.
Proceedings of the Time for Verification, 2010

Probabilistic Automata on Infinite Words: Decidability and Undecidability Results.
Proceedings of the Automated Technology for Verification and Analysis, 2010

Robustness of Sequential Circuits.
Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment.
Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009
Finitary winning in omega-regular games.
ACM Trans. Comput. Log., 2009

The 2008 CAV Award citation.
Formal Methods in System Design, 2009

Probabilistic Weighted Automata
CoRR, 2009

Qualitative Analysis of Partially-observable Markov Decision Processes
CoRR, 2009

Expressiveness and Closure Properties for Quantitative Languages
CoRR, 2009

Better Quality in Synthesis through Quantitative Objectives
CoRR, 2009

Alpaga: A Tool for Solving Parity Games with Imperfect Information
CoRR, 2009

Alpaga: A Tool for Solving Parity Games with Imperfect Information.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Termination criteria for solving concurrent safety and reachability games.
Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, 2009

Distributed, Modular HTL.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Formalisms for Specifying Markovian Population Models.
Proceedings of the Reachability Problems, 3rd International Workshop, 2009

Stochastic Games with Finitary Objectives.
Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

Expressiveness and Closure Properties for Quantitative Languages.
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

A Survey of Stochastic Games with Limsup and Liminf Objectives.
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Synthesizing robust systems.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Alternating Weighted Automata.
Proceedings of the Fundamentals of Computation Theory, 17th International Symposium, 2009

On relational interfaces.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Probabilistic Weighted Automata.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Approximation of Event Probabilities in Noisy Cellular Processes.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Sliding Window Abstraction for Infinite Markov Chains.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Software Transactional Memory on Relaxed Memory Models.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Better Quality in Synthesis through Quantitative Objectives.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008
Reduction of stochastic parity to stochastic mean-payoff games.
Inf. Process. Lett., 2008

Stochastic limit-average games are in EXPTIME.
Int. J. Game Theory, 2008

Equivalence of Labeled Markov Chains.
Int. J. Found. Comput. Sci., 2008

Termination Criteria for Solving Concurrent Safety and Reachability Games
CoRR, 2008

Probabilistic Systems with LimSup and LimInf Objectives
CoRR, 2008

Timed Parity Games: Complexity and Robustness
CoRR, 2008

Environment Assumptions for Synthesis
CoRR, 2008

Stochastic Limit-Average Games are in EXPTIME
CoRR, 2008

Algorithms for Büchi Games
CoRR, 2008

Strategy Improvement for Concurrent Safety Games
CoRR, 2008

Permissiveness in Transactional Memories.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008

Value Iteration.
Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

Proving non-termination.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Model checking transactional memories.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Valigator: A Verification Tool with Bound and Invariant Generation.
Proceedings of the Logic for Programming, 2008

Program Analysis with Dynamic Precision Adjustment.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Controller Synthesis with Budget Constraints.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Trading Infinite Memory for Uniform Randomness in Timed Games.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Model-Checking omega-Regular Properties of Interval Markov Chains.
Proceedings of the Foundations of Software Science and Computational Structures, 2008

Timed Parity Games: Complexity and Robustness.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions.
Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

Interface theories with component reuse.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Logical Reliability of Interacting Real-Time Tasks.
Proceedings of the Design, Automation and Test in Europe, 2008

Quantitative Languages.
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

Completeness and Nondeterminism in Model Checking Transactional Memories.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Environment Assumptions for Synthesis.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Strategy Construction for Parity Games with Imperfect Information.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
The embedded machine: Predictable, portable real-time code.
ACM Trans. Program. Lang. Syst., 2007

Concurrent reachability games.
Theor. Comput. Sci., 2007

The software model checker Blast.
STTT, 2007

Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development.
PLoS Computational Biology, 2007

Algorithms for Omega-Regular Games with Imperfect Information.
Logical Methods in Computer Science, 2007

Algorithms for Omega-Regular Games with Imperfect Information
CoRR, 2007

The Discipline of Embedded Systems Design.
IEEE Computer, 2007

Qualitative networks: a symbolic approach to analyze biological signaling networks.
BMC Systems Biology, 2007

Invariant Synthesis for Combined Theories.
Proceedings of the Verification, 2007

Assume-Guarantee Synthesis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Games, Time, and Probability: Graph Models for System Design and Analysis.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Path invariants.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Probabilistic Systems with LimSup and LimInf Objectives.
Proceedings of the Infinity in Logic and Computation, International Conference, 2007

An Application ofWeb-Service Interfaces.
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Minimum-Time Reachability in Timed Games.
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

Generalized Parity Games.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

Quantitative Generalizations of Languages.
Proceedings of the Developments in Language Theory, 11th International Conference, 2007

Strategy Logic.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th 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

Algorithms for Interface Synthesis.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
On the universal and existential fragments of the mu-calculus.
Theor. Comput. Sci., 2006

Games with secure equilibria.
Theor. Comput. Sci., 2006

Executable biology.
Proceedings of the Winter Simulation Conference WSC 2006, 2006

Finitary Winning in omega-Regular Games.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Markov Decision Processes with Multiple Objectives.
Proceedings of the STACS 2006, 2006

Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games.
Proceedings of the STACS 2006, 2006

The complexity of quantitative concurrent parity games.
Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2006

SYNERGY: a new algorithm for property checking.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

An Interface Algebra for Real-Time Components.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Strategy Improvement for Concurrent Reachability Games.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Compositional Quantitative Reasoning.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Timed Alternating-Time Temporal Logic.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

The Embedded Systems Design Challenge.
Proceedings of the FM 2006: Formal Methods, 2006

A hierarchical coordination language for interacting real-time tasks.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Lazy Shape Analysis.
Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006

Solving Games Without Determinization.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

Algorithms for Omega-Regular Games with Imperfect Information, .
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

Strategy Improvement for Stochastic Rabin and Streett Games.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

Antichains: A New Algorithm for Checking Universality of Finite Automata.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Lazy Shape Analysis.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

Abstract Counterexample-Based Refinement for Powerset Domains.
Proceedings of the Program Analysis and Compilation, 2006

2005
A classification of symbolic transition systems.
ACM Trans. Comput. Log., 2005

Model checking discounted temporal properties.
Theor. Comput. Sci., 2005

Web service interfaces.
Proceedings of the 14th international conference on World Wide Web, 2005

A programmable microkernel for real-time systems.
Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

Counterexample-guided Planning.
Proceedings of the UAI '05, 2005

Games in system design and verification.
Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2005), 2005

The BLAST Software Verification System.
Proceedings of the Model Checking Software, 2005

Permissive interfaces.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Trading End-to-End Latency for Composability.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Mean-Payoff Parity Games.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Composable code generation for distributed giotto.
Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005

The Complexity of Stochastic Rabin and Streett Games'.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Semiperfect-Information Games.
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Quantifying Similarities Between Timed Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Automatic Rectangular Refinement of Affine Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

Checking Memory Safety with Blast.
Proceedings of the Fundamental Approaches to Software Engineering, 2005

Verifying Quantitative Properties Using Bound Functions.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004
Stack size analysis for interrupt-driven programs.
Inf. Comput., 2004

Model Checking Discounted Temporal Properties.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

Quantitative stochastic parity games.
Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2004

The Blast Query Language for Software Verification..
Proceedings of the Static Analysis, 11th International Symposium, 2004

Trading Memory for Randomness.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

Invited talk: the blast query language for software verification.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Abstractions from proofs.
Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Race checking by context inference.
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

Invited talk: the blast query language for software verification.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

Games with Secure Equilibria.
Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

An Eclipse Plug-in for Model Checking.
Proceedings of the 12th International Workshop on Program Comprehension (IWPC 2004), 2004

Generating Tests from Counterexamples.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Event-Driven Programming with Logical Execution Times.
Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

Games with Secure Equilibria.
Proceedings of the Formal Methods for Components and Objects, 2004

A typed assembly language for real-time programs.
Proceedings of the EMSOFT 2004, 2004

Rich Interfaces for Software Modules.
Proceedings of the ECOOP 2004, 2004

Embedded Software: Better Models, Better Code.
Proceedings of the Applications and Theory of Petri Nets 2004, 2004

2003
Giotto: a time-triggered language for embedded programming.
Proceedings of the IEEE, 2003

From Pre-Historic to Post-Modern Symbolic Model Checking.
Formal Methods in System Design, 2003

Automata for Specifying Component Interfaces.
Proceedings of the Implementation and Application of Automata, 2003

On the Universal and Existential Fragments of the µ-Calculus.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Software Verification with BLAST.
Proceedings of the Model Checking Software, 2003

Stack Size Analysis for Interrupt-Driven Programs.
Proceedings of the Static Analysis, 10th International Symposium, 2003

Counterexample-Guided Control.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Discounting the Future in Systems Theory.
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Schedule-Carrying Code.
Proceedings of the Embedded Software, Third International Conference, 2003

Resource Interfaces.
Proceedings of the Embedded Software, Third International Conference, 2003

Simple Stochastic Parity Games.
Proceedings of the Computer Science Logic, 17th International Workshop, 2003

The Element of Surprise in Timed Games.
Proceedings of the CONCUR 2003, 2003

Thread-Modular Abstraction Refinement.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Extreme Model Checking.
Proceedings of the Verification: Theory and Practice, 2003

Model Checking: From Hardware to Software.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002
An assume-guarantee rule for checking simulation.
ACM Trans. Program. Lang. Syst., 2002

Axioms for real-time logics.
Theor. Comput. Sci., 2002

Alternating-time temporal logic.
J. ACM, 2002

Fair Simulation.
Inf. Comput., 2002

Lazy abstraction.
Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

The Embedded Machine: Predictable, Portable Real-Time Code.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

Convertibility verification and converter synthesis: two faces of the same coin.
Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002

Synthesis of Uninitialized Systems.
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

From Models to Code: The Missing Link in Embedded Software.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

A Comparison of Control Problems for Timed and Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 5th International Workshop, 2002

A Giotto-Based Helicopter Control System.
Proceedings of the Embedded Software, Second International Conference, 2002

Time-Safety Checking for Embedded Programs.
Proceedings of the Embedded Software, Second International Conference, 2002

Timed Interfaces.
Proceedings of the Embedded Software, Second International Conference, 2002

Trading Probability for Fairness.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002

Temporal-Safety Proofs for Systems Code.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

The Symbolic Approach to Hybrid Systems.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Synchronous and Bidirectional Component Interfaces.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Interface Compatibility Checking for Software Modules.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001
Introduction.
Inf. Comput., 2001

Partial-Order Reduction in Symbolic State-Space Exploration.
Formal Methods in System Design, 2001

A Classification of Symbolic Transition Systems
CoRR, 2001

MCWEB: A Model-Checking Tool for Web Site Debugging.
Proceedings of the Poster Proceedings of the Tenth International World Wide Web Conference, 2001

Interface automata.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

From Verification to Control: Dynamic Programs for Omega-Regular Objectives.
Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 2001

Embedded Control Systems Development with Giotto.
Proceedings of The Workshop on Languages, 2001

JMOCHA: A Model Checking Tool that Exploits Design Structure.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Hybrid Systems Applications: An Oxymoron?
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

Giotto: A Time-Triggered Language for Embedded Programming.
Proceedings of the Embedded Software, First International Workshop, 2001

Interface Theories for Component-Based Design.
Proceedings of the Embedded Software, First International Workshop, 2001

The Control of Synchronous Systems, Part II.
Proceedings of the CONCUR 2001, 2001

Symbolic Algorithms for Infinite-State Games.
Proceedings of the CONCUR 2001, 2001

Compositional Methods for Probabilistic Systems.
Proceedings of the CONCUR 2001, 2001

2000
New directions in computer-aided verification.
ACM SIGSOFT Software Engineering Notes, 2000

Exploiting Design Structure in Model Checking.
Electr. Notes Theor. Comput. Sci., 2000

Fair Bisimulation.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Symbolic Model Checking for Rectangular Hybrid Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

A Classification of Symbolic Transition Systems.
Proceedings of the STACS 2000, 2000

Abstract Interpretation of Game Properties.
Proceedings of the Static Analysis, 7th International Symposium, 2000

Concurrent Omega-Regular Games.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

Masaccio: A Formal Model for Embedded Components.
Proceedings of the Theoretical Computer Science, 2000

Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.
Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

Robust Undecidability of Timed and Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.
Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

The Control of Synchronous Systems.
Proceedings of the CONCUR 2000, 2000

Detecting Errors Before Reaching Them.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999
Discrete-Time Control for Rectangular Hybrid Automata.
Theor. Comput. Sci., 1999

Event-Clock Automata: A Determinizable Class of Timed Automata.
Theor. Comput. Sci., 1999

Reactive Modules.
Formal Methods in System Design, 1999

Introduction.
Formal Methods in System Design, 1999

Introduction.
Formal Methods in System Design, 1999

Formal specification and verification of a dataflow processor array.
Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Rectangular Hybrid Games.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

Automating Modular Verification.
Proceedings of the CONCUR '99: Concurrency Theory, 1999

Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Assume-Guarantee Refinement Between Different Time Scales.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998
Finitary Fairness.
ACM Trans. Program. Lang. Syst., 1998

What's Decidable about Hybrid Automata?
J. Comput. Syst. Sci., 1998

Symbolic Exploration of transition Hierarchies.
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

The Regular Real-Time Languages.
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Model Checking Game Properties of Multi-agent Systems (Abstract).
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Reachability Verification for Hybrid Automata.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

An Algorithm for the Approximative Analysis of Rectangular Automata.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Concurrent Reachability Games.
Proceedings of the 39th Annual Symposium on Foundations of Computer Science, 1998

An Assume-Guarantee Rule for Checking Simulation.
Proceedings of the Formal Methods in Computer-Aided Design, 1998

Axioms for Real-Time Logics.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

It's About Time: Real-Time Logics Reviewed.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

Alternating Refinement Relations.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

You Assume, We Guarantee: Methodology and Case Studies.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

From Pre-historic to Post-modern Symbolic Model Checking.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

MOCHA: Modularity in Model Checking.
Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997
HYTECH: A Model Checker for Hybrid Systems.
STTT, 1997

Real-Time System = Discrete System + Clock Variables.
STTT, 1997

Computing Accumulated Delays in Real-time Systems.
Formal Methods in System Design, 1997

Discrete-Time Control for Rectangular Hybrid Automata.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

From Quantity to Quality.
Proceedings of the Hybrid and Real-Time Systems, 1997

Robust Timed Automata.
Proceedings of the Hybrid and Real-Time Systems, 1997

Alternating-time Temporal Logic.
Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 1997

Fair Simulation.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

Modularity for Timed and Hybrid Systems.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

Alternating-Time Temporal Logic.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

HYTECH: A Model Checker for Hybrid Systems.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

Partial-Order Reduction in Symbolic State Space Exploration.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
Automatic Symbolic Verification of Embedded Systems.
IEEE Trans. Software Eng., 1996

The Benefits of Relaxing Punctuality.
J. ACM, 1996

Some Myths About Formal Verification.
ACM Comput. Surv., 1996

The Theory of Hybrid Automata.
Proceedings of the Proceedings, 1996

Reactive Modules.
Proceedings of the Proceedings, 1996

A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking.
Proceedings of the CONCUR '96, 1996

State Equivalences for Rectangular Hybrid Automata.
Proceedings of the CONCUR '96, 1996

1995
The Algorithmic Analysis of Hybrid Systems.
Theor. Comput. Sci., 1995

A User Guide to HyTech.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

What's decidable about hybrid automata?
Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 1995

HyTech: The Next Generation.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

The Expressive Power of Clocks.
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Hybrid Automata with Finite Bisimulatioins.
Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

Computing Simulations on Finite and Infinite Graphs.
Proceedings of the 36th Annual Symposium on Foundations of Computer Science, 1995

Using HyTech to Synthesize Control Parameters for a Steam Boiler.
Proceedings of the Formal Methods for Industrial Applications, 1995

Algorithmic Analysis of Nonlinear Hybrid Systems.
Proceedings of the Computer Aided Verification, 1995

Local Liveness for Compositional Modeling of Fair Reactive Systems.
Proceedings of the Computer Aided Verification, 1995

1994
Temporal Proof Methodologies for Timed Transition Systems
Inf. Comput., August, 1994

Symbolic Model Checking for Real-Time Systems
Inf. Comput., June, 1994

A Really Temporal Logic.
J. ACM, 1994

Finitary Fairness
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

HYTECH: The Cornell HYbrid TECHnology Tool.
Proceedings of the Hybrid Systems II, 1994

A Note on Abstract Interpretation Strategies for Hybrid Automata.
Proceedings of the Hybrid Systems II, 1994

Prooving Safety Properties of Hybrid Systems.
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

Verification Methods for the Divergent Runs of Clock Systems.
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

The Observational Power of Clocks.
Proceedings of the CONCUR '94, 1994

A Determinizable Class of Timed Automata.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993
Real-Time Logics: Complexity and Expressiveness
Inf. Comput., May, 1993

Parametric real-time reasoning.
Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, 1993

Automatic Symbolic Verification of Embedded Systems.
Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, December 1993, 1993

Computing Accumulated Delays in Real-time Systems.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992
Sooner is Safer Than Later.
Inf. Process. Lett., 1992

Symbolic Model Checking for Real-time Systems
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

What Good Are Digital Clocks?
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

Towards Refining Temporal Specifications into Hybrid Systems.
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

Back to the Future: Towards a Theory of Timed Regular Languages
Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, 1992

1991
Timed Transition Systems.
Proceedings of the Real-Time: Theory in Practice, 1991

Logics and Models of Real Time: A Survey.
Proceedings of the Real-Time: Theory in Practice, 1991

Temporal Proof Methodologies for Real-time Systems.
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

The Benefits of Relaxing Punctuality.
Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

1990
Half-Order Modal Logic: How to Prove Real-Time Properties.
Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, 1990

Real-time Logics: Complexity and Expressiveness
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

An interleaving model for real-time.
Proceedings of the Next Decade in Information Technology: Proceedings of the 5th Jerusalem Conference on Information Technology 1990, 1990

1989
A Really Temporal Logic
Proceedings of the 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October, 1989

1985
PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction.
Proceedings of the Österreichische Artificial Intelligence-Tagung, 1985


  Loading...