{"_id":"QMqZEpcNyd4MXCzcN","bibbaseid":"regis-cornejo-brida-politano-raverta-ponzio-aguirre-galeotti-etal-dynalloyanalyzeratoolforthespecificationandanalysisofalloymodelswithdynamicbehaviour-2017","authorIDs":["5deab0a703c11ade01000169","5deab2bf03c11ade010001b2","5deab34203c11ade010001c2","5deab80703c11ade01000259","jjjfv4qbd2CtHkxC7"],"author_short":["Regis, G.","Cornejo, C.","Brida, S. G.","Politano, M.","Raverta, F. D.","Ponzio, P.","Aguirre, N.","Galeotti, J. P.","Frias, M. F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Germán"],"propositions":[],"lastnames":["Regis"],"suffixes":[]},{"firstnames":["César"],"propositions":[],"lastnames":["Cornejo"],"suffixes":[]},{"firstnames":["Simón","Gutiérrez"],"propositions":[],"lastnames":["Brida"],"suffixes":[]},{"firstnames":["Mariano"],"propositions":[],"lastnames":["Politano"],"suffixes":[]},{"firstnames":["Fernando","D."],"propositions":[],"lastnames":["Raverta"],"suffixes":[]},{"firstnames":["Pablo"],"propositions":[],"lastnames":["Ponzio"],"suffixes":[]},{"firstnames":["Nazareno"],"propositions":[],"lastnames":["Aguirre"],"suffixes":[]},{"firstnames":["Juan","Pablo"],"propositions":[],"lastnames":["Galeotti"],"suffixes":[]},{"firstnames":["Marcelo","F."],"propositions":[],"lastnames":["Frias"],"suffixes":[]}],"editor":[{"firstnames":["Eric"],"propositions":[],"lastnames":["Bodden"],"suffixes":[]},{"firstnames":["Wilhelm"],"propositions":[],"lastnames":["Schäfer"],"suffixes":[]},{"firstnames":["Arie"],"propositions":["van"],"lastnames":["Deursen"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Zisman"],"suffixes":[]}],"title":"DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour","booktitle":"Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017","pages":"969–973","publisher":"ACM","year":"2017","url":"https://doi.org/10.1145/3106237.3122826","doi":"10.1145/3106237.3122826","timestamp":"Mon, 03 Mar 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/sigsoft/RegisCBPRPAGF17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sigsoft/RegisCBPRPAGF17,\n author = {Germ{\\'{a}}n Regis and\n C{\\'{e}}sar Cornejo and\n Sim{\\'{o}}n Guti{\\'{e}}rrez Brida and\n Mariano Politano and\n Fernando D. Raverta and\n Pablo Ponzio and\n Nazareno Aguirre and\n Juan Pablo Galeotti and\n Marcelo F. Frias},\n editor = {Eric Bodden and\n Wilhelm Sch{\\\"{a}}fer and\n Arie van Deursen and\n Andrea Zisman},\n title = {DynAlloy analyzer: a tool for the specification and analysis of alloy\n models with dynamic behaviour},\n booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software\n Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},\n pages = {969--973},\n publisher = {{ACM}},\n year = {2017},\n url = {https://doi.org/10.1145/3106237.3122826},\n doi = {10.1145/3106237.3122826},\n timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/sigsoft/RegisCBPRPAGF17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Regis, G.","Cornejo, C.","Brida, S. G.","Politano, M.","Raverta, F. D.","Ponzio, P.","Aguirre, N.","Galeotti, J. P.","Frias, M. F."],"editor_short":["Bodden, E.","Schäfer, W.","van Deursen, A.","Zisman, A."],"key":"DBLP:conf/sigsoft/RegisCBPRPAGF17","id":"DBLP:conf/sigsoft/RegisCBPRPAGF17","bibbaseid":"regis-cornejo-brida-politano-raverta-ponzio-aguirre-galeotti-etal-dynalloyanalyzeratoolforthespecificationandanalysisofalloymodelswithdynamicbehaviour-2017","role":"author","urls":{"Paper":"https://doi.org/10.1145/3106237.3122826"},"metadata":{"authorlinks":{"brida, s":"https://saiema.github.io/publications.html"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/203/0017.bib","creationDate":"2019-12-06T19:48:55.585Z","downloads":0,"keywords":[],"search_terms":["dynalloy","analyzer","tool","specification","analysis","alloy","models","dynamic","behaviour","regis","cornejo","brida","politano","raverta","ponzio","aguirre","galeotti","frias"],"title":"DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour","year":2017,"dataSources":["CctimS4AgKgzGybH5","raFsEauoh6E5gesRe"]}