Tag alloy [86 articles] Export

Recent papers classified by the tag alloy.

	A Complete Set of Object Modeling Laws for Alloy [My Copy] Formal Methods: Foundations and Applications, Vol. 5902 (2009), pp. 204-219. by Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio posted to alloy 2009 by leonardo to the group SRG on 2009-11-08 13:54:34 as
	An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method [My Copy] FM 2009: Formal Methods (2009), pp. 757-772. by Danhua Shao, Sarfraz Khurshid, Dewayne Perry posted to novel_approach lightweight_formal_method bounded_verification alloy 2009 by leonardo on 2009-11-07 13:27:18 as
	Towards an Operational Semantics for Alloy [My Copy] FM 2009: Formal Methods (2009), pp. 483-498. by Theophilos Giannakopoulos, Daniel Dougherty, Kathi Fisler, Shriram Krishnamurthi posted to semantics operational_semantics alloy 2009 by leonardo on 2009-11-07 13:22:13 as
	Use of a lightweight formal method to model the static aspects of state machines [My Copy] Innovations in Systems and Software Engineering, Vol. 5, No. 4. (1 December 2009), pp. 255-264. by Fernando Valles-Barajas posted to statecharts alloy_analyzer alloy 2009 by leonardo on 2009-09-28 21:43:19 as
	Verification and validation of declarative model-to-model transformations through invariants [My Copy] Journal of Systems and Software (15 August 2009) by Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara posted to transformation model alloy 2009 by leonardo on 2009-09-02 21:27:01 as
	Maintaining Constraints of UML models in Distributed Collaborative Environments [My Copy] Journal of Systems Architecture (15 August 2009) by Haifeng Shen posted to uml statecharts alloy 2009 by leonardo on 2009-09-02 21:26:34 as
	Enabling verification and conformance testing for access control model [My Copy] In SACMAT '08: Proceedings of the 13th ACM symposium on Access control models and technologies (2008), pp. 195-204. by Hongxin Hu, Gail-Joon Ahn posted to role-based-access-control verification testing security sat-solver rcl2000 management framework conformance automatic assurance analysis alloy access-control 2008 by michaelbanks on 2009-08-26 10:18:16 as
	Formal Modeling and Analysis of a Flash Filesystem in Alloy [My Copy] Abstract State Machines, B and Z In Abstract State Machines, B and Z, Vol. 5238 (2008), pp. 294-308. by Eunsuk Kang, Daniel Jackson posted to 2008 alloy file-system model posix verified-software-repository by michaelbanks on 2009-07-06 16:22:44 as along with 1 person jhs06r
	Theoretical studies of dynamical phenomena in epitaxial surface systems [My Copy] Surface Science, Vol. 248, No. 1-2. (03 May 1991), pp. 134-146. by T. Raeker, A. Depristo posted to theory surface paper1 gold copper alloy by rdf on 2009-06-22 13:25:18 as
	Lifshitz Tails for Generalized Alloy Type Random Schrödinger Operators [My Copy] (16 Mar 2009) by Frédéric Klopp, Shu Nakamura posted to alloy hamiltonian lifshitz-tails by rnich02 on 2009-06-09 18:29:29 as
	Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation [My Copy] Software Testing, Verification, and Validation, 2008 International Conference on In 2009 International Conference on Software Testing Verification and Validation (ICST), Vol. 0 (April 2009), pp. 131-140. by Emine G. Aydal, Richard F. Paige, Mark Utting, Jim Woodcock posted to z testing test_case_generation model-based alloy 2009 by leonardo on 2009-05-28 19:24:19 as
	Alchemy: transmuting base alloy specifications into implementations [My Copy] In SIGSOFT '08/FSE-16: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (2008), pp. 158-169. by Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo posted to alloy modeling specification by pnkfelix on 2009-05-21 20:10:44 as
	A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy [My Copy] Software Testing, Verification, and Validation, 2008 International Conference on, Vol. 0 (2008), pp. 288-297. by Jacqueline Mcquillan, James Power posted to 2008 alloy metamodel by leonardo on 2009-03-25 12:11:53 as along with 1 person jmcq
	Incremental integrity checking of UML/OCL conceptual schemas [My Copy] Journal of Systems and Software, Vol. 82, No. 9. (17 September 2009), pp. 1459-1478. by Jordi Cabot, Ernest Teniente posted to uml ocl incremental checking alloy 2009 by leonardo on 2009-03-18 12:02:07 as
	A Lightweight Approach for Defining the Formal Semantics of a Modeling Language [My Copy] Model Driven Engineering Languages and Systems (2008), pp. 690-704. by Pierre Kelsen, Qin Ma posted to alloy semantics by fabriciaroos on 2009-03-11 09:57:55 as along with 1 person leonardo
	Initial growth of Au on Ni(110): Surface alloying of immiscible metals [My Copy] Physical Review Letters, Vol. 71, No. 5. (1993), 754. by Pleth, F. Besenbacher, I. Stensgaard, et al.E. Laegsgaard, C. Engdahl, P. Stoltze, K. W. Jacobsen, J. K. Nørskov posted to alloy au crystal ni single stm surface by IanSilverwood on 2009-03-09 09:23:33 as
	Evaluating the small scope hypothesis [My Copy] by A. Andoni, D. Daniliuc, S. Khurshid, D. Marinov posted to 2002 alloy by leonardo on 2009-03-07 13:15:39 as along with 2 people seanc JeanMarieGaillourdet
	Declarative approach for model composition [My Copy] In MiSE '08: Proceedings of the 2008 international workshop on Models in software engineering (2008), pp. 7-14. by Julia Rubin, Marsha Chechik, Steve M. Easterbrook posted to no-tag alloy 2008 _event_mise model_composition by leonardo on 2008-12-18 12:41:12 as
	On challenges of model transformation from UML to Alloy [My Copy] Software & Systems Modeling In Software and Systems Modeling, Vol. 9, No. 1. (12 December 2009), pp. 69-86. by Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray posted to uml model_transformation alloy 2009 by leonardo on 2008-12-16 12:59:02 as along with 1 person and 2 groups jago Software-Architecture Simulation of operations and interactions
	Model Checking Event-B by Encoding into Alloy [My Copy] (30 May 2008) by Paulo J. Matos, Joao Marques-Silva posted to no-tag alloy 2008 event-b model_checking by leonardo on 2008-12-08 16:21:28 as
	A security domain model to assess software for exploitable covert channels [My Copy] In PLAS '08: Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security (2008), pp. 45-56. by Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin posted to security model information-flow formal definition covert channels alloy 2008 by michaelbanks on 2008-12-04 18:09:11 as
	Knowledge Flow Analysis for Security Protocols [My Copy] (24 May 2006) by Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas posted to 2006 alloy analysis flow knowledge protocol security type-flaw by michaelbanks on 2008-12-04 16:09:42 as
	Safety Process Improvement with POSE and Alloy [My Copy] Improvements in System Safety (2008), pp. 25-41. by Derek Mannering, Jon G. Hall, Lucia Rapanotti posted to no-tag alloy _to_download 2008 by leonardo on 2008-10-30 19:22:22 as
	Automating Algebraic Specifications of Non-freely Generated Data Types [My Copy] Automated Technology for Verification and Analysis (2008), pp. 141-155. by Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif posted to no-tag alloy 2008 algebraic_specification _to_download by leonardo on 2008-10-30 19:21:47 as
	Finding Minimal Unsatisfiable Cores of Declarative Specifications [My Copy] FM 2008: Formal Methods (2008), pp. 326-341. by Emina Torlak, Felix Chang, Daniel Jackson posted to alloy cores formal methods sat unsat by pmatos to the group Propositional Satisfiability and Extensions on 2008-10-30 11:02:05 as
	Model Checking Event-B by Encoding into Alloy [My Copy] In ABZ, Vol. 5238 (2008) by Paulo J. Matos, João M. Silva edited by Egon Börger, Michael Butler, Jonathan P. Bowen, et al.Paul Boca, Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca posted to no-tag alloy 2008 event-b model_checking by leonardo on 2008-10-23 22:33:07 as
	Towards Abstraction for DynAlloy Specifications [My Copy] Formal Methods and Software Engineering (2008), pp. 207-225. by Nazareno Aguirre, Marcelo Frias, Pablo Ponzio, Brian Cardiff, Juan Galeotti, Germán Regis posted to no-tag alloy 2008 dynalloy by leonardo on 2008-10-22 13:59:54 as
	On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing [My Copy] Software Testing, Verification, and Validation, 2008 1st International Conference on In Software Testing, Verification, and Validation, 2008 1st International Conference on (2008), pp. 328-337. by S. Sen, B. Baudry, J. M. Mottu posted to no-tag alloy 2008 model multi-formalism tests transformation by leonardo on 2008-10-10 21:24:48 as
	An Automated Approach for Writing Alloy Specifications Using Instances [My Copy] Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on In Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on (2006), pp. 449-457. by S. Khurshid, M. Z. Malik, E. Uzuncaova posted to no-tag alloy 2006 by leonardo on 2008-10-10 21:24:22 as
	A Comparison of State-Based Modelling Tools for Model Validation [My Copy] Objects, Components, Models and Patterns (2008), pp. 278-296. by Emine G. Aydal, Mark Utting, Jim Woodcock posted to no-tag alloy 2008 z compaison by leonardo on 2008-10-06 12:32:58 as along with 1 person newdawn
	Conflict Detection in Call Control Using First-Order Logic Model Checking [My Copy] (2007) by Ahmed F. Layouni, Kenneth J. Turner posted to alloy conflict detection feature first-order interaction logic modeling policy by eduardod on 2008-09-04 20:17:38 as
	Towards a Small Model Theorem for Data Independent Systems in Alloy [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems (AVoCS 2004), Vol. 128, No. 6. (23 May 2005), pp. 37-52. by Lee Momtahan posted to no-tag 2005 data_independence small_model alloy _folder_1 _to_download by leonardo on 2008-09-01 23:28:45 as
	Reasoning about static and dynamic properties in alloy: A purely relational approach [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 4. (October 2005), pp. 478-526. by Marcelo F. Frias, Carlos, Gabriel A. Baum, Nazareno M. Aguirre, Thomas S. E. Maibaum posted to alloy by newdawn on 2008-08-26 09:18:24 as
	DynAlloy: upgrading alloy with actions [My Copy] In ICSE '05: Proceedings of the 27th international conference on Software engineering (2005), pp. 442-451. by Marcelo F. Frias, Juan P. Galeotti, Carlos, Nazareno M. Aguirre posted to alloy by newdawn on 2008-08-26 09:16:14 as
	Efficient Analysis of DynAlloy Specifications [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 17, No. 1. (December 2007), pp. 1-34. by Marcelo F. Frias, Carlos, Juan P. Galeotti, Nazareno M. Aguirre posted to alloy specification by newdawn on 2008-08-26 09:13:57 as along with 1 person leonardo
	Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (2007), pp. 587-601. by Frias, Carlos Pombo, Mariano Moscato posted to alloy specification by newdawn on 2008-08-26 09:13:14 as along with 1 person leonardo
	Model of surface segregation driving forces and their coupling [My Copy] Physical Review B (Condensed Matter and Materials Physics), Vol. 78, No. 7. (2008) by Jérôme Creuze, Isabelle Braems, Fabienne Berthier, Christine Mottet, Guy Tréglia, Bernard Legrand posted to alloy segregation by maurengo on 2008-08-13 03:31:32 as
	Metallic Glasses [My Copy] Annual Review of Physical Chemistry, Vol. 35, No. 1. (1984), pp. 241-263. by F. Spaepen, D. Turnbull posted to alloy classic review shear spaepen theory by dchen on 2008-08-12 00:04:25 as
	Cobalt-based bulk glassy alloy with ultrahigh strength and soft magnetic properties [My Copy] Nat Mater, Vol. 2, No. 10. (October 2003), pp. 661-663. by Akihisa Inoue, Baolong Shen, Hisato Koshiba, Hidemi Kato, Alain R. Yavari posted to alloy atom nature shear shearband by dchen on 2008-08-04 21:44:47 as
	Nanocrystallization During Nanoindentation of a Bulk Amorphous Metal Alloy at Room Temperature [My Copy] Science, Vol. 295, No. 5555. (25 January 2002), pp. 654-657. by J. J. Kim, Y. Choi, S. Suresh, A. S. Argon posted to alloy atom crystalline experiment science shear shearband by dchen on 2008-08-04 21:28:37 as
	Polyamorphism in a metallic glass [My Copy] Nat Mater, Vol. 6, No. 3. (March 2007), pp. 192-197. by H. W. Sheng, H. Z. Liu, Y. Q. Cheng, et al.J. Wen, P. L. Lee, W. K. Luo, S. D. Shastri, E. Ma posted to 2007 alloy material nature people shear by dchen on 2008-07-26 17:22:20 as
	Alloy as a Refactoring Checker? [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 331-357. by Christian H. Estler, Heike Wehrheim posted to no-tag alloy 2008 checker refactoring refinement _folder_1 by leonardo on 2008-07-22 18:12:01 as
	Modeling and Analysis of Reo Connectors Using Alloy [My Copy] Coordination Models and Languages (2008), pp. 169-183. by Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi posted to no-tag alloy 2008 connectors reo _to_download by leonardo on 2008-05-30 18:05:00 as
	Evaluating the small scope hypothesis [My Copy] by A. Andoni, D. Daniliuc, S. Khurshid, D. Marinov posted to alloy by aq05752n on 2008-05-11 05:59:02 as along with 1 person and 2 groups sjgaller Context-driven-testers Desgin-by-Contract
	Runtime Conformance Checking of Objects Using Alloy [My Copy] Electronic Notes in Theoretical Computer Science In RV '2003, Run-time Verification (Satellite Workshop of CAV '03), Vol. 89, No. 2. (October 2003), pp. 2-21. by Michelle L. Crane, Jürgen Dingel posted to no-tag alloy 2003 checking conformance by leonardo on 2008-05-08 15:50:06 as
	Increasing Magnetoplasticity in Polycrystalline Ni-Mn-Ga by Reducing Internal Constraints through Porosity [My Copy] Physical Review Letters, Vol. 99, No. 24. (2007) by Yuttanant Boonyongmaneerat, Markus Chmielus, David C. Dunand, Peter Müllner posted to 2007 alloy foam focus structure by dchen on 2008-05-04 01:06:40 as
	Meta-programming with theory systems [My Copy] (1995) by J. Barklund, K. Boberg, P. Dell'acqua, M. Veanes posted to alloy formalmethods by seanc on 2008-04-26 17:06:12 as
	Software Reuse by Model Reification [My Copy] by Lu\is F. Neves, José N. Oliveira posted to alloy formalmethods by seanc on 2008-04-26 14:00:43 as
	Newtonian to non-Newtonian master flow curves of a bulk glass alloy Pd[sub 40]Ni[sub 10]Cu[sub 30]P[sub 20] [My Copy] Applied Physics Letters, Vol. 73, No. 25. (1998), pp. 3665-3667. by Hidemi Kato, Yoshihito Kawamura, Akihisa Inoue, H. S. Chen posted to alloy modulus shear by dchen on 2008-04-25 19:37:14 as
	Creation and annihilation of free volume during homogeneous flow of a metallic glass [My Copy] Journal of Applied Physics, Vol. 97, No. 3. (2005) by Marc Heggen, Frans Spaepen, Michael Feuerbacher posted to alloy freevolume qualif3 shear spaepen by dchen on 2008-04-25 19:35:29 as

Note: You may cite this page as: http://www.citeulike.org/tag/alloy

Result page: 1 2 Next

2008	22
2007	12
2009	10
shear	9
_folder_1	8
formal	8
2005	7
_to_download	7
semantics	7
uml	7
2006	6
formalmethods	5
model	5
refinement	5
sat	5
verification	5
analysis	4
model_checking	4
security	4
testing	4
z	4
2002	3
2004	3
methods	3
refactoring	3
requirements	3
specification	3
statecharts	3
stz	3
2003	2
_no_doi	2
_to_print	2
agents	2
atom	2
checking	2
cobalt	2
conformance	2
cores	2
cvd	2
event-b	2
function	2
green	2
lloyd	2
logic	2
methane	2
model_transformation	2
modeling	2
mogentes	2
multiple	2
nature	2
pvs	2
review	2
scattering	2
shearband	2
spaepen	2
structure	2
surface	2
swnt	2
theory	2
transformation	2
unsat	2
_on	1
aosd	1
au	1
bounded_verification	1
channels	1
compatibility	1
connectors	1
copper	1
data_independence	1
equational_calculus	1
file-system	1
graph_transformation	1
hamiltonian	1
incremental	1
information-flow	1
magnetism	1
management	1
materials	1
md	1
molybdenum	1
nanoparticle	1
negotiation	1
nickel	1
onuki	1
oop	1
operational_semantics	1
phase_transition	1
posix	1
protocol	1
science	1
segregation	1
sequential-circuit	1
simulation	1
tests	1
theorem_prover	1
type-flaw	1
validation	1
verified-software-repository	1
visual_languages	1

Tag alloy [86 articles] Export

Related Tags