Chong Liu
AuthID: R-00H-5QW
1
TITLE: Validating multiple variants of an automotive light system with Alloy 6 Full Text
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 3
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 3
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2
TITLE: Merging cloned Alloy models with colorful refactorings Full Text
AUTHORS: Liu, Chong; Macedo, Nuno ; Cunha, Alcino ;
PUBLISHED: 2022, SOURCE: 23rd Brazilian Symposium on Formal Methods (SBMF) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 220
AUTHORS: Liu, Chong; Macedo, Nuno ; Cunha, Alcino ;
PUBLISHED: 2022, SOURCE: 23rd Brazilian Symposium on Formal Methods (SBMF) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 220
3
TITLE: Green Ports - Building a Shore Power Load Model for Simulation
AUTHORS: Esteves, Joao; Gouveia, Alexandre; da Silva, Nuno Pinho; Liu, Chang; Qu, Bo; Yang, Ping;
PUBLISHED: 2022, SOURCE: 3rd IEEE International Power and Renewable Energy Conference (IPRECON) in 2022 IEEE INTERNATIONAL POWER AND RENEWABLE ENERGY CONFERENCE, IPRECON
AUTHORS: Esteves, Joao; Gouveia, Alexandre; da Silva, Nuno Pinho; Liu, Chang; Qu, Bo; Yang, Ping;
PUBLISHED: 2022, SOURCE: 3rd IEEE International Power and Renewable Energy Conference (IPRECON) in 2022 IEEE INTERNATIONAL POWER AND RENEWABLE ENERGY CONFERENCE, IPRECON
INDEXED IN: Scopus WOS
Scopus WOS4
TITLE: Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071
5
TITLE: Tidying-up the plant nuclear space: domains, functions, and dynamics Full Text
AUTHORS: Ana Paula Santos; Valerie Gaudin; Iva Mozgova; Frederic Pontvianne; Daniel Schubert; Ahmet L Tek; Martina Dvorackova; Chang Liu; Paul Fransz; Stefanie Rosa; Sara Farrona;
PUBLISHED: 2020, SOURCE: JOURNAL OF EXPERIMENTAL BOTANY, VOLUME: 71, ISSUE: 17
AUTHORS: Ana Paula Santos; Valerie Gaudin; Iva Mozgova; Frederic Pontvianne; Daniel Schubert; Ahmet L Tek; Martina Dvorackova; Chang Liu; Paul Fransz; Stefanie Rosa; Sara Farrona;
PUBLISHED: 2020, SOURCE: JOURNAL OF EXPERIMENTAL BOTANY, VOLUME: 71, ISSUE: 17
INDEXED IN: Scopus WOS
Scopus WOS