Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner |
Equivalence Checking for Hybrid Control Systems Modelled in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 2018 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2018, Lisbon, Portugal, July 16-20, 2018, pp. 572-579, 2018, IEEE, 978-1-5386-7839-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang |
Graphical Hybrid Automata with Simulink and Stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018, pp. 267-268, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang |
Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018, pp. 247-252, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic |
Localizing Faults in Simulink/Stateflow Models with STL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018, pp. 197-206, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Caroline Brandberg, Marco Di Natale |
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 206-222, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jiaxing Li, Yunhua Li, Qu Wang, Hao Lu, Kai Xiong |
Motor Electric Current Based Fault Detection for Transmission of EMA Using Matlab/Simulink Simscape. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 15th International Conference on Control, Automation, Robotics and Vision, ICARCV 2018, Singapore, November 18-21, 2018, pp. 1327-1332, 2018, IEEE, 978-1-5386-9582-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Eric J. Rapos, James R. Cordy |
SimEvo: A Toolset for Simulink Test Evolution & Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: 11th IEEE International Conference on Software Testing, Verification and Validation, ICST 2018, Västerås, Sweden, April 9-13, 2018, pp. 410-415, 2018, IEEE Computer Society, 978-1-5386-5012-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ali Behravan, Roman Obermaisser, Deepak Hanike Basavegowda, Simon Meckel |
Automatic model-based fault detection and diagnosis using diagnostic directed acyclic graph for a demand-controlled ventilation and heating system in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018, pp. 1-7, 2018, IEEE, 978-1-5386-3664-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Asma Rebaya, Kaouther Gasmi, Salem Hasnaoui |
A Simulink-Based Rapid Prototyping Workflow for Optimizing Software/Hardware Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftCOM ![In: 26th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2018, Split, Croatia, September 13-15, 2018, pp. 1-6, 2018, IEEE, 978-9-5329-0087-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Kai Ding 0001, Andrey Morozov 0001, Klaus Janschek |
Reliability Evaluation of Functionally Equivalent Simulink Implementations of a PID Controller under Silent Data Corruption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018, Memphis, TN, USA, October 15-18, 2018, pp. 47-57, 2018, IEEE Computer Society, 978-1-5386-8321-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Robert Glebocki, Iryna Baranovska, Rafal Ozóg |
Some Problems of Inertial Measurement Units Modeling in Matlab and Matlab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AUTOMATION ![In: Automation 2018 - Advances in Automation, Robotics and Measurement Techniques, outcomes of the international conference AUTOMATION 2018, 21-23 March, 2018, Warsaw, Poland, pp. 704-712, 2018, Springer, 978-3-319-77178-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Nina Parkalian, Markus Robens, Christian Grewing, Volker Christ, Dennis Liebau, P. Muralidharan, Dennis Nielinger, Ugur Yegin, Andre Zambanini, Stefan van Waasen |
Modeling and Simulation of Digital Phase-Locked Loop in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMACD ![In: 15th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2018, Prague, Czech Republic, July 2-5, 2018, pp. 121-9, 2018, IEEE, 978-1-5386-5153-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Salma. A. S. Alarefi, Stuart D. Walker |
Empirical investigation and Simulink-simulation modelling of hydropower generator characteristic impedance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: IEEE International Conference on Industrial Technology, ICIT 2018, Lyon, France, February 20-22, 2018, pp. 960-965, 2018, IEEE, 978-1-5090-5949-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Shamit Bansal, Yecheng Zhao, Haibo Zeng 0001, Kehua Yang |
Optimal Implementation of Simulink Models on Multicore Architectures with Partitioned Fixed Priority Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: 2018 IEEE Real-Time Systems Symposium, RTSS 2018, Nashville, TN, USA, December 11-14, 2018, pp. 242-253, 2018, IEEE Computer Society, 978-1-5386-7908-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Pavol Salík, Rastislav Róka, Tomás Gorazd |
Simulation Platform of Optical Transmission System in Matlab Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FNC/MobiSPC ![In: The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) / The 13th International Conference on Future Networks and Communications (FNC-2018) / Affiliated Workshops, Gran Canaria, Spain, August 13-15, 2018, pp. 196-203, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Mehrdad Moradi, Bert Van Acker, Ken Vanherpen, Joachim Denil |
Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 71-90, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Naderlinger |
Subjecting Legacy Simulink Models to Timing Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 51-70, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Gerardo Molina Salgado, Alberto Dicataldo, Daniel O'Hare, Ivan John O'Connell, José M. de la Rosa 0001 |
Behavioral Modeling of SAR ADCs in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systems, ISCAS 2018, 27-30 May 2018, Florence, Italy, pp. 1-5, 2018, IEEE, 978-1-5386-4881-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Schaap, Gordon Marks, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Alan Wassyng, Lucian M. Patcas |
Documenting Simulink designs of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 47-51, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe, Michael von Wenckstern |
EmbeddedMontiArc: Textual modeling alternative to Simulink (Tool Demonstration). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018., pp. 263-265, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Eun-Young Kang 0001, Li Huang 0001 |
Probabilistic Analysis of Timing Constraints in Autonomous Automotive Systems Using Simulink Design Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETTA ![In: Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings, pp. 170-186, 2018, Springer, 978-3-319-99932-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Nupur Yadav, D. K. Sambariya |
Mathematical Modelling and Simulation of Photovoltaic Module Using MATLAB/SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCNT ![In: 9th International Conference on Computing, Communication and Networking Technologies, ICCCNT 2018, Bengaluru, India, July 10-12, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-4430-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner |
A curated corpus of simulink models for model-based empirical studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEsCPS@ICSE ![In: Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, ICSE 2018, Gothenburg, Sweden, May 27, 2018, pp. 45-48, 2018, ACM, 978-1-4503-5728-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner |
Information Flow Analysis of Combined Simulink/Stateflow Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2018, Paris, France, June 27-29, 2018, pp. 223-228, 2018, IEEE Computer Society, 978-1-5386-6916-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Raed Mesleh, Abdullah Al-Khatib, Omar Hiari |
Hardware Implementation of Generalized Space Modulation Techniques Using Simulink RF Blockset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: Broadband Communications, Networks, and Systems - 9th International EAI Conference, BROADNETS 2018, Faro, Portugal, September 19-20, 2018, Proceedings, pp. 247-256, 2018, Springer, 978-3-030-05194-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Chakarajamula Hussaian Basha, C. Rani, R. M. Brisilla, S. Odofin |
Mathematical Design and Analysis of Photovoltaic Cell Using MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (1) ![In: Soft Computing for Problem Solving - SocProS 2018, Volume 1, VIT Vellore, India, December 17-19, 2018, pp. 711-726, 2018, Springer, 978-981-15-0034-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Schlie, Sandro Schulze, Ina Schaefer |
Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: 2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018, Madrid, Spain, September 23-29, 2018, pp. 160-171, 2018, IEEE Computer Society, 978-1-5386-7870-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jacek Nazdrowicz |
Different Methods of MEMS Simulations in Matlab/SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIXDES ![In: 25th International Conference `Mixed Design of Integrated Circuits and System`, MIXDES 2018, Gdynia, Poland, June 21-23, 2018, pp. 269-274, 2018, IEEE, 978-83-63578-14-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Nicolás Montés, Nuria Rosillo, Marta Covadonga Mora, Lucia Hilario |
Real-Time Matlab-Simulink-Lego EV3 Framework for Teaching Robotics Subjects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RiE ![In: Robotics in Education - Methods and Applications for Teaching and Learning, Proceedings of the 9th RiE 2018, Qawra, St. Paul's Bay, Malta, April 18-20, 2018., pp. 230-240, 2018, Springer, 978-3-319-97084-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | J. J. Brito, Pedro A. Toledo, Silvia Alayón |
Virtual laboratory for automation combining inventor 3D models and Simulink control models: Virtual laboratory for automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDUCON ![In: 2018 IEEE Global Engineering Education Conference, EDUCON 2018, Santa Cruz de Tenerife, Tenerife, Islas Canarias, Spain, April 17-20, 2018, pp. 555-562, 2018, IEEE, 978-1-5386-2957-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Mehmet Yilmaz, Fatih Mehmet Nuroglu |
Design of permissible step and touch voltage with SIMULINK and MATLAB guide. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIU ![In: 26th Signal Processing and Communications Applications Conference, SIU 2018, Izmir, Turkey, May 2-5, 2018, pp. 1-4, 2018, IEEE, 978-1-5386-1501-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh 0002 |
Modeling AUTOSAR Implementations in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMFA ![In: Modelling Foundations and Applications - 14th European Conference, ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings, pp. 279-292, 2018, Springer, 978-3-319-92996-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Dirk Fetzer, Gustav Lammert, Anton Ishchenko, Lars Tabit, Martin Braun 0002 |
A Flexible MATLAB/Simulink RMS-Framework for Electrical Power Systems Designed for Research and Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT Europe ![In: 2018 IEEE PES Innovative Smart Grid Technologies Conference Europe, ISGT-Europe 2018, Sarajevo, Bosnia and Herzegovina, October 21-25, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-4505-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ilhan Kocaarslan, Mehmet Taciddin Akçay, Sirri Erdem Ulusoy, Emrah Bal, Hasan Tiryaki |
Creation of a dynamic model of the electrification and traction power system of a 25 kV AC feed railway line together with analysis of different operation scenarios using MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turkish J. Electr. Eng. Comput. Sci. ![In: Turkish J. Electr. Eng. Comput. Sci. 25, pp. 4254-4267, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Majid Toghyani Rizi, Mohammad Hadi Shahrokh Abadi |
Analytical modeling of a coaxial cylindrical probe capacitive sensor based on MATLAB/Simulink for conductive liquids level measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Turkish J. Electr. Eng. Comput. Sci. ![In: Turkish J. Electr. Eng. Comput. Sci. 25, pp. 3024-3036, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Tim Peter, Sigrid Wenzel |
Coupled Simulation of Energy and Material Flow using Plant Simulation and MATLAB Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Notes Eur. ![In: Simul. Notes Eur. 27(2), pp. 105-113, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Luciano Baresi, Márcio Eduardo Delamaro, Paulo Augusto Nardi |
Test oracles for simulink-like models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 24(2), pp. 369-391, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zhitao Wang, Jian Li, Tie-lei Li, Shu-Ying Li |
Research on Simulink/Fluent Collaborative Simulation Zooming of Marine Gas Turbine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Comput. Intell. Soft Comput. ![In: Appl. Comput. Intell. Soft Comput. 2017, pp. 8324810:1-8324810:8, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet |
A Synchronous Look at the Simulink Standard Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 16(5s), pp. 176:1-176:24, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Ramin M. Hasani, Victoria Beneder, Magdalena Fuchs, David Lung, Radu Grosu |
SIM-CE: An Advanced Simulink Platform for Studying the Brain of Caenorhabditis elegans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.06270, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Maher Fakih, Sebastian Warsitz |
Automatic SDF-based Code Generation from Simulink Models for Embedded Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1701.04217, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
15 | Meng Li 0001, Ratnesh Kumar 0001 |
Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Cyper-Phys. Syst.: Theory & Appl. ![In: IET Cyper-Phys. Syst.: Theory & Appl. 2(1), pp. 28-41, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Xueqian Zhao, Zhonghai Lu |
A Tool for xMAS-Based Modeling and Analysis of Communication Fabrics in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 27(3), pp. 16, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Naijun Zhan, Shuling Wang, Hengjun Zhao (eds.) |
Formal Verification of Simulink/Stateflow Diagrams, A Deductive Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
DOI RDF |
|
15 | Asma Rebaya, Imen Amari, Kaouther Gasmi, Salem Hasnaoui |
Workflow for NoC/DSP multicores-based platform: From Matlab/Simulink models to hardware mapping and scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: International Conference on Control, Automation and Diagnosis, ICCAD 2017, Hammamet, Tunisia, January 19-21, 2017, pp. 110-115, 2017, IEEE, 978-1-5090-5987-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Molla Biweta, Mengesha Mamo |
Closed loop control strategy of back to back PWM converter fed by PMSG using PLECS toolbox on Matlab/Simulink for wind energy application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFRICON ![In: IEEE AFRICON 2017, Cape Town, South Africa, September 18-20, 2017, pp. 1313-1318, 2017, IEEE, 978-1-5386-2775-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Yves Matanga, Karim Djouani, Anish Mathew Kurien |
A Matlab/Simulink framework for real time implementation of endogenous brain computer interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFRICON ![In: IEEE AFRICON 2017, Cape Town, South Africa, September 18-20, 2017, pp. 100-105, 2017, IEEE, 978-1-5386-2775-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Stefano Aldegheri, Nicola Bombieri |
Integrating Simulink, OpenVX, and ROS for Model-Based Design of Embedded Vision Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC (Selected Papers) ![In: VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things - 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23-25, 2017, Revised and Extended Selected Papers, pp. 178-197, 2017, Springer, 978-3-030-15662-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Naderlinger |
Simulating preemptive scheduling with timing-aware blocks in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2017, Lausanne, Switzerland, March 27-31, 2017, pp. 758-763, 2017, IEEE, 978-3-9815370-8-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Mustafa Saraoglu, Andrey Morozov 0001, Mehmet Turan Söylemez, Klaus Janschek |
ErrorSim: A Tool for Error Propagation Analysis of Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings, pp. 245-254, 2017, Springer, 978-3-319-66265-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Zhenying Jiang, Xiao Wu, Zeqian Dong, Ming Mu |
Optimal Test Case Generation for Simulink Models Using Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS Companion ![In: 2017 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS-C 2017, Prague, Czech Republic, July 25-29, 2017, pp. 363-369, 2017, IEEE, 978-1-5386-2072-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand |
Improving fault localization for Simulink models using search-based testing and prediction models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SANER ![In: IEEE 24th International Conference on Software Analysis, Evolution and Reengineering, SANER 2017, Klagenfurt, Austria, February 20-24, 2017, pp. 359-370, 2017, IEEE Computer Society, 978-1-5090-5501-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Kaouther Gasmi, Imen Amari, Asma Rebeya, Salem Hasnaoui |
Automatic paral ellizati on of Simulink models for multicore embedded systems development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IINTEC ![In: International Conference on Internet of Things, Embedded Systems and Communications, IINTEC 2017, Gafsa, Tunisia, October 20-22, 2017, pp. 118-123, 2017, IEEE, 978-1-5386-2113-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Chi Huang, Qiwei He, Zhengtao Yan, Weipeng Gao |
Active Control Simulation of Double Layer Vibration Isolation Platform Based on Simulink with Variable Step Size On-line Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCID (2) ![In: 10th International Symposium on Computational Intelligence and Design, ISCID 2017, Hangzhou, China, December 9-10, 2017 - Volume 2, pp. 152-155, 2017, IEEE, 978-1-5386-3675-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Martín Letras, Joachim Falk, Stefan Wildermann, Jürgen Teich |
Automatic Conversion of Simulink Models to SysteMoC Actor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017, Sankt Goar, Germany, June 12-13, 2017, pp. 81-84, 2017, ACM, 978-1-4503-5039-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Kaouther Gasmi, Imen Amari, Asma Rebeya, Salem Hasnaoui |
Performance evaluation of MATLAB/Simulink models for fitting embedded multicore systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoftCOM ![In: 25th International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2017, Split, Croatia, September 21-23, 2017, pp. 1-6, 2017, IEEE, 978-953-290-078-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Nikolaos Kekatos, Marcelo Forets, Goran Frehse |
Constructing verification models of nonlinear Simulink systems via syntactic hybridization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, pp. 1788-1795, 2017, IEEE, 978-1-5090-2873-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Craig Buhr |
Special sessions: Controls teaching made easier with MATLAB and Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017, pp. 1-7, 2017, IEEE, 978-1-5090-2873-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | H. R. Jayetileke, W. R. de Mel, H. U. W. Ratnayake |
Modelling and simulation analysis of the genetic-fuzzy controller for speed regulation of a sensored BLDC motor using MATLAB/SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIIS ![In: 2017 IEEE International Conference on Industrial and Information Systems, ICIIS 2017, Peradeniya, Sri Lanka, December 15-16, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-1674-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Abdelmenem Abobghala, Simon Iwnicki, Roger Goodall |
Evaluation of passive and active steering systems for railway vehicles using Matlab and Simulink simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAC ![In: 23rd International Conference on Automation and Computing, ICAC 2017, Huddersfield, United Kingdom, September 7-8, 2017, pp. 1-6, 2017, IEEE, 978-0-7017-0260-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Vincenzo Bonaiuto, Fausto Sargeni |
A Matlab Simulink model for the study of smart grid - Grid-integrated vehicles interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSI ![In: 3rd IEEE International Forum on Research and Technologies for Society and Industry, RTSI 2017, Modena, Italy, September 11-13, 2017, pp. 1-6, 2017, IEEE, 978-1-5386-3906-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Naderlinger |
Simulating execution time variations in Matlab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: 2017 Winter Simulation Conference, WSC 2017, Las Vegas, NV, USA, December 3-6, 2017, pp. 1491-1502, 2017, IEEE, 978-1-5386-3428-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner |
Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 2, pp. 469-474, 2017, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Mario Gavran, Mato Fruk, Goran Vujisic |
PI controller for DC motor speed realized with Arduino and Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIPRO ![In: 40th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2017, Opatija, Croatia, May 22-26, 2017, pp. 1557-1561, 2017, IEEE, 978-953-233-090-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | S. M. Sadinov |
Simulation study of M-ARY QAM modulation techniques using Matlab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIPRO ![In: 40th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2017, Opatija, Croatia, May 22-26, 2017, pp. 547-554, 2017, IEEE, 978-953-233-090-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Vjosa Shatri, Lavdim Kurtaj, Ilir Limani |
Hardware-in-the-loop architecture with MATLAB/Simulink and QuaRC for rapid prototyping of CMAC neural network controller for ball-and-beam plant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIPRO ![In: 40th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2017, Opatija, Croatia, May 22-26, 2017, pp. 1201-1206, 2017, IEEE, 978-953-233-090-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Reza Matinnejad, Shiva Nejati, Lionel C. Briand |
Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, pp. 938-943, 2017, ACM, 978-1-4503-5105-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Alessio Balsini, Marco Di Natale, Marco Celia, Vassilios A. Tsachouridis |
Generation of simulink monitors for control applications from formal requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: 12th IEEE International Symposium on Industrial Embedded Systems, SIES 2017, Toulouse, France, June 14-16, 2017, pp. 1-9, 2017, IEEE, 978-1-5386-3166-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Joanne Kitson, Samuel J. Williamson, Paul Harper, Chris M. McMahon, Ges Rosenberg, Michael Tierney, Karen Bell |
A photovoltaic panel modelling method for flexible implementation in Matlab/Simulink using datasheet quantities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIE ![In: 26th IEEE International Symposium on Industrial Electronics, ISIE 2017, Edinburgh, United Kingdom, June 19-21, 2017, pp. 946-951, 2017, IEEE, 978-1-5090-1412-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi |
Automatic generation of cycle-accurate Simulink blocks from hdl ips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2017 Forum on Specification and Design Languages, FDL 2017, Verona, Italy, September 18-20, 2017, pp. 1-8, 2017, IEEE, 978-1-5386-4733-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Stefano Centomo, Michele Lora, Antonio Portaluri, Francesco Stefanni, Franco Fummi |
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL (Selected Papers) ![In: Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2017 [Verona, Italy, September 18-20, 2017], pp. 1-23, 2017, Springer, 978-3-030-02214-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Italo Oliveira, Ramiro S. Barbosa, Manuel F. Silva 0001 |
Modelling, Trajectory Planning and Control of a Quadruped Robot Using Matlab®/Simulink™. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ROBOT (2) ![In: ROBOT 2017: Third Iberian Robotics Conference - Volume 2, Seville, Spain, November 22-24, 2017., pp. 756-767, 2017, Springer, 978-3-319-70835-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Schlie, David Wille, Loek Cleophas, Ina Schaefer |
Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Mastering Scale and Complexity in Software Reuse - 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings, pp. 77-94, 2017, 978-3-319-56855-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki |
Template-Based Monte-Carlo Test Generation for Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy ![In: Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers, pp. 63-78, 2017, Springer, 978-3-030-17909-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Shota Tokunaga, Takuya Azumi |
Demo Abstract: Co-simulation Framework for Autonomous Driving Systems with MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2017, Pittsburg, PA, USA, April 18-21, 2017, pp. 153-154, 2017, IEEE Computer Society, 978-1-5090-5269-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Matus Kozovsky, Petr Blaha |
Simulink generated control algorithm for nine-phase PMS motor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSCE ![In: 7th IEEE International Conference on Control System, Computing and Engineering, ICCSCE 2017, Penang, Malaysia, November 24-26, 2017, pp. 59-64, 2017, IEEE, 978-1-5386-3897-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, pp. 194-209, 2017, Springer, 978-3-319-60224-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Frantisek Gazdos |
Teaching Process Modelling And Simulation At Tomas Bata University In Zlin Using MATLAB And Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMS ![In: European Conference on Modelling and Simulation, ECMS 2017, Budapest, Hungary, May 23-26, 2017, Proceedings., pp. 453-459, 2017, European Council for Modeling and Simulation. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Bohan Lv, Shan Liu, Jinshu Gu, Guangshang Zeng |
Dynamics Co-simulation of Multi-DOF Dexterous Robot Hand System Based on ADAMS and Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCMS ![In: Proceedings of the 8th International Conference on Computer Modeling and Simulation, ICCMS 2017. Canberra, Australia, January 20 - 23, 2017, pp. 38-41, 2017, ACM, 978-1-4503-4816-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Guangming Xiong, Hao Li, Zeliang Ding, Jianwei Gong, Huiyan Chen |
Subjective evaluation of vehicle active safety using PreScan and Simulink: Lane departure warning system as an example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVES ![In: 2017 IEEE International Conference on Vehicular Electronics and Safety, ICVES 2017, Vienna, Austria, June 27-28, 2017, pp. 208-213, 2017, IEEE, 978-1-5090-5677-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Manel Takrouni, Marwa Gdhaifi, Azer Hasnaoui, Ikbel Mejri, Salem Hasnaoui |
Design and Implementation of a Simulink DDS Blockset and Its Integration to an Active Frame Steering Blockset Conformed to SAE ElectricVehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 14th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2017, Hammamet, Tunisia, October 30 - Nov. 3, 2017, pp. 288-294, 2017, IEEE Computer Society, 978-1-5386-3581-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Schlie, David Wille, Sandro Schulze, Loek Cleophas, Ina Schaefer |
Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC (A) ![In: Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume A, Sevilla, Spain, September 25-29, 2017, pp. 215-224, 2017, ACM, 978-1-4503-5221-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Wei-Jie Tang, Zhen-Tao Liu |
A convenient method for tracking color-based object in living video based on ROS and MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARM ![In: 2nd International Conference on Advanced Robotics and Mechatronics, ICARM 2017, Hefei and Tai'an, China, August 27-31, 2017, pp. 724-727, 2017, IEEE, 978-1-5386-3260-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Om Ji Shukla, Gunjan Soni, Rajesh Kumar 0002 |
Simulation Modeling for Manufacturing System Application Using Simulink/SimEvents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (2) ![In: Soft Computing for Problem Solving - SocProS 2017, Volume 2, Bhubaneswar, India, December 23-24, 2017., pp. 751-760, 2017, Springer, 978-981-13-1594-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Eric J. Rapos, James R. Cordy |
SimPact: Impact Analysis for Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSME ![In: 2017 IEEE International Conference on Software Maintenance and Evolution, ICSME 2017, Shanghai, China, September 17-22, 2017, pp. 489-493, 2017, IEEE Computer Society, 978-1-5386-0992-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Jacek Nazdrowicz |
SIMULINK and COMSOL software application for MEMS accelerometer modeling and simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIXDES ![In: 24th International Conference Mixed Design of Integrated Circuits and Systems, MIXDES 2017, Bydgoszcz, Poland, June 22-24, 2017, pp. 429-434, 2017, IEEE, 978-83-63578-12-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Claudius Jordan, Canlong Ma, Julien Provost |
An educational toolbox on supervisory control theory using MATLAB Simulink stateflow: From Theory to practice in one week. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDUCON ![In: 2017 IEEE Global Engineering Education Conference, EDUCON 2017, Athens, Greece, April 25-28, 2017, pp. 632-639, 2017, IEEE, 978-1-5090-5467-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Georg P. Engel, Ajay Sathya Chakkaravarthy, Gerald Schweiger |
Co-simulation Between Trnsys and Simulink Based on Type155. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM Workshops ![In: Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers, pp. 315-329, 2017, Springer, 978-3-319-74780-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Arthur Noronha Montanari, Camila Felix Luciano, Marcelo Martins Stopa, Claudio de Andrade Lima |
A virtual environment for paralleling process of synchronous generators on LabVIEW and Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACIT ![In: International Symposium on Engineering Accreditation, ICACIT 2017, Lima, Peru, September 21-22, 2017, pp. 1-4, 2017, IEEE, 978-1-5090-6581-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Eric J. Rapos |
Supporting Simulink Model Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
15 | Francisco de la Parra |
Discovery of Patterns in Simulink Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
15 | Artur Schmidt, Umut Durak, Thorsten Pawletta |
Model-based testing methodology using system entity structures for MATLAB/Simulink models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 92(8), pp. 729-746, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Walid Emar |
Analysis, modeling and simulation of step up converter using Matlab-Simulink and simplorer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Model. Simul. Sci. Comput. ![In: Int. J. Model. Simul. Sci. Comput. 7(2), pp. 1650004:1-1650004:13, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Pontus Boström, Jonatan Wiik |
Contract-based verification of discrete-time multi-rate Simulink models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 15(4), pp. 1141-1161, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Muharrem Orkun Saglamdemir, Gönenç Berkol, Günhan Dündar, Alper Sen 0001 |
An analog behavioral equivalence boundary search methodology for simulink models and circuit level designs utilizing evolutionary computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 55, pp. 366-375, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1612.05494, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
15 | Meng Li 0001, Ratnesh Kumar 0001 |
Automated test generation and error localisation for Simulink/Stateflow modelled systems using extended automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Cyper-Phys. Syst.: Theory & Appl. ![In: IET Cyper-Phys. Syst.: Theory & Appl. 1(1), pp. 95-107, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Le Thi My Hanh, Nguyen Thanh Binh 0002, Khuat Thanh Tung |
A Novel Fitness function of metaheuristic algorithms for test data generation for simulink models based on mutation analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 120, pp. 17-30, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Chikatoshi Yamada, D. Michael Miller |
Using SPIN to Check Simulink Stateflow Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Networked Distributed Comput. ![In: Int. J. Networked Distributed Comput. 4(1), pp. 65-74, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
15 | Chikatoshi Yamada, D. Michael Miller |
Using SPIN to Check Simulink Stateflow Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Networked Distributed Comput. ![In: Int. J. Networked Distributed Comput. 4(3), pp. 193-202, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|