Search results for "Alloy"

Hits ?▲	Authors	Title	Venue	Year	Link
14	S. M. Ganechari, V. R. Kabadi, S. A. Kori	Study of surface roughness and hardness of low carbon nickel-chromium based alloy steels under high temperature (AISI sae8630, 3140 & 9310).	ICWET	2011	DBLP DOI BibTeX RDF
14	Shadi Abdul Khalek, Guowei Yang 0001, Lingming Zhang 0001, Darko Marinov, Sarfraz Khurshid	TestEra: A tool for testing Java programs using alloy specifications.	ASE	2011	DBLP DOI BibTeX RDF
14	Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry	A case for alloy annotations for efficient incremental analysis via domain specific solvers.	ASE	2011	DBLP DOI BibTeX RDF
14	David J. Power, Mark Slaymaker, Andrew Simpson	Automatic Conformance Checking of Role-Based Access Control Policies via Alloy.	ESSoS	2011	DBLP DOI BibTeX RDF
14	Maosheng Yang, Yuquan Bi, Yueliang Chen, Li Xu	Studying on influencing factors of Fretting fatigue life of aluminum alloy.	ISI	2011	DBLP DOI BibTeX RDF
14	Danfeng Zhang, Xiaoming Tan, Yueliang Chen	Distribution rule of corrosion damage morphology parameters for aluminum alloy.	ISI	2011	DBLP DOI BibTeX RDF
14	Yueliang Chen, Guixue Bian, Lin Yi, Jianjun Hu	Study on distributions of fatigue crack-nucleating particle sizes and cracks formation in aluminum alloy.	ISI	2011	DBLP DOI BibTeX RDF
14	Lilia Georgieva	Modelling of security properties in Alloy.	PST	2011	DBLP DOI BibTeX RDF
14	Vikas Upadhyay, Pramod K. Jain, N. K. Mehta	Artificial Neural Network Modeling of Cutting Force in Turning of Ti-6Al-4V Alloy and Its Comparison with Response Surface Methodology.	SocProS (2)	2011	DBLP DOI BibTeX RDF
14	Shanqiang Wu, Peipei Huang	A Micro Wall-Climbing Robot Using Shape Memory Alloy.	ICDMA	2011	DBLP DOI BibTeX RDF
14	Xiaolong Shen, Laixi Zhang, Chenggao Ren	Influence of Milling Conditions on the Surface Quality in High-Speed Milling of Titanium Alloy.	CSEE (1)	2011	DBLP DOI BibTeX RDF
14	Ana Gabriela Garis, Alcino Cunha, Daniel Riesco	Translating Alloy Specifications to UML Class Diagrams Annotated with OCL.	SEFM	2011	DBLP DOI BibTeX RDF
14	Somasundar Kannan	Modeling and control of Shape Memory Alloy Actuator. (Modélisation et commande de actionneurs à alliage à memoire de forme).		2011	RDF
14	Kai Yang	Research and Application of New Inserted Shape Memory Alloy Actuators.	IEEE Trans. Ind. Electron.	2010	DBLP DOI BibTeX RDF
14	Nikos Tsourveloudis	Predictive Modeling of the Ti6Al4V Alloy Surface Roughness.	J. Intell. Robotic Syst.	2010	DBLP DOI BibTeX RDF
14	Binrui Wang, Yinglian Jin, Dong Wei	Modeling of pneumatic muscle with shape memory alloy and braided sleeve.	Int. J. Autom. Comput.	2010	DBLP DOI BibTeX RDF
14	Michael Selzer, Britta Nestler, Denis Danilov	Influence of the phase diagram on the diffuse interface thickness and on the microstructure formation in a phase-field model for binary alloy.	Math. Comput. Simul.	2010	DBLP DOI BibTeX RDF
14	Mohamed Khalifa 0003, Faisal I. Khan, Mahmoud Haddara	Reliability based inspection of nickel-based alloy welds in boiling water reactor environment.	Reliab. Eng. Syst. Saf.	2010	DBLP DOI BibTeX RDF
14	Carmine Lucignano, Roberto Montanari 0002, Vincenzo Tagliaferri, Nadia Ucciardello	Artificial neural networks to optimize the extrusion of an aluminium alloy.	J. Intell. Manuf.	2010	DBLP DOI BibTeX RDF
14	C. Natarajan, S. Muthu, P. Karuppuswamy	Investigations on surface characteristics over an Aluminium alloy in CNC turning operation.	Int. J. Knowl. Based Intell. Eng. Syst.	2010	DBLP DOI BibTeX RDF
14	Gabriele Gilardi, Edmund Haslam, Vishalini Bundhoo, Edward J. Park	A shape memory alloy based tendon-driven actuation system for biomimetic artificial fingers, part II: modelling and control.	Robotica	2010	DBLP DOI BibTeX RDF
14	Mansur Ahmed, Tama Fouzder, Ahmed Sharif, Asit Kumar Gain, Y. C. Chan	Influence of Ag micro-particle additions on the microstructure, hardness and tensile properties of Sn-9Zn binary eutectic solder alloy.	Microelectron. Reliab.	2010	DBLP DOI BibTeX RDF
14	B. Dompierre, W. C. Maia Filho, M. Brizoux, Véronique Aubin, Eric Charkaluk	Thermal ageing induces drastic changes on mechanical and damage behavior of Sn3.0Ag0.5Cu alloy.	Microelectron. Reliab.	2010	DBLP DOI BibTeX RDF
14	Hyomi Kim, Jongmin Kim 0004, Jooheon Kim	Effects of novel carboxylic acid-based reductants on the wetting characteristics of anisotropic conductive adhesive with low melting point alloy filler.	Microelectron. Reliab.	2010	DBLP DOI BibTeX RDF
14	Qian Zhang 0002, Mahdi Mahfouf	A nature-inspired multi-objective optimisation strategy based on a new reduced space searching algorithm for the design of alloy steels.	Eng. Appl. Artif. Intell.	2010	DBLP DOI BibTeX RDF
14	José Luís Huertas Talón, Juan Carlos Cisneros Ortega, Carmelo López Gómez, Elena Ros Sancho, Elena Faci Olmos	Manufacture of a spur tooth gear in Ti-6Al-4V alloy by electrical discharge.	Comput. Aided Des.	2010	DBLP DOI BibTeX RDF
14	Bernardo F. B. Braga, João Paulo A. Almeida, Giancarlo Guizzardi, Alessander Botti Benevides	Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method.	Innov. Syst. Softw. Eng.	2010	DBLP DOI BibTeX RDF
14	Stephen N. Mailu, Tesfaye Waryo, Peter M. Ndangili, Fanelwa R. Ngece, Abd A. Baleg, Priscilla G. L. Baker, Emmanuel I. Iwuoha	Determination of Anthracene on Ag-Au Alloy Nanoparticles/Overoxidized-Polypyrrole Composite Modified Glassy Carbon Electrodes.	Sensors	2010	DBLP DOI BibTeX RDF
14	Shu-Hung Liu, Tse-Shih Huang, Jia-Yush Yen	Tracking Control of Shape-Memory-Alloy Actuators Based on Self-Sensing Feedback and Inverse Hysteresis Compensation.	Sensors	2010	DBLP DOI BibTeX RDF
14	Chen-Fu Chu, Chao-Chen Cheng, Wen-Huan Liu, Jiunn-Yi Chu, Feng-Hsu Fan, Hao-Chun Cheng, Trung Doan, Chuong Anh Tran	High Brightness GaN Vertical Light-Emitting Diodes on Metal Alloy for General Lighting Application.	Proc. IEEE	2010	DBLP DOI BibTeX RDF
14	Eduardo Torres-Jara, Kyle Gilpin, Josh Karges, Robert J. Wood, Daniela Rus	Compliant Modular Shape Memory Alloy Actuators.	IEEE Robotics Autom. Mag.	2010	DBLP DOI BibTeX RDF
14	Michael Walter 0003	Ligand Protected Gold Alloy Clusters as Superatoms.	High Performance Computing in Science and Engineering	2010	DBLP DOI BibTeX RDF
14	Lael Odhner, H. Harry Asada	Scaling up shape memory alloy actuators using a recruitment control architecture.	ICRA	2010	DBLP DOI BibTeX RDF
14	Chao-Chieh Lan, Chen-Hsien Fan	Investigation on pretensioned shape memory alloy actuators for force and displacement self-sensing.	IROS	2010	DBLP DOI BibTeX RDF
14	Shen Wang, Mahdi Mahfouf	Efficient multi-objective optimization with fitness landscape - A special application to the optimal design of alloy-steels.	IEEE Congress on Evolutionary Computation	2010	DBLP DOI BibTeX RDF
14	João Paulo Papa, Victor Hugo C. de Albuquerque, Alexandre X. Falcão, João Manuel R. S. Tavares	Fast Automatic Microstructural Segmentation of Ferrous Alloy Samples Using Optimum-Path Forest.	CompIMAGE	2010	DBLP DOI BibTeX RDF
14	Ying Feng, Camille Alain Rabbath, Henry Hong, Mohammad Al Janaideh, Chun-Yi Su	Robust control for shape memory alloy micro-actuators based flap positioning system.	ACC	2010	DBLP DOI BibTeX RDF
14	Ying Feng, Camille Alain Rabbath, Henry Hong, Chun-Yi Su, Wei Lin	Inverse hysteresis control for shape memory alloy micro-actuators based flap positioning system.	CDC	2010	DBLP DOI BibTeX RDF
14	Mohammad Mahdi Kheirikhah, Samaneh Rabiee, Mohammad Ehsan Edalat	A Review of Shape Memory Alloy Actuators in Robotics.	RoboCup	2010	DBLP DOI BibTeX RDF
14	Peter Oluoch Ating'a, Aneesh Krishna	Verification of i* Models Using Alloy.	ISD	2010	DBLP DOI BibTeX RDF
14	Razieh Nokhbeh Zaeem, Sarfraz Khurshid	Contract-Based Data Structure Repair Using Alloy.	ECOOP	2010	DBLP DOI BibTeX RDF
14	Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (eds.)	Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings	ABZ	2010	DBLP DOI BibTeX RDF
14	Baomin Sun, Yuanchao Liu, Zhaoyong Ding, Huifii Zhao, Wei Li	Carbon nanotubes deposited on the surface of alloy contained Fe and Ni by pyrolysis flame.	NEMS	2010	DBLP DOI BibTeX RDF
14	Min Han, Qiao Xu	Integrated optimization model for alloy addition of basic oxygen furnace based on Particle Swarm Optimization.	SMC	2010	DBLP DOI BibTeX RDF
14	Takanori Takeno, Hiroyuki Shiota, Hiroyuki Miki, Toshiyuki Takagi, Yun Luo	Carbon-Based Nanostructured Coatings on NiTi Shape Memory Alloy for Biomedical Applications.	ICIRA (2)	2010	DBLP DOI BibTeX RDF
14	Ding Fan, Jiankang Huang, Yu Shi, Lihui Lu	Fuzzy PID control of wire extension in pulsed MIG welding for aluminum alloy.	FSKD	2010	DBLP DOI BibTeX RDF
14	Yutaka Toi, Jie He	Dynamic and Cyclic Response Simulation of Shape Memory Alloy Devices.	ICCSA (3)	2010	DBLP DOI BibTeX RDF
14	Teodor Lucian Grigorie, Andrei Vladimir Popov, Ruxandra Mihaela Botez, Mahmoud Mamou, Youssef Mébarki	A Morphing Wing used Shape Memory Alloy Actuators New Control Technique with Bi-positional and PI Laws Optimum Combination - Part 2: Experimental Validation.	ICINCO (1)	2010	DBLP BibTeX RDF
14	Teodor Lucian Grigorie, Andrei Vladimir Popov, Ruxandra Mihaela Botez, Mahmoud Mamou, Youssef Mébarki	A Morphing Wing used Shape Memory Alloy Actuators New Control Technique with Bi-positional and PI Laws Optimum Combination - Part 1: Design Phase.	ICINCO (1)	2010	DBLP BibTeX RDF
14	S. M. Ganechari, V. R. Kabadi, S. A. Kori, R. G. Tikotkar	Studies of high temperature sliding wear of medium carbon Nickel-Chromium based alloy steel.	ICWET	2010	DBLP DOI BibTeX RDF
14	Sidahmed Gaffour, Mahdi Mahfouf, Yong Yao Yang	'Symbiotic' data-driven modelling for the accurate prediction of mechanical properties of alloy steels.	IEEE Conf. of Intelligent Systems	2010	DBLP DOI BibTeX RDF
14	Robrecht Haesevoets, Danny Weyns, Mário Henrique Cruz Torres, Alexander Helleboogh, Tom Holvoet, Wouter Joosen	A Middleware Model in Alloy for Supply Chain-Wide Agent Interactions.	AOSE	2010	DBLP DOI BibTeX RDF
14	Danhua Shao, Divya Gopinath, Sarfraz Khurshid, Dewayne E. Perry	A Case for Using Data-Flow Analysis to Optimize Incremental Scope-Bounded Checking.	ASM	2010	DBLP DOI BibTeX RDF
14	Waël Hassan, Nadera Slimani, Kamel Adi, Luigi Logrippo	Secrecy UML Method for Model Transformations.	ASM	2010	DBLP DOI BibTeX RDF
14	David J. Power, Mark Slaymaker, Andrew Simpson	On the Modelling and Analysis of Amazon Web Services Access Policies.	ASM	2010	DBLP DOI BibTeX RDF
14	Thai Son Hoang, Jean-Raymond Abrial	Event-B Decomposition for Parallel Programs.	ASM	2010	DBLP DOI BibTeX RDF
14	David Michel 0001, Frédéric Gervais, Pierre Valarcher	B-ASM: Specification of ASM à la B.	ASM	2010	DBLP DOI BibTeX RDF
14	Alessandro Cavalcante Gurgel, Valério Gutemberg de Medeiros, Marcel Vinícius Medeiros Oliveira, David Boris Paul Déharbe	Integrating SMT-Solvers in Z and B Tools.	ASM	2010	DBLP DOI BibTeX RDF
14	Thiago C. de Sousa, Aryldo G. Russo	Starting B Specifications from Use Cases.	ASM	2010	DBLP DOI BibTeX RDF
14	Andrew Ireland, Gudmund Grov, Michael J. Butler	Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance.	ASM	2010	DBLP DOI BibTeX RDF
14	Nicolas Wu, Andrew Simpson	Towards Formally Templated Relational Database Representations in Z.	ASM	2010	DBLP DOI BibTeX RDF
14	Bruno Emerson Gurgel Gomes, David Déharbe, Anamaria Martins Moreira, Katia Moraes	Applying the B Method for the Rigorous Development of Smart Card Applications.	ASM	2010	DBLP DOI BibTeX RDF
14	Atif Mashkoor, Abderrahman Matoussi	Towards Validation of Requirements Models.	ASM	2010	DBLP DOI BibTeX RDF
14	Idir Aït-Sadoune, Yamine Aït Ameur	A Proof Based Approach for Formal Verification of Transactional BPEL Web Services.	ASM	2010	DBLP DOI BibTeX RDF
14	Stefan Hallerstede, Michael Leuschel, Daniel Plagge	Refinement-Animation for Event-B - Towards a Method of Validation.	ASM	2010	DBLP DOI BibTeX RDF
14	Stefan Hallerstede	Structured Event-B Models and Proofs.	ASM	2010	DBLP DOI BibTeX RDF
14	Abderrahman Matoussi, Dorian Petit	Improving Traceability between KAOS Requirements Models and B Specifications.	ASM	2010	DBLP DOI BibTeX RDF
14	Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala	Supporting Reuse in Event B Development: Modularisation Approach.	ASM	2010	DBLP DOI BibTeX RDF
14	Issam Maamria, Michael J. Butler, Andrew Edmunds, Abdolbaghi Rezazadeh	On an Extensible Rule-Based Prover for Event-B.	ASM	2010	DBLP DOI BibTeX RDF
14	Mamoun Filali-Amine, Julia Lawall	Development of a Synchronous Subset of AADL.	ASM	2010	DBLP DOI BibTeX RDF
14	Jameleddine Hassine	AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps.	ASM	2010	DBLP DOI BibTeX RDF
14	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications.	ASM	2010	DBLP DOI BibTeX RDF
14	Daniel Jackson 0001, Eunsuk Kang	A Structure for Dependability Arguments.	ASM	2010	DBLP DOI BibTeX RDF
14	Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson	B Model Abstraction Combining Syntactic and Semantic Methods.	ASM	2010	DBLP DOI BibTeX RDF
14	Edd Turner, Michael J. Butler, Michael Leuschel	A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking.	ASM	2010	DBLP DOI BibTeX RDF
14	Osman Hasan, Sofiène Tahar	Formal Probabilistic Analysis: A Higher-Order Logic Based Approach.	ASM	2010	DBLP DOI BibTeX RDF
14	Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah	Code Synthesis for Timed Automata: A Comparison Using Case Study.	ASM	2010	DBLP DOI BibTeX RDF
14	Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix	Using Event-B to Verify the Kmelia Components and Their Assemblies.	ASM	2010	DBLP DOI BibTeX RDF
14	James R. Williams, Fiona A. C. Polack, Richard F. Paige	Formal Analysis in Model Management: Exploiting the Power of CZT.	ASM	2010	DBLP DOI BibTeX RDF
14	Alban Tiberghien, Philippe Merle, Lionel Seinturier	Specifying Self-configurable Component-Based Systems with FracToy.	ASM	2010	DBLP DOI BibTeX RDF
14	Néstor Cataño, Camilo Rueda	Matelas: A Predicate Calculus Common Formal Definition for Social Networking.	ASM	2010	DBLP DOI BibTeX RDF
14	Steve Dunne, Frank Zeyda	Reactivising Classical B.	ASM	2010	DBLP DOI BibTeX RDF
14	Michael Altenhofen, Roozbeh Farahbod	Bârun: A Scripting Language for CoreASM.	ASM	2010	DBLP DOI BibTeX RDF
14	Elvinia Riccobene, Patrizia Scandurra	An Executable Semantics of the SystemC UML Profile.	ASM	2010	DBLP DOI BibTeX RDF
14	David Déharbe	Automatic Verification for a Class of Proof Obligations with SMT-Solvers.	ASM	2010	DBLP DOI BibTeX RDF
14	Iain Craig, Egon Börger	Synchronous Message Passing and Semaphores: An Equivalence Proof.	ASM	2010	DBLP DOI BibTeX RDF
14	Mark C. Reynolds	Lightweight Modeling of Java Virtual Machine Security Constraints.	ASM	2010	DBLP DOI BibTeX RDF
14	Hamid Bagheri, Kevin J. Sullivan	Architecture as an Independent Variable for Aspect-Oriented Application Descriptions.	ASM	2010	DBLP DOI BibTeX RDF
14	Joud S. Khoury, Chaouki T. Abdallah, Gregory L. Heileman	Towards Formalizing Network Architectural Descriptions.	ASM	2010	DBLP DOI BibTeX RDF
14	Mark Slaymaker, David J. Power, Andrew Simpson	Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods.	ASM	2010	DBLP DOI BibTeX RDF
14	Jennifer Sorge, Michael Poppleton, Michael J. Butler	A Basis for Feature-Oriented Modelling in Event-B.	ASM	2010	DBLP DOI BibTeX RDF
14	Michael Vernon, Frank Zeyda, Ana Cavalcanti 0001	Communication Systems in ClawZ.	ASM	2010	DBLP DOI BibTeX RDF
14	Abdulkadir Çevik, Nihat Atmaca, Talha Ekmekyapar, Ibrahim H. Güzelbey	Flexural buckling load prediction of aluminium alloy columns using soft computing techniques.	Expert Syst. Appl.	2009	DBLP DOI BibTeX RDF
14	Alberto Bellini, Marcello Colli, Eugenio Dragoni	Mechatronic Design of a Shape Memory Alloy Actuator for Automotive Tumble Flaps: A Case Study.	IEEE Trans. Ind. Electron.	2009	DBLP DOI BibTeX RDF
14	Manachai Toahchoodee, Indrakshi Ray	Using alloy to analyse a spatio-temporal access control model supporting delegation.	IET Inf. Secur.	2009	DBLP DOI BibTeX RDF
14	M. Jayaraman, R. Sivasubramanian, V. Balasubramanian, A. K. Lakshminarayanan	Application of RSM and ANN to predict the tensile strength of Friction Stir Welded A319 cast aluminium alloy.	Int. J. Manuf. Res.	2009	DBLP DOI BibTeX RDF
14	Tomoyuki Saito, Tadao Kagiwada, Hiroyuki Harada	Development of an Earthworm Robot with a Shape Memory Alloy and Braided Tube.	Adv. Robotics	2009	DBLP DOI BibTeX RDF
14	Peter A. Graf, Wesley B. Jones, Kwiseon Kim	A note on the virtual crystal approach to alloy optimization.	J. Comput. Phys.	2009	DBLP DOI BibTeX RDF
14	Vinod Kumar, J. S. Khamba	Parametric optimization of ultrasonic machining of co-based super alloy using the Taguchi multi-objective approach.	Prod. Eng.	2009	DBLP DOI BibTeX RDF
14	Bao Kha Nguyen, Kyoung Kwan Ahn	Feedforward Control of Shape Memory Alloy Actuators Using Fuzzy-Based Inverse Preisach Model.	IEEE Trans. Control. Syst. Technol.	2009	DBLP DOI BibTeX RDF