Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Mattia Stighezza, Valentina Bianchi, Ilaria De Munari |
HDL Code Generation from SIMULINK Environment for Li-Ion Cells State of Charge and Parameter Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ApplePies ![In: Applications in Electronics Pervading Industry, Environment and Society - APPLEPIES 2020, pp. 136-143, 2020, Springer, 978-3-030-66728-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Bennett Mackenzie, Vera Pantelic, Gordon Marks, Stephen Wynn-Williams, Gehan M. K. Selim, Mark Lawford, Alan Wassyng, Moustapha Diab, Feisel Weslati |
Change impact analysis in Simulink designs of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pp. 1274-1284, 2020, ACM, 978-1-4503-7043-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Boll, Timo Kehrer |
On the Replicability of Experimental Tool Evaluations in Model-Based Development - Lessons Learnt from a Systematic Literature Review Focusing on MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSMM ![In: Systems Modelling and Management - First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings, pp. 111-130, 2020, Springer, 978-3-030-58166-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mohammad Kia, Pouya Mansouri, Ali Javdani |
Modeling and Simulation of a Single Gain Tuning ADRC Controller in Matlab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIE ![In: 29th IEEE International Symposium on Industrial Electronics, ISIE 2020, Delft, The Netherlands, June 17-19, 2020, pp. 154-159, 2020, IEEE, 978-1-7281-5635-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Dino Mustafic, Dejan Jokic, Srdan Lale, Slobodan Lubura |
Implementation of Incremental Conductance MPPT Algorithm in Real Time in Matlab/Simulink Environment with Humusoft MF634 Board. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 9th Mediterranean Conference on Embedded Computing, MECO 2020, Budva, Montenegro, June 8-11, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-6949-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Andrés Paz, Ghizlane El-Boussaidi |
Breesse: bridging EMF, simulink and stateflow for model-based design of safety-critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings, pp. 38:1-38:10, 2020, ACM, 978-1-4503-8135-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Robbert Jongeling, Antonio Cicchetti, Federico Ciccozzi, Jan Carlson |
Co-evolution of simulink models in a model-based product line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, pp. 263-273, 2020, ACM, 978-1-4503-7019-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Pengcheng Li, Zhi Zhu, Haidong Chen, Shipeng Li |
Motion Simulation of Rocket Based on Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools (2) ![In: Simulation Tools and Techniques - 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part II, pp. 531-544, 2020, Springer, 978-3-030-72794-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Neel Madhav, Ranjit Sadakale |
Analysis of demagnetized BLDC Motor using MATLAB Simulink model and AWT analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCNT ![In: 11th International Conference on Computing, Communication and Networking Technologies, ICCCNT 2020, Kharagpur, India, July 1-3, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-6851-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Baoluo Meng, Meng Li, Benjamin Beckmann, Yoshifumi Nishida, John Carbone, Dan Yang, Michael Durling |
Towards Developing Trusted Smart Contracts in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PoEM Workshops ![In: Proceedings of the workshops co-organized with the 13th IFIP WG 8.1 working conference on the Practice of Enterprise Modelling (PoEM 2020), On-line (originally located in Riga, Latvia), November 26, 2020., pp. 35-46, 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Sohil Lal Shrestha |
Automatic generation of simulink models to find bugs in a cyber-physical system tool chain using deep learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020, pp. 110-112, 2020, ACM, 978-1-4503-7122-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner |
SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (Companion Volume) ![In: ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020, pp. 1-4, 2020, ACM, 978-1-4503-7122-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner |
SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, pp. 335-346, 2020, ACM, 978-1-4503-7121-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Assiya Lemmassi, Aziz Derouich, Ahmed Hanafi |
Comparative study of P&O and INC MPPT algorithms for DC-DC Converter Based PV System on MATLAB/SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECOCS ![In: 2nd IEEE International Conference on Electronics, Control, Optimization and Computer Science, ICECOCS 2020, Kenitra, Morocco, December 2-3, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-6921-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Salah Beni Hamed, Mouna Ben Hamed, Lassaâd Sbita |
A dynamic mathematical model of lithum - ion battery in Matlab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: 17th International Multi-Conference on Systems, Signals & Devices, SSD 2020, Monastir, Tunisia, July 20-23, 2020, pp. 491-494, 2020, IEEE, 978-1-7281-1080-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Schlie, Alexander Knüppel, Christoph Seidl 0001, Ina Schaefer |
Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC (A) ![In: SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume A, pp. 7:1-7:12, 2020, ACM, 978-1-4503-7569-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Utkarsh Sharma, Sudhir Nadda |
Analysis and Control of Civilian Aircraft Model Using Simulink [PECS] 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoMSO ![In: Modeling, Simulation and Optimization - Proceedings of CoMSO 2020, Virtual Event / Silchar, India, August 3-5, 2020., pp. 613-622, 2020, Springer, 978-981-15-9828-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Bing Liu, Shiva Nejati, Lucia, Lionel C. Briand |
Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 24(1), pp. 444-490, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Elie Richa, Etienne Borde, Laurent Pautet |
Translation of ATL to AGT and application to a code generator for Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 18(1), pp. 321-344, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Christina Deatcu, Thorsten Pawletta, Hendrik Folkerts |
MATLAB/Simulink's Variant Manager vs SESToPy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Notes Eur. ![In: Simul. Notes Eur. 29(1), pp. 39-43, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ferdinando Chiacchio, Jose Ignacio Aizpurua, Lucio Compagno, Soheyl Moheb Khodayee, Diego D'Urso |
Modelling and Resolution of Dynamic Reliability Problems by the Coupling of Simulink and the Stochastic Hybrid Fault Tree Object Oriented (SHyFTOO) Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. ![In: Inf. 10(9), pp. 283, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Reza Matinnejad, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann |
Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 45(9), pp. 919-944, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Navdeep Kaur, Naresh Kumar 0002 |
Comparative Analysis of ICI Self Cancellation Techniques for Wavelet OFDM Under Different Channels in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 105(4), pp. 1513-1525, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Emmanuel Dávila Delgado, Juan José Raygoza-Panduro, Edwin C. Becerra-Alvarez, Francisco Javier Espinoza Jurado, Eric Francisco Gutiérrez Frías |
Low cost DSP-based educational embedded platform for real-time simulation and fast implementation of complex systems in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 27(4), pp. 955-970, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Zong-Chang Yang |
Simulink-based teaching design for multipath-effect elimination utilizing convolution analysis and pade approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 27(3), pp. 631-641, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Maddumage Karunaratne, Christopher Gabany |
Power System Problems in Teaching Control Theory on Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.03847, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Lokesh Saharan, Lianjun Wu, Yonas Tadesse |
Modeling and Simulation of Robotic Finger Powered by Nylon Artificial Muscles- Equations with Simulink model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1901.09486, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Anton Ponomarev, Julian Hofmann, Lutz Gröll |
Characteristics-based Simulink implementation of first-order quasilinear partial differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.13419, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand |
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.03399, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe |
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.03490, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Alok Vardhan, K. Dasgupta, Santosh Kumar Mishra |
Dynamic analysis of a closed-circuit hydraulic drive system used in the rotary head of blasthole drilling machine using MATLAB-Simulink environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Control. Eng. ![In: J. Syst. Control. Eng. 233(6), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Zouhaira Abdellaoui, Salem Hasnaoui |
DDS middleware on top of FlexRay networks: Simulink blockset implementation of electrical vehicle using FlexRay protocol and its adaptation to DDS concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 23(22), pp. 11539-11556, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Regina Lamedica, Alessandro Ruvio, Paulo Fernando Ribeiro, Massimo Regoli |
A Simulink model to assess harmonic distortion in MV/LV distribution networks with time-varying non linear loads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 90, pp. 64-80, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
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) |
Inf. Technol. Control. ![In: Inf. Technol. Control. 48(2), pp. 299-315, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ioan Viorel Banu, Marcel Istrate |
Modeling and Simulation of Photovoltaic Arrays in Matlab and Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
DOI RDF |
|
15 | Farzin Asadi, Robert E. Bolanos, Jorge Rodríguez |
Feedback Control Systems: The MATLAB®/Simulink® Approach ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
DOI RDF |
|
15 | Manar H. Alalfi, Eric J. Rapos, Andrew Stevenson, Matthew Stephan, Thomas R. Dean, James R. Cordy |
Variability Identification and Representation for Automotive Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automotive Systems and Software Engineering ![In: Automotive Systems and Software Engineering - State of the Art and Future Trends, pp. 109-139, 2019, Springer, 978-3-030-12156-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Schlie, Christoph Seidl 0001, Ina Schaefer |
Reengineering Variants of MATLAB/Simulink Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 267-301, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Vera Pantelic, Alexander Schaap, Alan Wassyng, Victor Bandur, Mark Lawford |
Something is Rotten in the State of Documenting Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019, Prague, Czech Republic, February 20-22, 2019., pp. 503-510, 2019, SciTePress, 978-989-758-358-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Shota Tokunaga, Keita Miura, Takuya Azumi |
MATLAB/Simulink Benchmark Suite for ROS-based Self-driving Software Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019, Valencia, Spain, May 7-9, 2019, pp. 83-84, 2019, IEEE, 978-1-7281-0151-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Khaled Khnissi, Chiraz Ben Jabeur, Hassene Seddik |
3D Simulator for Navigation of a Mobile Robot Using Simscape-SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: International Conference on Control, Automation and Diagnosis, ICCAD 2019, Grenoble, France, July 2-4, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-2292-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jin Woo Ro, Avinash Malik, Partha S. Roop |
A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019., pp. 1:1-1:11, 2019, ACM, 978-1-4503-6997-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Predrag Filipovikj, Guillermo Rodríguez-Navas, Cristina Seceleanu |
Bounded invariance checking of simulink models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019, pp. 2168-2177, 2019, ACM, 978-1-4503-5933-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Shota Tokunaga, Yuki Horita, Yasuhiro Oda, Takuya Azumi |
IDF-Autoware: Integrated Development Framework for ROS-Based Self-Driving Systems Using MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASD@DATE ![In: Workshop on Autonomous Systems Design, ASD 2019, March 29, 2019, Florence, Italy, pp. 3:1-3:9, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-102-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Kai Ding 0001, Andrey Morozov 0001, Klaus Janschek |
Efficient Model-Level Reliability Analysis of Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019, Proceedings, pp. 139-154, 2019, Springer, 978-3-030-26600-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan |
Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings, pp. 109-129, 2019, Springer, 978-3-030-31037-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Lorenzo Berzi, Tommaso Favilli, Marco Pierini, Luca Pugi, Gerhard Benedikt Weiß, Nicola Tobia, Matthieu Ponchant |
Brake Blending Strategy on Electric Vehicle Co-simulation Between MATLAB Simulink® and Simcenter Amesim™. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSI ![In: 5th IEEE International forum on Research and Technology for Society and Industry, RTSI 2019, Florence, Italy, September 9-12, 2019, pp. 308-313, 2019, IEEE, 978-1-7281-3815-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | M. Nithya, M. R. Rashmi |
Gazebo - ROS - Simulink Framework for Hover Control and Trajectory Tracking of Crazyflie 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TENCON ![In: TENCON 2019 - 2019 IEEE Region 10 Conference (TENCON), Kochi, India, October 17-20, 2019, pp. 649-653, 2019, IEEE, 978-1-7281-1895-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Alejandra Díaz-Armendariz, Luis Abraham Sánchez-Gaspariano, Victor R. Gonzalez-Diaz, Alejandro I. Bautista-Castillo, Jesús M. Muñoz-Pacheco, Alejandro Díaz-Sánchez |
Mono-Bit Quantizer ΣΔ Direct-Up Transmitter for UWB Using Simulink RF Blockset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONIELECOMP ![In: International Conference on Electronics, Communications and Computers, CONIELECOMP 2019, Cholula, Mexico, February 27 - March 1, 2019, pp. 158-163, 2019, IEEE, 978-1-7281-1145-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jordan Kralev |
Design of Floating-Point Arithmetic Unit for FPGA with Simulink®. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCON ![In: IEEE EUROCON 2019 - 18th International Conference on Smart Technologies, Novi Sad, Serbia, July 1-4, 2019, pp. 1-5, 2019, IEEE, 978-1-5386-9301-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Marco Bassoli, Valentina Bianchi, Ilaria De Munari |
A Simulink Model-Based Design of a Floating-Point Pipelined Accumulator with HDL Coder Compatibility for FPGA Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ApplePies ![In: Applications in Electronics Pervading Industry, Environment and Society - APPLEPIES 2019, Pisa, Italy, 11-13 September 2019, pp. 163-171, 2019, Springer, 978-3-030-37276-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Yijian Duan, Zhixian Zhong, Xianxuan Li |
Magnetic levitation system control based on joint simulation of Magnet and Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIIP ![In: ICIIP 2019: 4th International Conference on Intelligent Information Processing, Guilin, China, November 16-17, 2019, pp. 234-238, 2019, ACM, 978-1-4503-6191-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand |
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019., pp. 27-38, 2019, ACM, 978-1-4503-5572-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe |
Evaluating model testing and model checking for finding requirements violations in Simulink models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019., pp. 1015-1025, 2019, ACM, 978-1-4503-5572-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Davide Basile 0001, Maurice H. ter Beek, Alessio Ferrari 0001, Axel Legay |
Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings, pp. 1-21, 2019, Springer, 978-3-030-27007-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Alberto Falcone, Alfredo Garro, Marat S. Mukhametzhanov, Yaroslav D. Sergeyev |
A Simulink-Based Infinity Computer Simulator and Some Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NUMTA (2) ![In: Numerical Computations: Theory and Algorithms - Third International Conference, NUMTA 2019, Crotone, Italy, June 15-21, 2019, Revised Selected Papers, Part II, pp. 362-369, 2019, Springer, 978-3-030-40615-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Yaping Wang, Liping Zhang 0006, Sen Cao, Zheng Zhang 0017 |
Co-simulation Based on ADAMS and Simulink for Direct Yaw Moment Control System of 4WD-EV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (6) ![In: Intelligent Robotics and Applications - 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019, Proceedings, Part VI, pp. 595-606, 2019, Springer, 978-3-030-27528-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Keita Miura, Shota Tokunaga, Noriyuki Ota, Yoshiharu Tange, Takuya Azumi |
Autoware Toolbox: MATLAB/Simulink Benchmark Suite for ROS-based Self-driving Software Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSP ![In: Proceedings of the 30th International Workshop on Rapid System Prototyping, RSP 2019, New York, NY, USA, October 17-18, 2019., pp. 8-14, 2019, ACM, 978-1-4503-6847-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Shota Tokunaga, Noriyuki Ota, Yoshiharu Tange, Keita Miura, Takuya Azumi |
MATLAB/Simulink benchmark suite for ROS-based self-driving system: demo abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2019, Montreal, QC, Canada, April 16-18, 2019, pp. 308-309, 2019, ACM, 978-1-4503-6285-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Beatriz Sánchez 0001, Athanasios Zolotas, Horacio Hoyos Rodriguez, Dimitris S. Kolovos, Richard F. Paige |
On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019, pp. 205-215, 2019, IEEE, 978-1-7281-2536-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Halim Eddahbi, Mohamed Khafallah |
Comprehensive approach for modeling solar photovoltaic panel and simulated performance analysis of a 240 W based on one diode model - Using Matlab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BDIoT ![In: BDIoT'19: The 4th International Conference On Big Data and Internet of Things, Rabat, Morocco, October 23-24, 2019, 2019, ACM, 978-1-4503-7240-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | He Xiao, Xiaoying Deng, Mingcheng Zhu |
Modeling Simulation and Circuit Implementation of Millimeter Wave Phase-Locked Loop Based on Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICDT ![In: International Conference on IC Design and Technology, ICICDT 2019, Suzhou, China, June 17-19, 2019, pp. 1-4, 2019, IEEE, 978-1-7281-1853-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Juan Antonio Ocampo-Wilches, Ana Isabel Narvaez-Villota, David Mateo Van Strahlen-Gutierrez, A. J. Ustariz-Farfan, E. A. Cano-Plata |
MATLAB/Simulink Protection Library development for Evaluation of Protection Coordination for Steel Manufacturer Companies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAS ![In: 2019 IEEE Industry Applications Society Annual Meeting, Baltimore, MD, USA, September 29 - Oct. 3, 2019, pp. 1-7, 2019, IEEE, 978-1-5386-4539-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Zhaoqian Zhong, Masato Edahiro |
Model-based Parallelization for Simulink Models on Multicore CPUs and GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISOCC ![In: 2019 International SoC Design Conference, ISOCC 2019, Jeju, Korea (South), October 6-9, 2019, pp. 103-104, 2019, IEEE, 978-1-7281-2478-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Martin Sysel |
A Simulink Network Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSOC (1) ![In: Software Engineering Methods in Intelligent Algorithms - Proceedings of 8th Computer Science On-line Conference 2019, CSOC 2019, April 2019, Vol. 1, pp. 403-414, 2019, Springer, 978-3-030-19806-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jiri Vojtesek, Lubos Spacek |
Modeling, Simulation And PID Control Of Water Tank Model Using Matlab And Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMS ![In: Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019 Caserta, Italy, June 11-14, 2019, pp. 177-183, 2019, European Council for Modeling and Simulation. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Vladimir Bobal, Marek Kubalcik, Petr Chalupa |
Use Of Matlab / Simulink Environment For Identification Of Real System: Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMS ![In: Proceedings of the 33rd International ECMS Conference on Modelling and Simulation, ECMS 2019 Caserta, Italy, June 11-14, 2019, pp. 138-144, 2019, European Council for Modeling and Simulation. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki |
A scalable Monte-Carlo test-case generation tool for large and complex simulink models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MiSE@ICSE ![In: Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019, pp. 39-46, 2019, ACM, 978-1-7281-2231-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Moises Levy, Daniel Raviv, Justin Baker |
Data Center Simulations Deployed in MATLAB and Simulink Using a Cyber-Physical Systems Lens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCWC ![In: IEEE 9th Annual Computing and Communication Workshop and Conference, CCWC 2019, Las Vegas, NV, USA, January 7-9, 2019, pp. 465-474, 2019, IEEE, 978-1-7281-0554-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Chengwei Zhu, Can Zhao 0004, Zhiheng Li 0001 |
A Joint Simulation for Electric Vehicle Design based on MATLAB/Simulink and CarSim. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVES ![In: IEEE International Conference of Vehicular Electronics and Safety, ICVES 2019, Cairo, Egypt, September 4-6, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-3473-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Aitor Arrieta |
Variability modeling and management of MATLAB/simulink models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPLC (A) ![In: Proceedings of the 23rd International Systems and Software Product Line Conference, SPLC 2019, Volume A, Paris, France, September 9-13, 2019, pp. 54:1, 2019, ACM, 978-1-4503-7138-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Sasanka Potluri, Christian Diedrich, Sai Ram Roy Nanduru, Kishore Vasamshetty |
Development of Injection Attacks Toolbox in MATLAB/Simulink for Attacks Simulation in Industrial Control System Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDIN ![In: 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019, pp. 1192-1198, 2019, IEEE, 978-1-7281-2927-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan M. K. Selim, Curtis Milo, Moustapha Diab, Feisel Weslati |
SL2SF: Refactoring Simulink to Stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 264-281, 2019, Springer, 978-3-030-16721-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Philippe Chancelier, Sébastien Furic, Pierre Weis |
Translating Simulink Models to Modelica using the {\NSP} Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Modelica ![In: Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4-6, 2019, pp. 157:089, 2019, Linköping University Electronic Press, 978-91-7685-122-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Padma Iyenghar, Elke Pulvermüller |
Early Model-Driven Timing Validation of Embedded Soware Systems Developed Using Matlab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 38(1), pp. 83-88, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Xin Liu 0026, Ziwei Fan, Guishu Liang, Tao Wang |
Calculation of Lightning Induced Overvoltages on Overhead Lines: Model and Interface With MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 47308-47318, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Miaoxin Jin, Qiang Gao, Yijie Wang 0002, Dianguo Xu 0001 |
A Temperature-Dependent SiC MOSFET Modeling Method Based on MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 4497-4505, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Haixin Wang 0005, Jianxin Shen |
Analysis of the Characteristics of Solar Cell Array Based on MATLAB/Simulink in Solar Unmanned Aerial Vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 21195-21201, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Bassim Chabibi, Adil Anwar, Mahmoud Nassar |
Towards a Model Integration from SysML to MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 13(12), pp. 630-645, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Olaf Hagendorf |
MbedTarget - A Simulink Target for Cortex-M Microcontrollers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Notes Eur. ![In: Simul. Notes Eur. 28(2), pp. 75-80, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Fatemeh Saki, Aditya Bhattacharya, Nasser Kehtarnavaz |
Real-time Simulink implementation of noise adaptive speech processing pipeline of cochlear implants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Speech Commun. ![In: Speech Commun. 96, pp. 197-206, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Nikolay Tcholtchev, Grit Dudeck, Michael Wagner 0006, Christian Hein, Arun Prakash, Tom Ritter |
Enabling the Interoperability of the Modelica DSL and Matlab Simulink towards the Development of Self-Adaptive Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Dyn. Appl. ![In: Int. J. Syst. Dyn. Appl. 7(4), pp. 54-75, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Shinq-Jen Wu, Cheng-Tao Wu |
Simulink-Based Analysis for Coupled Metabolic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Comput. Intell. Soft Comput. ![In: Appl. Comput. Intell. Soft Comput. 2018, pp. 8075051:1-8075051:10, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Vera Pantelic, Steven M. Postma, Mark Lawford, Monika Jaskolka, Bennett Mackenzie, Alexandre Korobkine, Marc Bender, Jeff Ong, Gordon Marks, Alan Wassyng |
Software engineering practices and Simulink: bridging the gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 20(1), pp. 95-117, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Cinzia Bernardeschi, Andrea Domenici, Paolo Masci 0001 |
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 44(6), pp. 512-533, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Dhavleesh Rattan, Rajesh Kumar Bhatia, Maninder Singh |
An empirical study of clone detection in MATLAB/Simulink models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Commun. Technol. ![In: Int. J. Inf. Commun. Technol. 13(1), pp. 20-33, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Hao Liu, Fengyun Yuan, Jianxin Xie, Yazhou Wang |
Research on EPS Control Strategy of Heavy Vehicle Based on Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 103(1), pp. 417-425, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ismail Uyanik, Bahadir Catalbas |
A low-cost feedback control systems laboratory setup via Arduino-Simulink interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 26(3), pp. 718-726, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Zong-Chang Yang |
PI-based implementation for modeling and simulation of the continuous-time LTI system and its Matlab-Simulink-based application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 26(5), pp. 1239-1254, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Eun-Young Kang 0001, Li Huang 0001 |
Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.07702, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Tazwar Muttaqi, Thomas Baldwin, S. Hossein Mousavinezhad |
DC Motor Cruise Control by Interfacing IR Sensor Tachometer and SIMULINK, Regardless Motor Specifications and Change of Shaft Load. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2018 IEEE International Conference on Electro/Information Technology, EIT 2018, Rochester, MI, USA, May 3-5, 2018, pp. 822-825, 2018, IEEE, 978-1-5386-5398-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Mitica Iustinian Neaca |
The Matlab-Simulink model for monitoring of the power loss in inverters which supplies a BLDC motor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AQTR ![In: IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2018, Cluj-Napoca, Romania, May 24-26, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-2205-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Hassan Jouni, Adnan Harb, Gilles Jacquemod, Yves Leduc |
Creation of Real Blocks for Neural Network Using Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCA ![In: 2018 International Conference on Computer and Applications (ICCA), Beirut, Lebanon, August 25-26, 2018, pp. 210-214, 2018, IEEE, 978-1-5386-4371-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Timm Liebrenz, Paula Herber, Sabine Glesner |
Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, pp. 89-105, 2018, Springer, 978-3-030-02449-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad |
Integrating Simulink Models into the Model Checker Cosmos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings, pp. 363-373, 2018, Springer, 978-3-319-91267-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jie Sheng |
Teaching Devices and Controls for Computer Engineering and Systems Students using Arduino and MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCA ![In: 14th IEEE International Conference on Control and Automation, ICCA 2018, Anchorage, AK, USA, June 12-15, 2018, pp. 318-323, 2018, IEEE, 978-1-5386-6089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Kai Ding 0001, Andrey Morozov 0001, Klaus Janschek |
MORE: MOdel-based REdundancy for Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings, pp. 250-264, 2018, Springer, 978-3-319-99129-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Omar Hiari, Raed Mesleh |
Hardware implementation of space modulation techniques using Simulink RF Blockset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CommNet ![In: International Conference on Advanced Communication Technologies and Networking, CommNet 2018, Marrakech, Morocco, April 2-4, 2018, pp. 1-7, 2018, IEEE, 978-1-5386-4609-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Philipp Berger 0002, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow |
Verifying Auto-generated C Code from Simulink - An Experience Report in the Automotive Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 312-328, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Ábrahám, Joost-Pieter Katoen |
Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings, pp. 382-398, 2018, Springer, 978-3-319-95581-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|