Henny B. Sipma

Henny Sipma

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

Coauthor Index

1	Luca de Alfaro	[2]
2	Howard Barringer	[45]
3	Nikolaj Bjørner	[2] [4] [9] [14] [18]
4	Aaron R. Bradley	[34] [36] [40] [41] [46]
5	Anca Browne (I. A. Draghicescu)	[2] [3] [4] [6] [11] [14] [15] [16]
6	Edward Y. Chang	[2] [4]
7	Michael Colón	[2] [4] [7] [14] [20] [22] [25] [47]
8	Ben D'Angelo	[35]
9	Harish Devarajan	[2]
10	David L. Dill	[24]
11	Bernd Finkbeiner	[7] [8] [14] [15] [19] [21] [26] [32] [35] [45]
12	Christopher D. Gill	[39] [48] [49] [52] [53]
13	Yuri Gurevich	[45]
14	Arjun Kapur	[2] [4]
15	Jaejin Lee	[2]
16	Zohar Manna	[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] [46] [47] [48] [49] [50] [51] [53] [54] [55] [56] [57] [58] [59]
17	Sandeep Mehrotra	[35]
18	Will Robinson	[35]
19	César Sánchez	[24] [35] [38] [39] [42] [48] [49] [52] [53] [55] [56] [59]
20	Sriram Sankaranarayanan	[21] [23] [24] [25] [28] [29] [31] [32] [33] [35] [47] [51] [57]
21	Matteo Slanina	[38] [42] [50] [58] [59]
22	Venkita Subramonian	[39] [49] [52]
23	Tomás E. Uribe	[2] [4] [5] [7] [9] [11] [12] [14] [18]
24	Ting Zhang	[16] [24] [27] [30] [37] [43] [44] [54]