Search results for "Simulink"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Arquimedes Canedo, Takeo Yoshizawa, Hideaki Komatsu	Automatic parallelization of simulink applications.	CGO	2010	DBLP DOI BibTeX RDF	coarse grain dataflow, equation-level parallelism, compilers, multi-core, automatic parallelization, simulink, strands
3	Indranil Saha, Kuntal Chakraborty, Suman Roy, B. VishnuVardhan Reddy, Venkatappaiah Kurapati, Vishesh Sharma	An approach to reverse engineering of C programs to simulink models with conformance testing.	ISEC	2009	DBLP DOI BibTeX RDF	reverse engineering, c, conformance testing, simulink
3	Manoranjan Satpathy, Anand Yeolekar, S. Ramesh	Randomized directed testing (REDIRECT) for Simulink/Stateflow models.	EMSOFT	2008	DBLP DOI BibTeX RDF	simulink/stateflow models, coverage, hybrid systems, model based testing
3	Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar	Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.	EMSOFT	2008	DBLP DOI BibTeX RDF	simulations, coverage, hybrid systems, Simulink, Stateflow
3	Chunqing Chen, Jin Song Dong, Jun Sun 0001	Machine-Assisted Proof Support for Validation Beyond Simulink.	ICFEM	2007	DBLP DOI BibTeX RDF	Formal Verification, PVS, Simulink, Real-Time Specifications
3	Li Qi, Karen L. Butler-Purry, Stephen Woodruff	Realization of a generalized modeling method for ungrounded power systems in Matlab/Simulink.	SCSC	2007	DBLP DOI BibTeX RDF	algebraic loops, ungrounded power systems, nonlinear, building blocks, Matlab/Simulink
3	Yuan Zhan, John A. Clark	The state problem for test generation in Simulink.	GECCO	2006	DBLP DOI BibTeX RDF	Matlab-Simulink, state problem, structural coverage, tracing and deducing, automation, test-data generation
3	Chunqing Chen, Jin Song Dong	Applying Timed Interval Calculus to Simulink Diagrams.	ICFEM	2006	DBLP DOI BibTeX RDF	Verification, Z, Simulink, Real-Time Specification
3	Timothy Bourke, Arcot Sowmya	A timing model for synchronous language implementations in simulink.	EMSOFT	2006	DBLP DOI BibTeX RDF	timed automata, synchronous languages, simulink
3	Sang-Il Han, Xavier Guerin, Soo-Ik Chae, Ahmed Amine Jerraya	Buffer memory optimization for video codec application modeled in Simulink.	DAC	2006	DBLP DOI BibTeX RDF	memory size reduction, video codec application, Simulink
3	Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic	Translating discrete-time simulink to lustre.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	Code generation, embedded software, Simulink, Lustre
3	Yuan Zhan, John A. Clark	Search-based mutation testing for Simulink models.	GECCO	2005	DBLP DOI BibTeX RDF	simulated annealing, automation, heuristic search, test-data generation, mutation testing, Matlab/Simulink
3	Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi	Defining and translating a "safe" subset of simulink/stateflow into lustre.	EMSOFT	2004	DBLP DOI BibTeX RDF	embedded software, simulink, lustre, automatic translation
3	Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert	From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.	LCTES	2003	DBLP DOI BibTeX RDF	scheduling, embedded software, synchronous languages, simulink, lustre, code distribution
2	Paolo Zuliani, André Platzer, Edmund M. Clarke	Bayesian statistical model checking with application to Simulink/Stateflow verification.	HSCC	2010	DBLP DOI BibTeX RDF	bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems
2	Danilo Beuche, Jens Weiland	Managing Flexibility: Modeling Binding-Times in Simulink.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
2	Changyan Zhou, Ratnesh Kumar	Modeling Simulink Diagrams Using Input/Output Extended Finite Automata.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Tibor Farkas, Carsten Neumann, Andreas Hinnerichs	An Integrative Approach for Embedded Software Design with UML and Simulink.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Rajibul Huq, Hervé Lacheray, Cameron Fulford, Derek Wight, Jacob Apkarian	QBOT: An educational mobile robot controlled in MATLAB Simulink environment.	CCECE	2009	DBLP DOI BibTeX RDF
2	Michael Ryabtsev, Ofer Strichman	Translation Validation: From Simulink to C.	CAV	2009	DBLP DOI BibTeX RDF
2	Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar	Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models.	CAV	2009	DBLP DOI BibTeX RDF
2	Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans	Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.	HSCC	2009	DBLP DOI BibTeX RDF
2	G. Latif-Shabgahi, F. Tajarrod	A New Approach for the Construction of Fault Trees from System Simulink.	ARES	2009	DBLP DOI BibTeX RDF
2	Andreas Windisch	Search-based testing of complex simulink models containing stateflow diagrams.	ICSE Companion	2009	DBLP DOI BibTeX RDF
2	Chang Ho Sung, Jeong-Hee Hong, Tag Gon Kim	Interoperation of DEVS models and differential equation models using HLA/RTI: hybrid simulation of engineering and engagement level models.	SpringSim	2009	DBLP DOI BibTeX RDF	combat system effectiveness, DEVS, hybrid simulation, MATLAB/Simulink, HLA/RTI
2	Fazli Subhan, Halabi Hasbullah	Designing of Roaming Protocol for Bluetooth Equipped Multi Agent Systems.	IVIC	2009	DBLP DOI BibTeX RDF	Multi Agent Systems, component, Bluetooth, Handoff, Roaming, Simulink
2	Ainsmar Brown, Richard Garcia	Concepts and Validation of a Small-Scale Rotorcraft Proportional Integral Derivative (PID) Controller in a Unique Simulation Environment.	Journal of Intelligent and Robotic Systems	2009	DBLP DOI BibTeX RDF	X-Plane, Simulation, MATLAB, UAV, Simulink, PID, UAS
2	Marco Di Natale, Valerio Pappalardo	Buffer optimization in multitask implementations of Simulink models.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	schedulability, code generation, Software models, real-time programming
2	Gabriel Lizárraga, Roberto Sepúlveda, Oscar Montiel, Oscar Castillo	Modeling and Simulation of the Defuzzification Stage Using Xilinx System Generator and Simulink.	Soft Computing for Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF
2	Chang-liang Liu, Lin Chen, Xiao-mei Wang	Development of Simulation Software for Coal-Fired Power Units Based on Matlab/Simulink.	ICIC	2008	DBLP DOI BibTeX RDF
2	Onsy Abdel Alim, Nemat Elboghdadly, Mahmoud Ashour, Azza M. Elaskary	Channel estimation and equalization for fixed/mobile OFDM WiMAX system in simulink.	MOBILWARE	2008	DBLP DOI BibTeX RDF	OFDM, WiMAX, equalization, channel estimation, Doppler effect
2	Hongfu Zhou	Simulation on Temperature Fuzzy Control in Injection Mould Machine by Simulink.	ICNSC	2008	DBLP DOI BibTeX RDF
2	Yunong Zhang, Xiaojiao Guo, Weimu Ma, Ke Chen 0004, Binghuang Cai	MATLAB Simulink Modeling and Simulation of Zhang Neural Network for Online Time-Varying Matrix Inversion.	ICNSC	2008	DBLP DOI BibTeX RDF
2	Taufik, Makbul Anwari	Modeling and Simulation of Current Ripple in DC Link Connecting Two PWM Inverters Using Matlab/Simulink.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	DC bus Current Ripple, PWM Inverter
2	Csaba Petre, Craig Schlottmann, Paul E. Hasler	Automated conversion of Simulink designs to analog hardware on an FPAA.	ISCAS	2008	DBLP DOI BibTeX RDF
2	T. Barlas, M. Moallem	Next generation of embedded controllers: Developing FPGA-based reconfigurable controllers using Matlab/Simulink.	ETFA	2008	DBLP DOI BibTeX RDF
2	Weimu Ma, Yunong Zhang, Jiahai Wang	MATLAB Simulink modeling and simulation of Zhang neural networks for online time-varying sylvester equation solving.	IJCNN	2008	DBLP DOI BibTeX RDF
2	Muhammad Ikhwan Jambak, Habibollah Haron, Dewi Nasien	Development of Robot Simulation Software for Five Joints Mitsubishi RV-2AJ Robot Using MATLAB/Simulink and V-Realm Builder.	CGIV	2008	DBLP DOI BibTeX RDF
2	Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Bernhard Schätz, Stefan Wagner, Jean-Francois Girard, Stefan Teuchert	Clone detection in automotive model-based development.	ICSE	2008	DBLP DOI BibTeX RDF	model clone, data-flow, clone detection, matlab/simulink
2	Dong Liu, Xuesong Mei, Tao Tao, Youqing Zhou	Research on Design Method and Application of FPGA-Based Motion Control.	ICIRA	2008	DBLP DOI BibTeX RDF	System Generator, FPGA, motion control, MATLAB/Simulink
2	Chuanyin Tang, Lijie Yue, Lixin Guo, Shuwen Zhou, Wei Zhou, Zhaowen Wang	Fuzzy Logic Control for Vehicle Suspension Systems.	ICIRA	2008	DBLP DOI BibTeX RDF	suspension system, simulation, animation, fuzzy control, Matlab/simulink
2	Toshihiro Obata, Teiichiro Inoue	General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool.	MoDELS	2008	DBLP DOI BibTeX RDF	Mode controller, high quality, embedded system, flexibility, Simulink, Stateflow
2	Henrik Schiøler, Hans-Peter Schwefel, Martin B. Hansen	CyNC: a MATLAB/SimuLink toolbox for network calculus.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	modelling, real time systems, performance analysis, tools, network calculus
2	Youssef Atat, Nacer-Eddine Zergainoh	Simulink-based MPSoC Design: New Approach to Bridge the Gap between Algorithm and Architecture Design.	ISVLSI	2007	DBLP DOI BibTeX RDF
2	Pontus Boström, Lionel Morel, Marina A. Waldén	Stepwise Development of Simulink Models Using the Refinement Calculus Framework.	ICTAC	2007	DBLP DOI BibTeX RDF
2	Kai Huang, Sang-Il Han, Katalin Popovici, Lisane B. de Brisolara, Xavier Guerin, Lei Li, Xiaolang Yan, Soo-Ik Chae, Luigi Carro, Ahmed Amine Jerraya	Simulink-Based MPSoC Design Flow: Case Study of Motion-JPEG and H.264.	DAC	2007	DBLP DOI BibTeX RDF
2	Katalin Popovici, Ahmed Amine Jerraya	Simulink based hardware-software codesign flow for heterogeneous MPSoC.	SCSC	2007	DBLP DOI BibTeX RDF	hardware-software gradual refinement, multimedia applications, abstraction levels
2	Alonso Morgado, Rocio del Río, José Manuel de la Rosa	A SIMULINK Block Set for the High-Level Simulation of Multistandard Radio Receivers.	ISCAS	2007	DBLP DOI BibTeX RDF
2	Jason M. Carter, Jesse H. Poore	Sequence-based specification of feedback control systems in Simulink®.	CASCON	2007	DBLP DOI BibTeX RDF
2	Bradley Oraw, Vijay Choudhary, Raja Ayyanar	A cosimulation approach to model-based design for complex power electronics and digital control systems.	SCSC	2007	DBLP DOI BibTeX RDF	Saber, automatic code generation, Simulink, cosimulation, digital control
2	Yan Shi, Chunmei Zhang, Anbo Liang, Haibo Yuan	Fuzzy Control of the Spraying Medicine Control System.	CCTA	2007	DBLP DOI BibTeX RDF	variable spraying pesticide, fuzzy control, Matlab, Simulink
2	Daniel Ernst, Kimon P. Valavanis, Richard Garcia, Jeff Craighead	Unmanned Vehicle Controller Design, Evaluation and Implementation: From MATLAB to Printed Circuit Board.	Journal of Intelligent and Robotic Systems	2007	DBLP DOI BibTeX RDF	Autopilot, Unmanned systems, Validation, Implementation, Microcontroller, Controller design, MATLAB/SIMULINK
2	B. Meenakshi, Abhishek Bhatnagar, Sudeepa Roy	Tool for Translating Simulink Models into Input Language of a Model Checker.	ICFEM	2006	DBLP DOI BibTeX RDF
2	Brian Wesley Williams	Using hybrid automata to model four stroke engines with variable valve timing in Simulink/Stateflow.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	hybrid and embedded systems, hybrid automata
2	Shoujun Song, Weiguo Liu	Fuzzy Parameters Self-Tuning PID Control of Switched Reluctance Motor Based on Simulink/NCD.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
2	Xiaoying Li, Fuming Sun, Enhua Wu	A Simulink-to-FPGA Co-Design of Encryption Module.	APCCAS	2006	DBLP DOI BibTeX RDF
2	Yves Vanderperren, Wim Dehaene	From UML/SysML to Matlab/Simulink: current state and future perspectives.	DATE	2006	DBLP DOI BibTeX RDF
2	Roman Bartosinski, Zdenek Hanzálek, Libor Waszniowski, Petr Struzka	Processor Expert Enhances Matlab Simulink Facilities for Embedded Software Rapid Development.	ETFA	2006	DBLP DOI BibTeX RDF
2	Marco Di Natale	Optimizing the Multitask Implementation of Multirate Simulink Models.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
2	Gerald Stieglbauer, Andreas Werner	Modellierung von deterministischer Software in Simulink.	Inform., Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	Embedded realtime systems, Model-based software development, Software architecture, Code generation, Model generation, Digital controllers
2	Michael A. Shanblatt, Brian Foulds	A Simulink-to-FPGA Implementation Tool for Enhanced Design Flow.	MSE	2005	DBLP DOI BibTeX RDF
2	Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai	A Visually-Specified Code Generator for Simulink/Stateflow.	VL/HCC	2005	DBLP DOI BibTeX RDF
2	Jingzhao Ou, Viktor K. Prasanna	MATLAB/Simulink Based Hardware/Software Co-Simulation for Designing Using FPGA Configured Soft Processors.	IPDPS	2005	DBLP DOI BibTeX RDF
2	Lisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman	Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing.	SEW	2005	DBLP DOI BibTeX RDF
2	Andrea Fornasari, Piero Malcovati, Franco Maloberti	Improved modeling of sigma-delta modulator non-idealities in Simulink.	ISCAS	2005	DBLP DOI BibTeX RDF
2	S. I. Ahmed, Tad A. Kwasniewski	An all-digital data recovery circuit optimization using Matlab/Simulink.	ISCAS	2005	DBLP DOI BibTeX RDF
2	Hideaki Okazaki, Chiho Okazaki, Hirohiko Honda, Takuji Kawamoto	Simulink based model realization for CDMA communication over power lines.	ISCAS	2005	DBLP DOI BibTeX RDF
2	Marco Zennaro, Raja Sengupta	Distributing synchronous programs using bounded queues.	EMSOFT	2005	DBLP DOI BibTeX RDF	distributed synchronous programs, globally asynchronous locally synchronous architecture, GALS, Simulink
2	Ana Cavalcanti, Phil Clayton, Colin O'Halloran	Control Law Diagrams in Circus.	FM	2005	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
2	Ana Toledo Moreo, Cristina Vicente-Chicote, Juan Suardíaz Muro, Sergio A. Cuenca	Xilinx System Generator Based HW Components for Rapid Prototyping of Computer Vision SW/HW Systems.	IbPRIA	2005	DBLP DOI BibTeX RDF	FPGAs, prototyping, Simulink, co-simulation, image processing applications
2	M. M. Adams, Philip B. Clayton	ClawZ: Cost-Effective Formal Verification for Control Systems.	ICFEM	2005	DBLP DOI BibTeX RDF	industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
2	Wolfgang Pree, Gerald Stieglbauer, Josef Templ	Simulink Integration of Giotto/TDL.	ASWSD	2004	DBLP DOI BibTeX RDF
2	Mihail Petrov, Tudor Murgan, Frank May, Martin Vorbach, Peter Zipf, Manfred Glesner	The XPP Architecture and Its Co-simulation Within the Simulink Environment.	FPL	2004	DBLP DOI BibTeX RDF
2	Nikolaos Papandreou, Maria Varsamou, Theodore Antonakopoulos	Transmission Systems Prototyping Based on Stateflow/Simulink Models.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
2	Levent Burak Kara, Thomas F. Stahovich	Sim-U-Sketch: a sketch-based interface for SimuLink.	AVI	2004	DBLP DOI BibTeX RDF
2	Uwe Hatnik, Sven Altmann	Using ModelSim, Matlab/Simulink and NS for Simulation of Distributed Systems.	PARELEC	2004	DBLP DOI BibTeX RDF
2	Tetsuya Tsukada, Yoshifumi Sekine	A Basilar Membrane Model Using Simulink for Hearing-Aid Systems.	ICONIP	2004	DBLP DOI BibTeX RDF
2	Jingzhao Ou, Viktor K. Prasanna	PyGen: A MATLAB/Simulink Based Tool for Synthesizing Parameterized and Energy Efficient Designs Using FPGAs.	FCCM	2004	DBLP DOI BibTeX RDF
2	Jesús Ruiz-Amaya, Josep Lluís de la Rosa, F. Medeiro, Francisco V. Fernández, Rocio del Río, Maria Belen Pérez-Verdú, Ángel Rodríguez-Vázquez	MATLAB/SIMULINK-Based High-Level Synthesis of Discrete-Time and Continuous-Time [Sigma, Delta] Modulators.	DATE	2004	DBLP DOI BibTeX RDF
2	Levent Burak Kara, Thomas F. Stahovich	Hierarchical parsing and recognition of hand-sketched diagrams.	UIST	2004	DBLP DOI BibTeX RDF	pnns, visual parsing, Simulink, symbol recognition, pen computing, sketch understanding
2	Miroslav Lícko, Jan Schier, Milan Tichý, Markus Kühl	MATLAB/Simulink Based Methodology for Rapid-FPGA-Prototyping.	FPL	2003	DBLP DOI BibTeX RDF
2	Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis	Translating Discrete-Time Simulink to Lustre.	EMSOFT	2003	DBLP DOI BibTeX RDF
2	Zdenek Pohl, Jan Schier, Miroslav Lícko, Antonin Hermanek, Milan Tichý, Rudolf Matousek, Jiri Kadlec	Logarithmic Arithmetic for Real Data Types and Support for Matlab/Simulink Based Rapid-FPGA-Prototyping.	IPDPS	2003	DBLP DOI BibTeX RDF
2	J. Moreno-Reina, José Manuel de la Rosa, Fernando Manuel Medeiro Hidalgo, R. Romay, Rocio del Río, Maria Belen Pérez-Verdú, Ángel Rodríguez-Vázquez	A SIMULINK-based approach for fast and precise simulation of switched-capacitor, switched-current and continuous-time Sigma-Delta modulators.	ISCAS	2003	DBLP DOI BibTeX RDF
2	D. Weiler, Ton J. J. van den Boom, Bedrich J. Hosticka	Resolution prediction for bandpass-Sigma-Delta-modulators using SIMULINK behavior simulation.	ISCAS	2003	DBLP DOI BibTeX RDF
2	Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner	Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models.	ECRTS	2002	DBLP DOI BibTeX RDF
2	Yiannis Papadopoulos, Matthias Maruhn	Model-Based Synthesis of Fault Trees from Matlab-Simulink Models.	DSN	2001	DBLP DOI BibTeX RDF
2	Hamid Maçbahi, Abdellfattah Ba-Razzouk, Ahmed Chériti	Decoupled Parallel Simulation of Power Electronics Systems Using Matlab-Simulink.	PARELEC	2000	DBLP DOI BibTeX RDF
2	Z. S. Wang, Jiangde Chen	Mathematical Modeling of Nonlinear Coupling Mechanisms of Gastric Slow Wave Propagation and Its SIMULINK Simulation for Investigating Gastric Dysrhythmia and Pacing.	CBMS	2000	DBLP DOI BibTeX RDF
2	Luciano Lavagno, Begoña Pino, Leonardo Maria Reyneri, A. Serra	A Simulink(c)-Based Approach to System Level Design and Architecture Selection.	EUROMICRO	2000	DBLP DOI BibTeX RDF	mixed analog/digital, embedded systems, Low-power, system-on-a-chip, Hardware-Software codesign
2	Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg	Co-simulation of Hybrid Systems: Signal-Simulink.	FTRTFT	2000	DBLP DOI BibTeX RDF
2	S. Brigati, F. Francesconi, Piero Malcovati, D. Tonietto, Andrea Baschirotto, Franco Maloberti	Modeling sigma-delta modulator non-idealities in SIMULINK(R).	ISCAS	1999	DBLP DOI BibTeX RDF
2	Frantisek Solc	Matrix Model of Robot in Matlab-Simulink.	EUROCAST	1999	DBLP DOI BibTeX RDF
2	Colin O'Halloran, Alf Smith	Verification of Picture Generated Code. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	Ada, Z, Automatic Code Generation, Proof, Simulink, SPARK, Control Laws
1	Craig Schlottmann, Csaba Petre, Paul E. Hasler	A High-Level Simulink-Based Tool for FPAA Configuration.	IEEE Trans. VLSI Syst.	2012	DBLP DOI BibTeX RDF
1	Chenxi Lei, Emiel Martijn van Eenennaam, Wouter Klein Wolterink, Jeroen Ploeg, Georgios Karagiannis, Geert J. Heijenk	Evaluation of CACC string stability using SUMO, Simulink, and OMNeT++.	EURASIP J. Wireless Comm. and Networking	2012	DBLP DOI BibTeX RDF
1	Changyan Zhou, Ratnesh Kumar	Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata.	Discrete Event Dynamic Systems	2012	DBLP DOI BibTeX RDF
1	Wei-Hsin Liao, Shun-Chung Wang, Yi-Hua Liu	Generalized Simulation Model for a Switched-Mode Power Supply Design Course Using MATLAB/SIMULINK.	IEEE Trans. Education	2012	DBLP DOI BibTeX RDF
1	Prakash Peranandam, Sachin Raviram, Manoranjan Satpathy, Anand Yeolekar, Ambar A. Gadkari, S. Ramesh	An integrated test generation tool for enhanced coverage of Simulink/Stateflow models.	DATE	2012	DBLP BibTeX RDF
1	Andreas Windisch	Suchbasierter Strukturtest für Simulink Modelle.		2011	RDF