Henny B. Sipma - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2008

Constructing invariants for hybrid systemsSriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. fmsd, 32(1):25-55, 2008. [doi]

Deductive verification of alternating systemsMatteo Slanina, Henny B. Sipma, Zohar Manna. fac, 20(4-5):507-560, 2008. [doi]

The Reaction Algebra: A Formal Language for Event CorrelationCésar Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna. birthday 2008: 596-619 [doi]

2007

Verifying Balanced TreesZohar Manna, Henny B. Sipma, Ting Zhang. lfcs 2007: 363-378 [doi]

Generating Efficient Distributed Deadlock Avoidance ControllersCésar Sánchez, Henny B. Sipma, Zohar Manna. ipps 2007: 1-8 [doi]

A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State SpacesCésar Sánchez, Henny B. Sipma, Zohar Manna. FASE 2007: 155-169 [doi]

2006

PrefaceHoward Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma. ENTCS, 144(4):1, 2006. [doi]

What s Decidable About Arrays?Aaron R. Bradley, Zohar Manna, Henny B. Sipma. vmcai 2006: 427-442 [doi]

Fixed Point Iteration for Computing the Time Elapse OperatorSriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. hybrid 2006: 537-551 [doi]

Efficient Strongly Relational Polyhedral AnalysisSriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna. vmcai 2006: 111-125 [doi]

Proving ATL* Properties of Infinite-State SystemsMatteo Slanina, Henny B. Sipma, Zohar Manna. ictac 2006: 242-256 [doi]

Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systemsVenkita Subramonian, Christopher D. Gill, César Sánchez, Henny B. Sipma. emsoft 2006: 252-261 [doi]

On efficient distributed deadlock avoidance for real-time and embedded systemsCésar Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill. ipps 2006: [doi]

Distributed Priority Inheritance for Real-Time and Embedded SystemsCésar Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna. opodis 2006: 110-125 [doi]

Efficient distributed deadlock avoidance with liveness guaranteesCésar Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill. emsoft 2006: 12-20 [doi]

Decision procedures for term algebras with integer constraintsTing Zhang, Henny B. Sipma, Zohar Manna. iandc, 204(10):1526-1574, 2006. [doi]

2005

LOLA: Runtime Monitoring of Synchronous SystemsBen D Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna. time 2005: 166-174 [doi]

Termination of Polynomial ProgramsAaron R. Bradley, Zohar Manna, Henny B. Sipma. vmcai 2005: 113-129 [doi]

Linear Ranking with ReachabilityAaron R. Bradley, Zohar Manna, Henny B. Sipma. cav 2005: 491-504 [doi]

Termination Analysis of Integer Linear LoopsAaron R. Bradley, Zohar Manna, Henny B. Sipma. concur 2005: 488-502 [doi]

The Polyranking PrincipleAaron R. Bradley, Zohar Manna, Henny B. Sipma. icalp 2005: 1349-1361 [doi]

Scalable Analysis of Linear Systems Using Mathematical ProgrammingSriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. vmcai 2005: 25-41 [doi]

Final Semantics for Event-Pattern Reactive ProgramsCésar Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna. calco 2005: 364-378 [doi]

Expressive Completeness of an Event-Pattern Reactive Programming LanguageCésar Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna. forte 2005: 529-532 [doi]

Thread Allocation Protocols for Distributed Real-Time and Embedded SystemsCésar Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna. forte 2005: 159-173 [doi]

The Decidability of the First-Order Theory of Knuth-Bendix OrderTing Zhang, Henny B. Sipma, Zohar Manna. cade 2005: 131-148 [doi]

Decision Procedures for Queues with Integer ConstraintsTing Zhang, Henny B. Sipma, Zohar Manna. fsttcs 2005: 225-237 [doi]

2004

Constraint-Based Linear-Relations AnalysisSriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. SAS 2004: 53-68 [doi]

Term Algebras with Length Function and Bounded Quantifier AlternationTing Zhang, Henny B. Sipma, Zohar Manna. tphol 2004: 321-336 [doi]

Decision Procedures for Recursive Data Structures with Integer ConstraintsTing Zhang, Henny B. Sipma, Zohar Manna. cade 2004: 152-167 [doi]

1999

Diagram-based verification of discrete, real-time and hybrid systemsHenny B. Sipma. PhD thesis, Stanford University, USA, 1999. [doi]

1998

An Update on STeP: Deductive-Algorithmic Verification of Reactive SystemsZohar Manna, Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe. tssdv 1999: 174-188 [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Henny B. Sipma'

Viewing Publication 1 - 32 from 32

2008

2007

2006

2005

2004

1999

1998

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Henny B. Sipma'

Viewing Publication 1 - 32 from 32

2008

2007

2006

2005

2004

1999

1998

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1