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: Sipma:Henny_B=
Contributed to:
2007
2006
2005
2005
20052005
2004
2004
1997Wrote 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.