The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marsha Chechik: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marsha Chechik
    SC(R)3: towards usability of formal methods. [Citation Graph (0, 0)][DBLP]
    CASCON, 1998, pp:8- [Conf]
  2. Marsha Chechik, Wei Ding
    Lightweight reasoning about program correctness. [Citation Graph (0, 0)][DBLP]
    CASCON, 2001, pp:1- [Conf]
  3. Marsha Chechik, Hai Wang
    Bisimulation analysis of SDL-expressed protocols: a case study. [Citation Graph (0, 0)][DBLP]
    CASCON, 2000, pp:2- [Conf]
  4. Marsha Chechik, Arie Gurfinkel
    TLQSolver: A Temporal Logic Query Checker. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:210-214 [Conf]
  5. Marsha Chechik, Arie Gurfinkel, Benet Devereux
    chi-Chek: A Multi-valued Model-Checker. [Citation Graph (0, 0)][DBLP]
    CAV, 2002, pp:505-509 [Conf]
  6. Arie Gurfinkel, Ou Wei, Marsha Chechik
    Yasm: A Software Model-Checker for Verification and Refutation. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:170-174 [Conf]
  7. Arie Gurfinkel, Marsha Chechik
    How Thorough Is Thorough Enough? [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:65-80 [Conf]
  8. Ou Wei, Arie Gurfinkel, Marsha Chechik
    Identification and Counter Abstraction for Full Virtual Symmetry. [Citation Graph (0, 0)][DBLP]
    CHARME, 2005, pp:285-300 [Conf]
  9. Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Albert Y. C. Lai, Victor Petrovykh
    Efficient Multiple-Valued Model-Checking Using Lattice Representations. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:441-455 [Conf]
  10. Arie Gurfinkel, Marsha Chechik
    Multi-Valued Model Checking via Classical Model Checking. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:263-277 [Conf]
  11. Marsha Chechik, Arie Gurfinkel
    A Framework for Counterexample Generation and Exploration. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:220-236 [Conf]
  12. Benet Devereux, Marsha Chechik
    Automated Support for Building Behavioral Models of Event-Driven Systems. [Citation Graph (0, 0)][DBLP]
    FASE, 2006, pp:122-138 [Conf]
  13. Greg Brunet, Marsha Chechik, Sebastián Uchitel
    Properties of Behavioural Model Merging. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:98-114 [Conf]
  14. Marsha Chechik, Steve M. Easterbrook, Victor Petrovykh
    Model-Checking over Multi-valued Logics. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:72-98 [Conf]
  15. Arie Gurfinkel, Marsha Chechik
    Generating Counterexamples for Multi-valued Model-Checking. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:503-521 [Conf]
  16. Andre Wong, Marsha Chechik
    Formal Modeling in a Commercial Setting: A Case Study. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:590-607 [Conf]
  17. Arie Gurfinkel, Marsha Chechik
    Extending Extended Vacuity. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:306-321 [Conf]
  18. Shiva Nejati, Mihaela Gheorghiu, Marsha Chechik
    Thorough Checking Revisited. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2006, pp:106-116 [Conf]
  19. Steve M. Easterbrook, Marsha Chechik
    A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:411-420 [Conf]
  20. Steve M. Easterbrook, Marsha Chechik
    2nd International Workshop on Living with Inconsistency. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:749-750 [Conf]
  21. Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh, Anya Tafliovich, Christopher Thompson-Walsh
    \chiChek: A Model Checker for Multi-Valued Reasoning. [Citation Graph (0, 0)][DBLP]
    ICSE, 2003, pp:804-805 [Conf]
  22. Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave
    Matching and Merging of Statecharts Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:54-64 [Conf]
  23. Sebastián Uchitel, Greg Brunet, Marsha Chechik
    Behaviour Model Synthesis from Properties and Scenarios. [Citation Graph (0, 0)][DBLP]
    ICSE, 2007, pp:34-43 [Conf]
  24. Marsha Chechik, Steve M. Easterbrook, Benet Devereux
    Model Checking with Multi-Valued Temporal Logics. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2001, pp:187-192 [Conf]
  25. Marsha Chechik, Wendy MacCaull
    CTL Model-Checking over Logics with Non-Classical Negations. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2003, pp:293-0 [Conf]
  26. Marsha Chechik, John D. Gannon
    Automatic Verification of Requirements Implementation. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1994, pp:1-14 [Conf]
  27. Shiva Nejati, Marsha Chechik
    Let's agree to disagree. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:287-290 [Conf]
  28. Dimitrie O. Paun, Marsha Chechik
    Events in Linear-Time Properties. [Citation Graph (0, 0)][DBLP]
    RE, 1999, pp:123-132 [Conf]
  29. Shiva Nejati, Arie Gurfinkel, Marsha Chechik
    Stuttering Abstraction for Model Checkin. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:311-320 [Conf]
  30. Arie Gurfinkel, Benet Devereux, Marsha Chechik
    Model exploration with temporal logic query checking. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:139-148 [Conf]
  31. Sebastián Uchitel, Marsha Chechik
    Merging partial behavioural models. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:43-52 [Conf]
  32. Marsha Chechik, Benet Devereux, Arie Gurfinkel
    Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:16-36 [Conf]
  33. Marsha Chechik, Dimitrie O. Paun
    Events in Property Patterns. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:154-167 [Conf]
  34. Marsha Chechik, Benet Devereux, Steve M. Easterbrook
    Implementing a Multi-valued Symbolic Model Checker. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:404-419 [Conf]
  35. Arie Gurfinkel, Marsha Chechik
    Proof-Like Counter-Examples. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:160-175 [Conf]
  36. Arie Gurfinkel, Marsha Chechik
    How Vacuous Is Vacuous? [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:451-466 [Conf]
  37. Arie Gurfinkel, Marsha Chechik
    Why Waste a Perfectly Good Abstraction?. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:212-226 [Conf]
  38. Arie Gurfinkel, Ou Wei, Marsha Chechik
    Systematic Construction of Abstractions for Model-Checking. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:381-397 [Conf]
  39. Joanne M. Atlee, Marsha Chechik, John D. Gannon
    Using Model Checking to Analyze Requirements and Designs. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 1996, v:43, n:, pp:141-178 [Journal]
  40. Marsha Chechik, Dimitrie O. Paun
    Events in Property Patterns [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  41. Marsha Chechik
    SCR3: towards usability of formal methods [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  42. Dimitrie O. Paun, Marsha Chechik
    Events in Linear-Time Properties [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  43. Andre Wong, Marsha Chechik
    Formal Modeling in a Commercial Setting: A Case Study [Citation Graph (0, 0)][DBLP]
    CoRR, 1999, v:0, n:, pp:- [Journal]
  44. Marsha Chechik, Arie Gurfinkel, Benet Devereux, Albert Y. C. Lai, Steve M. Easterbrook
    Data structures for symbolic multi-valued model-checking. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:3, pp:295-344 [Journal]
  45. Marsha Chechik, Wei Ding
    Lightweight Reasoning about Program Correctness. [Citation Graph (0, 0)][DBLP]
    Information Systems Frontiers, 2002, v:4, n:4, pp:363-377 [Journal]
  46. Marsha Chechik, Andre Wong
    Formal modeling in a commercial setting: A case study. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:60, n:1, pp:59-82 [Journal]
  47. Steve M. Easterbrook, Marsha Chechik
    Guest Editorial: Special Issue on Model Checking in Requirements Engineering. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2002, v:7, n:4, pp:221-224 [Journal]
  48. Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel
    Multi-valued symbolic model-checking. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2003, v:12, n:4, pp:371-408 [Journal]
  49. Marsha Chechik, John D. Gannon
    Automatic Analysis of Consistency between Requirements and Designs. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:7, pp:651-672 [Journal]
  50. Arie Gurfinkel, Marsha Chechik, Benet Devereux
    Temporal Logic Query Checking: A Tool for Model Exploration. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:10, pp:898-914 [Journal]
  51. Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
    Finding Environment Guarantees. [Citation Graph (0, 0)][DBLP]
    FASE, 2007, pp:352-367 [Conf]
  52. Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik
    Finding State Solutions to Temporal Logic Queries. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:273-292 [Conf]

  53. Model Checking Recursive Programs with Exact Predicate Abstraction. [Citation Graph (, )][DBLP]


  54. Runtime monitoring of web service conversations. [Citation Graph (, )][DBLP]


  55. Abstract Analysis of Symbolic Executions. [Citation Graph (, )][DBLP]


  56. Partial Behavioural Models for Requirements and Early Design. [Citation Graph (, )][DBLP]


  57. Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC. [Citation Graph (, )][DBLP]


  58. Global consistency checking of distributed models with TReMer+. [Citation Graph (, )][DBLP]


  59. MTSA: The Modal Transition System Analyser. [Citation Graph (, )][DBLP]


  60. A buffer overflow benchmark for software model checkers. [Citation Graph (, )][DBLP]


  61. PtYasm: Software Model Checking with Proof Templates. [Citation Graph (, )][DBLP]


  62. Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates. [Citation Graph (, )][DBLP]


  63. RuMoR: monitoring and recovery for BPEL applications. [Citation Graph (, )][DBLP]


  64. Consistency Checking of Conceptual Models via Model Merging. [Citation Graph (, )][DBLP]


  65. Towards compositional synthesis of evolving systems. [Citation Graph (, )][DBLP]


  66. Security Benchmarking using Partial Verification. [Citation Graph (, )][DBLP]


  67. Mixed Transition Systems Revisited. [Citation Graph (, )][DBLP]


  68. A relationship-based approach to model management. [Citation Graph (, )][DBLP]


  69. Property Patterns for Runtime Monitoring of Web Service Conversations. [Citation Graph (, )][DBLP]


  70. An Eclipse-based tool framework for software model management. [Citation Graph (, )][DBLP]


  71. Model-Checking Software Using Precise Abstractions. [Citation Graph (, )][DBLP]


  72. The SCOOP Concurrency Model in Java-like Languages. [Citation Graph (, )][DBLP]


  73. Robust Vacuity for Branching Temporal Logic [Citation Graph (, )][DBLP]


Search in 0.028secs, Finished in 0.031secs
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