Henny Sipma
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| j12 |      | Matteo Slanina, Henny B. Sipma, Zohar Manna: Deductive verification of alternating systems. Formal Asp. Comput. 20(4-5): 507-560 (2008) |
| j11 | | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Constructing invariants for hybrid systems. Formal Methods in System Design 32(1): 25-55 (2008) |
| c47 | | César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna: The Reaction Algebra: A Formal Language for Event Correlation. Pillars of Computer Science 2008: 596-619 |
| 2007 | ||
| c46 | | César Sánchez, Henny B. Sipma, Zohar Manna: A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces. FASE 2007: 155-169 |
| c45 | | César Sánchez, Henny B. Sipma, Zohar Manna: Generating Efficient Distributed Deadlock Avoidance Controllers. IPDPS 2007: 1-8 |
| c44 | | |
| 2006 | ||
| j10 | | Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, Henny B. Sipma: Preface. Electr. Notes Theor. Comput. Sci. 144(4): 1 (2006) |
| j9 | | Ting Zhang, Henny B. Sipma, Zohar Manna: Decision procedures for term algebras with integer constraints. Inf. Comput. 204(10): 1526-1574 (2006) |
| c43 | | César Sánchez, Henny B. Sipma, Zohar Manna, Christopher D. Gill: Efficient distributed deadlock avoidance with liveness guarantees. EMSOFT 2006: 12-20 |
| c42 | | 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. EMSOFT 2006: 252-261 |
| c41 | | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Fixed Point Iteration for Computing the Time Elapse Operator. HSCC 2006: 537-551 |
| c40 | | Matteo Slanina, Henny B. Sipma, Zohar Manna: Proving ATL* Properties of Infinite-State Systems. ICTAC 2006: 242-256 |
| c39 | | 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. IPDPS 2006 |
| c38 | | César Sánchez, Henny B. Sipma, Christopher D. Gill, Zohar Manna: Distributed Priority Inheritance for Real-Time and Embedded Systems. OPODIS 2006: 110-125 |
| c37 | | Sriram Sankaranarayanan, Michael Colón, Henny B. Sipma, Zohar Manna: Efficient Strongly Relational Polyhedral Analysis. VMCAI 2006: 111-125 |
| c36 | | |
| 2005 | ||
| j8 | | Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics Over Runtime Executions. Formal Methods in System Design 27(3): 253-274 (2005) |
| c35 | | Ting Zhang, Henny B. Sipma, Zohar Manna: The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE 2005: 131-148 |
| c34 | | César Sánchez, Henny B. Sipma, Matteo Slanina, Zohar Manna: Final Semantics for Event-Pattern Reactive Programs. CALCO 2005: 364-378 |
| c33 | | |
| c32 | | Aaron R. Bradley, Zohar Manna, Henny B. Sipma: Termination Analysis of Integer Linear Loops. CONCUR 2005: 488-502 |
| c31 | | César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna: Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. FORTE 2005: 159-173 |
| c30 | | César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna: Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005: 529-532 |
| c29 | | Ting Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Queues with Integer Constraints. FSTTCS 2005: 225-237 |
| c28 | | |
| c27 | | 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. TIME 2005: 166-174 |
| c26 | | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Scalable Analysis of Linear Systems Using Mathematical Programming. VMCAI 2005: 25-41 |
| c25 | | Aaron R. Bradley, Zohar Manna, Henny B. Sipma: Termination of Polynomial Programs. VMCAI 2005: 113-129 |
| 2004 | ||
| j7 | | Bernd Finkbeiner, Henny Sipma: Checking Finite Traces Using Alternating Automata. Formal Methods in System Design 24(2): 101-127 (2004) |
| c24 | | Ting Zhang, Henny B. Sipma, Zohar Manna: Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR 2004: 152-167 |
| c23 | | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Constructing Invariants for Hybrid Systems. HSCC 2004: 539-554 |
| c22 | | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Non-linear loop invariant generation using Gröbner bases. POPL 2004: 318-329 |
| c21 | | Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna: Constraint-Based Linear-Relations Analysis. SAS 2004: 53-68 |
| c20 | | Ting Zhang, Henny B. Sipma, Zohar Manna: Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs 2004: 321-336 |
| 2003 | ||
| c19 | | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna: Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice 2003: 682-701 |
| c18 | | Michael Colón, Sriram Sankaranarayanan, Henny Sipma: Linear Invariant Generation Using Non-linear Constraint Solving. CAV 2003: 420-432 |
| c17 | | César Sánchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David L. Dill, Zohar Manna: Event Correlation: Language and Semantics. EMSOFT 2003: 323-339 |
| 2002 | ||
| j6 | | Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma: Collecting Statistics over Runtime Executions. Electr. Notes Theor. Comput. Sci. 70(4): 36-54 (2002) |
| c16 | | |
| 2001 | ||
| j5 | | Bernd Finkbeiner, Henny Sipma: Checking Finite Traces using Alternating Automata. Electr. Notes Theor. Comput. Sci. 55(2): 147-163 (2001) |
| j4 | | Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Deductive verification of real-time systems using STeP. Theor. Comput. Sci. 253(1): 27-60 (2001) |
| c15 | | |
| 2000 | ||
| j3 | | Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma: The `Cash-Point' Service: A Verification Case Study Using STeP. Formal Asp. Comput. 12(4): 218-219 (2000) |
| j2 | | Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods in System Design 16(3): 227-270 (2000) |
| c14 | | |
| c13 | | |
| 1999 | ||
| j1 | | Henny Sipma, Tomás E. Uribe, Zohar Manna: Deductive Model Checking. Formal Methods in System Design 15(1): 49-74 (1999) |
| c12 | | Zohar Manna, Henny Sipma: Verification of Parameterized Systems by Dynamic Induction on Diagrams. CAV 1999: 25-41 |
| 1998 | ||
| c11 | | Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe: Visual Abstractions for Temporal Verification. AMAST 1998: 28-41 |
| c10 | | |
| 1997 | ||
| c9 | | Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe: Deductive Verification of Real-Time Systems Using STeP. ARTS 1997: 22-43 |
| c8 | | Bernd Finkbeiner, Zohar Manna, Henny Sipma: Deductive Verification of Modular Systems. COMPOS 1997: 239-275 |
| c7 | | Zohar Manna, Michael Colón, Bernd Finkbeiner, Henny Sipma, Tomás E. Uribe: Abstraction and Modular Verification of Infinite-State Reactive Systems. Requirements Targeting Software and Systems Engineering 1997: 273-292 |
| 1996 | ||
| c6 | | Anca Browne, Zohar Manna, Henny Sipma: Hierarchical Verification Using Verification Diagrams. ASIAN 1996: 276-286 |
| c5 | | |
| c4 | | Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Arjun Kapur, Zohar Manna, Henny Sipma, Tomás E. Uribe: STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems. CAV 1996: 415-418 |
| 1995 | ||
| c3 | | Anca Browne, Zohar Manna, Henny Sipma: Generalized Temporal Verification Diagrams. FSTTCS 1995: 484-498 |
| c2 | | Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe: STeP: The Stanford Temporal Prover. TAPSOFT 1995: 793-794 |
| 1994 | ||
| c1 | | Henny Sipma, Zohar Manna: Specification and Verification of Controlled Systems. FTRTFT 1994: 641-659 |
Data released under the ODC-BY 1.0 license — See also our legal information page