Search results for "alloy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
177	Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum	Reasoning about static and dynamic properties in alloy: A purely relational approach.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	fork algebras, relational specifications, Alloy
146	Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova	An Automated Approach for Writing Alloy Specifications Using Instances.	ISoLA	2006	DBLP DOI BibTeX RDF
110	Daniel Jackson 0001	Alloy: A Logical Modelling Language.	ZB	2003	DBLP DOI BibTeX RDF
106	Sureyya Tarkan, Vibha Sazawal	Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z.	TFM	2009	DBLP DOI BibTeX RDF	Model Checking, Formal Specification, Formal Methods, Z, Alloy
100	Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato	Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.	TACAS	2007	DBLP DOI BibTeX RDF
98	Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray	On challenges of model transformation from UML to Alloy.	Softw. Syst. Model.	2010	DBLP DOI BibTeX RDF
98	Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi	Towards an Operational Semantics for Alloy.	FM	2009	DBLP DOI BibTeX RDF
93	Jin Song Dong, Jing Sun 0002, Hai H. Wang	Checking and Reasoning about Semantic Web through Alloy.	FME	2003	DBLP DOI BibTeX RDF	Semantic Web, Alloy
93	Leonid Mikhailov, Michael J. Butler	An Approach to Combining B and Alloy.	ZB	2002	DBLP DOI BibTeX RDF	B-method, Alloy
91	Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory	A specification-based approach to testing software product lines.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca
86	Daniel Jackson 0001	Alloy: A New Technology for Software Modelling.	TACAS	2002	DBLP DOI BibTeX RDF
85	Sarfraz Khurshid, Darko Marinov, Daniel Jackson 0001	An analyzable annotation language.	OOPSLA	2002	DBLP DOI BibTeX RDF	alloy analyzer, alloy modeling language, compile-time analysis, specification language, java language
81	Tahina Ramananandro	Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Model-finding, Mondex electronic purse, Refinement, Alloy, Security properties
81	Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo	Alchemy: transmuting base alloy specifications into implementations.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	relational specification, program synthesis, alloy
81	Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre	DynAlloy: upgrading alloy with actions.	ICSE	2005	DBLP DOI BibTeX RDF	software specification, dynamic logic, alloy, software validation
79	Manachai Toahchoodee, Indrakshi Ray, Kyriakos Anastasakis, Geri Georg, Behzad Bordbar	Ensuring spatio-temporal access control for real-world applications.	SACMAT	2009	DBLP DOI BibTeX RDF	spatio-temporal rbac, alloy, uml
74	Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum	Taking Alloy to the Movies.	FME	2003	DBLP DOI BibTeX RDF
72	Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray	UML2Alloy: A Challenging Model Transformation.	MoDELS	2007	DBLP DOI BibTeX RDF
72	Darko Marinov, Sarfraz Khurshid	VAlloy - Virtual Functions Meet a Relational Language.	FME	2002	DBLP DOI BibTeX RDF
69	Naoyasu Ubayashi, Yuki Sato, Akihiro Sakai, Tetsuo Tamai	Alloy-Based Lightweight Verification for Aspect-Oriented Architecture.	SERA	2008	DBLP DOI BibTeX RDF	Component-and-connector architecture, Verification, AOP, Alloy
67	Mana Taghdiri, Daniel Jackson 0001	A Lightweight Formal Analysis of a Multicast Key Management Scheme.	FORTE	2003	DBLP DOI BibTeX RDF	Lightweight modeling, asynchronous rekeying, formal specification, key management, Alloy, secure multicast
62	Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi	Modeling and Analysis of Reo Connectors Using Alloy.	COORDINATION	2008	DBLP DOI BibTeX RDF
62	Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang 0001	Verification of Multi-agent Negotiations Using the Alloy Analyzer.	IFM	2007	DBLP DOI BibTeX RDF
60	Pierre Kelsen, Qin Ma 0002	A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.	MoDELS	2008	DBLP DOI BibTeX RDF
60	Fadi A. Zaraket, Adnan Aziz, Sarfraz Khurshid	Sequential Circuits for Relational Analysis.	ICSE	2007	DBLP DOI BibTeX RDF
60	Daming Li, Ruo Li, Pingwen Zhang	A Cellular Automaton Technique for the Modeling of Solidification Microstructure in Multi-Component Alloys.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
60	Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard	Integrating Model Checking and Theorem Proving for Relational Reasoning.	RelMiCS	2003	DBLP DOI BibTeX RDF
60	Darko Marinov, Sarfraz Khurshid	TestEra: A Novel Framework for Automated Testing of Java Programs.	ASE	2001	DBLP DOI BibTeX RDF
57	Neil C. C. Brown, Adam T. Sampson	Alloy: fast generic transformations for Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	haskell, generic programming, alloy
50	Luciano Baresi, Paola Spoletini	On the Use of Alloy to Analyze Graph Transformation Systems.	ICGT	2006	DBLP DOI BibTeX RDF
48	Engin Uzuncaova, Sarfraz Khurshid	Constraint Prioritization for Efficient Analysis of Declarative Models.	FM	2008	DBLP DOI BibTeX RDF
48	Engin Uzuncaova, Sarfraz Khurshid	Kato: A Program Slicing Tool for Declarative Specifications.	ICSE	2007	DBLP DOI BibTeX RDF
48	Engin Uzuncaova, Sarfraz Khurshid	Program slicing for declarative models.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
48	Ian Warren, Jing Sun 0002, Sanjev Krishnamohan, Thiranjith Weerasinghe	An Automated Formal Approach to Managing Dynamic Reconfiguration.	ASE	2006	DBLP DOI BibTeX RDF
45	Akira Nakayasu	Himawari: shape memory alloy motion display for robotic representation.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	physical display, shape memory alloy, robots
45	Jacqueline A. McQuillan, James F. Power	A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy.	ICST	2008	DBLP DOI BibTeX RDF	metamodels, Alloy, object-oriented metrics, model testing
43	Yubo Liu, Can Zhao, Jinping Hu, Mingjun Feng	Research on Cutting Parameters Optimization of High-Speed Milling Based on Orthogonal Experiment.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	high-speed milling, aluminum alloy, cutting parameters, surface roughness
43	Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre	Efficient Analysis of DynAlloy Specifications.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	software specification, dynamic logic, Alloy, software validation
43	Pamela Zave	A Formal Model of Addressing for Interoperating Networks.	FM	2005	DBLP DOI BibTeX RDF	network requirements, networks, network design, Alloy
43	Sarfraz Khurshid, Darko Marinov	TestEra: Specification-Based Testing of Java Programs Using SAT.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	Java testing, TestEra, SAT enumeration, software testing, specification-based testing, Alloy, automated test generation
43	Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang	A combined approach to checking web ontologies.	WWW	2004	DBLP DOI BibTeX RDF	racer, ontologies, semantic web, z, alloy, daml+oil
43	Andreas Schaad, Jonathan D. Moffett	A lightweight approach to specification and analysis of role-based access control extensions.	SACMAT	2002	DBLP DOI BibTeX RDF	ARBAC97, alloy, separation of duties
43	Daniel Jackson 0001, Kevin J. Sullivan	COM revisited: tool-assisted modelling of an architectural framework.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	Microsoft COM, formal specification, formal methods, architectural style, alloy, integration frameworks, constraint solver
43	Alloy Das, Sanket Biswas, Ayan Banerjee 0002, Josep Lladós 0001, Umapada Pal 0001, Saumik Bhattacharya	Harnessing the Power of Multi-Lingual Datasets for Pre-training: Towards Enhancing Text Spotting Performance.	WACV	2024	DBLP DOI BibTeX RDF
43	Alloy Das, Sanket Biswas, Ayan Banerjee 0002, Josep Lladós 0001, Umapada Pal 0001, Saumik Bhattacharya	Harnessing the Power of Multi-Lingual Datasets for Pre-training: Towards Enhancing Text Spotting Performance.	CoRR	2023	DBLP DOI BibTeX RDF
43	Alloy Das, Prasun Roy, Saumik Bhattacharya, Subhankar Ghosh, Umapada Pal 0001, Michael Blumenstein	FAST: Font-Agnostic Scene Text Editing.	CoRR	2023	DBLP DOI BibTeX RDF
43	Alloy Das, Sanket Biswas, Umapada Pal 0001, Josep Lladós 0001	Diving into the Depths of Spotting Text in Multi-Domain Noisy Scenes.	CoRR	2023	DBLP DOI BibTeX RDF
43	Palaiahnakote Shivakumara, Alloy Das, K. S. Raghunandan 0002, Umapada Pal 0001, Michael Blumenstein	New Deep Spatio-Structural Features of Handwritten Text Lines for Document Age Classification.	Int. J. Pattern Recognit. Artif. Intell.	2022	DBLP DOI BibTeX RDF
43	Alloy Martin Chua, Roland Christian Chua, Arthur Vincent Dychiching, Tinmon Ang, Jose Lloyd Espiritu, Nathalie Rose Lim, Danny Cheng	Crowd sourcing through social gaming for community driven ontology engineering, results and observations.	OM	2010	DBLP BibTeX RDF
38	Alessander Botti Benevides, Giancarlo Guizzardi, Bernardo F. B. Braga, João Paulo A. Almeida	Assessing Modal Aspects of OntoUML Conceptual Models in Alloy.	ER Workshops	2009	DBLP DOI BibTeX RDF
38	Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio	A Complete Set of Object Modeling Laws for Alloy.	SBMF	2009	DBLP DOI BibTeX RDF
38	Akira Nakayasu, Kiyoshi Tomimatsu	Himawari plant robot: creature expression using shape-memory-alloy actuator crowd robots.	SIGGRAPH ASIA Art Gallery & Emerging Technologies	2009	DBLP DOI BibTeX RDF
38	Hiroaki Tanizaki, Takuya Katayama	Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy.	APSEC	2008	DBLP DOI BibTeX RDF
38	Paulo J. Matos, João Marques-Silva 0001	Model Checking Event-B by Encoding into Alloy.	ABZ	2008	DBLP DOI BibTeX RDF
38	Lin Wang, Gillian Dobbie, Jing Sun 0002, Lindsay Groves	Validating ORA-SS Data Models using Alloy.	ASWEC	2006	DBLP DOI BibTeX RDF	ORA-SS, Modeling language semantics, Formal verification and validation, Semistructured data
38	Juanhua Su, Hejun Li, Qiming Dong, Ping Liu	Modelling of Rolling and Aging Processes in Copper Alloy by Levenberg-Marquardt BP Algorithm.	ICNC (2)	2005	DBLP DOI BibTeX RDF
38	Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre	An Equational Calculus for Alloy.	ICFEM	2004	DBLP DOI BibTeX RDF
38	Jong-Bin Lee, Yutaka Toi, Minoru Taya	Finite Element Modeling of Magneto-superelastic Behavior of Ferromagnetic Shape Memory Alloy Helical Springs.	AsiaSim	2004	DBLP DOI BibTeX RDF
38	Mahdi Mahfouf, J. Tenner, Derek A. Linkens, Maysam F. Abbod	Optimal design of alloy steels using evolutionary computing.	KES	2000	DBLP DOI BibTeX RDF
38	Daniel Jackson 0001, Ian Schechter, Ilya Shlyakhter	Alcoa: the alloy constraint analyzer.	ICSE	2000	DBLP DOI BibTeX RDF	relational logic, model checking, formal specifications, constraint satisfaction, object models, software analysis
33	Barbara Gallina, Nicolas Guelfi, Pierre Kelsen	Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development.	SEW	2009	DBLP DOI BibTeX RDF	Relaxed ACID properties, ACTA framework, Alloy language, dependability, Software Product Line, reusability, formal semantics, ACID properties
33	Jun Lu, Zhihong Liang, Wanchun Qu	Optimal Design of Rotating Actuators Made by Magnetically Controlled Shape Memory Alloy.	HIS (1)	2009	DBLP DOI BibTeX RDF	magnetically controlled shape memory alloy, rotating actuator, differentia, optimal design
33	Brant Hashii	Lessons learned using alloy to formally specify MLS-PCA trusted security architecture.	FMSE	2004	DBLP DOI BibTeX RDF	multilevel security (MLS), formal specification, network security, alloy, high assurance
31	Ronaldo Rodrigues Ferreira	Automatic code generation and solution estimate for object-oriented embedded software.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	java, embedded systems, code generation, design space exploration, modeling languages, alloy, software automation
31	Sagar Sen, Benoit Baudry, Jean-Marie Mottu	On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing.	ICST	2008	DBLP DOI BibTeX RDF	cartier, model tranformation, testing, alloy
31	Hongxin Hu, Gail-Joon Ahn	Enabling verification and conformance testing for access control model.	SACMAT	2008	DBLP DOI BibTeX RDF	model-based verification, access control, model-based testing, alloy, SAT solver
31	Marcelo Coelho, Hiroshi Ishii 0001, Pattie Maes	Surflex: a programmable surface for the design of tangible interfaces.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	actuated surfaces, shape-memory alloy, 3d modeling, tangible media, smart materials
31	Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito	A model-prover for constrained dynamic conversations.	iiWAS	2008	DBLP DOI BibTeX RDF	web service, UML, conversations, OCL, WSDL, alloy
31	James D'Arcy Walsh, Francis Bordeleau, Bran Selic	Domain analysis of dynamic system reconfiguration.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	based systems, driven development, Model-, UML, Component, Software evolution, Dynamic reconfiguration, System integrity, Feature modeling, Alloy
31	Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg	A strategy for efficient verification of relational specifications, based on monotonicity analysis.	ASE	2005	DBLP DOI BibTeX RDF	relational methods, software specification, alloy, software validation
31	Jing Sun 0002, Hongyu Zhang 0002, Yuan-Fang Li, Hai H. Wang	Formal Semantics and Verification for Feature Modeling.	ICECCS	2005	DBLP DOI BibTeX RDF	Feature Oriented Domain Analysis, Z/EVES, Formal Verification, Feature Modeling, Domain Engineering, Alloy
31	Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson 0001	Automating commutativity analysis at the design level.	ISSTA	2004	DBLP DOI BibTeX RDF	proton therapy, model checking, formal specification, testing, concurrency, case study, OCL, alloy, commutativity, critical systems, radiation therapy, lightweight formal methods
31	Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri, Christopher Krügel	DPS : An Architectural Style for Development of Secure Software.	InfraSec	2002	DBLP DOI BibTeX RDF	Authorization and Access Control, Software Architecture, Formal Methods, Architectural Style, Alloy, Security Engineering
28	Sen Liu 0009, Branden B. Kappes, Behnam Amin-ahmadi, Othmane Benafan, Aaron P. Stebner, Xiaoli Zhang	A physics-informed feature engineering approach to use machine learning with limited amounts of data for alloy design: shape memory alloy demonstration.	CoRR	2020	DBLP BibTeX RDF
28	Loïc Gammaitoni, Pierre Kelsen	F-Alloy: a relational model transformation language based on Alloy.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
28	Subir Paul, Shibasish Bhattacharjee	Modeling and computation by artificial neural network of fracture toughness of low alloy steel to study the effect of alloy composition.	Int. J. Model. Simul. Sci. Comput.	2018	DBLP DOI BibTeX RDF
28	Kaijin Huang, Lin Chen, Xin Lin, Haisong Huang, Shihao Tang, Feilong Du	Wear and Corrosion Resistance of Al0.5CoCrCuFeNi High-Entropy Alloy Coating Deposited on AZ91D Magnesium Alloy by Laser Cladding.	Entropy	2018	DBLP DOI BibTeX RDF
28	Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid	Solver-Based Sketching of Alloy Models Using Test Valuations.	ABZ	2018	DBLP DOI BibTeX RDF
28	Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel	A Translation from Alloy to B.	ABZ	2018	DBLP DOI BibTeX RDF
28	Fei Tang, Jing Liu 0012, Tingliang Zhou, Junfeng Sun, Haiying Sun	Spatial Alloy: An Alloy Extension for Modeling Spatial Properties.	CIT	2016	DBLP DOI BibTeX RDF
28	John W. Baugh Jr., Alper Altuntas	Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy.	ABZ	2016	DBLP DOI BibTeX RDF
28	Loïc Gammaitoni, Pierre Kelsen	F-Alloy: An Alloy Based Model Transformation Language.	ICMT	2015	DBLP DOI BibTeX RDF
28	Loïc Gammaitoni, Pierre Kelsen	Domain-Specific Visualization of Alloy Instances.	ABZ	2014	DBLP DOI BibTeX RDF
28	Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov	Formal Verification of OS Security Model with Alloy and Event-B.	ABZ	2014	DBLP DOI BibTeX RDF
28	Aleksandar Milicevic, Ido Efrati, Daniel Jackson 0001	αRby - An Embedding of Alloy in Ruby.	ABZ	2014	DBLP DOI BibTeX RDF
28	Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki 0001	Optimizing Alloy for Multi-objective Software Product Line Configuration.	ABZ	2014	DBLP DOI BibTeX RDF
28	Ferney A. Maldonado-Lopez, Jaime Chavarriaga, Yezid Donoso	Detecting Network Policy Conflicts Using Alloy.	ABZ	2014	DBLP DOI BibTeX RDF
28	Alcino Cunha	Bounded Model Checking of Temporal Formulas with Alloy.	ABZ	2014	DBLP DOI BibTeX RDF
28	Imran Sarwar Bajwa, Behzad Bordbar, Mark G. Lee, Kyriakos Anastasakis	NL2 Alloy: A Tool to Generate Alloy from NL Constraints.	J. Digit. Inf. Manag.	2012	DBLP BibTeX RDF
28	Amirhossein Vakili, Nancy A. Day	Temporal Logic Model Checking in Alloy.	ABZ	2012	DBLP DOI BibTeX RDF
28	Timothy Nelson 0001, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi	Toward a More Complete Alloy.	ABZ	2012	DBLP DOI BibTeX RDF
28	Vajih Montaghami, Derek Rayside	Extending Alloy with Partial Instances.	ABZ	2012	DBLP DOI BibTeX RDF
28	Ting Wang, Dongyao Ji	Active Attacking Multicast Key Management Protocol Using Alloy.	ABZ	2012	DBLP DOI BibTeX RDF
28	Aleksandar Milicevic, Daniel Jackson 0001	Preventing Arithmetic Overflows in Alloy.	ABZ	2012	DBLP DOI BibTeX RDF
28	Benoît Fraikin, Marc Frappier, Richard St-Denis	Modeling the Supervisory Control Theory with Alloy.	ABZ	2012	DBLP DOI BibTeX RDF
28	Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera	Alloy+HotCore: A Fast Approximation to Unsat Core.	ASM	2010	DBLP DOI BibTeX RDF
28	Joseph P. Near, Daniel Jackson 0001	An Imperative Extension to Alloy.	ASM	2010	DBLP DOI BibTeX RDF
28	Razieh Nokhbeh Zaeem, Sarfraz Khurshid	Introducing Specification-Based Data Structure Repair Using Alloy.	ASM	2010	DBLP DOI BibTeX RDF
28	Petra Malik, Lindsay Groves, Clare Lenihan	Translating Z to Alloy.	ASM	2010	DBLP DOI BibTeX RDF
28	Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias	ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models.	ASM	2010	DBLP DOI BibTeX RDF