41 papers:
ICSE-v1-2015-MilicevicNKJ #constraints #higher-order #relational #theorem proving- Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (AM, JPN, EK, DJ), pp. 609–619.
HPCA-2015-WangPBAK #alloy #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 #alloy #graph #model transformation #using #verification- Verification of Graph-based Model Transformations Using Alloy (XW, FB, YL).
SEKE-2014-GuimaraesSALC #alloy #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 #alloy #framework #process #verification- Alloy4SPV : A Formal Framework for Software Process Verification (YL, RB, SB, MPG), pp. 83–100.
ASE-2013-RosnerSAKF #alloy #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 #alloy #bidirectional #implementation #model transformation #qvt #using- Implementing QVT-R Bidirectional Model Transformations Using Alloy (NM, AC), pp. 297–311.
IFM-2013-Lausdahl #alloy- Translating VDM to Alloy (KL), pp. 46–60.
TACAS-2012-UlbrichGGT #alloy #proving #specification- A Proof Assistant for Alloy Specifications (MU, UG, AAEG, MT), pp. 422–436.
- IFM-2012-GarisPCR #alloy #protocol #specification #state machine #uml
- Specifying UML Protocol State Machines in Alloy (AGG, ACRP, AC, DR), pp. 312–326.
CHI-2012-QiB #memory management #using- Animating paper using shape memory alloys (JQ, LB), pp. 749–752.
- ASE-2011-GanovKP #alloy #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 #alloy #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.
SEFM-2011-GarisCR #alloy #diagrams #ocl #specification #uml- Translating Alloy Specifications to UML Class Diagrams Annotated with OCL (AGG, AC, DR), pp. 221–236.
MoDELS-2011-MaozRR11a #alloy #analysis #diagrams #named #revisited #using- CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (SM, JOR, BR), pp. 592–607.
- MoDELS-2011-MaozRR11a #alloy #analysis #diagrams #named #revisited #using
- CD2Alloy: Class Diagrams Analysis Using Alloy Revisited (SM, JOR, BR), pp. 592–607.
ECOOP-2010-ZaeemK #alloy #contract #data type #using- Contract-Based Data Structure Repair Using Alloy (RNZ, SK), pp. 577–598.
SAC-2010-HansenI #alloy #architecture #modelling- Modeling and analyzing architectural change with alloy (KMH, MI), pp. 2257–2264.
- FASE-2009-AguirreFMMW #alloy #behaviour #specification #using
- Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy (NA, MFF, MMM, TSEM, AW), pp. 155–170.
FM-2009-GiannakopoulosDFK #alloy #semantics #towards- Towards an Operational Semantics for Alloy (TG, DJD, KF, SK), pp. 483–498.
- SEFM-2009-CunhaP #alloy #database #implementation #specification
- Mapping between Alloy Specifications and Database Implementations (AC, HP), pp. 285–294.
- GT-VMT-2008-BucchiaroneG #architecture #using #verification
- Dynamic Software Architectures Verification using DynAlloy (AB, JPG).
FSE-2008-KrishnamurthiFDY #alloy #implementation #named #specification- Alchemy: transmuting base alloy specifications into implementations (SK, KF, DJD, DY), pp. 158–169.
ICST-2008-McQuillanP #alloy #analysis #metamodelling #metric #object-oriented #using- A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy (JAM, JFP), pp. 288–297.
- TACAS-2007-FriasPM #alloy #analysis #specification #verification
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications (MFF, CLP, MMM), pp. 587–601.
- IFM-2007-PodorozhnyKPZ #alloy #multi #using #verification
- Verification of Multi-agent Negotiations Using the Alloy Analyzer (RMP, SK, DEP, XZ), pp. 501–517.
- MoDELS-2007-AnastasakisBGR #alloy #model transformation #named #uml
- UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
- MoDELS-2007-AnastasakisBGR #alloy #model transformation #named #uml
- UML2Alloy: A Challenging Model Transformation (KA, BB, GG, IR), pp. 436–450.
CASE-2006-ChenLS #case study #process- Study on Active Process Control of Burr Formation in Al-Alloy Milling Process (MC, GL, ZS), pp. 431–436.
ICGT-2006-BaresiS #alloy #graph transformation #on the- On the Use of Alloy to Analyze Graph Transformation Systems (LB, PS), pp. 306–320.
ICPR-v2-2006-RinnhoferBJS #alloy #feature model- Feature Extraction from Micrographs of Forged Nickel Based Alloy (AR, WB, GJ, MS), pp. 391–394.
- SEKE-2005-WangDS #alloy #reasoning #using
- Reasoning Support for SWRL-FOL Using Alloy (HHW, JSD, JS), pp. 626–631.
- ICSE-2005-FriasGPA #alloy #named
- DynAlloy: upgrading alloy with actions (MFF, JPG, CLP, NA), pp. 442–451.
- FME-2003-DongSW #alloy #reasoning #semantics #web
- Checking and Reasoning about Semantic Web through Alloy (JSD, JS, HHW), pp. 796–813.
- FME-2003-FriasPBAM #alloy
- Taking Alloy to the Movies (MFF, CLP, GB, NA, TSEM), pp. 678–697.
- SEKE-2003-DongSWLL #alloy #case study #ontology #web
- Analysing Web Ontology in Alloy: A Military Case Study (JSD, JS, HHW, CHL, HBL), pp. 542–546.
- TACAS-2002-Jackson #alloy #modelling #named
- Alloy: A New Technology for Software Modelling (DJ), p. 20.
- FME-2002-MarinovK #named #relational
- VAlloy — Virtual Functions Meet a Relational Language (DM, SK), pp. 234–251.
- ICSE-2000-JacksonSS #alloy #constraints #named
- Alcoa: the alloy constraint analyzer (DJ, IS, IS), pp. 730–733.
PLDI-1990-MitsolidesH #alloy #generative #parallel- Generators and the Replicator Control Structures in the Parallel Environment of ALLOY (TM, MH), pp. 189–196.
SIGIR-1988-JonesdK #alloy #named #statistics- ALLOY: An Amalgamation of Expert, Linguistic and Statistical Indexing Methods (LPJ, Cd, SK), pp. 191–199.
