Search results for "Simulink"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira	Executing Model Checking Counterexamples in Simulink.	TASE	2012	DBLP DOI BibTeX RDF
15	Manar H. Alalfi, James R. Cordy, Thomas R. Dean, Matthew Stephan, Andrew Stevenson	Near-miss model clone detection for Simulink models.	IWSC	2012	DBLP DOI BibTeX RDF
15	Matthew Stephan, Manar H. Alalfi, Andrew Stevenson, James R. Cordy	Towards qualitative comparison of Simulink model clone detection approaches.	IWSC	2012	DBLP DOI BibTeX RDF
15	Lars Kristian Klauske	Effizientes Bearbeiten von Simulink-Modellen mit Hilfe eines spezifisch angepassten Layoutalgorithmus.		2012	RDF
15	Zoltán Janík, Katarína Záková	Online design of Matlab/Simulink block schemes.	Int. J. Emerg. Technol. Learn.	2011	DBLP DOI BibTeX RDF
15	Cheng Siong Chin	Systematic Modeling and Model-based simulation of a remotely operated Vehicle using MATLAB and Simulink.	Int. J. Model. Simul. Sci. Comput.	2011	DBLP DOI BibTeX RDF
15	Sameer Hanna Khader, Akram Ahmad Abu-aisheh	The Application of PSIM & Matlab/ Simulink in Teaching of Power Electronics Courses.	Int. J. Online Eng.	2011	DBLP DOI BibTeX RDF
15	Muwaffaq I. Alomoush, Saher A. Albatran	Simulink-based implementation of TCSC-operated single-phase induction motor as an educational tool.	Comput. Appl. Eng. Educ.	2011	DBLP DOI BibTeX RDF
15	Behrooz Vahidi, A. Haghani Abandansari	Teaching ferroresonance in power system to undergraduate students by using MATLAB-SIMULINK.	Comput. Appl. Eng. Educ.	2011	DBLP DOI BibTeX RDF
15	Jordi-Roger Riba Ruiz, Antonio Garcia Espinosa, Juan Antonio Ortega Redondo	Validation of the parametric model of a DC contactor using Matlab-Simulink.	Comput. Appl. Eng. Educ.	2011	DBLP DOI BibTeX RDF
15	Amar Bentounsi, Hind Djeghloud, Hocine Benalla, Tahar Birem, H. Amiar	Computer-Aided Teaching Using MATLAB/Simulink for Enhancing an IM Course With Laboratory Tests.	IEEE Trans. Educ.	2011	DBLP DOI BibTeX RDF
15	Pritam Roy, Natarajan Shankar	SimCheck: a contract type system for Simulink.	Innov. Syst. Softw. Eng.	2011	DBLP DOI BibTeX RDF
15	Hongsuk Lee, Kihyun Chung, Hyunsang Park, Kyunghee Choi	Modeling software requirement with timing diagram and Simulink Stateflow.	Inf. Softw. Technol.	2011	DBLP DOI BibTeX RDF
15	Ahmad Ali Tabassam, Farhan Azmat Ali, Sumit Kalsait, Muhammad Uzair Suleman	Building Software-Defined Radios in MATLAB Simulink - A Step Towards Cognitive Radios.	UKSim	2011	DBLP DOI BibTeX RDF
15	Pontus Boström	Contract-Based Verification of Simulink Models.	ICFEM	2011	DBLP DOI BibTeX RDF
15	Andrea Sindico, Marco Di Natale, Gianpiero Panci	Integrating SysML with Simulink using Open-source Model Transformations.	SIMULTECH	2011	DBLP BibTeX RDF
15	Wei Cheng, Nenggan Zheng, Man Lin, Laurence Tianruo Yang	ENST: A Simulation Toolbox Based on Simulink for E-Textile Networks.	iThings/CPSCom	2011	DBLP DOI BibTeX RDF
15	Walid Chaaban, Michael H. Schwarz, Batsuren Batchuluun, Huiyun Sheng, Josef Börcsök	A partially automated HiL test environment for model-based development using Simulink® and OPC technology.	ICAT	2011	DBLP DOI BibTeX RDF
15	Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo	A step towards verification and synthesis from simulink/stateflow models.	HSCC	2011	DBLP DOI BibTeX RDF
15	Lars Kristian Klauske, Christian Dziobek	Effizientes Erstellen von Simulink Modellen mit Hilfe eines Spezifisch angepassten Layoutalgorithmus.	MBEES	2011	DBLP BibTeX RDF
15	Woonchul Ham, Jaebyung Park, Enkhbaatar Tumenjargal, Luubaatar Badarch, Hyeokjae Kwon	Simulation of RC Helicopter based on dynamics of quaternion by using OpenGL and simulink.	URAI	2011	DBLP DOI BibTeX RDF
15	Henning Kleen, Shangkun Xiao, Ralph Görgen, Nico Bannow, Wolfgang Nebel	Automatische Übersetzung von MATLAB/Simulink-Modellen nach SystemC-AMS.	MBMV	2011	DBLP BibTeX RDF
15	Gatis Valters	Initial version of Matlab/Simulink based tool for VHDL code generation and FPGA implementation of Elementary Generalized Unitary rotation.	NORCHIP	2011	DBLP DOI BibTeX RDF
15	Mahmoud Fawzy Wagdy, Anurag Nannaka, Rajeev K. N. Channegowda	A Novel Flash Fast-Locking Digital PLL: VHDL-AMS and Matlab/Simulink Modeling and Simulations.	ITNG	2011	DBLP DOI BibTeX RDF
15	K. T. Talele, Ashish Shrivastav, Kunal Utekar, Abhishek Deshpande	LMS filter for noise cancellation using Simulink.	ICDIP	2011	DBLP DOI BibTeX RDF
15	Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand	An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models.	FMICS	2011	DBLP DOI BibTeX RDF
15	Minji Cha, Kyong Hoon Kim	Automatic Building of Real-Time Multicore Systems Based on Simulink Applications.	UCMA (2)	2011	DBLP DOI BibTeX RDF
15	Jungsup Oh, Mark Harman, Shin Yoo	Transition coverage testing for simulink/stateflow models using messy genetic algorithms.	GECCO	2011	DBLP DOI BibTeX RDF
15	Francisco Mendoza 0001, Christian Köllner, Jürgen Becker 0001, Klaus D. Müller-Glaser	An automated approach to SystemC/Simulink co-simulation.	International Symposium on Rapid System Prototyping	2011	DBLP DOI BibTeX RDF
15	Hassan Soubra, Alain Abran, Sophie Stern, Amar Ramdane-Cherif	Design of a Functional Size Measurement Procedure for Real-Time Embedded Software Requirements Expressed using the Simulink Model.	IWSM/Mensura	2011	DBLP DOI BibTeX RDF
15	Philippe Bénabès, Catalin-Adrian Tugui	Effective modeling of CT functions for fast simulations using MATLAB-Simulink and VHDLAMS applied to Sigma-Delta architectures.	ISCAS	2011	DBLP DOI BibTeX RDF
15	Andrew W. L. Dickinson, Parvin Mousavi, David G. Gobbi, Purang Abolmaesumi	SimITK: rapid ITK prototyping using the Simulink visual programming environment.	Medical Imaging: Image-Guided Procedures	2011	DBLP DOI BibTeX RDF
15	Benjamin Gutekunst, Jens Weiland	Handhabung von Varianz in Simulink aus funktionsorientierter Sicht.	GI-Jahrestagung	2011	DBLP BibTeX RDF
15	B. K. Mishra 0001, Sandhya Save, Rupali Mane	A frame work for model based designing of analog circuits using simulink.	ICWET	2011	DBLP DOI BibTeX RDF
15	Colin Eles, Mark Lawford	A Tabular Expression Toolbox for Matlab/Simulink.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
15	George Adam, Alina G. Stan (Baciu), Gheorghe Livint	A Matlab-Simulink Approach To Shunt Active Power Filters.	ECMS	2011	DBLP DOI BibTeX RDF
15	Frank Böhr, Robert Eschbach	SIMOTEST: A tool for automated testing of hybrid real-time Simulink models.	ETFA	2011	DBLP DOI BibTeX RDF
15	Gurinder Pal Singh, Balwinder Singh	Simulink Library Development and Implementation for VLSI Testing in Matlab.	HPAGC	2011	DBLP DOI BibTeX RDF
15	Minji Cha, Kyong Hoon Kim, Chung-Jae Lee, Dojun Ha, Byoung Soo Kim	Deriving High-Performance Real-Time Multicore Systems Based on Simulink Applications.	DASC	2011	DBLP DOI BibTeX RDF
15	Sebastian Siegl, Kai-Steffen Hielscher, Reinhard German	Modeling and Statistical Testing of Real Time Embedded Automotive Systems by Combination of Test Models and Reference Models in MATLAB/Simulink.	ICSEng	2011	DBLP DOI BibTeX RDF
15	Nannan He, Philipp Rümmer, Daniel Kroening	Test-case generation for embedded simulink via formal concept analysis.	DAC	2011	DBLP DOI BibTeX RDF
15	Andreas Windisch	Suchbasierter Strukturtest für Simulink Modelle.		2011	RDF
15	Dang Le Khoa, Nguyen Huu Phuong, Le Nguyen Binh, Duc Nhan Nguyen	Simulink Model and FPGA-based OFDM Communication System: a simulation and Hardware Integrated Platform.	Int. J. Model. Simul. Sci. Comput.	2010	DBLP DOI BibTeX RDF
15	Leonard W. White, Subhashish Bhattacharya	A Discrete Matlab-Simulink Flickermeter Model for Power Quality Studies.	IEEE Trans. Instrum. Meas.	2010	DBLP DOI BibTeX RDF
15	Marco Di Natale, Liangpeng Guo, Haibo Zeng 0001, Alberto L. Sangiovanni-Vincentelli	Synthesis of Multi-task Implementations of Simulink Models with Minimum Delays.	IEEE Trans. Ind. Informatics	2010	DBLP DOI BibTeX RDF
15	José Antonio Calvo-Ramos, María Jesús López Boada, José Luis San Román García, Ester Olmeda	BONDSYM: SIMULINK-based educational software for analysis of dynamic system.	Comput. Appl. Eng. Educ.	2010	DBLP DOI BibTeX RDF
15	Rafael Puerto, Luis M. Jiménez, Óscar Reinoso	Remote control laboratory via Internet using Matlab and Simulink.	Comput. Appl. Eng. Educ.	2010	DBLP DOI BibTeX RDF
15	Recai Kiliç, Fatma Yildirim Dalkiran	Utilizing SIMULINK in modeling and simulation of generalized chaotic systems with multiple nonlinear functions.	Comput. Appl. Eng. Educ.	2010	DBLP DOI BibTeX RDF
15	Hardeep Singh, Jasvir Singh, M. Mian	Simulink based VoIP Analysis	CoRR	2010	DBLP BibTeX RDF
15	Nourdine Aliane	A Matlab/Simulink-Based Interactive Module for Servo Systems Learning.	IEEE Trans. Educ.	2010	DBLP DOI BibTeX RDF
15	Ayetül Gelen, Tankut Yalcinoz	An educational software package for Thyristor Switched Reactive Power Compensators using Matlab/Simulink.	Simul. Model. Pract. Theory	2010	DBLP DOI BibTeX RDF
15	Pooya Torkzadeh, Seyed Mojtaba Atarodi	Behavioral modeling of clock feed-through and channel charge injection non-ideal effects in SIMULINK for switched-capacitor integrator.	Simul. Model. Pract. Theory	2010	DBLP DOI BibTeX RDF
15	Aleksandrs Matvejevs, Andrejs Matvejevs	Pantograph-Catenary System Modeling Using MATLAB-Simulink Algorithms.	Sci. J. Riga Tech. Univ. Ser. Comput. Sci.	2010	DBLP DOI BibTeX RDF
15	Jean-Frédéric Étienne, S. Fechter, E. Juppeaux	Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain.	CSDM	2010	DBLP DOI BibTeX RDF
15	Arquimedes Canedo, Takeo Yoshizawa, Hideaki Komatsu	Skewed pipelining for parallel simulink simulations.	DATE	2010	DBLP DOI BibTeX RDF
15	Zhiqiang Que, Yongxin Zhu 0001, Xuan Wang, Jibo Yu, Tian Huang, Zhe Zheng, Li Yang, Feng Zhao, Yuzhuo Fu	Implementing Medical CT Algorithms on Stand-alone FPGA Based Systems Using an Efficient Workflow with SysGen and Simulink.	CIT	2010	DBLP DOI BibTeX RDF
15	Zhi Han, Pieter J. Mosterman	Detecting data store access conflict in Simulink by solving Boolean satisfiability problems.	ACC	2010	DBLP DOI BibTeX RDF
15	Terence Zarb, Ivan Grech, Edward Gatt, Owen Casha, Joseph Micallef	Verification of a VHDL GPS baseband processor using a simulink-based test bench generator.	ICECS	2010	DBLP DOI BibTeX RDF
15	Francesco Cannone, Gianfranco Avitabile, Giuseppe Coviello, Damiano Cascella	Complete time-domain behavioral model of analog to digital converter block using SIMULINK® for advanced RF receiver architectures.	ICECS	2010	DBLP DOI BibTeX RDF
15	Jesús Arturo Velarde-Sánchez, Sergio Alberto Rodríguez-Gutiérrez, Luis Govinda García-Valdovinos, Jesús Carlos Pedraza Ortega	5-DOF manipulator simulation based on MATLAB-Simulink methodology.	CONIELECOMP	2010	DBLP DOI BibTeX RDF
15	Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis	Compositional Translation of Simulink Models into Synchronous BIP.	SIES	2010	DBLP DOI BibTeX RDF
15	Feng Zhou, Søren Top, Krzysztof Sierszecki, Christo Angelov	Simulink analysis of component-based embedded applications.	MOMPES	2010	DBLP DOI BibTeX RDF
15	Jose R. Rodriguez, Felipe Ruiz, Domingo Biel, Francesc Guinjoan	Simulation and analysis of distributed PV generation in a LV network using MATLAB-Simulink.	ISCAS	2010	DBLP DOI BibTeX RDF
15	Thomas Haase, Heinz Wörn, Holger Nahrstaedt	Shared Memory in RTAI Simulink for Kernel and User-space Communication at the Example of the SDH-2 - QRtaiLab For SDH-2 Matrix Visualization.	ICINCO (3)	2010	DBLP BibTeX RDF
15	Pritam Roy, Natarajan Shankar	SimCheck: An Expressive Type System for Simulink.	NASA Formal Methods	2010	DBLP BibTeX RDF
15	Stepán Ozana, Martin Pies	Simulation of power plant superheater by Simulink S-functions.	ETFA	2010	DBLP DOI BibTeX RDF
15	Anas Mohd Nazlee, Nor Hisham Hamid, Fawnizu Azmadi Hussin, Noohul Basheer Zain Ali	Space Vector PWM for PMSM simulation using Matlab Simulink.	APCCAS	2010	DBLP DOI BibTeX RDF
15	Mohammad Gholami, Mohammad Sharifkhani, Saeed Saeedi	Modeling of DLL-based frequency multiplier in time and frequency domain with Matlab Simulink.	APCCAS	2010	DBLP DOI BibTeX RDF
15	Ping Jiang, Jing-Yu Hao, Xiao-Ping Zong, Pei-Guang Wang	Modeling and simulation of Active-Disturbance-Rejection Controller with Simulink.	ICMLC	2010	DBLP DOI BibTeX RDF
15	Sang-Il Han, Soo-Ik Chae, Lisane B. de Brisolara, Luigi Carro, Katalin Popovici, Xavier Guerin, Ahmed Amine Jerraya, Kai Huang 0002, Lei Li, Xiaolang Yan	Simulink®-based heterogeneous multiprocessor SoC design flow for mixed hardware/software refinement and simulation.	Integr.	2009	DBLP DOI BibTeX RDF
15	Yunong Zhang, Weimu Ma, Xiaodong Li 0011, Hongzhou Tan, Ke Chen 0004	MATLAB Simulink modeling and simulation of LVI-based primal-dual neural network for solving linear and quadratic programs.	Neurocomputing	2009	DBLP DOI BibTeX RDF
15	José Antonio Calvo-Ramos, María Jesús López Boada, Vicente Díaz, Ester Olmeda	SIMPERF: SIMULINK-based educational software for vehicle's performance estimation.	Comput. Appl. Eng. Educ.	2009	DBLP DOI BibTeX RDF
15	Mohammad Shahidul Hasan, Hongnian Yu, Alison Carrington, Taicheng Yang	Co-simulation of wireless networked control systems over mobile ad hoc network using SIMULINK and OPNET.	IET Commun.	2009	DBLP DOI BibTeX RDF
15	Le Nguyen Binh	MATLAB Simulink Simulation Platform for Photonic Transmission Systems.	Int. J. Commun. Netw. Syst. Sci.	2009	DBLP DOI BibTeX RDF
15	Chunqing Chen, Jin Song Dong, Jun Sun 0001	A formal framework for modeling and validating Simulink diagrams.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
15	Roberto Sepúlveda, Oscar Montiel, Gabriel Lizárraga, Oscar Castillo 0001	Modeling and Simulation of the Defuzzification Stage of a Type-2 Fuzzy Controller Using the Xilinx System Generator and Simulink.	Evolutionary Design of Intelligent Systems in Modeling, Simulation and Control	2009	DBLP DOI BibTeX RDF
15	Mohd Shahrieel Mohd Aras, Syed Najib Bin Syed Salim, Eric Chee Sai Hoo, Intan Azmira binti Wan Abd Razak, Mohd Hendra bin Hairi	Comparison of Fuzzy Control Rules Using MATLAB Toolbox and Simulink for DC Induction Motor-Speed Control.	SoCPaR	2009	DBLP DOI BibTeX RDF
15	Andrzej Imielowski	Modelling of Multi-tier Internet Applications with the Use of BCMP Queueing Networks and Simulation Model in Simulink.	CN	2009	DBLP DOI BibTeX RDF
15	Kamran Ghani, John A. Clark, Yuan Zhan	Comparing algorithms for search-based test data generation of Matlab® Simulink® models.	IEEE Congress on Evolutionary Computation	2009	DBLP DOI BibTeX RDF
15	Maurizio Tranchero, Leonardo Maria Reyneri, Arjan Bink, Mark de Wit	An Automatic Approach to Generate Haste Code from Simulink Specifications.	ASYNC	2009	DBLP DOI BibTeX RDF
15	Josef Börcsök, Walid Chaaban, Michael H. Schwarz, Huiyun Sheng, Oleksandr Sheleh, Batsuren Batchuluun	An automated software verification tool for model-based development of embedded systems with simulink®.	ICAT	2009	DBLP DOI BibTeX RDF
15	Christian Dziobek, Jens Weiland	Variantenmodellierung und -konfiguration eingebetteter automotive Software mit Simulink.	MBEES	2009	DBLP BibTeX RDF
15	Alexandre Chapoutot, Matthieu Martel	Abstract Simulation: A Static Analysis of Simulink Models.	ICESS	2009	DBLP DOI BibTeX RDF
15		Using matlab and Simulink in SystemC verification environment By JPEG algorithm.	ICECS	2009	DBLP DOI BibTeX RDF
15	Fuming Sun, Jing Liang, Xiaoling Li, Qin Wang	Texture Simulation and Implementation Based on Matlab and Simulink.	ICIG	2009	DBLP DOI BibTeX RDF
15	Joshua D. Tyson, Ryan A. Kellar, Johnothan S. Corley, Kenneth G. Ricks, David Jeff Jackson	Performance Analysis and Parallelization of Simulink Models.	CAINE	2009	DBLP BibTeX RDF
15	Ryan A. Kellar, Joshua D. Tyson, Johnothan S. Corley, Kenneth G. Ricks, David Jeff Jackson	Speedup Techniques for Simulink Model Execution.	CAINE	2009	DBLP BibTeX RDF
15	Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher	Mutation-Based Test Case Generation for Simulink Models.	FMCO	2009	DBLP DOI BibTeX RDF
15	Jie Zhou, Hui Chen, Caijing Xiu	A Simulation Model to Evaluate and Verify Functions of Autonomous Vehicle Based on Simulink®.	ICIRA	2009	DBLP DOI BibTeX RDF
15	Umesh P. Akare, Sudhir B. Lande, Suresh S. Balpande, Laxman P. Thakre	Performance of Simulink Based SS-OFDM Model for Broadband Wireless Access Network.	ICETET	2009	DBLP DOI BibTeX RDF
15	Maurizio Tranchero, Leonardo Maria Reyneri	Generating interacting synchronous and asynchronous designs from simulink descriptions.	SoCC	2009	DBLP DOI BibTeX RDF
15	Maurizio Tranchero, Leonardo Maria Reyneri	A multi-level simulation approach in a Simulink-based design tool for FPGAs.	SoCC	2009	DBLP DOI BibTeX RDF
15	Lili Tan, Björn Wachter, Philipp Lucas 0001, Reinhard Wilhelm	Improving Timing Analysis for Matlab Simulink/Stateflow.	ACES-MB@MoDELS	2009	DBLP BibTeX RDF
15	Xin Liu, Xingzhong Xiong, Pingxian Yang	Modeling and Simulation for IDMA Systems Based on Simulink.	PACCS	2009	DBLP DOI BibTeX RDF
15	Ondrej Krejcar, Petr Konarik	Low Cost RT Process Control Using Windows PLC by MATLAB/Simulink Throw the REX Control System by Secured Wireless Network.	ICONS	2009	DBLP DOI BibTeX RDF
15	Petr Chalupa, Vladimir Bobal, Jakub Novák, Petr Dostál	Using Of Self-Tuning Controllers Simulink Library For Real-Time Control Of Nonlinear Servo System.	ECMS	2009	DBLP DOI BibTeX RDF
15	Teresa Deveza, João Martins 0001	PLC Control and Matlab/Simulink Simulations. A Translation Approach.	ETFA	2009	DBLP DOI BibTeX RDF
15	Dalei Song, Lidan Zheng, Li Wang, Weiwei Qi, Yanli Li	The Co-simulation of Humanoid Robot Based on Solidworks, ADAMS and Simulink.	FIRA	2009	DBLP DOI BibTeX RDF
15	Ondrej Krejcar, Petr Konarik, Michal Tutsch	WinPLC control from MATLAB/Simulink environment throw the multiplatform control system REX by secured wireless network.	PDeS	2009	DBLP DOI BibTeX RDF
15	Stepán Ozana, Martin Pies	Design and implementation of embedded systems in Matlab&Simulink environment.	PDeS	2009	DBLP DOI BibTeX RDF