×
Edit Profile (opens in new tab)

Sipma, Henny B.

Co-Author Distance
Author ID: sipma.henny-b Recent zbMATH articles by "Sipma, Henny B."
Published as: Sipma, Henny B.; Sipma, Henny; Sipma, H. B.
Documents Indexed: 36 Publications since 1995
Co-Authors: 13 Co-Authors with 36 Joint Publications
263 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
30 Manna, Zohar
10 Sankaranarayanan, Sriram
7 Zhang, Ting
5 Bradley, Aaron R.
5 Slanina, Matteo
4 Colón, Michael A.
4 Sánchez, César
2 Browne, I. A.
2 Finkbeiner, Bernd
1 Bjørner, Nikolaj S.
1 Browne, Anca
1 Subramonian, Venkita
1 Uribe, Tomás E.

Serials

3 Formal Methods in System Design
1 Theoretical Computer Science
1 Information and Computation
1 Formal Aspects of Computing

Fields

34 Computer science (68-XX)
10 Mathematical logic and foundations (03-XX)
2 Commutative algebra (13-XX)
2 Systems theory; control (93-XX)
1 Operations research, mathematical programming (90-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

32 Publications have been cited 499 times in 332 Documents Cited by ▼ Year ▼
What’s decidable about arrays? Zbl 1176.68116
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
63
2006
Linear invariant generation using non-linear constraint solving. Zbl 1278.68164
Colón, Michael A.; Sankaranarayanan, Sriram; Sipma, Henny B.
55
2003
Non-linear loop invariant generation using Gröbner bases. Zbl 1325.68071
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
52
2004
Scalable analysis of linear systems using mathematical programming. Zbl 1111.68514
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
47
2005
Synthesis of linear ranking functions. Zbl 0978.68095
Colón, Michael A.; Sipma, Henny B.
37
2001
Constructing invariants for hybrid systems. Zbl 1133.68365
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
28
2008
Linear ranking with reachability. Zbl 1081.68611
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
28
2005
Constructing invariants for hybrid systems. Zbl 1135.93322
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
22
2004
Constraint-based linear-relations analysis. Zbl 1104.68023
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
21
2004
Termination of polynomial programs. Zbl 1111.68500
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
19
2005
Practical methods for proving program termination. Zbl 1010.68774
Colón, Michael A.; Sipma, Henny B.
18
2002
Efficient strongly relational polyhedral analysis. Zbl 1176.68051
Sankaranarayanan, Sriram; Colón, Michael A.; Sipma, Henny; Manna, Zohar
15
2006
Termination analysis of integer linear loops. Zbl 1134.68343
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
15
2005
The polyranking principle. Zbl 1081.68568
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
15
2005
Checking finite traces using alternating automata. Zbl 1073.68053
Finkbeiner, Bernd; Sipma, Henny
11
2004
Generalized temporal verification diagrams. Zbl 1354.68171
Browne, I. A.; Manna, Z.; Sipma, H. B.
9
1995
Decision procedures for recursive data structures with integer constraints. Zbl 1126.68585
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
6
2004
Collecting statistics over runtime executions. Zbl 1083.68068
Finkbeiner, Bernd; Sankaranarayanan, Sriram; Sipma, Henny B.
6
2005
Decision procedures for term algebras with integer constraints. Zbl 1103.68080
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
6
2006
Petri net analysis using invariant generation. Zbl 1274.68253
Sankaranarayanan, Sriram; Sipma, Henny; Manna, Zohar
4
2003
The decidability of the first-order theory of Knuth-Bendix order. Zbl 1135.03323
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
4
2005
Verifying balanced trees. Zbl 1132.68351
Manna, Zohar; Sipma, Henny B.; Zhang, Ting
3
2007
Deductive verification of real-time systems using STeP. Zbl 0954.68084
Bjørner, N. S.; Manna, Z.; Sipma, H. B.; Uribe, T. E.
3
2001
Alternating the temporal picture for safety. Zbl 0973.68141
Manna, Zohar; Sipma, Henny B.
3
2000
Term algebras with length function and bounded quantifier alternation. Zbl 1099.68737
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
2
2004
Deductive verification of alternating systems. Zbl 1152.68032
Slanina, Matteo; Sipma, Henny B.; Manna, Zohar
1
2008
Proving ATL* properties of infinite-state systems. Zbl 1168.68428
Slanina, Matteo; Sipma, Henny B.; Manna, Zohar
1
2006
Verification of parametrized systems by dynamic induction on diagrams. Zbl 1046.68601
Manna, Zohar; Sipma, Henny B.
1
1999
Fixed point iteration for computing the time elapse operator. Zbl 1178.93053
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
1
2006
Final semantics for event-pattern reactive programs. Zbl 1151.68378
Sánchez, César; Sipma, Henny B.; Slanina, Matteo; Manna, Zohar
1
2005
Decision procedures for queues with integer constraints. Zbl 1172.68437
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
1
2005
Expressive completeness of an event-pattern reactive programming language. Zbl 1169.68355
Sánchez, César; Slanina, Matteo; Sipma, Henny B.; Manna, Zohar
1
2005
Constructing invariants for hybrid systems. Zbl 1133.68365
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
28
2008
Deductive verification of alternating systems. Zbl 1152.68032
Slanina, Matteo; Sipma, Henny B.; Manna, Zohar
1
2008
Verifying balanced trees. Zbl 1132.68351
Manna, Zohar; Sipma, Henny B.; Zhang, Ting
3
2007
What’s decidable about arrays? Zbl 1176.68116
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
63
2006
Efficient strongly relational polyhedral analysis. Zbl 1176.68051
Sankaranarayanan, Sriram; Colón, Michael A.; Sipma, Henny; Manna, Zohar
15
2006
Decision procedures for term algebras with integer constraints. Zbl 1103.68080
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
6
2006
Proving ATL* properties of infinite-state systems. Zbl 1168.68428
Slanina, Matteo; Sipma, Henny B.; Manna, Zohar
1
2006
Fixed point iteration for computing the time elapse operator. Zbl 1178.93053
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
1
2006
Scalable analysis of linear systems using mathematical programming. Zbl 1111.68514
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
47
2005
Linear ranking with reachability. Zbl 1081.68611
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
28
2005
Termination of polynomial programs. Zbl 1111.68500
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
19
2005
Termination analysis of integer linear loops. Zbl 1134.68343
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
15
2005
The polyranking principle. Zbl 1081.68568
Bradley, Aaron R.; Manna, Zohar; Sipma, Henny B.
15
2005
Collecting statistics over runtime executions. Zbl 1083.68068
Finkbeiner, Bernd; Sankaranarayanan, Sriram; Sipma, Henny B.
6
2005
The decidability of the first-order theory of Knuth-Bendix order. Zbl 1135.03323
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
4
2005
Final semantics for event-pattern reactive programs. Zbl 1151.68378
Sánchez, César; Sipma, Henny B.; Slanina, Matteo; Manna, Zohar
1
2005
Decision procedures for queues with integer constraints. Zbl 1172.68437
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
1
2005
Expressive completeness of an event-pattern reactive programming language. Zbl 1169.68355
Sánchez, César; Slanina, Matteo; Sipma, Henny B.; Manna, Zohar
1
2005
Non-linear loop invariant generation using Gröbner bases. Zbl 1325.68071
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
52
2004
Constructing invariants for hybrid systems. Zbl 1135.93322
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
22
2004
Constraint-based linear-relations analysis. Zbl 1104.68023
Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar
21
2004
Checking finite traces using alternating automata. Zbl 1073.68053
Finkbeiner, Bernd; Sipma, Henny
11
2004
Decision procedures for recursive data structures with integer constraints. Zbl 1126.68585
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
6
2004
Term algebras with length function and bounded quantifier alternation. Zbl 1099.68737
Zhang, Ting; Sipma, Henny B.; Manna, Zohar
2
2004
Linear invariant generation using non-linear constraint solving. Zbl 1278.68164
Colón, Michael A.; Sankaranarayanan, Sriram; Sipma, Henny B.
55
2003
Petri net analysis using invariant generation. Zbl 1274.68253
Sankaranarayanan, Sriram; Sipma, Henny; Manna, Zohar
4
2003
Practical methods for proving program termination. Zbl 1010.68774
Colón, Michael A.; Sipma, Henny B.
18
2002
Synthesis of linear ranking functions. Zbl 0978.68095
Colón, Michael A.; Sipma, Henny B.
37
2001
Deductive verification of real-time systems using STeP. Zbl 0954.68084
Bjørner, N. S.; Manna, Z.; Sipma, H. B.; Uribe, T. E.
3
2001
Alternating the temporal picture for safety. Zbl 0973.68141
Manna, Zohar; Sipma, Henny B.
3
2000
Verification of parametrized systems by dynamic induction on diagrams. Zbl 1046.68601
Manna, Zohar; Sipma, Henny B.
1
1999
Generalized temporal verification diagrams. Zbl 1354.68171
Browne, I. A.; Manna, Z.; Sipma, H. B.
9
1995
all cited Publications top 5 cited Publications
all top 5

Cited by 574 Authors

11 Sankaranarayanan, Sriram
10 Kapur, Deepak
9 Platzer, André
9 Zhan, Naijun
7 Cook, Byron
7 Manna, Zohar
7 Ouaknine, Joel O.
7 Rybalchenko, Andrey
7 Sipma, Henny B.
7 Worrell, James Benjamin
7 Yang, Zhengfeng
7 Zaffanella, Enea
6 Boreale, Michele
6 Ghilardi, Silvio
6 Giesl, Jürgen
6 Gulwani, Sumit
6 Kuncak, Viktor
6 Podelski, Andreas
6 Sofronie-Stokkermans, Viorica
5 Amato, Gianluca
5 Chatterjee, Krishnendu
5 Genaim, Samir
5 Goubault, Eric
5 Henzinger, Thomas A.
5 Kovács, Laura Ildikó
5 Lin, Wang
5 Neider, Daniel
5 Ringeissen, Christophe
5 Rodríguez-Carbonell, Enric
5 Seidl, Helmut
5 Wu, Min
4 Adjé, Assalé
4 Barrett, Clark W.
4 Ben-Amram, Amir M.
4 Bjørner, Nikolaj S.
4 Brockschmidt, Marc
4 Echenim, Mnacho
4 Finkbeiner, Bernd
4 Gawlitza, Thomas Martin
4 Iosif, Radu
4 Kincaid, Zachary
4 King, Andy
4 Kröning, Daniel
4 L’vov, M. S.
4 Matringe, Nadir
4 Mili, Ali
4 Monniaux, David P.
4 Moura, Arnaldo Vieira
4 Rebiha, Rachid
4 Rubio, Albert
4 Sánchez, César
4 Scozzari, Francesca
4 Sogokon, Andrew
4 Suenaga, Kohei
4 Vardi, Moshe Ya’akov
4 Xia, Bican
4 Zeng, Zhenbing
4 Zhao, Hengjun
4 Žikelić, {D}or{d}e
3 Bagnara, Roberto
3 Basin, David A.
3 Beyer, Dirk
3 Bonacina, Maria Paola
3 Bouajjani, Ahmed
3 Bouissou, Olivier
3 Chapoutot, Alexandre
3 Chocron, Paula
3 Dang, Thao
3 Fontaine, Pascal
3 Frehse, Goran
3 Garg, Pranav
3 Gaubert, Stéphane
3 Griggio, Alberto
3 Habermehl, Peter
3 Hoenicke, Jochen
3 Jacobs, Swen
3 Katoen, Joost-Pieter
3 Kobayashi, Naoki
3 Li, Yi
3 Madhusudan, Parthasarathy
3 Majumdar, Rupak
3 Mesnard, Fred
3 Novotný, Petr
3 Oliveras, Albert
3 Padon, Oded
3 Peltier, Nicolas
3 Pnueli, Amir
3 Pouly, Amaury
3 Ranise, Silvio
3 Raya, Rodrigo
3 Reps, Thomas W.
3 Rümmer, Philipp
3 Schrammel, Peter
3 Seladji, Yassamine
3 Simon, Axel
3 Tan, Yong Kiam
3 Tiwari, Ashish Kumar
3 Wang, Qiuye
3 Zhang, Zhihai
2 Abate, Alessandro
...and 474 more Authors
all top 5

Cited in 34 Serials

25 Formal Methods in System Design
19 Journal of Automated Reasoning
15 Theoretical Computer Science
12 Journal of Symbolic Computation
9 Information and Computation
8 Formal Aspects of Computing
6 Journal of Systems Science and Complexity
5 Journal of Logical and Algebraic Methods in Programming
4 Acta Informatica
4 Science of Computer Programming
4 Cybernetics and Systems Analysis
4 ACM Transactions on Computational Logic
3 Information Processing Letters
3 Annals of Mathematics and Artificial Intelligence
3 Higher-Order and Symbolic Computation
3 Logical Methods in Computer Science
2 Mathematical Problems in Engineering
2 Theory of Computing Systems
2 Journal of the ACM
2 The Journal of Logic and Algebraic Programming
2 Theory and Practice of Logic Programming
2 Computer Languages, Systems & Structures
2 Mathematics in Computer Science
2 Nonlinear Analysis. Hybrid Systems
1 ACM Computing Surveys
1 Automatica
1 Journal of Computer and System Sciences
1 Machine Learning
1 Mathematical Programming. Series A. Series B
1 Fundamenta Informaticae
1 Science China. Information Sciences
1 Frontiers of Computer Science in China
1 Frontiers of Computer Science
1 Modelirovanie i Analiz Informatsionnykh Sistem
all top 5

Cited in 22 Fields

307 Computer science (68-XX)
64 Mathematical logic and foundations (03-XX)
31 Systems theory; control (93-XX)
26 Operations research, mathematical programming (90-XX)
14 Numerical analysis (65-XX)
9 Commutative algebra (13-XX)
8 Ordinary differential equations (34-XX)
4 Convex and discrete geometry (52-XX)
3 Algebraic geometry (14-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
3 Dynamical systems and ergodic theory (37-XX)
2 Number theory (11-XX)
2 Partial differential equations (35-XX)
2 Operator theory (47-XX)
2 Biology and other natural sciences (92-XX)
1 Field theory and polynomials (12-XX)
1 Approximations and expansions (41-XX)
1 Probability theory and stochastic processes (60-XX)
1 Statistics (62-XX)
1 Quantum theory (81-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year