Search results for "alloy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
3	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
3	Neil C. C. Brown, Adam T. Sampson	Alloy: fast generic transformations for Haskell.	Haskell	2009	DBLP DOI BibTeX RDF	haskell, generic programming, alloy
3	Tahina Ramananandro	Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Model-finding, Mondex electronic purse, Refinement, Alloy, Security properties
3	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
3	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
3	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
3	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
3	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
3	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
3	Leonid Mikhailov, Michael J. Butler	An Approach to Combining B and Alloy.	ZB	2002	DBLP DOI BibTeX RDF	B-method, Alloy
3	Sarfraz Khurshid, Darko Marinov, Daniel Jackson	An analyzable annotation language.	OOPSLA	2002	DBLP DOI BibTeX RDF	alloy analyzer, alloy modeling language, compile-time analysis, specification language, java language
2	Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, Indrakshi Ray	On challenges of model transformation from UML to Alloy.	Software and System Modeling	2010	DBLP DOI BibTeX RDF
2	Klaus Marius Hansen, Mads Ingstrup	Modeling and analyzing architectural change with alloy.	SAC	2010	DBLP DOI BibTeX RDF
2	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
2	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
2	Jeremy L. Jacob	Trace Specifications in Alloy.	ASM	2010	DBLP DOI BibTeX RDF
2	Petra Malik, Lindsay Groves, Clare Lenihan	Translating Z to Alloy.	ASM	2010	DBLP DOI BibTeX RDF
2	Razieh Nokhbeh Zaeem, Sarfraz Khurshid	Introducing Specification-Based Data Structure Repair Using Alloy.	ASM	2010	DBLP DOI BibTeX RDF
2	Joseph P. Near, Daniel Jackson	An Imperative Extension to Alloy.	ASM	2010	DBLP DOI BibTeX RDF
2	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
2	Jun Lu, Zhihong Liang, Wanchun Qu	Optimal Design of Rotating Actuators Made by Magnetically Controlled Shape Memory Alloy.	HIS	2009	DBLP DOI BibTeX RDF	magnetically controlled shape memory alloy, rotating actuator, differentia, optimal design
2	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
2	Jhe-Hong Wang, Chen-Hsien Fan, Chao-Chieh Lan	A compact rotational manipulator using shape memory alloy wire actuated flexures.	ICRA	2009	DBLP DOI BibTeX RDF
2	Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng	Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.	FASE	2009	DBLP DOI BibTeX RDF
2	Rohit Gheyi, Tiago Massoni, Paulo Borba, Augusto Sampaio	A Complete Set of Object Modeling Laws for Alloy.	SBMF	2009	DBLP DOI BibTeX RDF
2	Theophilos Giannakopoulos, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi	Towards an Operational Semantics for Alloy.	FM	2009	DBLP DOI BibTeX RDF
2	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
2	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
2	Hiroaki Tanizaki, Takuya Katayama	Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy.	APSEC	2008	DBLP DOI BibTeX RDF
2	Kostyantyn Malukhin, Kornel Ehmann	Development of A Monolithic Shape Memory Alloy Manipulator.	IPAS	2008	DBLP DOI BibTeX RDF
2	Indira Escamilla, Luis Torres, Pedro Perez, Patricia Zambrano	A Comparison between Back Propagation and the Maximum Sensibility Neural Network to Surface Roughness Prediction in Machining of Titanium (Ti 6Al 4V) Alloy.	MICAI	2008	DBLP DOI BibTeX RDF	Machining parameters, Maximum Sensibility, Neural Network, Back Propagation, Surface Roughness
2	Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi	Modeling and Analysis of Reo Connectors Using Alloy.	COORDINATION	2008	DBLP DOI BibTeX RDF
2	Paulo J. Matos, João Marques-Silva	Model Checking Event-B by Encoding into Alloy.	ABZ	2008	DBLP DOI BibTeX RDF
2	Eunsuk Kang, Daniel Jackson	Formal Modeling and Analysis of a Flash Filesystem in Alloy.	ABZ	2008	DBLP DOI BibTeX RDF
2	Marcelo Coelho, Hiroshi Ishii, 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
2	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
2	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
2	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
2	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
2	Yubo Liu, Can Zhao, Jinping Hu, Mingjun Feng	Research on Cutting Parameters Optimization of High-Speed Milling Based on Orthogonal Experiment.	ICIRA	2008	DBLP DOI BibTeX RDF	high-speed milling, aluminum alloy, cutting parameters, surface roughness
2	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
2	Min-You Chen, Quandi Wang, Yongming Yang	A Hybrid Knowledge-Based Neural-Fuzzy Network Model with Application to Alloy Property Prediction.	ISNN	2007	DBLP DOI BibTeX RDF
2	Qian Zhang, Mahdi Mahfouf	A new Reduced Space Searching Algorithm (RSSA) and its application in optimal design of alloy steels.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
2	Junichi Urata, Tomoaki Yoshikai, Ikuo Mizuuchi, Masayuki Inaba	Design of high D.O.F. mobile micro robot using electrical resistance control of shape memory alloy.	IROS	2007	DBLP DOI BibTeX RDF
2	Jagadeesan Jayender, Rajnikant V. Patel	Master-slave control of an active catheter instrumented with shape memory alloy actuators.	IROS	2007	DBLP DOI BibTeX RDF
2	Yee Harn Teh, Roy Featherstone	Accurate Force Control and Motion Disturbance Rejection for Shape Memory Alloy Actuators.	ICRA	2007	DBLP DOI BibTeX RDF
2	Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang	Verification of Multi-agent Negotiations Using the Alloy Analyzer.	IFM	2007	DBLP DOI BibTeX RDF
2	Derek Mannering, Jon G. Hall, Lucia Rapanotti	Safety Process Improvement with POSE and Alloy.	SAFECOMP	2007	DBLP DOI BibTeX RDF
2	Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory	A specification-based approach to testing software product lines.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	product-lines, specification-based testing, test data generation, alloy, AHEAD, GenVoca
2	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
2	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
2	James D'Arcy Walsh, Francis Bordeleau, Bran Selic	Domain analysis of dynamic system reconfiguration.	Software and System Modeling	2007	DBLP DOI BibTeX RDF	based systems, driven development, Model-, UML, Component, Software evolution, Dynamic reconfiguration, System integrity, Feature modeling, Alloy
2	Luciano Baresi, Paola Spoletini	On the Use of Alloy to Analyze Graph Transformation Systems.	ICGT	2006	DBLP DOI BibTeX RDF
2	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
2	D. Roy Mahapatra, Roderick V. N. Melnik	Numerical Simulation of Phase Transformations in Shape Memory Alloy Thin Films.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
2	Wanda Benesova, Alfred Rinnhofer, Gerhard Jakob	Determining the Average Grain Size of Super-Alloy Micrographs.	ICIP	2006	DBLP DOI BibTeX RDF
2	Eric Lanteigne, Amor Jnifene	Design of a Link-Less Hyper-Redundant Manipulator and Composite Shape Memory Alloy Actuator.	CCECE	2006	DBLP DOI BibTeX RDF
2	Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova	An Automated Approach for Writing Alloy Specifications Using Instances.	ISoLA	2006	DBLP DOI BibTeX RDF
2	Anthony J. H. Simons, Carlos Alberto Fernández y Fernández	Using Alloy to model-check visual design notations.	ENC	2005	DBLP DOI BibTeX RDF
2	Juanhua Su, Hejun Li, Qiming Dong, Ping Liu	Modelling of Rolling and Aging Processes in Copper Alloy by Levenberg-Marquardt BP Algorithm.	ICNC	2005	DBLP DOI BibTeX RDF
2	Manachai Toahchoodee, Indrakshi Ray	Validation of Policy Integration Using Alloy.	ICDCIT	2005	DBLP DOI BibTeX RDF
2	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
2	Jing Sun 0002, Hongyu Zhang, 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
2	Pamela Zave	A Formal Model of Addressing for Interoperating Networks.	FM	2005	DBLP DOI BibTeX RDF	network requirements, networks, network design, Alloy
2	Mahdi Mahfouf, Min-You Chen, Derek A. Linkens	Adaptive Weighted Particle Swarm Optimisation for Multi-objective Optimal Design of Alloy Steels.	PPSN	2004	DBLP DOI BibTeX RDF
2	Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre	An Equational Calculus for Alloy.	ICFEM	2004	DBLP DOI BibTeX RDF
2	Han Zhang, Yves Bellouard, Etienne Burdet, Reymond Clavel, Aun Neow Poo, Dietmar Werner Hutmacher	Shape Memory Alloy Microgripper for Robotic Microassembly of Tissue Engineering Scaffolds.	ICRA	2004	DBLP DOI BibTeX RDF
2	Brian Selden, Kyu-Jin Cho, H. Harry Asada	Segmented Binary Control of Shape Memory Alloy Actuator Systems using the Peltier Effect.	ICRA	2004	DBLP DOI BibTeX RDF
2	Young Pyo Lee, Byungkyu Kim, Moon Gu Lee, Jong-Oh Park	Locomotive Mechanism Design and Fabrication of Biomimetic Micro Robot using Shape Memory Alloy.	ICRA	2004	DBLP DOI BibTeX RDF
2	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
2	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
2	Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson	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
2	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
2	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
2	M. Y. Serry, D. W. Raboud, Walied A. Moussa	Finite-Element Modeling of Shape Memory Alloy Components in Smart Structures, Part I: Non-Linear Coupled Field Finite Element Procedure.	ICMENS	2003	DBLP DOI BibTeX RDF
2	Daniel Jackson	Alloy: A Logical Modelling Language.	ZB	2003	DBLP DOI BibTeX RDF
2	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
2	Mana Taghdiri, Daniel Jackson	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
2	Daniel Jackson	Alloy: a lightweight object modelling notation.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	first-order logic, Object models, Z specification language
2	Daniel Jackson	Alloy: A New Technology for Software Modelling.	TACAS	2002	DBLP DOI BibTeX RDF
2	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
2	Pascal Fenkam, Harald 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
2	Mahdi Mahfouf, J. Tenner, Derek A. Linkens, Maysam F. Abbod	Optimal design of alloy steels using evolutionary computing.	KES	2000	DBLP DOI BibTeX RDF
2	Daniel Jackson, 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
2	Daniel Jackson, 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
2	D. Perreux, C. Lexcellent	Theoretical and Experimental Study of a Smart Hinge-Beam Based on Shape Memory Alloy Wire Actuators.	Journal of Intelligent and Robotic Systems	1999	DBLP DOI BibTeX RDF	shape memory alloys, recovery stress, smart hinge beam modelling, intelligent system, smart materials, shape control
2	Ingemar A. E. Hulthage, Mark S. Fox, Michael D. Rychener, Martha L. Farinacci	The Architecture of ALADIN: A Knowledge-Based Approach to Alloy Design.	IEEE Expert	1990	DBLP DOI BibTeX RDF
2	Thanasis Mitsolides, Malcolm Harrison	Generators and the Replicator Control Structures in the Parallel Environment of ALLOY.	PLDI	1990	DBLP DOI BibTeX RDF
1	M. Senthil Kumar, V. Raj Kumar, S. Shyamkirthi	Shape Memory Alloy Based Actively Tuned Undamped Mass Absorber.	IJMMME	2012	DBLP DOI BibTeX RDF
1	Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri	A Proof Assistant for Alloy Specifications.	TACAS	2012	DBLP DOI BibTeX RDF
1	Jiaxu Wang, Xijin Hua, Ke Xiao, Juanjuan Zhu	Two-dimensional study of lubrication mechanism of water-lubricated rubber alloy bearing.	IJCAT	2011	DBLP DOI BibTeX RDF
1	Qian Zhang, Mahdi Mahfouf	A hierarchical Mamdani-type fuzzy modelling approach with new training data selection and multi-objective optimisation mechanisms: A special application for the prediction of mechanical properties of alloy steels.	Appl. Soft Comput.	2011	DBLP DOI BibTeX RDF
1	Vinícius Piccirillo, Luiz Carlos Sandoval Góes, José Manoel Balthazar	Some Remarks on bifurcation Analysis of a nonlinear vibrating System excited by a Shape Memory Alloy Material (SMA).	I. J. Bifurcation and Chaos	2011	DBLP DOI BibTeX RDF
1	Qiang Liu, Xiao Nong Cheng, Huang Xia Fei	Effects of micro-magnetic field at the surface of 316L and NiTi alloy on blood compatibility.	Med. Biol. Engineering and Computing	2011	DBLP DOI BibTeX RDF
1	Saeed Zare Chavoshi	Tool flank wear prediction in CNC turning of 7075 AL alloy SiC composite.	Production Engineering	2011	DBLP DOI BibTeX RDF
1	Meisam Salahshoor, Yuebin Guo	Surface integrity of biodegradable orthopedic magnesium-calcium alloy by high-speed dry face milling.	Production Engineering	2011	DBLP DOI BibTeX RDF
1	Jing Nie, Xiao-Feng Meng, Yu Shi	Study on Evaluation Method of Aluminum alloy Pulse MIG Welding Stability Based on Arc Voltage Probability Density.	J. Signal and Information Processing	2011	DBLP DOI BibTeX RDF
1	S. Y. Pang, L. L. Chen, J. X. Zhou, D. M. Liao, Y. J. Yin, T. Chen, A. Q. Duan	Numerical simulation of non-convex heat transfer of the weld pool surface during laser welding of titanium alloy.	IJMTM	2011	DBLP DOI BibTeX RDF
1	Rupashree Goswami, R. K. Jena, B. B. Mahapatro	Psycho-Social Impact of Shift Work: A Study of Ferro-Alloy Industries in Orissa.	IJABIM	2011	DBLP DOI BibTeX RDF