The following pages link to Henny B. Sipma (Q812050):
Displaying 37 items.
- Collecting statistics over runtime executions (Q812051) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- (Q1589583) (redirect page) (← links)
- Deductive verification of real-time systems using STeP (Q1589585) (← links)
- (Q1878914) (redirect page) (← links)
- Checking finite traces using alternating automata (Q1878915) (← links)
- Decision procedures for term algebras with integer constraints (Q2432767) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- (Q2753760) (← links)
- (Q2754162) (← links)
- (Q2769578) (← links)
- Generalized temporal verification diagrams (Q2956705) (← links)
- Non-linear loop invariant generation using Gröbner bases (Q3452270) (← links)
- Proving ATL* Properties of Infinite-State Systems (Q3525153) (← links)
- (Q4804915) (← links)
- (Q4817530) (← links)
- Verification: Theory and Practice (Q5305662) (← links)
- Automated Reasoning (Q5307055) (← links)
- Hybrid Systems: Computation and Control (Q5307949) (← links)
- Automated Deduction – CADE-20 (Q5394610) (← links)
- Verifying Balanced Trees (Q5434520) (← links)
- The Reaction Algebra: A Formal Language for Event Correlation (Q5452200) (← links)
- Theorem Proving in Higher Order Logics (Q5464659) (← links)
- Static Analysis (Q5466578) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479182) (← links)
- Algebra and Coalgebra in Computer Science (Q5492832) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711496) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711515) (← links)
- Computer Aided Verification (Q5716591) (← links)
- Automata, Languages and Programming (Q5716758) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897503) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897772) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898613) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5898633) (← links)
- Hybrid Systems: Computation and Control (Q5899002) (← links)
- Computer Aided Verification (Q5900703) (← links)
- Hierarchical verification using verification diagrams (Q6560365) (← links)
