BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × France
1 × Ireland
1 × Italy
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × Portugal
Collaborated with:
Z.Manna A.R.Bradley S.Sankaranarayanan T.Zhang C.Sánchez M.Colón L.d.Alfaro T.E.Uribe
Talks about:
analysi (3) linear (3) constraint (2) reachabl (2) program (2) system (2) relat (2) order (2) decid (2) distribut (1)

Person: Henny B. Sipma

DBLP DBLP: Sipma:Henny_B=

Contributed to:

FASE 20072007
VMCAI 20062006
CADE 20052005
CAV 20052005
ICALP 20052005
VMCAI 20052005
IJCAR 20042004
SAS 20042004
TACAS 19971997

Wrote 11 papers:

FASE-2007-SanchezSM #concurrent #distributed #product line #protocol
A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces (CS, HBS, ZM), pp. 155–169.
VMCAI-2006-BradleyMS #array #decidability #question #what
What’s Decidable About Arrays? (ARB, ZM, HBS), pp. 427–442.
VMCAI-2006-SankaranarayananCSM #analysis #performance #relational
Efficient Strongly Relational Polyhedral Analysis (SS, MC, HBS, ZM), pp. 111–125.
CADE-2005-ZhangSM #decidability #first-order
The Decidability of the First-Order Theory of Knuth-Bendix Order (TZ, HBS, ZM), pp. 131–148.
CAV-2005-BradleyMS #linear #ranking #reachability
Linear Ranking with Reachability (ARB, ZM, HBS), pp. 491–504.
ICALP-2005-BradleyMS #principle #ranking
The Polyranking Principle (ARB, ZM, HBS), pp. 1349–1361.
VMCAI-2005-BradleyMS #polynomial #source code #termination
Termination of Polynomial Programs (ARB, ZM, HBS), pp. 113–129.
VMCAI-2005-SankaranarayananSM #analysis #linear #programming #scalability #using
Scalable Analysis of Linear Systems Using Mathematical Programming (SS, HBS, ZM), pp. 25–41.
IJCAR-2004-ZhangSM #constraints #data type #integer #recursion
Decision Procedures for Recursive Data Structures with Integer Constraints (TZ, HBS, ZM), pp. 152–167.
SAS-2004-SankaranarayananSM #analysis #constraints
Constraint-Based Linear-Relations Analysis (SS, HBS, ZM), pp. 53–68.
TACAS-1997-AlfaroM #verification #visual notation
Visual Verification of Reactive Systems (LdA, ZM, HBS, TEU), pp. 334–350.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.