| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Henny B. Sipma Sriram Sankaranarayanan , Henny B. Sipma, Zohar Manna : Fixed Point Iteration for Computing the Time Elapse Operator. HSCC 2006 : 537-551 Sriram Sankaranarayanan , Michael Colón , Henny B. Sipma, Zohar Manna : Efficient Strongly Relational Polyhedral Analysis. VMCAI 2006 : 111-125 Aaron R. Bradley , Zohar Manna , Henny B. Sipma: What's Decidable About Arrays? VMCAI 2006 : 427-442 Ting Zhang , Henny B. Sipma, Zohar Manna : The Decidability of the First-Order Theory of Knuth-Bendix Order. CADE 2005 : 131-148 César Sánchez , Henny B. Sipma, Matteo Slanina , Zohar Manna : Final Semantics for Event-Pattern Reactive Programs. CALCO 2005 : 364-378 Aaron R. Bradley , Zohar Manna , Henny B. Sipma: Linear Ranking with Reachability. CAV 2005 : 491-504 Aaron R. Bradley , Zohar Manna , Henny B. Sipma: Termination Analysis of Integer Linear Loops. CONCUR 2005 : 488-502 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 César Sánchez , Matteo Slanina , Henny B. Sipma, Zohar Manna : Expressive Completeness of an Event-Pattern Reactive Programming Language. FORTE 2005 : 529-532 Ting Zhang , Henny B. Sipma, Zohar Manna : Decision Procedures for Queues with Integer Constraints. FSTTCS 2005 : 225-237 Aaron R. Bradley , Zohar Manna , Henny B. Sipma: The Polyranking Principle. ICALP 2005 : 1349-1361 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 Aaron R. Bradley , Zohar Manna , Henny B. Sipma: Termination of Polynomial Programs. VMCAI 2005 : 113-129 Sriram Sankaranarayanan , Henny B. Sipma, Zohar Manna : Scalable Analysis of Linear Systems Using Mathematical Programming. VMCAI 2005 : 25-41 Bernd Finkbeiner , Sriram Sankaranarayanan , Henny Sipma: Collecting Statistics Over Runtime Executions. Formal Methods in System Design 27 (3): 253-274 (2005) Sriram Sankaranarayanan , Henny Sipma, Zohar Manna : Constructing Invariants for Hybrid Systems. HSCC 2004 : 539-554 Ting Zhang , Henny B. Sipma, Zohar Manna : Decision Procedures for Recursive Data Structures with Integer Constraints. IJCAR 2004 : 152-167 Sriram Sankaranarayanan , Henny Sipma, Zohar Manna : Non-linear loop invariant generation using Gröbner bases. POPL 2004 : 318-329 Sriram Sankaranarayanan , Henny B. Sipma, Zohar Manna : Constraint-Based Linear-Relations Analysis. SAS 2004 : 53-68 Ting Zhang , Henny B. Sipma, Zohar Manna : Term Algebras with Length Function and Bounded Quantifier Alternation. TPHOLs 2004 : 321-336 Bernd Finkbeiner , Henny Sipma: Checking Finite Traces Using Alternating Automata. Formal Methods in System Design 24 (2): 101-127 (2004) Michael Colón , Sriram Sankaranarayanan , Henny Sipma: Linear Invariant Generation Using Non-linear Constraint Solving. CAV 2003 : 420-432 César Sánchez , Sriram Sankaranarayanan , Henny Sipma, Ting Zhang , David L. Dill , Zohar Manna : Event Correlation: Language and Semantics. EMSOFT 2003 : 323-339 Sriram Sankaranarayanan , Henny Sipma, Zohar Manna : Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice 2003 : 682-701 Michael Colón , Henny Sipma: Practical Methods for Proving Program Termination. CAV 2002 : 442-454 Bernd Finkbeiner , Sriram Sankaranarayanan , Henny Sipma: Collecting Statistics over Runtime Executions. Electr. Notes Theor. Comput. Sci. 70 (4): (2002) Michael Colón , Henny Sipma: Synthesis of Linear Ranking Functions. TACAS 2001 : 67-81 Bernd Finkbeiner , Henny Sipma: Checking Finite Traces using Alternating Automata. Electr. Notes Theor. Comput. Sci. 55 (2): (2001) 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) Zohar Manna , Henny Sipma: Alternating the Temporal Picture for Safety. ICALP 2000 : 429-450 Anca Browne , Henny Sipma, Ting Zhang : Linking ST e P with SPIN. SPIN 2000 : 181-186 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) 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) Zohar Manna , Henny Sipma: Verification of Parameterized Systems by Dynamic Induction on Diagrams. CAV 1999 : 25-41 Henny Sipma, Tomás E. Uribe , Zohar Manna : Deductive Model Checking. Formal Methods in System Design 15 (1): 49-74 (1999) Zohar Manna , Anca Browne , Henny Sipma, Tomás E. Uribe : Visual Abstractions for Temporal Verification. AMAST 1998 : 28-41 Zohar Manna , Henny Sipma: Deductive Verification of Hybrid Systems Using STeP. HSCC 1998 : 305-318 Nikolaj Bjørner , Zohar Manna , Henny Sipma, Tomás E. Uribe : Deductive Verification of Real-Time Systems Using STeP. ARTS 1997 : 22-43 Bernd Finkbeiner , Zohar Manna , Henny Sipma: Deductive Verification of Modular Systems. COMPOS 1997 : 239-275 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 Anca Browne , Zohar Manna , Henny Sipma: Hierarchical Verification Using Verification Diagrams. ASIAN 1996 : 276-286 Henny Sipma, Tomás E. Uribe , Zohar Manna : Deductive Model Checking. CAV 1996 : 208-219 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 Anca Browne , Zohar Manna , Henny Sipma: Generalized Temporal Verification Diagrams. FSTTCS 1995 : 484-498 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 Henny Sipma, Zohar Manna : Specification and Verification of Controlled Systems. FTRTFT 1994 : 641-659 1 [ 2 ] 2 [ 2 ] [ 4 ] [ 9 ] [ 14 ] [ 18 ] 3 [ 34 ] [ 36 ] [ 40 ] [ 41 ] [ 44 ] 4 [ 2 ] [ 3 ] [ 4 ] [ 6 ] [ 11 ] [ 14 ] [ 15 ] [ 16 ] 5 [ 2 ] [ 4 ] 6 [ 2 ] [ 4 ] [ 7 ] [ 14 ] [ 20 ] [ 22 ] [ 25 ] [ 45 ] 7 [ 35 ] 8 [ 2 ] 9 [ 24 ] 10 [ 7 ] [ 8 ] [ 14 ] [ 15 ] [ 19 ] [ 21 ] [ 26 ] [ 32 ] [ 35 ] 11 [ 39 ] 12 [ 2 ] [ 4 ] 13 [ 2 ] 14 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 17 ] [ 18 ] [ 23 ] [ 24 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 31 ] [ 33 ] [ 34 ] [ 35 ] [ 36 ] [ 37 ] [ 38 ] [ 39 ] [ 40 ] [ 41 ] [ 42 ] [ 43 ] [ 44 ] [ 45 ] [ 46 ] 15 [ 35 ] 16 [ 35 ] 17 [ 24 ] [ 35 ] [ 38 ] [ 39 ] [ 42 ] 18 [ 21 ] [ 23 ] [ 24 ] [ 25 ] [ 28 ] [ 29 ] [ 31 ] [ 32 ] [ 33 ] [ 35 ] [ 45 ] [ 46 ] 19 [ 38 ] [ 42 ] 20 [ 39 ] 21 [ 2 ] [ 4 ] [ 5 ] [ 7 ] [ 9 ] [ 11 ] [ 12 ] [ 14 ] [ 18 ] 22 [ 16 ] [ 24 ] [ 27 ] [ 30 ] [ 37 ] [ 43 ]  ©2006 Association for Computing Machinery |
