- Let's Agree to Disagree Shiva Nejati Marsha Chechik
- Submitted to: TAV-WEB 2010
- MULTIVALUED SYMBOLIC MODELCHECKING: FAIRNESS, COUNTEREXAMPLES, RUNNING TIME
- Formal Methods When Money is Tight Marsha Chechik Andre Wong \Lambda
- Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC
- On the Consistency, Expressiveness, and Precision of Partial Modeling Formalisms 6
- Applying Formal Methods to a Telecommunications System in a Commercial Setting
- A Framework to Handle Horizontal Inconsistency in Software Steve Easterbrook Marsha Chechik
- How Vacuous is Vacuous? Arie Gurfinkel and Marsha Chechik
- Prooflike CounterExamples Arie Gurfinkel and Marsha Chechik
- SUBMITTED TO IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Matching and Merging of Variant
- Mixed Transition Systems Revisited Ou Wei, Arie Gurfinkel, and Marsha Chechik
- CM203A-01 ACM-TRANSACTION April 16, 2004 2:36 Multi-Valued Symbolic Model-Checking
- Modeling and Analysis of Personal Web Applications: Marsha Chechik, Jocelyn Simmonds, Shoham Ben-David, Shiva Nejati, Mehrdad
- Lightweight Reasoning About Program Correctness Marsha Chechik Wei Ding
- ModelChecking Over MultiValued Logics Marsha Chechik, Steve Easterbrook, and Victor Petrovykh
- Towards Compositional Synthesis of Evolving Systems Shiva Nejati
- Chek: A Model Checker for Multi-Valued Reasoning Steve Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Lai,
- Refinement Relations on Partial Specifications Shiva Nejati
- Reasoning About Compositions of Concerns Marsha Chechik Steve Easterbrook
- A Relationship-Based Approach to Model Integration Marsha Chechik
- Why Waste a Perfectly Good Abstraction? Arie Gurfinkel and Marsha Chechik
- Under consideration for publication in Formal Aspects of Computing On Closure Under Stuttering
- Model Exploration with Temporal Logic Query Checking Arie Gurfinkel Benet Devereux Marsha Chechik
- ModelChecking Infinite StateSpace Systems with FineGrained Abstractions Using SPIN
- Efficient MultipleValued ModelChecking Using Lattice Representations
- Stuttering Abstraction for Model Checking Shiva Nejati Arie Gurfinkel Marsha Chechik
- Software Model-Checking: Benchmarking and Techniques for Buffer Overflow Analysis
- Chek: A MultiValued ModelChecker Marsha Chechik, Arie Gurfinkel, and Benet Devereux
- Robust Vacuity for Branching Temporal Logic ARIE GURFINKEL
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- SoSyM manuscript No. (will be inserted by the editor)
- Abstract Analysis via Symbolic Executions Aws Albarghouthi
- Monitoring and Recovery of Web Service Applications Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
- RuMoR: Monitoring and Recovery of BPEL Applications Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
- Reasoning about Consistency in Model Merging Mehrdad Sabetzadeh
- ABSTRACTION FOR VERIFICATION AND REFUTATION IN MODEL CHECKING
- Relationship-Based Change Propagation: A Case Study A thesis submitted in conformity with the requirements
- Runtime Monitoring of Web Service Conversations
- Relationship-Based Change Propagation: A Case Study Marsha Chechik Winnie Lai Shiva Nejati Jordi Cabot Zinovy Diskin Steve Easterbrook
- Model Checking Recursive Programs with Exact Predicate Abstraction
- Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates
- Declarative Approach for Model Composition Julia Rubin Marsha Chechik Steve Easterbrook
- Property Patterns for Runtime Monitoring of Web Service Conversations
- Consistency Checking of Conceptual Models via Model Merging Mehrdad Sabetzadeh Shiva Nejati Sotirios Liaskos Steve Easterbrook Marsha Chechik
- Finding State Solutions to Temporal Logic Queries Mihaela Gheorghiu, Arie Gurfinkel, and Marsha Chechik
- A Relationship-Driven Framework for Model Merging Mehrdad Sabetzadeh Shiva Nejati Steve Easterbrook Marsha Chechik
- Finding Environment Guarantees Marsha Chechik, Mihaela Gheorghiu, Arie Gurfinkel
- Behaviour Model Synthesis From Properties and Scenarios Sebastian Uchitel
- TReMer: A Tool for Relationship-Driven Model Mehrdad Sabetzadeh and Shiva Nejati
- Data Structures for Symbolic Multi-Valued Model-Checking
- A CHARACTERIZATION OF MERGING PARTIAL BEHAVIOURAL MODELS Greg Brunet
- Chek: A Model Checker for Multi-Valued Reasoning Steve Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Lai,
- Guest Editorial: Special Issue on Model Checking in Requirements Engineering
- Automatic Analysis of Consistency between Requirements and Designs
- Formal Modeling in a Commercial Setting: A Andre Wong and Marsha Chechik
- ModelChecking Software Using Precise Abstractions Marsha Chechik and Arie Gurfinkel
- TLQSolver: A Temporal Logic Query Checker Marsha Chechik and Arie Gurfinkel
- How Thorough is Thorough Enough? Arie Gurfinkel and Marsha Chechik
- Extending Extended Vacuity Arie Gurfinkel and Marsha Chechik
- MultiValued Model Checking via Classical Model Arie Gurfinkel and Marsha Chechik
- From Products to Product Lines Using Model Matching and Refactoring
- Generating Counterexamples for MultiValued ModelChecking
- Thorough Checking Revisited Shiva Nejati, Mihaela Gheorghiu, and Marsha Chechik
- Abstract Analysis of Symbolic Executions Aws Albarghouthi1
- Automated Support for Building Behavioral Models of EventDriven Systems
- Temporal Logic Query Checking: A Tool for Model Exploration
- Events in Property Patterns Marsha Chechik and Dimitrie O. Paun
- SC(R) 3 : Towards Usability of Formal Methods Marsha Chechik
- Model Management with Relation Types Michalis Famelis
- Behavioural Model Fusion Shiva Nejati
- Guided Recovery for Web Service Applications Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
- Let's Agree to Disagree Shiva Nejati Marsha Chechik
- A Manifesto for Model Merging Greg Brunet, Marsha Chechik, Steve Easterbrook, Shiva Nejati, Nan Niu, Mehrdad Sabetzadeh
- Logic with Partial Functions in CVC Lite ? Sergey Berezin 1 , Clark Barrett 2 , Igor Shikanian 2 , Marsha Chechik 3 ,
- Lightweight Reasoning About Program Correctness Marsha Chechik Wei Ding
- Merging Partial Behavioural Models Sebastian Uchitel
- Events in LinearTime Properties Dimitrie O. Paun Marsha Chechik
- Production Cell Revisited Dimitrie O. Paun Marsha Chechik \Lambda Bernd Biechele y
- CTL ModelChecking over Logics with NonClassical Negations Marsha Chechik
- Matching and Merging of Statecharts Specifications Shiva Nejati
- Weak Alphabet Merging of Partial Behaviour DARIO FISCHBEIN, GREG BRUNET, NICOLAS D'IPPOLITO, MARSHA CHECHIK,
- PTYASM: Software Model Checking with Proof Templates Thomas E. Hart
- APPROXIMATION AND REFINEMENT TECHNIQUES FOR HARD MODEL-CHECKING PROBLEMS
- Runtime Monitoring of Web Service Conversations Yuan Gan, Marsha Chechik, Shiva Nejati
- Identification and Counter Abstraction for Full Virtual Ou Wei, Arie Gurfinkel, and Marsha Chechik
- A Framework for Counterexample Generation and Exploration
- Using Model Checking to Analyze Requirements and Designs
- EdgeShifted Decision Diagrams for MultipleValued Benet Devereux Marsha Chechik
- Automatic Analysis of Consistency between Implementations and Requirements: A Case Study \Lambda
- Title of Dissertation: AUTOMATIC ANALYSIS OF CONSISTENCY BETWEEN REQUIREMENTS AND DESIGNS
- A Buffer Overflow Benchmark for Software Model Checkers (Short Paper)
- Dynamic Analysis of Web Services Jocelyn Simmonds
- TLQ: A Query Solver for States Mihaela Gheorghiu and Arie Gurfinkel
- An Eclipse-Based Tool Framework for Software Model Rick Salay Marsha Chechik Steve Easterbrook Zinovy Diskin Pete McCormick
- Model Checking with Multi-Valued Temporal Logics Marsha Chechik Steve Easterbrook Benet Devereux
- Formal Modeling in a Commercial Setting: A Andre Wong and Marsha Chechik
- On Interpreting Results of ModelChecking with Abstraction Marsha Chechik and Wei Ding
- Efficient MultipleValued ModelChecking Using Lattice Representations
- VaqUoT: A Tool for Vacuity Detection Mihaela Gheorghiu and Arie Gurfinkel
- SC(R) 3 : Towards Usability of Formal Methods Marsha Chechik
- Irrelevance and Vacuity in SATBased ModelChecking
- APPROXIMATION AND REFINEMENT TECHNIQUES FOR HARD MODEL-CHECKING PROBLEMS
- VAQTREE: Efficient Vacuity Detection for Bounded Model Checking
- A Framework for MultiValued Reasoning over Inconsistent Viewpoints Steve Easterbrook Marsha Chechik
- Yasm: A Software ModelChecker for Verification and Arie Gurfinkel, Ou Wei, and Marsha Chechik
- Implementing a MultiValued Symbolic Model Checker Marsha Chechik, Benet Devereux, and Steve Easterbrook
- Automatic Verification of Requirements Implementation \Lambda Marsha Chechik
- Global Consistency Checking of Distributed Models with Mehrdad Sabetzadeh Shiva Nejati Steve Easterbrook Marsha Chechik
- Raising Level of Abstraction with Partial Models: A Marsha Chechik1
- UCHITEL, BRUNET, CHECHIK 1 Synthesis of Partial Behaviour Models from
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Bisimulation Analysis of SDLExpressed Protocols: A Case Marsha Chechik and Hai Wang
- Using SCR Requirements Marsha Chechik
- Behavioural Model Fusion: Experiences from Two Telecommunication Case Studies
