Year |
Citation |
Score |
2008 |
Sankaranarayanan S, Sipma HB, Manna Z. Constructing invariants for hybrid systems Formal Methods in System Design. 32: 25-55. DOI: 10.1007/s10703-007-0046-1 |
0.56 |
|
2008 |
Bradley AR, Manna Z. Property-directed incremental invariant generation Formal Aspects of Computing. 20: 379-405. DOI: 10.1007/S00165-008-0080-9 |
0.729 |
|
2008 |
Slanina M, Sipma HB, Manna Z. Deductive verification of alternating systems Formal Aspects of Computing. 20: 507-560. DOI: 10.1007/s00165-008-0075-6 |
0.689 |
|
2008 |
Sánchez C, Slanina M, Sipma HB, Manna Z. The reaction algebra: A formal language for event correlation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4800: 596-619. DOI: 10.1007/978-3-540-78127-1_33 |
0.684 |
|
2007 |
Bradley AR, Manna Z. Checking safety by inductive generalization of counterexamples to induction Proceedings - Formal Methods in Computer Aided Design, Fmcad 2007. 173-180. DOI: 10.1109/FAMCAD.2007.15 |
0.685 |
|
2007 |
Bradley AR, Manna Z. The calculus of computation: Decision procedures with applications to verification The Calculus of Computation: Decision Procedures With Applications to Verification. 1-366. DOI: 10.1007/978-3-540-74113-8 |
0.701 |
|
2006 |
Zhang T, Sipma HB, Manna Z. Decision procedures for term algebras with integer constraints Information and Computation. 204: 1526-1574. DOI: 10.1016/j.ic.2006.03.004 |
0.371 |
|
2006 |
Sankaranarayanan S, Sipma HB, Manna Z. Fixed point iteration for computing the time elapse operator Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3927: 537-551. DOI: 10.1007/11730637_40 |
0.551 |
|
2006 |
Sankaranarayanan S, Colon MA, Sipma H, Manna Z. Efficient strongly relational polyhedral analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3855: 111-125. |
0.767 |
|
2006 |
Bradley AR, Manna Z. Verification constraint problems with strengthening Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4281: 35-49. |
0.71 |
|
2006 |
Bradley AR, Manna Z, Sipma HB. What's decidable about arrays? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3855: 427-442. |
0.705 |
|
2006 |
Slanina M, Sipma HB, Manna Z. Proving ATL* properties of infinite-state systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4281: 242-256. |
0.673 |
|
2005 |
D'Angelo B, Sankaranarayanan S, Sánchez C, Robinson W, Finkbeiner B, Sipma HB, Mehrotra S, Manna Z. LOLA: Runtime monitoring of synchronous systems Proceedings of the International Workshop On Temporal Representation and Reasoning. 166-175. DOI: 10.1109/TIME.2005.26 |
0.497 |
|
2005 |
Bradley A, Manna Z. Termination and invariance analysis of loops Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3707: 2. DOI: 10.1007/11562948_2 |
0.436 |
|
2005 |
Bradley AR, Manna Z, Sipma HB. The Polyranking Principle Lecture Notes in Computer Science. 3580: 1349-1361. |
0.72 |
|
2005 |
Sankaranarayanan S, Sipma HB, Manna Z. Scalable analysis of linear systems using mathematical programming Lecture Notes in Computer Science. 3385: 25-41. |
0.396 |
|
2005 |
Bradley AR, Manna Z, Sipma HB. Linear ranking with reachability Lecture Notes in Computer Science. 3576: 491-504. |
0.711 |
|
2005 |
Bradley AR, Manna Z, Sipma HB. Termination of polynomial programs Lecture Notes in Computer Science. 3385: 113-129. |
0.725 |
|
2005 |
Bradley AR, Manna Z, Sipma HB. Termination analysis of integer linear loops Lecture Notes in Computer Science. 3653: 488-502. |
0.704 |
|
2005 |
Sánchez C, Sipma HB, Slanina M, Manna Z. Final semantics for event-pattern reactive programs Lecture Notes in Computer Science. 3629: 364-378. |
0.694 |
|
2005 |
Sánchez C, Slanina M, Sipma HB, Manna Z. Expressive completeness of an event-pattern reactive programming language Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3731: 529-532. |
0.647 |
|
2004 |
Sankaranarayanan S, Sipma H, Manna Z. Petri net analysis using invariant generation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2772: 682-701. DOI: 10.1007/978-3-540-39910-0_29 |
0.604 |
|
2004 |
Sankaranarayanan S, Sipma HB, Manna Z. Non-linear loop invariant generation using gröbner bases Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 31: 318-329. |
0.336 |
|
2004 |
Sankaranarayanan S, Sipma HB, Manna Z. Constraint-based linear-relations analysis Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3148: 53-68. |
0.331 |
|
2003 |
Manna Z, Zarba CG. Combining decision procedures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2757: 381-422. DOI: 10.1007/978-3-540-40007-3_24 |
0.725 |
|
2003 |
Sánchez C, Sankaranarayanan S, Sipma H, Zhang T, Dill D, Manna Z. Event correlation: Language and semantics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2855: 323-339. |
0.556 |
|
2000 |
Kesten Y, Manna Z, Pnueli A. Verification of clocked and hybrid systems Acta Informatica. 36: 837-912. DOI: 10.1007/S002360050177 |
0.375 |
|
2000 |
Browne A, Finkbeiner B, Manna Z, Sipma H. The ‘Cash-Point’ Service: A Verification Case Study Using STeP Formal Aspects of Computing. 12: 218-219. DOI: 10.1007/S001650070014 |
0.755 |
|
2000 |
Browne A, Finkbeiner B, Manna Z, Sipma H. The 'cash-point' service: A verification case study using STeP Formal Aspects of Computing. 12: 218-219. |
0.343 |
|
2000 |
Manna Z, Sipma HB. Alternating the temporal picture for safety Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1853: 429-450. |
0.343 |
|
1999 |
Manna Z, Sipma HB. Verification of parameterized systems by dynamic induction on diagrams Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1633: 25-43. |
0.306 |
|
1998 |
Manna Z, Browne A, Sipma HB, Uribe TE. Visual abstractions for temporal verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1548: 28-41. DOI: 10.1007/3-540-49253-4_5 |
0.31 |
|
1998 |
Finkbeiner B, Manna Z, Sipma HB. Deductive verification of modular systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1536: 239-275. |
0.318 |
|
1997 |
BjØrner NS, Manna Z, Sipma HB, Uribe TE. Deductive verification of real-time systems using STeP Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1231: 22-43. DOI: 10.1016/S0304-3975(00)00088-8 |
0.408 |
|
1997 |
De Alfaro L, Manna Z, Sipma HB, Uribe TE. Visual verification of reactive systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1217: 334-350. DOI: 10.1007/BFb0035398 |
0.305 |
|
1996 |
Bjørner N, Browne A, Chang E, Colòn M, Kapur A, Manna Z, Sipma HB, Uribe TE. STeP: Deductive-algorithmic verification of reactive and real-time systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1102: 415-418. DOI: 10.1007/3-540-61474-5_92 |
0.307 |
|
1996 |
De Alfaro L, Manna Z. Temporal verification by diagram transformations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1102: 288-299. DOI: 10.1007/3-540-61474-5_77 |
0.323 |
|
1995 |
Browne IA, Manna Z, Sipma HB. Generalized temporal verification diagrams Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1026: 484-498. DOI: 10.1007/3-540-60692-0_69 |
0.317 |
|
1995 |
Bjørner N, Browne A, Manna Z. Automatic generation of invariants and intermediate assertions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 976: 589-623. DOI: 10.1007/3-540-60299-2_37 |
0.343 |
|
1994 |
Henzinger TA, Manna Z, Pnueli A. Temporal Proof Methodologies for Timed Transition-Systems Information and Computation. 112: 273-337. DOI: 10.1006/Inco.1994.1060 |
0.402 |
|
1993 |
Manna Z, Pnueli A. Models for reactivity Acta Informatica. 30: 609-678. DOI: 10.1007/Bf01191722 |
0.422 |
|
1992 |
Manna Z, Waldinger R. Fundamentals of deductive program synthesis Ieee Transactions On Software Engineering. 18: 674-704. DOI: 10.1109/32.153379 |
0.509 |
|
1991 |
Manna Z, Pnueli A. Completing the temporal picture Theoretical Computer Science. 83: 97-130. DOI: 10.1016/0304-3975(91)90041-Y |
0.361 |
|
1990 |
Abadi M, Manna Z. Nonclausal Deduction in First-Order Temporal Logic Journal of the Acm (Jacm). 37: 279-317. DOI: 10.1145/77600.77617 |
0.424 |
|
1989 |
Abadi M, Manna Z. Temporal logic programming Journal of Symbolic Computation. 8: 277-295. DOI: 10.1016/S0747-7171(89)80070-7 |
0.43 |
|
1987 |
Manna Z, Waldinger R. The origin of a binary-search paradigm Science of Computer Programming. 9: 37-83. DOI: 10.1016/0167-6423(87)90025-6 |
0.413 |
|
1987 |
Manna Z, Waldinger R. How to clear a block: A theory of plans Journal of Automated Reasoning. 3: 343-377. DOI: 10.1007/Bf00247434 |
0.313 |
|
1986 |
Manna Z, Waldinger R. Special Relations in Automated Deduction Journal of the Acm (Jacm). 33: 1-59. DOI: 10.1145/4904.4905 |
0.37 |
|
1984 |
Manna Z, Pnueli A. Adequate proof principles for invariance and liveness properties of concurrent programs Science of Computer Programming. 4: 257-289. DOI: 10.1016/0167-6423(84)90003-0 |
0.505 |
|
1983 |
Ben-Ari M, Pnueli A, Manna Z. The temporal logic of branching time Acta Informatica. 20: 207-226. DOI: 10.1007/Bf01257083 |
0.403 |
|
1981 |
Dershowitz N, Manna Z. Inference Rules for Program Annotation Ieee Transactions On Software Engineering. 207-222. DOI: 10.1109/Tse.1981.234518 |
0.47 |
|
1981 |
Manna Z, Waldinger R. Deductive synthesis of the unification algorithm Science of Computer Programming. 1: 5-48. DOI: 10.1016/0167-6423(81)90004-6 |
0.486 |
|
1981 |
Manna Z, Waldinger R. Problematic features of programming languages: a situational-calculus approach Acta Informatica. 16: 371-426. DOI: 10.1007/Bf00264494 |
0.482 |
|
1980 |
Manna Z, Waldinger R. A Deductive Approach to Program Synthesis Acm Transactions On Programming Languages and Systems (Toplas). 2: 90-121. DOI: 10.1145/357084.357090 |
0.465 |
|
1979 |
Dershowitz N, Manna Z. Proving Termination with Multiset Orderings Communications of the Acm. 22: 465-476. DOI: 10.1145/359138.359142 |
0.446 |
|
1979 |
Manna Z, Waldinger R. Synthesis: Dreams ===> Programs Ieee Transactions On Software Engineering. 294-328. DOI: 10.1109/Tse.1979.234198 |
0.492 |
|
1978 |
Manna Z, Waldinger R. Is “Sometime” Sometimes Better than “Always”?: Intermittent Assertions in Proving Program Correctness Communications of the Acm. 21: 159-172. DOI: 10.1145/359340.359353 |
0.491 |
|
1978 |
Manna Z, Waldinger R. The Logic of Computer Programming Ieee Transactions On Software Engineering. 199-229. DOI: 10.1109/Tse.1978.231499 |
0.469 |
|
1978 |
Manna Z, Shamir A. The convergence of functions to fixedpoints of recursive definitions Theoretical Computer Science. 6: 109-141. DOI: 10.1016/0304-3975(78)90033-6 |
0.666 |
|
1977 |
Manna Z, Waldinger R. The automatic synthesis of recursive programs Acm Sigplan Notices. 12: 29-36. DOI: 10.1145/872736.806929 |
0.472 |
|
1977 |
Manna Z, Shamir A. The Optimal Approach to Recursive Programs Communications of the Acm. 20: 824-831. DOI: 10.1145/359863.359885 |
0.714 |
|
1977 |
Dershowitz N, Manna Z. The Evolution of Programs: Automatic Program Modification Ieee Transactions On Software Engineering. 377-385. DOI: 10.1109/Tse.1977.231170 |
0.463 |
|
1976 |
Katz S, Manna Z. Logical Analysis of Programs Communications of the Acm. 19: 188-206. DOI: 10.1145/360032.360048 |
0.497 |
|
1976 |
Manna Z, Shamir A. The Theoretical Aspects of the Optimal Fixedpoint Siam Journal On Computing. 5: 414-426. DOI: 10.1137/0205033 |
0.685 |
|
1975 |
Katz S, Manna Z. Towards automatic debugging of programs Acm Sigplan Notices. 10: 143-155. DOI: 10.1145/390016.808434 |
0.456 |
|
1975 |
Ashcroft EA, Manna Z. Translating Program Schemas to While-Schemas Siam Journal On Computing. 4: 125-146. DOI: 10.1137/0204011 |
0.436 |
|
1975 |
Chandra AK, Manna Z. On the power of programming features Computer Languages. 1: 219-232. DOI: 10.1016/0096-0551(75)90032-6 |
0.382 |
|
1975 |
Manna Z, Waldinger R. Knowledge and reasoning in program synthesis Artificial Intelligence. 6: 175-208. DOI: 10.1016/0004-3702(75)90008-9 |
0.461 |
|
1975 |
Katz S, Manna Z. A closer look at termination Acta Informatica. 5: 333-352. DOI: 10.1007/Bf00264565 |
0.377 |
|
1974 |
Manna Z, Pnueli A. Axiomatic approach to total correctness of programs Acta Informatica. 3: 243-263. DOI: 10.1007/Bf00288637 |
0.454 |
|
1973 |
Manna Z, Ness S, Vuillemin J. Inductive Methods for Proving Properties of Programs Communications of the Acm. 16: 491-502. DOI: 10.1145/355609.362336 |
0.776 |
|
1973 |
Ashcroft E, Manna Z, Pnueli A. Decidable Properties of Monadic Functional Schemas Journal of the Acm (Jacm). 20: 489-499. DOI: 10.1145/321765.321780 |
0.357 |
|
1972 |
Manna Z, Vuillemin J. Fixpoint Approach to the Theory of Computation Communications of the Acm. 15: 528-536. DOI: 10.1145/361454.361460 |
0.77 |
|
1971 |
Manna Z, Waldinger RJ. Toward Automatic Program Synthesis Communications of the Acm. 14: 151-165. DOI: 10.1145/362566.362568 |
0.508 |
|
1971 |
Manna Z. Mathematical theory of partial correctness Journal of Computer and System Sciences. 5: 239-253. DOI: 10.1016/S0022-0000(71)80035-1 |
0.32 |
|
1970 |
Manna Z, Pnueli A. Formalization of Properties of Functional Programs Journal of the Acm (Jacm). 17: 555-569. DOI: 10.1145/321592.321606 |
0.471 |
|
1970 |
Manna Z. The correctness of nondeterministic programs Artificial Intelligence. 1: 1-26. DOI: 10.1016/0004-3702(70)90002-0 |
0.485 |
|
1969 |
Manna Z. Properties of Programs and the First-Order Predicate Calculus Journal of the Acm (Jacm). 16: 244-255. DOI: 10.1145/321510.321516 |
0.354 |
|
1969 |
Manna Z. The correctness of programs Journal of Computer and System Sciences. 3: 119-127. DOI: 10.1016/S0022-0000(69)80009-7 |
0.461 |
|
Show low-probability matches. |