Tag #alloy
45 papers:
ICST-2019-WangWZK #learning- Learning to Optimize the Alloy Analyzer (WW, KW, MZ, SK), pp. 228–239.
ASE-2018-WangBC #approach #specification- An evolutionary approach for analyzing Alloy specifications (JW, HB, MBC), pp. 820–825.
- ASE-2018-WangSK #automation
- Automated model repair for Alloy (KW, AS, SK), pp. 577–588.
ESEC-FSE-2018-WangSMK #framework #named #sketching- ASketch: a sketching framework for Alloy (KW, AS, DM, SK), pp. 916–919.
- ICST-2018-SullivanWK #automation #named #testing
- AUnit: A Test Automation Tool for Alloy (AS, KW, SK), pp. 398–403.
- ESEC-FSE-2017-RegisCBPRPAGF #analysis #behaviour #modelling #specification
- DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour (GR, CC, SGB, MP, FR, PP, NA, JPG, MFF), pp. 969–973.
- ICST-2017-SullivanWZK #automation #generative #mutation testing #testing
- Automated Test Generation and Mutation Testing for Alloy (AS, KW, RNZ, SK), pp. 264–275.
FSE-2016-BagheriM #analysis #evolution #named #performance #specification- Titanium: efficient analysis of evolving alloy specifications (HB, SM), pp. 27–38.
ICMT-2015-GammaitoniK #model transformation #named #transformation language- F-Alloy: An Alloy Based Model Transformation Language (LG, PK), pp. 166–180.
HPCA-2015-WangPBAK #architecture #memory management #named- Alloy: Parallel-serial memory channel architecture for single-chip heterogeneous processor systems (HW, CJP, GB, JHA, NSK), pp. 296–308.
GT-VMT-2014-WangBL #graph #model transformation #using #verification- Verification of Graph-based Model Transformations Using Alloy (XW, FB, YL).
SEKE-2014-GuimaraesSALC #consistency #using #verification- A Method for Verifying the Consistency of Business Rules Using Alloy (DG, EAS, AJA, PL, ALC), pp. 381–386.
ECMFA-2014-LaurentBBG #framework #process #verification- Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
IFM-2013-Lausdahl - Translating VDM to Alloy (KL), pp. 46–60.
- ASE-2013-RosnerSAKF #analysis #clustering #modelling #named #parallel
- Ranger: Parallel analysis of alloy models by range partitioning (NR, JHS, NA, SK, MFF), pp. 147–157.
FASE-2013-MacedoC #bidirectional #implementation #model transformation #qvt #using- Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.
- IFM-2012-GarisPCR #protocol #specification #state machine #uml
- Specifying UML Protocol State Machines in Alloy (AGG, ACRP, AC, DR), pp. 312–326.
TACAS-2012-UlbrichGGT #proving #specification- A Proof Assistant for Alloy Specifications (MU, UG, AAEG, MT), pp. 422–436.
SEFM-2011-GarisCR #diagrams #ocl #specification #uml- Translating Alloy Specifications to UML Class Diagrams Annotated with OCL (AGG, AC, DR), pp. 221–236.
MoDELS-2011-MaozRR11a #analysis #diagrams #named #revisited #using- CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (SM, JOR, BR), pp. 592–607.
- ASE-2011-GanovKP #analysis #incremental #performance
- A case for alloy annotations for efficient incremental analysis via domain specific solvers (SRG, SK, DEP), pp. 464–467.
- ASE-2011-KhalekYZMK #java #named #source code #specification #testing #using
- TestEra: A tool for testing Java programs using alloy specifications (SAK, GY, LZ, DM, SK), pp. 608–611.
ECOOP-2010-ZaeemK #contract #data type #using- Contract-Based Data Structure Repair Using Alloy (RNZ, SK), pp. 577–598.
SAC-2010-HansenI #architecture #modelling- Modeling and analyzing architectural change with alloy (KMH, MI), pp. 2257–2264.
FM-2009-GiannakopoulosDFK #semantics #towards- Towards an Operational Semantics for Alloy (TG, DJD, KF, SK), pp. 483–498.
- SEFM-2009-CunhaP #database #implementation #specification
- Mapping between Alloy Specifications and Database Implementations (AC, HP), pp. 285–294.
Haskell-2009-BrownS #haskell #named #performance- Alloy: fast generic transformations for Haskell (NCCB, ATS), pp. 105–116.
- FASE-2009-AguirreFMMW #behaviour #specification #using
- Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy (NA, MFF, MMM, TSEM, AW), pp. 155–170.
- FSE-2008-KrishnamurthiFDY #implementation #named #specification
- Alchemy: transmuting base alloy specifications into implementations (SK, KF, DJD, DY), pp. 158–169.
- ICST-2008-McQuillanP #analysis #metamodelling #metric #object-oriented #using
- A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy (JAM, JFP), pp. 288–297.
- IFM-2007-PodorozhnyKPZ #multi #using #verification
- Verification of Multi-agent Negotiations Using the Alloy Analyzer (RMP, SK, DEP, XZ), pp. 501–517.
- MoDELS-2007-AnastasakisBGR #model transformation #named #uml
- UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
- MoDELS-2007-AnastasakisBGR #model transformation #named #uml
- UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
- TACAS-2007-FriasPM #analysis #specification #verification
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications (MFF, CLP, MMM), pp. 587–601.
ICGT-2006-BaresiS #graph transformation #on the #using- On the Use of Alloy to Analyze Graph Transformation Systems (LB, PS), pp. 306–320.
ICPR-v2-2006-RinnhoferBJS #feature model- Feature Extraction from Micrographs of Forged Nickel Based Alloy (AR, WB, GJ, MS), pp. 391–394.
- SEKE-2005-WangDS #reasoning #using
- Reasoning Support for SWRL-FOL Using Alloy (HHW, JSD, JS), pp. 626–631.
ICSE-2005-FriasGPA #named- DynAlloy: upgrading alloy with actions (MFF, JPG, CLP, NA), pp. 442–451.
- FME-2003-DongSW #reasoning #semantics #web
- Checking and Reasoning about Semantic Web through Alloy (JSD, JS, HHW), pp. 796–813.
- FME-2003-FriasPBAM
- Taking Alloy to the Movies (MFF, CLP, GB, NA, TSEM), pp. 678–697.
- SEKE-2003-DongSWLL #case study #ontology #web
- Analysing Web Ontology in Alloy: A Military Case Study (JSD, JS, HHW, CHL, HBL), pp. 542–546.
- TACAS-2002-Jackson #modelling #named
- Alloy: A New Technology for Software Modelling (DJ), p. 20.
- ICSE-2000-JacksonSS #constraints #named
- Alcoa: the alloy constraint analyzer (DJ, IS, IS), pp. 730–733.
PLDI-1990-MitsolidesH #generative #parallel- Generators and the Replicator Control Structures in the Parallel Environment of ALLOY (TM, MH), pp. 189–196.
SIGIR-1988-JonesdK #named #statistics- ALLOY: An Amalgamation of Expert, Linguistic and Statistical Indexing Methods (LPJ, Cd, SK), pp. 191–199.
