BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Brazil
1 × Hungary
1 × Ireland
1 × Japan
1 × Poland
1 × Portugal
1 × Russia
1 × Singapore
1 × Spain
1 × Sweden
1 × Switzerland
2 × Denmark
2 × Estonia
2 × India
23 × USA
3 × Austria
3 × Canada
4 × France
4 × Germany
4 × United Kingdom
7 × Italy
Collaborated with:
A.Gurfinkel R.Salay J.Rubin M.Famelis S.M.Easterbrook A.Albarghouthi S.Uchitel S.Nejati B.Devereux Y.Li A.D.Sandro O.Wei M.Sabetzadeh J.Simmonds D.Strüber S.Zschaler J.Gorzny M.Gheorghiu G.Brunet K.Czarnecki S.Kokaly T.E.Hart K.Ku D.Lie J.Horkoff S.Ben-David G.Täntzer A.Wong D.O.Paun J.D.Gannon J.d.Lara E.Guerra V.Petrovykh G.Taentzer P.Zave T.H.Tan S.Nalchigar R.Shahin A.Kirshin G.Botterweck N.D'Ippolito D.Fischbein C.Zhu F.Mora Y.L.0008 I.Stavropoulou C.Disenfeld C.Menghi P.Spoletini C.Ghezzi N.Ben-David Z.Kincaid S.Chaki S.Liaskos V.Cassano T.Maibaum T.Viger M.Rahimi D.S.0001 T.Arendt J.Plöger Christina Chung Amit Kadan Yueti Yang Asako Matsuoka T.Berger D.Lettner P.Grünbacher A.Silva M.Becker A.Y.C.Lai A.Tafliovich C.D.Thompson-Walsh L.Lucio G.M.K.Selim J.R.Cordy J.Dingel H.Vangheluwe S.Ramesh
Talks about:
model (37) product (13) softwar (10) line (10) transform (9) base (9) uncertainti (8) manag (8) check (8) framework (7)

♀ Person: Marsha Chechik

DBLP DBLP: Chechik:Marsha

Facilitated 17 volumes:

MoDELS 2015DSCh
MoDELS 2015PrCo
ASE 2014Ed
ASE 2014PrCh
MoDELS 2014PrCo
ASE 2013DSCh
ASE 2013ExpertReviewPa
ASE 2013PrBoard
ASE 2012ExpertReviewPa
ASE 2012PrBoard
ASE 2011PrCo
MoDELS 2011PrCo
ASE 2010PrCo
FASE 2009Ed
FASE 2009PrCh
MoDELS 2016PrBoard

Contributed to:

AMT 20152015
FASE 20152015
ICSE 20152015
MoDELS 20152015
SPLC 20152015
FASE 20142014
FM 20142014
ICSE 20142014
POPL 20142014
RE 20142014
AMT 20132013
ESEC/FSE 20132013
FASE 20132013
ICSE 20132013
MoDELS 20132013
SPLC 20132013
TACAS 20132013
ASE 20122012
CAV 20122012
FASE 20122012
ICSE 20122012
ICST 20122012
RE 20122012
SAS 20122012
SPLC 20122012
TACAS 20122012
VMCAI 20122012
ESEC/FSE 20112011
ASE 20102010
CAV 20102010
FSE 20102010
VMCAI 20092009
ASE 20082008
FSE 20082008
ICSE 20082008
ASE 20072007
FASE 20072007
ICSE 20072007
IFM 20072007
RE 20072007
CAV 20062006
FASE 20062006
FM 20062006
TACAS 20062006
VMCAI 20062006
ASE 20052005
FASE 20052005
SEFM 20052005
FSE 20042004
TACAS 20042004
CAV 20032003
FME 20032003
ICSE 20032003
TACAS 20032003
CAV 20022002
FSE 20022002
FME 20012001
ICSE 20012001
TACAS 20012001
World Congress on Formal Methods 19991999
RE 19991999
ISSTA 19941994
ASE 20152015
ASE 20162016
ICMT 20152015
ICMT 20162016
MoDELS 20162016
MoDELS 20172017
MoDELS 20182018
ASE 20182018
ESEC/FSE 20192019
SLE 20182018
FASE 20162016
FASE 20182018
FASE 20192019
FDG 20172017

Wrote 85 papers:

AMT-2015-SalayZC #question #reuse #what
Transformation Reuse: What is the Intent? (RS, SZ, MC), pp. 7–15.
FASE-2015-SalayC #framework #modelling
A Generalized Formal Framework for Partial Modeling (RS, MC), pp. 133–148.
FASE-2015-StruberRCT #approach #model transformation #performance #reuse #variability
A Variability-Based Approach to Reusable and Efficient Model Transformations (DS, JR, MC, GT), pp. 283–298.
ICSE-v2-2015-FamelisBSSC #ide #named #nondeterminism
MU-MMINT: An IDE for Model Uncertainty (MF, NBD, ADS, RS, MC), pp. 697–700.
MoDELS-2015-SalayKSC #megamodelling #model management
Enriching megamodel management with collection-based operators (RS, SK, ADS, MC), pp. 236–245.
SPLC-2015-BergerLRGS0CC #industrial #product line #what
What is a feature?: a qualitative study of features in industrial software product lines (TB, DL, JR, PG, AS, MB, MC, KC), pp. 16–25.
FASE-2014-StruberRTC #crawling #information retrieval #modelling #using
Splitting Models Using Information Retrieval and Model Crawling Techniques (DS, JR, GT, MC), pp. 47–62.
FM-2014-LiTC #component #requirements
Management of Time Requirements in Component-Based Systems (YL, THT, MC), pp. 399–415.
ICSE-2014-SalayFRSC #model transformation #product line
Lifting model transformations to product lines (RS, MF, JR, ADS, MC), pp. 117–128.
POPL-2014-LiAKGC #optimisation #smt
Symbolic optimization with SMT solvers (YL, AA, ZK, AG, MC), pp. 607–618.
RE-2014-HorkoffSCS #nondeterminism
Supporting early decision-making in the presence of uncertainty (JH, RS, MC, ADS), pp. 33–42.
AMT-2013-NalchigarSC #model transformation #non-functional #requirements #towards #transformation language
Towards a Catalog of Non-Functional Requirements in Model Transformation Languages (SN, RS, MC), pp. 72–81.
ESEC-FSE-2013-RubinC #model merging
N-way model merging (JR, MC), pp. 301–311.
FASE-2013-RubinC #product line #quality
Quality of Merge-Refactorings for Product Lines (JR, MC), pp. 83–98.
FASE-2013-SalayGC #co-evolution #nondeterminism
Change Propagation due to Uncertainty Change (RS, JG, MC), pp. 21–36.
ICSE-2013-RubinC #framework
A framework for managing cloned product variants (JR, MC), pp. 1233–1236.
MoDELS-2013-FamelisSSC #modelling #nondeterminism
Transformation of Models Containing Uncertainty (MF, RS, ADS, MC), pp. 673–689.
SPLC-2013-RubinCC #experience #framework
Managing cloned variants: a framework and experience (JR, KC, MC), pp. 101–110.
TACAS-2013-AlbarghouthiGLCC #abstract interpretation #contest #named #verification
UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.
ASE-2012-RubinC #difference #set #using
Locating distinguishing features using diff sets (JR, MC), pp. 242–245.
CAV-2012-AlbarghouthiLGC #framework #named #verification
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification (AA, YL, AG, MC), pp. 672–678.
FASE-2012-RubinC #product line
Combining Related Products into Product Lines (JR, MC), pp. 285–300.
FASE-2012-SalayFC #independence #modelling #refinement #using
Language Independent Refinement Using Partial Modeling (RS, MF, MC), pp. 224–239.
ICSE-2012-FamelisSC #modelling #nondeterminism #reasoning #towards
Partial models: Towards modeling and reasoning with uncertainty (MF, RS, MC), pp. 573–583.
ICST-2012-SalayCG #towards #verification
Towards a Methodology for Verifying Partial Model Refinements (RS, MC, JG), pp. 938–945.
RE-2012-SalayCH #modelling #nondeterminism #requirements
Managing requirements uncertainty with partial models (RS, MC, JH), pp. 1–10.
SAS-2012-AlbarghouthiGC
Craig Interpretation (AA, AG, MC), pp. 300–316.
SPLC-2012-RubinKBC
Managing forked product variants (JR, AK, GB, MC), pp. 156–160.
TACAS-2012-AlbarghouthiGC #approximate
From Under-Approximations to Over-Approximations and Back (AA, AG, MC), pp. 157–172.
VMCAI-2012-AlbarghouthiGC #algorithm #interprocedural #named #verification
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (AA, AG, MC), pp. 39–55.
ESEC-FSE-2011-Ben-DavidCGU #logic #named #specification
CSSL: a logic for specifying conditional scenarios (SBD, MC, AG, SU), pp. 37–47.
ASE-2010-SimmondsC #monitoring #named
RuMoR: monitoring and recovery for BPEL applications (JS, MC), pp. 345–346.
CAV-2010-AlbarghouthiGWC #analysis #symbolic computation
Abstract Analysis of Symbolic Executions (AA, AG, OW, MC), pp. 495–510.
FSE-2010-SimmondsBC #web #web service
Guided recovery for web service applications (JS, SBD, MC), pp. 247–256.
VMCAI-2009-WeiGC #revisited
Mixed Transition Systems Revisited (OW, AG, MC), pp. 349–365.
ASE-2008-DIppolitoFCU #named
MTSA: The Modal Transition System Analyser (ND, DF, MC, SU), pp. 475–476.
ASE-2008-HartKGCL #abstraction #proving #refinement
Augmenting Counterexample-Guided Abstraction Refinement with Proof Templates (TEH, KK, AG, MC, DL), pp. 387–390.
ASE-2008-HartKGCL08a #model checking #named #proving
PtYasm: Software Model Checking with Proof Templates (TEH, KK, AG, MC, DL), pp. 479–480.
FSE-2008-NejatiSCUZ #composition #evolution #synthesis #towards
Towards compositional synthesis of evolving systems (SN, MS, MC, SU, PZ), pp. 285–296.
ICSE-2008-SabetzadehNEC #consistency #distributed #modelling
Global consistency checking of distributed models with TReMer+ (MS, SN, SME, MC), pp. 815–818.
ASE-2007-KuHCL #benchmark #metric #model checking
A buffer overflow benchmark for software model checkers (KK, TEH, MC, DL), pp. 389–392.
FASE-2007-ChechikGG
Finding Environment Guarantees (MC, MG, AG), pp. 352–367.
ICSE-2007-NejatiSCEZ #specification
Matching and Merging of Statecharts Specifications (SN, MS, MC, SME, PZ), pp. 54–64.
ICSE-2007-UchitelBC #behaviour #synthesis
Behaviour Model Synthesis from Properties and Scenarios (SU, GB, MC), pp. 34–43.
IFM-2007-GheorghiuGC #logic #query
Finding State Solutions to Temporal Logic Queries (MG, AG, MC), pp. 273–292.
RE-2007-SabetzadehNLEC #concept #consistency #model merging #modelling
Consistency Checking of Conceptual Models via Model Merging (MS, SN, SL, SME, MC), pp. 221–230.
CAV-2006-GurfinkelWC #model checking #named #verification
Yasm: A Software Model-Checker for Verification and Refutation (AG, OW, MC), pp. 170–174.
FASE-2006-DevereuxC #automation #behaviour #modelling
Automated Support for Building Behavioral Models of Event-Driven Systems (BD, MC), pp. 122–138.
FM-2006-BrunetCU #behaviour #model merging
Properties of Behavioural Model Merging (GB, MC, SU), pp. 98–114.
TACAS-2006-GurfinkelC #abstraction #question #why
Why Waste a Perfectly Good Abstraction? (AG, MC), pp. 212–226.
VMCAI-2006-GurfinkelWC #abstraction #model checking
Systematic Construction of Abstractions for Model-Checking (AG, OW, MC), pp. 381–397.
ASE-2005-NejatiC
Let’s agree to disagree (SN, MC), pp. 287–290.
FASE-2005-ChechikG #framework #generative
A Framework for Counterexample Generation and Exploration (MC, AG), pp. 220–236.
SEFM-2005-NejatiGC #abstraction
Stuttering Abstraction for Model Checkin (SN, AG, MC), pp. 311–320.
FSE-2004-UchitelC #behaviour #modelling
Merging partial behavioural models (SU, MC), pp. 43–52.
TACAS-2004-GurfinkelC #how #question
How Vacuous Is Vacuous? (AG, MC), pp. 451–466.
CAV-2003-ChechikG #logic #named #query
TLQSolver: A Temporal Logic Query Checker (MC, AG), pp. 210–214.
FME-2003-GurfinkelC #generative #model checking #multi
Generating Counterexamples for Multi-valued Model-Checking (AG, MC), pp. 503–521.
ICSE-2003-EasterbrookCDGLPTT #model checking #multi #named #reasoning
χChek: A Model Checker for Multi-Valued Reasoning (SME, MC, BD, AG, AYCL, VP, AT, CDTW), pp. 804–805.
TACAS-2003-GurfinkelC #proving
Proof-Like Counter-Examples (AG, MC), pp. 160–175.
CAV-2002-ChechikGD #model checking #multi #named
chi-Chek: A Multi-valued Model-Checker (MC, AG, BD), pp. 505–509.
FSE-2002-GurfinkelDC #logic #query
Model exploration with temporal logic query checking (AG, BD, MC), pp. 139–148.
FME-2001-ChechikEP #logic #model checking #multi
Model-Checking over Multi-valued Logics (MC, SME, VP), pp. 72–98.
ICSE-2001-EasterbrookC #consistency #framework #multi #reasoning
A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints (SME, MC), pp. 411–420.
TACAS-2001-ChechikDE #implementation #model checking #multi
Implementing a Multi-valued Symbolic Model Checker (MC, BD, SME), pp. 404–419.
FM-v1-1999-WongC #case study #formal method #modelling
Formal Modeling in a Commercial Setting: A Case Study (AW, MC), pp. 590–607.
RE-1999-PaunC #linear
Events in Linear-Time Properties (DOP, MC), pp. 123–132.
ISSTA-1994-ChechikG #automation #implementation #requirements #verification
Automatic Verification of Requirements Implementation (MC, JDG), pp. 1–14.
ASE-2015-LiRC #semantics #slicing #version control
Semantic Slicing of Software Version Histories (T) (YL, JR, MC), pp. 686–696.
ASE-2016-LiZRC #precise #refinement #semantics #slicing
Precise semantic history slicing through dynamic delta refinement (YL, CZ, JR, MC), pp. 495–506.
ICMT-2015-FamelisLSSSCCDV #case study #migration #product line
Migrating Automotive Product Lines: A Case Study (MF, LL, GMKS, ADS, RS, MC, JRC, JD, HV, SR), pp. 82–97.
ICMT-2016-SalayZC #reuse #using
Correct Reuse of Transformations is Hard to Guarantee (RS, SZ, MC), pp. 107–122.
MoDELS-2016-KokalySCMC #approach #assurance #evolution #model management #reuse
A model management approach for assurance case reuse due to system evolution (SK, RS, VC, TM, MC), pp. 196–206.
MoDELS-2017-FamelisC #nondeterminism
Managing Design-Time Uncertainty (MF, MC), p. 179.
MoDELS-2017-FamelisRCSC #design #nondeterminism #product line #reasoning #variability
Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty (MF, JR, KC, RS, MC), pp. 93–100.
MoDELS-2017-TaentzerSSC #category theory #framework #product line
Transformations of Software Product Lines: A Generalizing Framework Based on Category Theory (GT, RS, DS, MC), pp. 101–111.
MoDELS-2018-LaraGCS #model transformation #product line
Model Transformation Product Lines (JdL, EG, MC, RS), pp. 67–77.
ASE-2018-Mora0RC #equivalence
Client-specific equivalence checking (FM, YL0, JR, MC), pp. 441–451.
ESEC-FSE-2019-ShahinCS #analysis #product line
Lifting Datalog-based analyses to software product lines (RS, MC, RS), pp. 39–49.
SLE-2018-GuerraLCS #metamodelling #product line
Analysing meta-model product lines (EG, JdL, MC, RS), pp. 160–173.
FASE-2016-0001RACTP #automation #model transformation #named #variability
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules (DS0, JR, TA, MC, GT, JP), pp. 122–140.
FASE-2018-ChechikSDR #analysis #commutative #named #performance
FPH: Efficient Non-commutativity Analysis of Feature-Based Systems (MC, IS, CD, JR), pp. 319–336.
FASE-2018-MenghiSCG #component #design #distributed #incremental
Supporting Verification-Driven Incremental Distributed Design of Components (CM, PS, MC, CG), pp. 169–188.
FASE-2019-ChechikSVKR #assurance #nondeterminism
Software Assurance in an Uncertain World (MC, RS, TV, SK, MR), pp. 3–21.
FDG-2017-ChungKYMRC #game studies #performance #visual notation
The impact of visual load on performance in a human-computation game (CC, AK, YY, AM, JR, MC), p. 4.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.