Search results for "Alloy"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Elliott Forbes, Niket Kumar Choudhary, Brandon H. Dwiel, Eric Rotenberg	Design-effort alloy: Boosting a highly tuned primary core with untuned alternate cores.	ICCD	2014	DBLP DOI BibTeX RDF
14	Xiaoliang Wang, Adrian Rutle	Model Checking Healthcare Workflows Using Alloy.	EUSPN/ICTH	2014	DBLP DOI BibTeX RDF
14	Claudio Rossi 0001, Zongjian Yuan, Chao Zhang, Antonio Barrientos, William Coral Cuellar	Shape Memory Alloy-based High Phase Order Motor.	ICINCO (2)	2014	DBLP DOI BibTeX RDF
14	Radek Marík	Structure Composition Discovery Using Alloy.	ITAT	2014	DBLP BibTeX RDF
14	Swati Dey, Subhas Ganguly, Shubhabrata Datta	In silico Design of High Strength Aluminium Alloy Using Multi-objective GA.	SEMCCO	2014	DBLP DOI BibTeX RDF
14	Christian Auerswald, Björn Senf, Jan Mehner, Welf-Guntram Drossel	Closed loop control for shape memory alloy actuators.	SSD	2014	DBLP DOI BibTeX RDF
14	Emsaieb Geepalla	Comparison between Alloy and Timed Automata for modelling and analysing of access control specifications.	CyberSec	2014	DBLP DOI BibTeX RDF
14	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel	Validation of the ABZ Landing Gear System Using ProB.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Richard Banach	The Landing Gear Case Study in Hybrid Event-B.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Wen Su, Jean-Raymond Abrial	Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Amel Mammar, Régine Laleau	Modeling a Landing Gear System in Event-B.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Philippe Dhaussy, Ciprian Teodorov	Context-Aware Verification of a Landing Gear System.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Vitaly Savicks, Michael J. Butler, John Colley	Co-simulation Environment for Rodin: Landing Gear Case Study.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	Modeling and Analyzing Using ASMs: The Landing Gear System Case Study.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc	Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Frédéric Boniol, Virginie Wiels	The Landing Gear System Case Study.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Felix Kossak	Landing Gear System: An ASM-Based Solution for the ABZ Case Study.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Dominique Méry, Neeraj Kumar Singh 0001	Modeling an Aircraft Landing System in Event-B.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
14	Richard Banach	Invariant Guided System Decomposition.	ABZ	2014	DBLP DOI BibTeX RDF
14	Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn	Distributed Situation Analysis - A Formal Semantic Framework.	ABZ	2014	DBLP DOI BibTeX RDF
14	Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani	WebASM: An Abstract State Machine Execution Environment for the Web.	ABZ	2014	DBLP DOI BibTeX RDF
14	Andreas Prinz 0001, Edel Sherratt	Distributed ASM - Pitfalls and Solutions.	ABZ	2014	DBLP DOI BibTeX RDF
14	Laurent Voisin, Jean-Raymond Abrial	The Rodin Platform Has Turned Ten.	ABZ	2014	DBLP DOI BibTeX RDF
14	Egon Börger, Klaus-Dieter Schewe	Specifying Transaction Control to Serialize Concurrent Program Executions.	ABZ	2014	DBLP DOI BibTeX RDF
14	Jérôme Guéry, Olivier Rolland, Joris Rehm	Fixed-Point Arithmetic Modeled in B Software Using Reals.	ABZ	2014	DBLP DOI BibTeX RDF
14	Elvinia Riccobene, Patrizia Scandurra	Towards ASM-Based Formal Specification of Self-Adaptive Systems.	ABZ	2014	DBLP DOI BibTeX RDF
14	José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Claus Ballegård Nielsen, Stefan Hallerstede	Modelling Energy Consumption in Embedded Systems with VDM-RT.	ABZ	2014	DBLP DOI BibTeX RDF
14	Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki	Formal System Modelling Using Abstract Data Types in Event-B.	ABZ	2014	DBLP DOI BibTeX RDF
14	Marcel Dausend, Alexander Raschke	Introducing Aspect-Oriented Specification for Abstract State Machines.	ABZ	2014	DBLP DOI BibTeX RDF
14	Michael Leuschel, David Schneider 0001	Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge.	ABZ	2014	DBLP DOI BibTeX RDF
14	Andrew Edmunds	Templates for Event-B Code Generation.	ABZ	2014	DBLP DOI BibTeX RDF
14	Chris Newcombe	Why Amazon Chose TLA +.	ABZ	2014	DBLP DOI BibTeX RDF
14	Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh 0001	Analysis of Self-⋆ and P2P Systems Using Refinement.	ABZ	2014	DBLP DOI BibTeX RDF
14	Eerke A. Boiten, Jeremy Jacob	Sealed Containers in Z.	ABZ	2014	DBLP DOI BibTeX RDF
14	Graeme Smith 0001, Qin Li 0002	MAZE: An Extension of Object-Z for Multi-Agent Systems.	ABZ	2014	DBLP DOI BibTeX RDF
14	Stefan Hallerstede	Quasi-Lexicographic Convergence.	ABZ	2014	DBLP DOI BibTeX RDF
14	Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna	Formal Derivation of Distributed MapReduce.	ABZ	2014	DBLP DOI BibTeX RDF
14	Vajih Montaghami, Derek Rayside	Staged Evaluation of Partial Instances in a Relational Model Finder.	ABZ	2014	DBLP DOI BibTeX RDF
14	Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden	Understanding and Planning Event-B Refinement through Primitive Rationales.	ABZ	2014	DBLP DOI BibTeX RDF
14	Dominik Hansen, Michael Leuschel	Translating B to TLA + for Validation with TLC.	ABZ	2014	DBLP DOI BibTeX RDF
14	David Delahaye, Catherine Dubois, Claude Marché, David Mentré	The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations.	ABZ	2014	DBLP DOI BibTeX RDF
14	Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais	Validating the RBAC ANSI 2012 Standard Using B.	ABZ	2014	DBLP DOI BibTeX RDF
14	Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif	Development of a Verified Flash File System.	ABZ	2014	DBLP DOI BibTeX RDF
14	Sylvain Conchon, Mohamed Iguernelala	Tuning the Alt-Ergo SMT Solver for B Proof Obligations.	ABZ	2014	DBLP DOI BibTeX RDF
14	Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif	Modular Refinement for Submachines of ASMs.	ABZ	2014	DBLP DOI BibTeX RDF
14	Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru	B Formal Validation of ERTMS/ETCS Railway Operating Rules.	ABZ	2014	DBLP DOI BibTeX RDF
14	Emina Torlak, Mana Taghdiri, Greg Dennis, Joseph P. Near	Applications and extensions of Alloy: past, present and future.	Math. Struct. Comput. Sci.	2013	DBLP DOI BibTeX RDF
14	Mitsuru Ohtake, Daisuke Suzuki, Fumiyoshi Kirino, Masaaki Futamoto	Metastable Ordered Phase Formation in CoPt and Co3Pt Alloy Thin Films Epitaxially Grown on Single-Crystal Substrates.	IEICE Trans. Electron.	2013	DBLP DOI BibTeX RDF
14	Tadao Matsunaga, Kentaro Totsu, Masayoshi Esashi, Yoichi Haga	Tactile display using shape memory alloy micro-coil actuator and magnetic latch mechanism.	Displays	2013	DBLP DOI BibTeX RDF
14	Kyou Sik Min, Sang Beom Jun, Yoon Seob Lim, Se Ik Park, Sung June Kim	Modiolus-Hugging Intracochlear Electrode Array with Shape Memory Alloy.	Comput. Math. Methods Medicine	2013	DBLP DOI BibTeX RDF
14	Binrui Wang, Yinglian Jin, Miao Cheng, Weiyi Zhou	Model Simulation and Position Control Experiments of pneumatic muscle with Shape Memory Alloy Braided Sleeve.	Int. J. Robotics Autom.	2013	DBLP DOI BibTeX RDF
14	José Nuno Oliveira, Miguel Alexandre Ferreira	Alloy Meets the Algebra of Programming: A Case Study.	IEEE Trans. Software Eng.	2013	DBLP DOI BibTeX RDF
14	Alireza Fathi, Ahmad Mozaffari	Identification of a dynamic model for shape memory alloy actuator using Hammerstein-Wiener gray box and mutable smart bee algorithm.	Int. J. Intell. Comput. Cybern.	2013	DBLP DOI BibTeX RDF
14	Prabhat Ranjan, R. Balasubramaniam, V. K. Suri	Development of chemo-mechanical magnetorheological finishing process for super finishing of copper alloy.	Int. J. Manuf. Technol. Manag.	2013	DBLP DOI BibTeX RDF
14	Amit Sharma, Vinod Yadava	Simultaneous optimisation of average kerf taper and surface roughness during pulsed Nd: YAG laser cutting of thin Al-alloy sheet for straight profile.	Int. J. Manuf. Technol. Manag.	2013	DBLP DOI BibTeX RDF
14	Vikas Upadhyay, Pramod K. Jain, N. K. Mehta	Prediction of surface roughness using cutting parameters and vibration signals in minimum quantity coolant assisted turning of Ti-6Al-4V alloy.	Int. J. Manuf. Technol. Manag.	2013	DBLP DOI BibTeX RDF
14	Wissam Sabbah, Stephane Azzopardi, Cyril Buttay, Régis Meuret, Eric Woirgard	Study of die attach technologies for high temperature power electronics: Silver sintering and gold-germanium alloy.	Microelectron. Reliab.	2013	DBLP DOI BibTeX RDF
14	Oleg N. Senkov, Fan Zhang, Jonathan D. Miller	Phase Composition of a CrMo0.5NbTa0.5TiZr High Entropy Alloy: Comparison of Experimental and Simulated Data.	Entropy	2013	DBLP DOI BibTeX RDF
14	Chun-Huei Tsau, Yu-Hsin Chang	Microstructures and Mechanical Properties of TiCrZrNbNx Alloy Nitride Thin Films.	Entropy	2013	DBLP DOI BibTeX RDF
14	Tai M. Yue, Hui Xie, Xin Lin, Haiou Yang, Guanghui Meng	Microstructure of Laser Re-Melted AlCoCrCuFeNi High Entropy Alloy Coatings Produced by Plasma Spraying.	Entropy	2013	DBLP DOI BibTeX RDF
14	Michael C. Gao, David E. Alman	Searching for Next Single-Phase High-Entropy Alloy Compositions.	Entropy	2013	DBLP DOI BibTeX RDF
14	Akira Takeuchi, Kenji Amiya, Takeshi Wada, Kunio Yubuta, Wei Zhang, Akihiro Makino	Entropies in Alloy Design for High-Entropy and Bulk Glassy Alloys.	Entropy	2013	DBLP DOI BibTeX RDF
14	Jianjun Zhang 0007, Yuehong Yin, Jianying Zhu	Electrical Resistivity-Based Study of Self-Sensing Properties for Shape Memory Alloy-Actuated Artificial Muscle.	Sensors	2013	DBLP DOI BibTeX RDF
14	Nick Holonyak	The III-V Alloy p-n Diode Laser and LED Ultimate Lamp.	Proc. IEEE	2013	DBLP DOI BibTeX RDF
14	Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves	Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010.	Sci. Comput. Program.	2013	DBLP DOI BibTeX RDF
14	Hiroyasu Iwabe, Masanori Futakawa, Masashige Fujiwara, Tsuyoshi Fujita, Kyouhei Kikuchi	Study on Performance of Radius End Milling Titanium Alloy (Analysis of Cutting Cross-Sectional Area Using 3D-CAD and Experiments of Inclined Surface with Contouring).	Int. J. Autom. Technol.	2013	DBLP DOI BibTeX RDF
14	Hideyuki Tomoda, Koichi Kitajima	Development of Polishing Fluids for Titanium Alloy Using Lapping Tape - Effects of Components in the Polishing Fluids on Polishing Characteristics -.	Int. J. Autom. Technol.	2013	DBLP DOI BibTeX RDF
14	Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili 0001, Marcelo F. Frias	Parallel Bounded Verification of Alloy Models by TranScoping.	VSTTE	2013	DBLP DOI BibTeX RDF
14	S. Krishna Chaitanya, K. Dhanalakshmi	Control of shape memory alloy actuated gripper using Sliding Mode Control.	CCA	2013	DBLP DOI BibTeX RDF
14	D. Josephine Selvarani Ruth, S. Sunjai Nakshatharan, K. Dhanalakshmi	Auto-sensing antagonistic shape memory alloy actuated manipulator.	CCA	2013	DBLP DOI BibTeX RDF
14	Yoshihiro Kuroki, Yusuke Kosaka, Taro Takahashi, Eiji Niwa, Hiroshi Kaminaga, Yoshihiko Nakamura	Cr-N alloy thin-film based torque sensors and joint torque servo systems for compliant robot control.	ICRA	2013	DBLP DOI BibTeX RDF
14	Zhao Guo, Haoyong Yu, Liang-Boon Wee	Design of a novel compliant differential Shape Memory Alloy actuator.	IROS	2013	DBLP DOI BibTeX RDF
14	Mohammad Al Janaideh, Dennis S. Bernstein	Inversion-free adaptive control of uncertain systems with shape-memory-alloy actuation.	ACC	2013	DBLP DOI BibTeX RDF
14	Akihiro Yamada, Yasuyuki Shiraishi, Hidekazu Miura, Tomoyuki Yambe, M. H. Omran, Takuya Shiga, Yusuke Tsuboko, Dai Homma, Masaaki Yamagishi	Peristaltic hemodynamics of a new pediatric circulatory assist system for Fontan circulation using shape memory alloy fibers.	EMBC	2013	DBLP DOI BibTeX RDF
14	Mohamed O. Hashem, Akihiro Yamada, Yusuke Tsuboko, H. Muira, Dai Homma, Yasuyuki Shiraishi, Tomoyuki Yambe	Controlling methods of a newly developed extra aortic counter-pulsation device using shape memory alloy fibers.	EMBC	2013	DBLP DOI BibTeX RDF
14	Dae-Young Lee, Ji-Suk Kim, Sa-Reum Kim, Jae-Jun Park, Kyu-Jin Cho	Design of deformable-wheeled robot based on origami structure with shape memory alloy coil spring.	URAI	2013	DBLP DOI BibTeX RDF
14	Natali Ruchansky, Davide Proserpio	A (not) NICE way to verify the openflow switch specification: formal modelling of the openflow switch using alloy.	SIGCOMM	2013	DBLP DOI BibTeX RDF
14	S. Krishna Chaitanya, K. Dhanalakshmi	Demonstration of self-sensing in Shape Memory Alloy actuated gripper.	ISIC	2013	DBLP DOI BibTeX RDF
14	Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero	Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors.	FMICS	2013	DBLP DOI BibTeX RDF
14	Konstantinos Andrianesis, Anthony Tzes	Design of an innovative prosthetic hand with compact shape memory alloy actuators.	MED	2013	DBLP DOI BibTeX RDF
14	Te Tang, Dingguo Zhang, Tao Xie, Xiangyang Zhu	An exoskeleton system for hand rehabilitation driven by shape memory alloy.	ROBIO	2013	DBLP DOI BibTeX RDF
14	Xiaomei Shi, Ching-Hsiang Cheng	Artificial hair cell sensors using liquid metal alloy as piezoresistors.	NEMS	2013	DBLP DOI BibTeX RDF
14	Kenneth Lausdahl	Translating VDM to Alloy.	IFM	2013	DBLP DOI BibTeX RDF
14	Michael J. Lutz	Modeling software the alloy way.	FIE	2013	DBLP DOI BibTeX RDF
14	Haikuo Mou, Xinda Huang, Xiaoming Zhang, Han Ding 0001	Experimental Study of Surface Integrity of Aluminum Lithium Alloy by Face Milling.	ICIRA (2)	2013	DBLP DOI BibTeX RDF
14	Renato Neves, Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa	An Institution for Alloy and Its Translation to Second-Order Logic.	IRI (best papers)	2013	DBLP DOI BibTeX RDF
14	Renato Neves, Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa	Giving Alloy a family.	IRI	2013	DBLP DOI BibTeX RDF
14	Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias	Ranger: Parallel analysis of alloy models by range partitioning.	ASE	2013	DBLP DOI BibTeX RDF
14	Ramzi A. Haraty, Mirna Naous	Modeling and Validating the Clinical Information Systems Policy Using Alloy.	HIS	2013	DBLP DOI BibTeX RDF
14	Changyun Huang, Yasutaka Kamei, Kazuhiro Yamashita, Naoyasu Ubayashi	Using alloy to support feature-based DSL construction for mining software repositories.	SPLC Workshops	2013	DBLP DOI BibTeX RDF
14	Irina Rychkova	Exploring the Alloy operational semantics for case management process modeling.	RCIS	2013	DBLP DOI BibTeX RDF
14	Antonino Ducato, Livan Fratini, Marco La Cascia, Giuseppe Mazzola	An Automated Visual Inspection System for the Classification of the Phases of Ti-6Al-4V Titanium Alloy.	CAIP (2)	2013	DBLP DOI BibTeX RDF
14	Landis M. Huffman, Jeff P. Simmons, Marc De Graef, Ilya Pollak	Building and enforcing shape priors for segmentation of alloy micrographs.	Computational Imaging	2013	DBLP DOI BibTeX RDF
14	Nuno Macedo, Alcino Cunha	Implementing QVT-R Bidirectional Model Transformations Using Alloy.	FASE	2013	DBLP DOI BibTeX RDF
14	C. M. Sperberg-McQueen	Taking modeling seriously: A hands-on approach to Alloy.	DH	2013	DBLP BibTeX RDF
14	Michael O. Obaji, Shiwu Zhang	Investigation into the force distribution mechanism of a soft robot gripper modeled for picking complex objects using embedded shape memory alloy actuators.	RAM	2013	DBLP DOI BibTeX RDF
14	R. Karthikeyan 0001, V. Balasubramanian	Optimisation and sensitivity analysis of friction stir spot-welding process parameters for joining AA 6061 aluminum alloy.	Int. J. Manuf. Res.	2012	DBLP DOI BibTeX RDF
14	Craig C. Douglas, Yalchin Efendiev, Peter Popov, Victor M. Calo	An Introduction to a Porous Shape Memory Alloy Dynamic Data Driven Application System.	ICCS	2012	DBLP DOI BibTeX RDF
14	Su-Hai Hsiang, Yi-Wei Lin, Jhong-Wei Lai	Application of fuzzy-based Taguchi method to the optimization of extrusion of magnesium alloy bicycle carriers.	J. Intell. Manuf.	2012	DBLP DOI BibTeX RDF