受强制性开放获取政策约束的文章 - German Regis了解详情
可在其他位置公开访问的文章：14 篇
Bounded exhaustive search of alloy specification repairs
SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense, Government of …
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
G Regis, C Cornejo, S Gutiérrez Brida, M Politano, F Raverta, P Ponzio, ...
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
强制性开放获取政策： Government of Argentina
Atr: Template-based repair for alloy specifications
G Zheng, TV Nguyen, SG Brida, G Regis, N Aguirre, MF Frias, H Bagheri
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
强制性开放获取政策： US National Science Foundation, Government of Argentina
Flack: Counterexample-guided fault localization for alloy models
G Zheng, TV Nguyen, SG Brida, G Regis, MF Frias, N Aguirre, H Bagheri
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense, Government of …
Training binary classifiers as data structure invariants
F Molina, R Degiovanni, P Ponzio, G Regis, N Aguirre, M Frias
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
强制性开放获取政策： Agence Nationale de la Recherche, Government of Argentina
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
S Gutiérrez Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, ...
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
强制性开放获取政策： US National Science Foundation, US Department of Defense, Government of …
Specifying event-based systems with a counting fluent temporal logic
G Regis, R Degiovanni, N D'Ippolito, N Aguirre
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015
强制性开放获取政策： Government of Argentina
An evolutionary approach to translating operational specifications into declarative specifications
F Molina, C Cornejo, R Degiovanni, G Regis, PF Castro, N Aguirre, ...
Science of Computer Programming 181, 47-63, 2019
强制性开放获取政策： Agence Nationale de la Recherche, Government of Argentina
BeAFix: an automated repair tool for faulty alloy models
SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense, Government of …
From operational to declarative specifications using a genetic algorithm
F Molina, R Degiovanni, G Regis, P Castro, N Aguirre, M Frias
Proceedings of the 11th International Workshop on Search-Based Software …, 2018
强制性开放获取政策： Government of Argentina
An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding
C Cornejo, MM Novaira, S Permigiani, N Aguirre, M Frias, SG Brida, ...
International Conference on Rigorous State-Based Methods, 141-159, 2024
强制性开放获取政策： European Commission, Government of Argentina
A Study of the Electrum and DynAlloy Dynamic Behavior Notations
C Cornejo, GE Regis, N Aguirre, MF Frias
IEEE Transactions on Software Engineering 49 (11), 4946-4963, 2023
强制性开放获取政策： European Commission, Government of Argentina
FLACK: localizing faults in alloy models
G Zheng, TV Nguyen, SG Brida, G Regis, M Frias, N Aguirre, H Bagheri
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense, Government of …
CLTSA: labelled transition system analyser with counting fluent support
G Regis, R Degiovanni, N D'Ippolito, N Aguirre
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
强制性开放获取政策： Government of Argentina
出版信息和资助信息由计算机程序自动确定