Search results for "Alloy"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Naveenbalaji Gowthaman, Viranjay M. Srivastava	Arbitrary Alloy Semiconductor Material Based DG MOSFET for High-Frequency Industrial and Hybrid Consumer Applications.	AFRICON	2021	DBLP DOI BibTeX RDF
14	Wenxi Wang, Pu Yi 0001, Sarfraz Khurshid, Darko Marinov	Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy.	ICTSS	2021	DBLP DOI BibTeX RDF
14	Sean Thomas, Gabriel Maquignaz, Adrien Thabuis, Yves Perriard	A Self-Biasing Shape Memory Alloy Gripper for Lightweight Applications.	IROS	2021	DBLP DOI BibTeX RDF
14	Haibing Xiao, Encheng Zhang, Songling Zhang, Huarui Jiang, Lijun Wang	Research on Experimental Optimization of Nanosecond Laser Cleaning Technology for Thin Oxide Layer on Aluminum Alloy Surface.	AIAM (ACM)	2021	DBLP DOI BibTeX RDF
14	Chun Qin, Wei Li 0005, Ning Li, Chenyang Wang, Yanzhe Li	Effect of Heat Treatment on Microstructure and Plastic Property of Alloy as Casted Condition.	AIAM (ACM)	2021	DBLP DOI BibTeX RDF
14	Chenxu Yang, Lixia Huang, Dexiu Dong, Jiahui Shen, Haitao Wang, Qiufeng Li	PSM Imaging Method for Water Immersion Ultrasonic Phased Array Inspection of Diffusion Welding of Titanium Alloy.	AIAM (ACM)	2021	DBLP DOI BibTeX RDF
14	Ling Chen, David Renshaw, Michael Kellam, Ritaban Dutta, Daniel Liang	Characterization of Reversibly-Actuating Shape Memory Alloy Foils Produced By Planar Flow Casting.	IEEE SENSORS	2021	DBLP DOI BibTeX RDF
14	Tamjid Hossain, Nancy A. Day	Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems.	RE Workshops	2021	DBLP DOI BibTeX RDF
14	Yasuyuki Shiraishi, Akihiro Yamada, Genta Sahara, Tomoyuki Yambe, Kengo Kato, Jun Ohta, Yukio Katori, Dai Homma	Design of an Artificial Tongue Driven by Shape Memory Alloy Fibers.	EMBC	2021	DBLP DOI BibTeX RDF
14	Yuki Miyahara, Ryu Kato	Development of Thin Vibration Sheets Using a Shape Memory Alloy Actuator for the Tactile Feedback of Myoelectric Prosthetic hands.	EMBC	2021	DBLP DOI BibTeX RDF
14	Qi Wang, Lutao Yan, Mingzhe Li, Haiyuan Li, Bin Zhang	Reliability Analysis of Continuum Robot Actuated by Shape Memory Alloy (SMA).	CACRE	2021	DBLP DOI BibTeX RDF
14	Michele A. Mandolino, Yannik Goergen, Paul Motzki, Gianluca Rizzello	Design and Characterization of a Fully Integrated Continuum Robot Actuated by Shape Memory Alloy Wires.	AMC	2021	DBLP DOI BibTeX RDF
14	Trevor L. Buckner, Rebecca Kramer-Bottiglio	Design Parameters for Stacked-Ribbon Shape-Memory Alloy Bending Actuators*.	RoboSoft	2021	DBLP DOI BibTeX RDF
14	Baofu Sun, Wei Ning, Jiaqi Chen	Preparation of TC4 titanium alloy by electron beam selective melting.	ICIIP	2021	DBLP DOI BibTeX RDF
14	Tanvir Ahmed Khan, Allison Sullivan, Kaiyuan Wang	AlloyFL: a fault localization framework for Alloy.	ESEC/SIGSOFT FSE	2021	DBLP DOI BibTeX RDF
14	Laura Millán, Gabriel Kronberger, José Ignacio Hidalgo, Ricardo Fernández, Oscar Garnica, Gaspar González-Doncel	Estimation of Grain-Level Residual Stresses in a Quenched Cylindrical Sample of Aluminum Alloy AA5083 Using Genetic Programming.	EvoApplications	2021	DBLP DOI BibTeX RDF
14	Yabin Xu, Shengjie Sun, Zhuang Wu	Gibbs Free-energy Prediction Method for Iron-base Alloy Materials Based on Deep Learning*.	CCCI	2021	DBLP DOI BibTeX RDF
14	Faheem Ullah Khan, Shahid Mehmood, Xiaojin Zhao, Yatao Yang, Xiaofang Pan	Ultra-Sensitive Bimetallic Alloy Loaded with Porous Architecture MOF for Ammonia Detection at Room Temperature.	ISCAS	2021	DBLP DOI BibTeX RDF
14	Ahmad Alminnawi, Yo Kobayashi, Tomohiro Otani, Masao Tanaka	Shape Memory Alloy Actuated Ankle Foot Orthosis for Reduction of Locomotion Force.	WAC	2021	DBLP DOI BibTeX RDF
14	Md. Minarul Islam, Kashem M. Muttaqi, Danny Sutanto	Parameter Design and Performance Analysis of a Saturated Amorphous Alloy Core Based Fault Current Limiter for Power Grid Applications.	IAS	2021	DBLP DOI BibTeX RDF
14	Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias	BeAFix: An Automated Repair Tool for Faulty Alloy Models.	ASE	2021	DBLP DOI BibTeX RDF
14	Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri	FLACK: Localizing Faults in Alloy Models.	ASE	2021	DBLP DOI BibTeX RDF
14	Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias	Bounded Exhaustive Search of Alloy Specification Repairs.	ICSE	2021	DBLP DOI BibTeX RDF
14	Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias	Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.	ICSE (Companion Volume)	2021	DBLP DOI BibTeX RDF
14	Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri	Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.	ICSE (Companion Volume)	2021	DBLP DOI BibTeX RDF
14	Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri	FLACK: Counterexample-Guided Fault Localization for Alloy Models.	ICSE	2021	DBLP DOI BibTeX RDF
14	Shota Otomo, Masakazu Koike, Feifei Zhang, Masanori Ito	Construction of models for Hydrogen Storage Alloy Canister.	SICE	2021	DBLP BibTeX RDF
14	Tiago Fernandes Tavares, Thales Roel P. Pessanha, Gustavo Nishihara, Guilherme Zanchetta L. Avila	Alloy Sounds: Non-Repeating Sound Textures with Probabilistic Cellular Automata.	DAFx	2021	DBLP DOI BibTeX RDF
14	Sung-Tsun Shih, Pei-Yu Chen	Effects of Ti addition on the microstructure and mechanical properties of CoCrFeMnNi high-entropy alloy.	ISPACS	2021	DBLP DOI BibTeX RDF
14	Chih-Hsueh Lin, Chia-Wei Ho, Guo-Hsin Hu, Po-Chun Kuo, Chia-Yen Hu	Alloy Cast Product Defect Detection Based on Object Detection.	ISPACS	2021	DBLP DOI BibTeX RDF
14	Wislayne Dayanne P. da Silva, Tony Carlos Moura Cavalcanti, Jaidilson Jó da Silva, Angelo Perkusich	Experimental Platform for Obtaining Electrical Resistance of a Shape Memory Alloy Actuator.	CSEDU (1)	2021	DBLP DOI BibTeX RDF
14	Vladimir Tarasov, He Tan, Anders E. W. Jarfors, Salem Seifeddine	Fuzzy logic-based modelling of yield strength of as-cast A356 alloy.	Neural Comput. Appl.	2020	DBLP DOI BibTeX RDF
14	Flur Rashitovich Ismagilov, Luca Papini, Viacheslav Evgenievich Vavilov, Denis Valerievich Gusakov	Design and Performance of a High-Speed Permanent Magnet Generator with Amorphous Alloy Magnetic Core for Aerospace Applications.	IEEE Trans. Ind. Electron.	2020	DBLP DOI BibTeX RDF
14	Filomena Simone, Gianluca Rizzello, Stefan Seelecke, Paul Motzki	A Soft Five-Fingered Hand Actuated by Shape Memory Alloy Wires: Design, Manufacturing, and Evaluation.	Frontiers Robotics AI	2020	DBLP DOI BibTeX RDF
14	Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi	Transitive-closure-based model checking (TCMC) in Alloy.	Softw. Syst. Model.	2020	DBLP DOI BibTeX RDF
14	Saurabh Dewangan, Suraj Kumar Mohapatra, Abhishek Sharma	An assessment into mechanical properties and microstructural behavior of TIG welded Ti-6Al-4V titanium alloy.	Grey Syst. Theory Appl.	2020	DBLP DOI BibTeX RDF
14	Hiroki Matsumori, Mingcong Deng, Yuichi Noge	An Operator-based Nonlinear Vibration Control System Using a Flexible Arm with Shape Memory Alloy.	Int. J. Autom. Comput.	2020	DBLP DOI BibTeX RDF
14	Syed Imran Hussain Shah, Anirban Sarkar 0004, Sungjoon Lim	Electromechanically Deployable High-Gain Pop-Up Antenna Using Shape Memory Alloy and Kirigami Technology.	IEEE Access	2020	DBLP DOI BibTeX RDF
14	Tao Li 0029, Youtong Zhang, Yuxiu Liang, Qiang Ai, Haishi Dou	Multiphysics Analysis of an Axial-Flux In-Wheel Motor With an Amorphous Alloy Stator.	IEEE Access	2020	DBLP DOI BibTeX RDF
14	Taher A. Shehabeldeen, Mohamed Abd El-Aziz 0001, Ammar H. Elsheikh, Osama Farouk Hassan, Yajun Yin, Xiaoyuan Ji, Xu Shen, Jianxin Zhou	A Novel Method for Predicting Tensile Strength of Friction Stir Welded AA6061 Aluminium Alloy Joints Based on Hybrid Random Vector Functional Link and Henry Gas Solubility Optimization.	IEEE Access	2020	DBLP DOI BibTeX RDF
14	Wenchao Li, Junjie Chang, Wentao Li, Xiaoyun Long	Variable Aperture Method of Ultrasonic Annular Array for the Detection of Addictive Manufacturing Titanium Alloy.	J. Sensors	2020	DBLP DOI BibTeX RDF
14	Dongdong Kong, Yongjie Chen, Ning Li 0019, Chaoqun Duan, Lixin Lu, Dongxing Chen	Tool Wear Estimation in End Milling of Titanium Alloy Using NPE and a Novel WOA-SVM Model.	IEEE Trans. Instrum. Meas.	2020	DBLP DOI BibTeX RDF
14	Dali Chen, Dinghao Guo, Shixin Liu, Fang Liu	Microstructure Instance Segmentation from Aluminum Alloy Metallographic Image Using Different Loss Functions.	Symmetry	2020	DBLP DOI BibTeX RDF
14	Fang Yu, Yu Liu	First-Principles Calculations of High-Pressure Physical Properties of Ti0.5Ta0.5 Alloy.	Symmetry	2020	DBLP DOI BibTeX RDF
14	Dali Chen, Yang Liu, Shixin Liu, Fang Liu, Yangquan Chen	Framework of Specific Description Generation for Aluminum Alloy Metallographic Image Based on Visual and Language Information Fusion.	Symmetry	2020	DBLP DOI BibTeX RDF
14	Haibin Yin, Lei Tian 0004, Guilin Yang	Design of fibre array muscle for soft finger with variable stiffness based on nylon and shape memory alloy.	Adv. Robotics	2020	DBLP DOI BibTeX RDF
14	Yongxiong Wang, Chuanfei Hu, Kai Chen, Zhong Yin	Self-attention guided model for defect detection of aluminium alloy casting on X-ray image.	Comput. Electr. Eng.	2020	DBLP DOI BibTeX RDF
14	Sunil Kumar, Ravindra Nath Yadav, Raghuvir Kumar	Empirical modeling and multi-response optimization of duplex turning for Ni-718 alloy.	Int. J. Syst. Assur. Eng. Manag.	2020	DBLP DOI BibTeX RDF
14	James R. G. Parkinson, Daniel F. Martin, Andrew J. Wells, Richard F. Katz	Modelling binary alloy solidification with adaptive mesh refinement.	J. Comput. Phys. X	2020	DBLP DOI BibTeX RDF
14	George S. Baggs, Paul Guerrier, Andrew Loeb, Jason C. Jones	Automated Copper Alloy Grain Size Evaluation Using a Deep-learning CNN.	CoRR	2020	DBLP BibTeX RDF
14	Gregory H. Teichert, Anirudh Natarajan, Anton Van der Ven, Krishna C. Garikipati	Active learning workflows and integrable deep neural networks for representing the free energy functions of alloy.	CoRR	2020	DBLP BibTeX RDF
14	Saeid Shakiba, Aghil Yousefi-Koma, Mehdi Jokar, Mohammad Reza Zakerzadeh, Hamid Basaeri	Modeling and characterization of the shape memory alloy-based morphing wing behavior using proposed rate-dependent Prandtl-Ishlinskii models.	J. Syst. Control. Eng.	2020	DBLP DOI BibTeX RDF
14	Kuntal Maji, Gautam Kumar	Inverse analysis and multi-objective optimization of single-point incremental forming of AA5083 aluminum alloy sheet.	Soft Comput.	2020	DBLP DOI BibTeX RDF
14	Vishal John Mathai, Harshit K. Dave, Keyur P. Desai	Characterisation and modelling of tool electrode wear during planetary EDM of titanium grade 5 alloy.	Int. J. Manuf. Technol. Manag.	2020	DBLP DOI BibTeX RDF
14	Smrutirekha Sen, Sudheer Reddy, P. G. Mukunda	Mechanical characterisation of Al and Al-4%Cu alloy prepared by horizontal centrifugal casting process.	Int. J. Manuf. Technol. Manag.	2020	DBLP DOI BibTeX RDF
14	Chen Zhang, Yewei Yu, Yifan Wang, Miaolei Zhou	Takagi-Sugeno Fuzzy Neural Network Hysteresis Modeling for Magnetic Shape Memory Alloy Actuator Based on Modified Bacteria Foraging Algorithm.	Int. J. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
14	Ivan A. Ditenberg, Ivan V. Smirnov, Michail A. Korchagin, Konstantin V. Grinyaev, Vladlen V. Melnikov, Yuriy P. Pinzhin, Alexander I. Gavrilov, Maksim A. Esikov, Vyacheslav I. Mali, Dina V. Dudina	Structure and Phase Composition of a W-Ta-Mo-Nb-V-Cr-Zr-Ti Alloy Obtained by Ball Milling and Spark Plasma Sintering.	Entropy	2020	DBLP DOI BibTeX RDF
14	Anjun Shi, Ruixuan Li 0006, Yong Zhang 0003, Zhe Wang, Zhancheng Guo	Effect of Enhanced Gravity on the Microstructure and Mechanical Properties of Al0.9CoCrFeNi High-Entropy Alloy.	Entropy	2020	DBLP DOI BibTeX RDF
14	Chunxia Jiang, Rongbin Li, Xin Wang, Hailong Shang, Yong Zhang 0003, Peter K. Liaw	Diffusion Barrier Performance of AlCrTaTiZr/AlCrTaTiZr-N High-Entropy Alloy Films for Cu/Si Connect System.	Entropy	2020	DBLP DOI BibTeX RDF
14	Yiku Xu, Congling Li, Zhaohao Huang, Yongnan Chen, Lixia Zhu	Microstructure Evolution and Mechanical Properties of FeCoCrNiCuTi0.8 High-Entropy Alloy Prepared by Directional Solidification.	Entropy	2020	DBLP DOI BibTeX RDF
14	Congyan Zhang, Uttam Bhandari, Congyuan Zeng, Huan Ding, Shengmin Guo, Jinyuan Yan, Shizhong Yang	Carbide Formation in Refractory Mo15Nb20Re15Ta30W20 Alloy under a Combined High-Pressure and High-Temperature Condition.	Entropy	2020	DBLP DOI BibTeX RDF
14	Ya-Chu Hsu, Chia-Lin Li, Chun-Hway Hsueh	Effects of Al Addition on Microstructures and Mechanical Properties of CoCrFeMnNiAlx High Entropy Alloy Films.	Entropy	2020	DBLP DOI BibTeX RDF
14	Bharat Gwalani, Tianhao Wang 0012, Abhinav Jagetia, Sindhura Gangireddy, Saideep Muskeri, Sundeep Mukherjee, Jeffrey T. Lloyd, Rajarshi Banerjee, Rajiv S. Mishra	Dynamic Shear Deformation of a Precipitation Hardened Al0.7CoCrFeNi Eutectic High-Entropy Alloy Using Hat-Shaped Specimen Geometry.	Entropy	2020	DBLP DOI BibTeX RDF
14	Ningning Liang, Xiang Wang, Yang Cao, Yusheng Li 0006, Yuntian Zhu, Yonghao Zhao	Effective Surface Nano-Crystallization of Ni2FeCoMo0.5V0.2 Medium Entropy Alloy by Rotationally Accelerated Shot Peening (RASP).	Entropy	2020	DBLP DOI BibTeX RDF
14	Yongkun Mu, Liangbo Zhang, Long Xu, Kondagokuldoss Prashanth, Nizhen Zhang, Xindi Ma, Yuefei Jia, Yulai Xu, Yandong Jia, Gang Wang	Frictional Wear and Corrosion Behavior of AlCoCrFeNi High-Entropy Alloy Coatings Synthesized by Atmospheric Plasma Spraying.	Entropy	2020	DBLP DOI BibTeX RDF
14	Feng Wang, Xiuhua Men, Yanjie Liu, Xiuli Fu	Experiment and simulation study on influence of ultrasonic rolling parameters on residual stress of Ti-6Al-4V alloy.	Simul. Model. Pract. Theory	2020	DBLP DOI BibTeX RDF
14	Morteza Sadeghifar, Mahshad Javidikia, Victor Songmene, Mohammad Jahazi	Finite element simulation-based predictive regression modeling and optimum solution for grain size in machining of Ti6Al4V alloy: Influence of tool geometry and cutting conditions.	Simul. Model. Pract. Theory	2020	DBLP DOI BibTeX RDF
14	Mehmet Aydin 0003, Ugur Köklü	Analysis of flat-end milling forces considering chip formation process in high-speed cutting of Ti6Al4V titanium alloy.	Simul. Model. Pract. Theory	2020	DBLP DOI BibTeX RDF
14	Huifang Liu, Chen Cong, Chongdong Cao, Qiang Zhao	Analysis of the Key Factors Affecting the Capability and Optimization for Magnetostrictive Iron-Gallium Alloy Ambient Vibration Harvesters.	Sensors	2020	DBLP DOI BibTeX RDF
14	Marcus Vinicius Lopes 0002, Edycleyson Carlos de Souza, João Gustavo Santos, João Medeiros de Araujo, Lessandro Lima, Alexandre Barbosa de Oliveira, Felipe Bohn, Marcio Assolin Correa	Modulating the Spin Seebeck Effect in Co2FeAl Heusler Alloy for Sensor Applications.	Sensors	2020	DBLP DOI BibTeX RDF
14	Weifang Zhang, Meng Zhang 0008, Yudong Lan, Yan Zhao 0024, Wei Dai 0005	Detection of Crack Locations in Aluminum Alloy Structures Using FBG Sensors.	Sensors	2020	DBLP DOI BibTeX RDF
14	Arfan Majeed, Yingfeng Zhang, Jingxiang Lv, Tao Peng 0012, Zahid Atta, Altaf Ahmed	Investigation of T4 and T6 heat treatment influences on relative density and porosity of AlSi10Mg alloy components manufactured by SLM.	Comput. Ind. Eng.	2020	DBLP DOI BibTeX RDF
14	Chenghao Yang, Shineng Geng, Ian D. Walker, David T. Branson, Jinguo Liu, Jian S. Dai, Rongjie Kang	Geometric constraint-based modeling and analysis of a novel continuum robot with Shape Memory Alloy initiated variable stiffness.	Int. J. Robotics Res.	2020	DBLP DOI BibTeX RDF
14	Michael J. Butler, Alexander Raschke	Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018).	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
14	Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider 0001, Marc Frappier	Translating Alloy and extensions to classical B.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
14	Yasser Mahmoud Alsayed, Ahmed Ali Abouelsoud, Ahmed M. R. Fath El-Bab	Intelligent position control of Shape Memory Alloy helical Spring actuator.	Mechatron. Syst. Control.	2020	DBLP DOI BibTeX RDF
14	Manisekaran Varadharajan, Prakash Duraisamy, Anitha Karthikeyan	Route to Chaos and Bistability Analysis of Quasi-Periodically Excited Three-Leg Supporter with Shape Memory Alloy.	Complex.	2020	DBLP DOI BibTeX RDF
14	Jinbin Wang, Lifeng Ma	Bogdanov-Takens Bifurcation in a Shape Memory Alloy Oscillator with Delayed Feedback.	Complex.	2020	DBLP DOI BibTeX RDF
14	Atsushi Ezura, Kazutoshi Katahira, Jun Komotori	Generation of Biocompatible Titanium Alloy Surfaces Including Calcium and Phosphorus Elements by Laser-Induced Mist Spraying Wet Treatment.	Int. J. Autom. Technol.	2020	DBLP DOI BibTeX RDF
14	Makoto Nikawa, Yu Iba, Minoru Yamashita	Solid Fraction Examination at Flow Cessation and Flow Cessation Mechanism of Al-Si-Mg Alloy.	Int. J. Autom. Technol.	2020	DBLP DOI BibTeX RDF
14	Qingrui Gong, Pei Qiu, Shaolin Xu	Evolution of Chip-Deformation Mechanisms with Increasing Temperature in Laser-Assisted Microcutting of Amorphous Alloy.	Int. J. Autom. Technol.	2020	DBLP DOI BibTeX RDF
14	Chenyao Cao, Jiang Zhu, Tomohisa Tanaka, Dinh Ngoc Pham	Investigation of Corrosion Resistance Enhancement for Biodegradable Magnesium Alloy by Ball Burnishing Process.	Int. J. Autom. Technol.	2020	DBLP DOI BibTeX RDF
14	Nader A. Mansour, Hangyeol Baek, Taesoo Jang, Bu Hyun Shin, Youngshik Kim	ANFIS-Based System Identification and Control of a Compliant Shape Memory Alloy (SMA) Rotating Actuator.	AIM	2020	DBLP DOI BibTeX RDF
14	Sean Thomas, Adrien Thabuis, Thomas C. Martinez, Yves Perriard	Multi-Output Compliant Shape Memory Alloy Bias-Spring Actuators.	AIM	2020	DBLP DOI BibTeX RDF
14	Takuro Nakao, Kai Kunze, Megumi Isogai, Shinya Shimizu, Yun Suen Pai	FingerFlex: Shape Memory Alloy-based Actuation on Fingers for Kinesthetic Haptic Feedback.	MUM	2020	DBLP DOI BibTeX RDF
14	Yicheng (Frederick) Jiang	Local Mechanical Property Simulation and Analysis of Aluminum Alloy Welded Joint with Different Welding Processes.	AIAM	2020	DBLP DOI BibTeX RDF
14	Aman Dureja, Aditya Keerthi, Andrew Liang, Paul Zhang, Nancy Day	ALDB: Debugging Alloy Models of Behavioural Requirements.	MoDRE@RE	2020	DBLP DOI BibTeX RDF
14	Meriem Kherbouche, Bálint Molnár	Formal Model Checking and Transformations of Models Represented in UML with Alloy.	M2P	2020	DBLP DOI BibTeX RDF
14	Chaojun Cheng, Felix P. Aplin, Gene Y. Fridman	A microfluidic system integrated with shape memory alloy valves for a safe direct current delivery system.	EMBC	2020	DBLP DOI BibTeX RDF
14	Xiaoyong Wei, Feng Ju, Bai Chen, Hao Guo 0017, Fei Qi, Dongming Bai, Yadong Ding	Development of a variable-stiffness and shape-detection manipulator based on low-melting-point-alloy for minimally invasive surgery.	EMBC	2020	DBLP DOI BibTeX RDF
14	Maged Elhefnawey, L. Li, G. L. Shuai, Z. Li, M. Nemat-Alla, D. T. Zhang	On Improvement of Microhardness for Al-Zn-Mg-Cu Alloy via Cold ECAP.	CRC	2020	DBLP DOI BibTeX RDF
14	Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid	Fault Localization for Declarative Models in Alloy.	ISSRE	2020	DBLP DOI BibTeX RDF
14	Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid	AlloyMC: Alloy meets model counting.	ESEC/SIGSOFT FSE	2020	DBLP DOI BibTeX RDF
14	Sachith Muthukumarana, Don Samitha Elvitigala, Juan Pablo Forero Cortés, Denys J. C. Matthies, Suranga Nanayakkara	Touch me Gently: Recreating the Perception of Touch using a Shape-Memory Alloy Matrix.	CHI	2020	DBLP DOI BibTeX RDF
14	Mohammad Jahanian, Jiachen Chen, K. K. Ramakrishnan	Formal Verification of Interoperability Between Future Network Architectures Using Alloy.	ABZ	2020	DBLP DOI BibTeX RDF
14	Nuno Macedo, Alcino Cunha, José Pereira 0001, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva	Experiences on Teaching Alloy with an Automated Assessment Platform.	ABZ	2020	DBLP DOI BibTeX RDF
14	Diego de Azevedo Oliveira, Marc Frappier	Verifying SGAC Access Control Policies: A Comparison of ProB, Alloy and Z3.	ABZ	2020	DBLP DOI BibTeX RDF
14	Yewei Yu, Chen Zhang, Jingwen Xu, Zhiwu Han, Miaolei Zhou	Hysteresis Modeling of Magnetic Shape Memory Alloy using a NARMAX Structure Model.	NEMS	2020	DBLP DOI BibTeX RDF
14	Chen Zhang, Yewei Yu, Jingwen Xu, Zhiwu Han, Miaolei Zhou	Duhem Hysteresis Modeling of Magnetic Shape Memory Alloy Actuator via Takagi-Sugeno Fuzzy Neural Network.	NEMS	2020	DBLP DOI BibTeX RDF
14	Yanjie Liu, Feng Wang, Hongxia Li, Xiuhua Men, Teng Jin, Xiuli Fu	Study on Ultrasonic Rolling Parameters to Grain Size of Aluminum Alloy 7075 Surface.	RCAR	2020	DBLP DOI BibTeX RDF