The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Viktor Kuncak: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Silvia Ghilezan, Viktor Kuncak
    Confluence of Untyped Lambda Calculus via Simple Types. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:38-49 [Conf]
  7. 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]
  8. Viktor Kuncak, Patrick Lam, Martin C. Rinard
    A Language for Role Specifications. [Citation Graph (0, 0)][DBLP]
    LCPC, 2001, pp:366-382 [Conf]
  9. Viktor Kuncak, Martin C. Rinard
    Structural Subtyping of Non-Recursive Types is Decidable. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:96-107 [Conf]
  10. Viktor Kuncak, Patrick Lam, Martin C. Rinard
    Role analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:17-32 [Conf]
  11. Viktor Kuncak, Martin C. Rinard
    Existential Heap Abstraction Entailment Is Undecidable. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:418-438 [Conf]
  12. Viktor Kuncak, Martin C. Rinard
    Generalized Records and Spatial Conjunction in Role Logic. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:361-376 [Conf]
  13. Viktor Kuncak, Daniel Jackson
    Relational analysis of algebraic datatypes. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:207-216 [Conf]
  14. 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]
  15. Viktor Kuncak, Martin C. Rinard
    Boolean Algebra of Shape Analysis Constraints. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:59-72 [Conf]
  16. 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]
  17. 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]
  18. Viktor Kuncak, Martin C. Rinard
    On the Theory of Structural Subtyping [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  19. Viktor Kuncak, Martin C. Rinard
    On Spatial Conjunction as Second-Order Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  20. Viktor Kuncak, Patrick Lam, Martin C. Rinard
    Roles Are Really Great! [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  21. Viktor Kuncak, Martin C. Rinard
    Typestate Checking and Regular Graph Constraints [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  22. Viktor Kuncak, Martin C. Rinard
    On Role Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]

  33. MUNCH - Automated Reasoner for Sets and Multisets. [Citation Graph (, )][DBLP]


  34. Linear Arithmetic with Stars. [Citation Graph (, )][DBLP]


  35. Comfusy: A Tool for Complete Functional Synthesis. [Citation Graph (, )][DBLP]


  36. Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. [Citation Graph (, )][DBLP]


  37. Ordered Sets in the Calculus of Data Structures. [Citation Graph (, )][DBLP]


  38. Combining Theories with Shared Set Operations. [Citation Graph (, )][DBLP]


  39. Simplifying Distributed System Development. [Citation Graph (, )][DBLP]


  40. Test generation through programming in UDITA. [Citation Graph (, )][DBLP]


  41. Verifying linked data structure implementations. [Citation Graph (, )][DBLP]


  42. CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. [Citation Graph (, )][DBLP]


  43. An integrated proof language for imperative programs. [Citation Graph (, )][DBLP]


  44. Full functional verification of linked data structures. [Citation Graph (, )][DBLP]


  45. Complete functional synthesis. [Citation Graph (, )][DBLP]


  46. Decision procedures for algebraic data types with abstractions. [Citation Graph (, )][DBLP]


  47. Opis: reliable distributed systems in OCaml. [Citation Graph (, )][DBLP]


  48. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. [Citation Graph (, )][DBLP]


  49. Runtime Checking for Separation Logic. [Citation Graph (, )][DBLP]


  50. Decision Procedures for Multisets with Cardinality Constraints. [Citation Graph (, )][DBLP]


  51. Collections, Cardinalities, and Relations. [Citation Graph (, )][DBLP]


  52. Building a Calculus of Data Structures. [Citation Graph (, )][DBLP]


  53. Runtime Checking for Program Verification. [Citation Graph (, )][DBLP]


  54. Implications of a Data Structure Consistency Checking System. [Citation Graph (, )][DBLP]


  55. On Algorithms and Complexity for Sets with Cardinality Constraints [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002