Person:812050

Available identifiers

zbMath Open sipma.henny-bMaRDI QIDQ812050

List of research outcomes

Publication	Date of Publication	Type
Hierarchical verification using verification diagrams	2024-06-21	Paper
Generalized temporal verification diagrams	2017-01-19	Paper
Non-linear loop invariant generation using Gröbner bases	2015-11-11	Paper
Computer Aided Verification	2010-04-20	Paper
Verification: Theory and Practice	2010-03-23	Paper
Proving ATL* Properties of Infinite-State Systems	2008-09-11	Paper
Deductive verification of alternating systems	2008-08-21	Paper
The Reaction Algebra: A Formal Language for Event Correlation	2008-03-25	Paper
Constructing invariants for hybrid systems	2008-03-11	Paper
Verifying Balanced Trees	2008-01-04	Paper
Automated Reasoning	2007-09-25	Paper
Hybrid Systems: Computation and Control	2007-09-25	Paper
Hybrid Systems: Computation and Control	2007-05-02	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Decision procedures for term algebras with integer constraints	2006-10-25	Paper
Algebra and Coalgebra in Computer Science	2006-10-20	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Collecting statistics over runtime executions	2006-01-23	Paper
Computer Aided Verification	2006-01-10	Paper
Automata, Languages and Programming	2006-01-10	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Static Analysis	2005-08-24	Paper
Theorem Proving in Higher Order Logics	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4817530	2004-09-24	Paper
Checking finite traces using alternating automata	2004-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4804915	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q2769578	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2753760	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2754162	2001-11-11	Paper
Deductive verification of real-time systems using STeP	2000-12-12	Paper

Research outcomes over time

This page was built for person: Henny B. Sipma