The SCEAS System
| |||||||

## Search the dblp DataBase
Viktor Kuncak:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Patrick Lam, Viktor Kuncak, Martin C. Rinard
**Crosscutting techniques in program specification and analysis.**[Citation Graph (0, 0)][DBLP] AOSD, 2005, pp:169-180 [Conf] - Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
**An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic.**[Citation Graph (0, 0)][DBLP] CADE, 2005, pp:260-277 [Conf] - Patrick Lam, Viktor Kuncak, Martin C. Rinard
**Hob: A Tool for Verifying Data Structure Consistency.**[Citation Graph (0, 0)][DBLP] CC, 2005, pp:237-241 [Conf] - Viktor Kuncak, Martin C. Rinard, Bruno Marnette
**On Algorithms and Complexity for Sets with Cardinality Constraints.**[Citation Graph (0, 0)][DBLP] Deduction and Applications, 2005, pp:- [Conf] - Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard
**Verifying a File System Implementation.**[Citation Graph (0, 0)][DBLP] ICFEM, 2004, pp:373-390 [Conf] - Silvia Ghilezan, Viktor Kuncak
**Confluence of Untyped Lambda Calculus via Simple Types.**[Citation Graph (0, 0)][DBLP] ICTCS, 2001, pp:38-49 [Conf] - Viktor Kuncak, Martin C. Rinard
**An overview of the Jahob analysis system: project goals and current status.**[Citation Graph (0, 0)][DBLP] IPDPS, 2006, pp:- [Conf] - Viktor Kuncak, Patrick Lam, Martin C. Rinard
**A Language for Role Specifications.**[Citation Graph (0, 0)][DBLP] LCPC, 2001, pp:366-382 [Conf] - Viktor Kuncak, Martin C. Rinard
**Structural Subtyping of Non-Recursive Types is Decidable.**[Citation Graph (0, 0)][DBLP] LICS, 2003, pp:96-107 [Conf] - Viktor Kuncak, Patrick Lam, Martin C. Rinard
**Role analysis.**[Citation Graph (0, 0)][DBLP] POPL, 2002, pp:17-32 [Conf] - Viktor Kuncak, Martin C. Rinard
**Existential Heap Abstraction Entailment Is Undecidable.**[Citation Graph (0, 0)][DBLP] SAS, 2003, pp:418-438 [Conf] - Viktor Kuncak, Martin C. Rinard
**Generalized Records and Spatial Conjunction in Role Logic.**[Citation Graph (0, 0)][DBLP] SAS, 2004, pp:361-376 [Conf] - Viktor Kuncak, Daniel Jackson
**Relational analysis of algebraic datatypes.**[Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2005, pp:207-216 [Conf] - Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard
**Field Constraint Analysis.**[Citation Graph (0, 0)][DBLP] VMCAI, 2006, pp:157-173 [Conf] - Viktor Kuncak, Martin C. Rinard
**Boolean Algebra of Shape Analysis Constraints.**[Citation Graph (0, 0)][DBLP] VMCAI, 2004, pp:59-72 [Conf] - Patrick Lam, Viktor Kuncak, Martin C. Rinard
**Generalized Typestate Checking for Data Structure Consistency.**[Citation Graph (0, 0)][DBLP] VMCAI, 2005, pp:430-447 [Conf] - Viktor Kuncak, Martin C. Rinard
**The First-Order Theory of Sets with Cardinality Constraints is Decidable**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal] - Viktor Kuncak, Martin C. Rinard
**On the Theory of Structural Subtyping**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal] - Viktor Kuncak, Martin C. Rinard
**On Spatial Conjunction as Second-Order Logic**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal] - Viktor Kuncak, Patrick Lam, Martin C. Rinard
**Roles Are Really Great!**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal] - Viktor Kuncak, Martin C. Rinard
**Typestate Checking and Regular Graph Constraints**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal] - Viktor Kuncak, Martin C. Rinard
**On Role Logic**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal] - Viktor Kuncak, Martin C. Rinard
**On Generalized Records and Spatial Conjunction in Role Logic**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal] - Viktor Kuncak, K. Rustan M. Leino
**On computing the fixpoint of a set of boolean equations**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal] - Viktor Kuncak, Martin C. Rinard
**Decision Procedures for Set-Valued Fields.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:51-62 [Journal] - Mirjana Ivanovic, Viktor Kuncak
**Numerical Representations as Purely Functional Data Structures: a New Approach.**[Citation Graph (0, 0)][DBLP] Informatica, Lith. Acad. Sci., 2002, v:13, n:2, pp:163-176 [Journal] - Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
**Deciding Boolean Algebra with Presburger Arithmetic.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2006, v:36, n:3, pp:213-239 [Journal] - Patrick Lam, Viktor Kuncak, Martin C. Rinard
**Generalized typestate checking using set interfaces and pluggable analyses.**[Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 2004, v:39, n:3, pp:46-55 [Journal] - Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
**Modular Pluggable Analyses for Data Structure Consistency.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2006, v:32, n:12, pp:988-1005 [Journal] - Viktor Kuncak, Martin C. Rinard
**Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic.**[Citation Graph (0, 0)][DBLP] CADE, 2007, pp:215-230 [Conf] - Bruno Marnette, Viktor Kuncak, Martin C. Rinard
**Polynomial Constraints for Sets with Cardinality Bounds.**[Citation Graph (0, 0)][DBLP] FoSSaCS, 2007, pp:258-273 [Conf] - Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard
**On Verifying Complex Properties using Symbolic Shape Analysis**[Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal] **MUNCH - Automated Reasoner for Sets and Multisets.**[Citation Graph (, )][DBLP]**Linear Arithmetic with Stars.**[Citation Graph (, )][DBLP]**Comfusy: A Tool for Complete Functional Synthesis.**[Citation Graph (, )][DBLP]**Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.**[Citation Graph (, )][DBLP]**Ordered Sets in the Calculus of Data Structures.**[Citation Graph (, )][DBLP]**Combining Theories with Shared Set Operations.**[Citation Graph (, )][DBLP]**Simplifying Distributed System Development.**[Citation Graph (, )][DBLP]**Test generation through programming in UDITA.**[Citation Graph (, )][DBLP]**Verifying linked data structure implementations.**[Citation Graph (, )][DBLP]**CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems.**[Citation Graph (, )][DBLP]**An integrated proof language for imperative programs.**[Citation Graph (, )][DBLP]**Full functional verification of linked data structures.**[Citation Graph (, )][DBLP]**Complete functional synthesis.**[Citation Graph (, )][DBLP]**Decision procedures for algebraic data types with abstractions.**[Citation Graph (, )][DBLP]**Opis: reliable distributed systems in OCaml.**[Citation Graph (, )][DBLP]**Using First-Order Theorem Provers in the Jahob Data Structure Verification System.**[Citation Graph (, )][DBLP]**Runtime Checking for Separation Logic.**[Citation Graph (, )][DBLP]**Decision Procedures for Multisets with Cardinality Constraints.**[Citation Graph (, )][DBLP]**Collections, Cardinalities, and Relations.**[Citation Graph (, )][DBLP]**Building a Calculus of Data Structures.**[Citation Graph (, )][DBLP]**Runtime Checking for Program Verification.**[Citation Graph (, )][DBLP]**Implications of a Data Structure Consistency Checking System.**[Citation Graph (, )][DBLP]**On Algorithms and Complexity for Sets with Cardinality Constraints**[Citation Graph (, )][DBLP]
Search in 0.005secs, Finished in 0.008secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |