10 papers:
TACAS-2015-ArmandoBCCMMM #framework #mobile #named #security #static analysis #verification- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform (AA, GB, GC, GC, GDM, RM, AM), pp. 225–230.
ICEIS-v3-2013-GoeppP #architecture #enterprise #evaluation #towards- Towards an Enterprise Architecture based Strategic Alignment Model — An Evaluation of SAM based on ISO 15704 (VG, MP), pp. 370–375.
HIMI-v2-2011-YuCW #communication #framework #interactive #named #problem #product line- SAM: A Spatial Interactive Platform for Studying Family Communication Problem (GJY, TWC, YCW), pp. 207–216.
SEKE-2008-Argote-GarciaCHFS #approach #architecture #formal method- A Formal Approach for Translating a SAM Architecture to PROMELA (GAG, PJC, XH, YF, LS), pp. 440–447.
- SEKE-2007-FuDASH #approach #correctness #java #validation
- An Approach to Validating Translation Correctness From SAM to Java (YF, ZD, GAG, LS, XH), p. 45–?.
- SEKE-2007-IlhanAB #named #semantics
- SAM: Semantic Advanced Matchmaker (ESI, GBA, ABB), pp. 698–703.
SAC-2005-YangEY05a #framework #modelling #verification- Mediation framework modeling and verification by SAM (LY, RKE, HY), pp. 1567–1568.
WICSA-2002-ShiH #architecture #communication #modelling #protocol #using- Modeling and Analyzing the Software Architecture of a Communication Protocol Using SAM (TS, XH), pp. 63–77.
- SEKE-2002-HeDD #architecture #model checking #specification
- Model checking software architecture specifications in SAM (XH, JD, YD), pp. 271–278.
HPDC-2001-TerekhovPWLLTVVWS #data access #distributed #resource management- Distributed Data Access and Resource Management in the D0 SAM System (IT, RP, VW, LL, LLC, JT, SV, MV, SW, HS), p. 87–?.
