Chong Liu

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Alcino Cunha

> Home > Persons > Chong Liu

Publications

2024
[j83]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/CunhaML24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/CunhaML24
Alcino Cunha, Nuno Macedo, Chong Liu:
Validating multiple variants of an automotive light system with Alloy 6. Int. J. Softw. Tools Technol. Transf. 26(3): 365-377 (2024)
2022
[j52]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/LiuMC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/LiuMC22
Chong Liu, Nuno Macedo, Alcino Cunha:
Merging cloned Alloy models with colorful refactorings. Sci. Comput. Program. 220: 102829 (2022)
2020
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/asm/CunhaML20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asm/CunhaML20
Alcino Cunha, Nuno Macedo, Chong Liu:
Validating Multiple Variants of an Automotive Light System with Electrum. ABZ 2020: 318-334
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/sbmf/LiuMC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbmf/LiuMC20
Chong Liu, Nuno Macedo, Alcino Cunha:
Merging Cloned Alloy Models with Colorful Refactorings. SBMF 2020: 173-191
2019
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/setta/LiuMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/setta/LiuMC19
Chong Liu, Nuno Macedo, Alcino Cunha:
Simplifying the Analysis of Software Design Variants with a Colorful Alloy. SETTA 2019: 38-55

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.