The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Henny B. Sipma: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ting Zhang, Henny B. Sipma, Zohar Manna
    Decision Procedures for Recursive Data Structures with Integer Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:152-167 [Conf]
  2. Ting Zhang, Henny B. Sipma, Zohar Manna
    The Decidability of the First-Order Theory of Knuth-Bendix Order. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:131-148 [Conf]
  3. César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna
    Final Semantics for Event-Pattern Reactive Programs. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:364-378 [Conf]
  4. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    Linear Ranking with Reachability. [Citation Graph (0, 0)][DBLP]
    CAV, 2005, pp:491-504 [Conf]
  5. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    Termination Analysis of Integer Linear Loops. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:488-502 [Conf]
  6. Venkita Subramonian, Christopher D. Gill, César Sánchez, Henny B. Sipma
    Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:252-261 [Conf]
  7. César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill
    Efficient distributed deadlock avoidance with liveness guarantees. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:12-20 [Conf]
  8. César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna
    Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:159-173 [Conf]
  9. César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna
    Expressive Completeness of an Event-Pattern Reactive Programming Language. [Citation Graph (0, 0)][DBLP]
    FORTE, 2005, pp:529-532 [Conf]
  10. Ting Zhang, Henny B. Sipma, Zohar Manna
    Decision Procedures for Queues with Integer Constraints. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:225-237 [Conf]
  11. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
    Fixed Point Iteration for Computing the Time Elapse Operator. [Citation Graph (0, 0)][DBLP]
    HSCC, 2006, pp:537-551 [Conf]
  12. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    The Polyranking Principle. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1349-1361 [Conf]
  13. Matteo Slanina, Henny B. Sipma, Zohar Manna
    Proving ATL* Properties of Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:242-256 [Conf]
  14. César Sánchez, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill
    On efficient distributed deadlock avoidance for real-time and embedded systems. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  15. César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna
    Distributed Priority Inheritance for Real-Time and Embedded Systems. [Citation Graph (0, 0)][DBLP]
    OPODIS, 2006, pp:110-125 [Conf]
  16. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
    Constraint-Based Linear-Relations Analysis. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:53-68 [Conf]
  17. Ben D'Angelo, Sriram Sankaranarayanan, César Sánchez, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna
    LOLA: Runtime Monitoring of Synchronous Systems. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:166-174 [Conf]
  18. Ting Zhang, Henny B. Sipma, Zohar Manna
    Term Algebras with Length Function and Bounded Quantifier Alternation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2004, pp:321-336 [Conf]
  19. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    Termination of Polynomial Programs. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:113-129 [Conf]
  20. Aaron R. Bradley, Zohar Manna, Henny B. Sipma
    What's Decidable About Arrays? [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:427-442 [Conf]
  21. Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna
    Efficient Strongly Relational Polyhedral Analysis. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:111-125 [Conf]
  22. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
    Scalable Analysis of Linear Systems Using Mathematical Programming. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:25-41 [Conf]
  23. Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:4, pp:1- [Journal]
  24. Ting Zhang, Henny B. Sipma, Zohar Manna
    Decision procedures for term algebras with integer constraints. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:10, pp:1526-1574 [Journal]
  25. César Sánchez, Henny B. Sipma, Zohar Manna
    A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:155-169 [Conf]
  26. César Sánchez, Henny B. Sipma, Zohar Manna
    Generating Efficient Distributed Deadlock Avoidance Controllers. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-8 [Conf]
  27. Zohar Manna, Henny B. Sipma, Ting Zhang
    Verifying Balanced Trees. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:363-378 [Conf]

  28. The Reaction Algebra: A Formal Language for Event Correlation. [Citation Graph (, )][DBLP]


Search in 0.030secs, Finished in 0.032secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002