BibSLEIGH — Marsha

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: Chechik:Marsha

Facilitated 17 volumes:

DSCh

PrCo

PrCh

PrCo

DSCh

ExpertReviewPa

PrBoard

ExpertReviewPa

PrBoard

PrCo

PrCo

PrCo

PrCh

PrBoard

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1999

1994

2015

2016

2015

2016

2017

2018

2019

2018

2016

2018

2019

2017

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.