|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 269 occurrences of 152 keywords
|
|
|
Results
Found 1577 publication records. Showing 1575 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Mohammad Amri Zainal, Shafishuhaza Sahlan, Mohamed Sultan Mohamed Ali |
Micromachined Shape-Memory-Alloy Microactuators and Their Application in Biomedical Devices. |
Micromachines |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Nora Jaburek, Marion Merklein |
Influence of a retrogression and reaging (RRA)-treatment on the mechanical and microstructural characteristics of the aluminium alloy AlZn4, 5Mg1. |
Prod. Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Bircan Bugdayci, Ismail Lazoglu |
Temperature and wear analysis in milling of aerospace grade aluminum alloy Al-7050. |
Prod. Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Aboubakr Achraf El Ghazi, Mana Taghdiri |
Analyzing Alloy Formulas using an SMT Solver: A Case Study. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
14 | S. Sunjai Nakshatharan, K. Dhanalakshmi, D. Josephine Selvarani Ruth |
Fuzzy based sliding surface for shape memory alloy wire actuated classical super-articulated control system. |
Appl. Soft Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jyoti Ranjan Mohanty, T. K. Mahanta, A. Mohanty, D. N. Thatoi |
Prediction of constant amplitude fatigue crack growth life of 2024 T3 Al alloy with R-ratio effect by GP. |
Appl. Soft Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Shyam Kumar Karna, Ran Vijay Singh, Rajeshwar Sahai |
Analysis of Hardness by Parametric Optimization of Gravity Die Casting for A-356 Aluminium Alloy Using Taguchi Technique. |
Int. J. Manuf. Mater. Mech. Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Naveed Akhtar, SuJun Wu |
Tensile Fracture in Laser Welding Joints of Al-Cu-Li-Mg-X Alloy Bearing Gaseous Porosity. |
Int. J. Manuf. Mater. Mech. Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Umacharan Singh Yadav, Vinod Yadava |
Experimental modelling and optimisation of process parameters of hole drilling by electrical discharge machining of aerospace titanium alloy. |
Int. J. Manuf. Technol. Manag. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Kivanç Akça, Atilim Eser, Yeliz Çavusoglu, Elçin Sagirkaya, Murat Cavit Çehreli |
Numerical assessment of bone remodeling around conventionally and early loaded titanium and titanium-zirconium alloy dental implants. |
Medical Biol. Eng. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Li Yang, Yaocheng Zhang, Chengchao Du, Jun Dai, Ning Zhang |
Effect of aluminum concentration on the microstructure and mechanical properties of Sn-Cu-Al solder alloy. |
Microelectron. Reliab. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yi-Wei Tseng, Fei-Yi Hung, Truan-Sheng Lui, Mei-Yu Chen, Hao-Wen Hsueh |
Effect of annealing on the microstructure and bonding interface properties of Ag-2Pd alloy wire. |
Microelectron. Reliab. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad Hossein Mahdavifard, Mohd Faizul Mohd Sabri, Dhafer Abdulameer Shnawah, Suhana Mohd Said, Irfan Anjum Badruddin, S. Rozali |
The effect of iron and bismuth addition on the microstructural, mechanical, and thermal properties of Sn-1Ag-0.5Cu solder alloy. |
Microelectron. Reliab. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jun Chen 0009, Mahdi Mahfouf, Sidahmed Gaffour |
A new holistic systems approach to the design of heat treated alloy steels using a biologically inspired multi-objective optimisation algorithm. |
Eng. Appl. Artif. Intell. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Tarek Bachaga, Rakia Daly, Mohamed Khitouni, Lluisa Escoda, Joan Saurina, Joan Josep Suñol |
Thermal and Structural Analysis of Mn49.3Ni43.7Sn7.0 Heusler Alloy Ribbons. |
Entropy |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Kenyu Ling, Hyung Ki Kim, Minyeong Yoo, Sungjoon Lim |
Frequency-Switchable Metamaterial Absorber Injecting Eutectic Gallium-Indium (EGaIn) Liquid Metal Alloy. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Victor Hugo C. de Albuquerque, Cleisson V. Barbosa, Cleiton C. Silva, Elineudo P. de Moura, Pedro Pedrosa Rebouças Filho, João P. Papa, João Manuel R. S. Tavares |
Ultrasonic Sensor Signals and Optimum Path Forest Classifier for the Microstructural Characterization of Thermally-Aged Inconel 625 Alloy. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Dawei Li, Pengfei Lv, Jiadeng Zhu, Yao Lu, Chen Chen, Xiangwu Zhang, Qufu Wei |
NiCu Alloy Nanoparticle-Loaded Carbon Nanofibers for Phenolic Biosensor Applications. |
Sensors |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yong Yang, Wei Zhu |
FEM and experiment-based initial residual stress field construction for titanium alloy monolithic component blank. |
Int. J. Comput. Aided Eng. Technol. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | A. Thanapaul, S. Ganesh, S. Milan |
Free vibration analysis of shear-deformable Al alloy plates using FEM with first order shear deformation theory. |
Int. J. Comput. Aided Eng. Technol. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | K. Dhanalakshmi, Mangalanathan Umapathy, Deenadayalan Ezhilarasi |
Sliding mode control of shape memory alloy actuated structure for vibration control. |
Int. J. Model. Identif. Control. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Pamela Zave |
A practical comparison of Alloy and Spin. |
Formal Aspects Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jun Lu, Litian Wu |
Study on dynamic model of magnetically controlled shape memory alloy sensor. |
J. Comput. Methods Sci. Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | A. Villoslada, Antonio Flores Caballero, Dorin Sabin Copaci, Dolores Blanco Rojas, Luis Moreno Lorente |
High-displacement flexible Shape Memory Alloy actuator for soft wearable robots. |
Robotics Auton. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jennifer Hannen Wiest, Gregory D. Buckner |
Path optimization and control of a shape memory alloy actuated catheter for endocardial radiofrequency ablation. |
Robotics Auton. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Manabu Yasui, Satoru Kaneko, Masaharu Takahashi, Takashi Sano, Yasuo Hirabayashi, Takeshi Ozawa, Ryutaro Maeda |
Micro Imprinting for Al Alloy Using Ni-W Electroformed Mold. |
Int. J. Autom. Technol. |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Bartosz Minorowicz, Cezary Jedryczka, Frederik Stefanski, Amadeusz Nowak |
Analysis and Modelling of Magnetic Circuits in Magnetic Shape Memory Alloy Actuators. |
Progress in Automation, Robotics and Measuring Techniques |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Amadeusz Nowak, Bartosz Minorowicz, Frederik Stefanski, Zoran Pandilov |
Characteristics of the Improved Magnetic Shape Memory Alloy Actuator Test Stand. |
Progress in Automation, Robotics and Measuring Techniques |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Rodrigo M. L. M. Moreira, Ana C. R. Paiva |
A Novel Approach using Alloy in Domain-specific Language Engineering. |
MODELSWARD |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jingjing Ji, Kok-Meng Lee, Chun-Yeon Lin, Yang Huang |
An investigation on temperature measurements for machining of titanium alloy using ir imager with physics-based reconstruction. |
AIM |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Savas Dilibal, Erik D. Engeberg |
Finger-like manipulator driven by antagonistic nickel-titanium shape memory alloy actuators. |
ICAR |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Daniela Maffiodo, Terenziano Raparelli |
Resistance Feedback of a Shape Memory Alloy Wire. |
RAAD |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jun Shintake, Bryan Schubert, Samuel Rosset, Herbert Shea, Dario Floreano |
Variable stiffness actuator for soft robotics using dielectric elastomer and low-melting-point alloy. |
IROS |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Hao Wang 0011, Chang-Jae Park, Gyungsu Byun, Jung Ho Ahn, Nam Sung Kim |
Alloy: Parallel-serial memory channel architecture for single-chip heterogeneous processor systems. |
HPCA |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Julien Brunel, David Chemouil |
Safety and Security Assessment of Behavioral Properties Using Alloy. |
SAFECOMP Workshops |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yasuyuki Shiraishi, Akihiro Yamada, Tomoyuki Yambe, Dai Homma, Shintaro Katahira, Naoki Masaki, Yukihiro Hayatsu, Masatoshi Akiyama, Yoshikatsu Saiki |
Contraction support for the right ventricle by a shape memory alloy fibered artificial myocardium. |
ASCC |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Alaa AbuZaiter, Ee Leen Ng, Mohamed Sultan Mohamed Ali, Suhail Kazi |
Miniature parallel manipulator using TiNiCu shape-memory-alloy microactuators. |
ASCC |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Sarah Trabia, Viljar Palmre, Kwang J. Kim |
Development of self-sensing Ionic Polymer-Metal Composite soft robotic actuator integrated with gallium-indium alloy. |
URAI |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Matthias Auf der Maur, Alessandro Pecchia, Aldo Di Carlo |
Influence of random alloy fluctuations in InGaN/GaN quantum wells on LED efficiency. |
RTSI |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Akio Yamano, Atsuhiko Shintani, Tomohiro Ito, Chihiro Nakagawa |
Basic study of power reduction for shape memory alloy actuator drive. |
IECON |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Hyung-Il Kim, Min-Woo Han, Wei Wang, Sung-Hyuk Song, Hugo Rodrigue, Sung-Hoon Ahn |
Design and development of bio-mimetic soft robotic hand with shape memory alloy. |
ROBIO |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Chi Hsiang Pan, Ying-Bin Wang, Hsin-Ying Pan |
Development of dynamically artificial flowers driven by shape memory alloy and pulse width modulation. |
ARSO |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Tarciana Dias da Silva, Augusto Sampaio, Alexandre Mota 0001 |
Verifying Transformations of Java Programs Using Alloy. |
SBMF |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Edyta Hetmaniok, Damian Slota, Adam Zielonka |
Parallel Procedure Based on the Swarm Intelligence for Solving the Two-Dimensional Inverse Problem of Binary Alloy Solidification. |
PPAM (2) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoliang Wang, Adrian Rutle, Yngve Lamo |
Towards User-Friendly and Efficient Analysis with Alloy. |
MoDeVVa@MoDELS |
2015 |
DBLP BibTeX RDF |
|
14 | Krisada Asawarungsaengkul, Supreecha Yathiphat |
Quality Improvement in a Low Pressure Die Casting Process of Alloy Wheels by Applying Box-Behnken Design. |
DaEng |
2015 |
DBLP DOI BibTeX RDF |
|
14 | William Coral Cuellar, Claudio Rossi 0001, Irene Perrino Martin |
Bio-inspired Morphing Caudal Fin using Shape Memory Alloy Composites for a Fish-like Robot - Design, Fabrication and Analysis. |
ICINCO (2) |
2015 |
DBLP BibTeX RDF |
|
14 | Saber Mirzaei, Flavio Esposito |
An Alloy Verification Model for Consensus-Based Auction Protocols. |
ICDCS Workshops |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson 0001 |
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. |
ICSE (1) |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Yongguang Liu, Nannan Cheng, Wenlei Liu |
Feeding devices of eddy current testing on Titanium Alloy tube. |
ICIA |
2015 |
DBLP DOI BibTeX RDF |
|
14 | Jesper Kristensen, Nicholas Zabaras |
Bayesian uncertainty quantification in the evaluation of alloy properties with the cluster expansion method. |
Comput. Phys. Commun. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad Reza Rahimipour, Ali Asghar Tofigh, Ali Mazahery, Mohsen Ostad Shabani |
Strategic developments to improve the optimization performance with efficient optimum solution and produce high wear resistance aluminum-copper alloy matrix composites. |
Neural Comput. Appl. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Ishita Ghosh, Suchandan Kumar Das, Nil Ratan Chakraborty |
An artificial neural network model to characterize porosity defects during solidification of A356 aluminum alloy. |
Neural Comput. Appl. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Tao Fan, Qi Li, Xuhui Wen |
Development of a High Power Density Motor Made of Amorphous Alloy Cores. |
IEEE Trans. Ind. Electron. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Nazila Nikdel, Parisa Nikdel, Mohammad Ali Badamchizadeh, Iraj Hassanzadeh |
Using Neural Network Model Predictive Control for Controlling Shape Memory Alloy-Based Manipulator. |
IEEE Trans. Ind. Electron. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | N. D. Ghetiya, K. M. Patel, S. J. Makvana |
Determination of an optimum parametric combination using a tensile strength prediction model for friction stir welded AA8011 aluminium alloy. |
Int. J. Manuf. Res. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | David W. Rosen |
Multiscale, Heterogeneous Computer Aided Design Representation for Metal Alloy Microstructures. |
J. Comput. Inf. Sci. Eng. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Richard Hood, C. M. Johnson, S. L. Soo, D. K. Aspinwall, C. Sage |
High-speed ball nose end milling of burn-resistant titanium (BuRTi) alloy. |
Int. J. Comput. Integr. Manuf. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Han Wang, Gangbing Song |
Innovative NARX recurrent neural network model for ultra-thin shape memory alloy wire. |
Neurocomputing |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Jennifer Hannen Wiest, Gregory D. Buckner |
Indirect Intelligent Sliding Mode Control of Antagonistic Shape Memory Alloy Actuators Using Hysteretic Recurrent Neural Networks. |
IEEE Trans. Control. Syst. Technol. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Xiaoliang Wang, Fabian Büttner, Yngve Lamo |
Verification of Graph-based Model Transformations Using Alloy. |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Saber Mirzaei, Flavio Esposito |
An Alloy Verification Model for Consensus-Based Auction Protocols. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Md. Abdullah Al Mamun 0001, Christian Berger 0001, Jörgen Hansson |
Engineering the Hardware/Software Interface for Robotic Platforms - A Comparison of Applied Model Checking with Prolog and Alloy. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
CD2Alloy: Class Diagrams Analysis Using Alloy Revisited. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
14 | Gurvan Le Guernic |
In my Wish List, an Automated Tool for Fail-Secure Design Analysis: an Alloy-Based Feasibility Draft. |
ESSS |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Julien Brunel, Laurent Rioux, Stéphane Paul, Anthony Faucogney, Frédérique Vallée |
Formal Safety and Security Assessment of an Avionic Architecture with Alloy. |
ESSS |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Alireza Fathi, Ahmad Mozaffari |
Modeling a shape memory alloy actuator using an evolvable recursive black-box and hybrid heuristic algorithms inspired based on the annual migration of salmons in nature. |
Appl. Soft Comput. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias |
Dynamite: A tool for the verification of alloy models based on PVS. |
ACM Trans. Softw. Eng. Methodol. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Hao-Wen Hsueh, Fei-Yi Hung, Truan-Sheng Lui, Li-Hui Chen 0004, Jun-Kai Chang |
Microstructure, electric flame-off (EFO) characteristics and tensile properties of silver-lanthanum alloy wire. |
Microelectron. Reliab. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Emmanuelle S. Freitas, Wislei R. Osório, José E. Spinelli, Amauri Garcia |
Mechanical and corrosion resistances of a Sn-0.7 wt.%Cu lead-free solder alloy. |
Microelectron. Reliab. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Byung-seung Yim, Jeong-Il Lee, Byung-Hun Lee, Young-Eui Shin, Jong-Min Kim |
An investigation of the reliability of solderable ICA with low-melting-point alloy (LMPA) filler. |
Microelectron. Reliab. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Nor Ilyana Muhd Nordin, Suhana Mohd Said, Roziana Ramli, Mohd Faizul Mohd Sabri, N. M. Sharif, N. A. F. N. M. Arifin, N. N. S. Ibrahim |
Microstructure of Sn-1Ag-0.5Cu solder alloy bearing Fe under salt spray test. |
Microelectron. Reliab. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Rui Guo 0003, Liming Gao, Dali Mao, Ming Li, Xu Wang, Zhong Lv, Hope Chiu |
Study of free air ball formation in Ag-8Au-3Pd alloy wire bonding. |
Microelectron. Reliab. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Yee-Wen Yen, Ruo-Syun Syu, Chih-Ming Chen 0002, Chien-Chung Jao, Guan-Da Chen |
Interfacial reactions of Sn-58Bi and Sn-0.7Cu lead-free solders with Alloy 42 substrate. |
Microelectron. Reliab. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Z. Pruszowski, M. Ciez |
The influence of electroless metallization process parameters on basic electric properties of Ni-P alloy. |
Microelectron. Reliab. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Karen M. C. Wong, Yee Kai Tian |
Effect of trace platinum additions on the interfacial morphology of Sn-3.8Ag-0.7Cu alloy aged for long hours. |
Microelectron. Reliab. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Bismarck Luiz Silva, Amauri Garcia, José E. Spinelli |
The roles of dendritic spacings and Ag3Sn intermetallics on hardness of the SAC307 solder alloy. |
Microelectron. Reliab. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Vicente Sánchez-Alarcos, Vicente Recarte, José Ignacio Pérez-Landazábal, Eduard Cesari, José Alberto Rodríguez-Velamazán |
Long-Range Atomic Order and Entropy Change at the Martensitic Transformation in a Ni-Mn-In-Co Metamagnetic Shape Memory Alloy. |
Entropy |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Pedro José Arrazola, Aitor Kortabarria, Aitor Madariaga, J. A. Esnaola, E. Fernandez, C. Cappellini, Durul Ulutan, Tugrul Özel |
On the machining induced residual stresses in IN718 nickel-based alloy: Experiments and predictions with finite element simulation. |
Simul. Model. Pract. Theory |
2014 |
DBLP DOI BibTeX RDF |
|
14 | C. Ezilarasan, V. S. Senthil Kumar, A. Velayudham |
Theoretical predictions and experimental validations on machining the Nimonic C-263 super alloy. |
Simul. Model. Pract. Theory |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Seung Hee Jeong, Klas Hjort, Zhigang Wu |
Tape Transfer Printing of a Liquid Metal Alloy for Stretchable RF Electronics. |
Sensors |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Rajesh Kumar Porwal, Vinod Yadava |
Experimentation and prediction of material removal rate of electrical discharge micromachining of nickel-based super alloy thin sheet. |
Int. J. Comput. Aided Eng. Technol. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Elvinia Riccobene, Steve Reeves |
Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012. |
Sci. Comput. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Benoît Fraikin, Marc Frappier, Richard St-Denis |
Supervisory control theory with Alloy. |
Sci. Comput. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Aleksandar Milicevic, Daniel Jackson 0001 |
Preventing arithmetic overflows in Alloy. |
Sci. Comput. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Dae Min Kang, Kyoung Do Park, Dai Yeal Lee |
Optimizing Friction Stir Welding of Al 6061 Alloy Using Statistical Analysis. |
J. Adv. Comput. Intell. Intell. Informatics |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Juliana Bowles, Mohammed Alwanain, Behzad Bordbar, Y. Chen |
Matching and Merging Scenarios Automatically with Alloy. |
MODELSWARD (Revised Selected Papers) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Mohammed Alwanain, Behzad Bordbar, Juliana Küster Filipe Bowles |
Automated Composition of Sequence Diagrams via Alloy. |
MODELSWARD |
2014 |
DBLP DOI BibTeX RDF |
|
14 | John P. Swensen, Aaron M. Dollar |
Optimization of parallel spring antagonists for Nitinol shape memory alloy actuators. |
ICRA |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Denilson Guimaraes, Eber A. Schmitz, Antonio Juarez Alencar, Priscila Lima 0001, Alexandre L. Correa |
A Method for Verifying the Consistency of Business Rules Using Alloy. |
SEKE |
2014 |
DBLP BibTeX RDF |
|
14 | Allison Sullivan, Razieh Nokhbeh Zaeem, Sarfraz Khurshid, Darko Marinov |
Towards a test automation framework for alloy. |
SPIN |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Felix Orlando Maria Joseph, Karly Franz, Yaxin Luan, Yan-Jiang Zhao, Naresh V. Datla, Parsaoran Hutapea, Adam Dicker, Yan Yu, Tarun Kanti Podder |
Development of a coordinated controller for robot-assisted shape memory alloy actuated needle for prostate brachytherapy. |
EMBC |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Shin Nakajima 0001 |
Using Alloy in Introductory Courses of Formal Methods. |
SOFL+MSVL |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Thanhtam Ho, Sangyoon Lee |
Analysis and Simulation of a Jumping Robot Actuated by Shape Memory Alloy. |
IAS |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Efthymios Kolyvas, Yannis Koveos, Anthony Tzes |
On the interaction of temperature-sensing, Shape Memory Alloy dynamics, and control design for a bending actuator. |
MED |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe (eds.) |
ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings |
ABZ (Case Study) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Yamine Aït Ameur, Klaus-Dieter Schewe (eds.) |
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings |
ABZ |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Riccardo Antonello, Sebastiano Pagani, Roberto Oboe, Marco Branciforte, Maria Celvisia Virzì |
Use of antagonistic shape memory alloy wires in load positioning applications. |
ISIE |
2014 |
DBLP DOI BibTeX RDF |
|
14 | A. Villoslada, Antonio Flores Caballero, Dorin Sabin Copaci, Dolores Blanco Rojas, Luis Moreno Lorente |
High-displacement fast-cooling flexible Shape Memory Alloy actuator: Application to an anthropomorphic robotic hand. |
Humanoids |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Grunwald, Christoph Gladisch, Tianhai Liu, Mana Taghdiri, Shmuel S. Tyszberowicz |
Generating JML Specifications from Alloy Expressions. |
Haifa Verification Conference |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #1000 of 1575 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|