Cited By
View all- Cornejo CRegis GAguirre NFrias M(2023)A Study of the Electrum and DynAlloy Dynamic Behavior NotationsIEEE Transactions on Software Engineering10.1109/TSE.2023.332062549:11(4946-4963)Online publication date: 1-Nov-2023
- Serna JDay NEsmaeilsabzali S(2022)Dash: declarative behavioural modelling in Alloy with control state hierarchySoftware and Systems Modeling (SoSyM)10.1007/s10270-022-01012-122:2(733-749)Online publication date: 6-Aug-2022
- Regis GCornejo CGutiérrez Brida SPolitano MRaverta FPonzio PAguirre NGaleotti JFrias MBodden ESchäfer WDeursen AZisman A(2017)DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviourProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3122826(969-973)Online publication date: 21-Aug-2017
- Show More Cited By