|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 397 occurrences of 247 keywords
|
|
|
Results
Found 1214 publication records. Showing 1214 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Miroslav Lícko, Jan Schier, Milan Tichý, Markus Kühl |
MATLAB/Simulink Based Methodology for Rapid-FPGA-Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field Programmable Logic and Application, 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings, pp. 984-987, 2003, Springer, 3-540-40822-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 190, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Dirk Weiler, Ton J. J. van den Boom, Bedrich J. Hosticka |
Resolution prediction for bandpass-Sigma-Delta-modulators using SIMULINK behavior simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (1) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 309-312, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Yiannis Papadopoulos, Matthias Maruhn |
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings, pp. 77-82, 2001, IEEE Computer Society, 0-7695-1101-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 13th IEEE Symposium on Computer-Based Medical Systems (CBMS 2000), 23-24 June 2000, Houston, TX, USA, pp. 89-, 2000, IEEE Computer Society, 0-7695-0484-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Hamid Maçbahi, Abdellfattah Ba-Razzouk, Ahmed Chériti |
Decoupled Parallel Simulation of Power Electronics Systems Using Matlab-Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: 2000 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2000), 27-30 August 2000, Quebec, Canada, pp. 232-236, 2000, IEEE Computer Society, 0-7695-0759-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Luciano Lavagno, Begoña Pino, Leonardo Maria Reyneri, A. Serra |
A Simulink(c)-Based Approach to System Level Design and Architecture Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands, pp. 1076-1083, 2000, IEEE Computer Society, 0-7695-0780-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
mixed analog/digital, embedded systems, Low-power, system-on-a-chip, Hardware-Software codesign |
25 | Simona Brigati, Fabrizio Francesconi, Piero Malcovati, Davide Tonietto, Andrea Baschirotto, Franco Maloberti |
Modeling sigma-delta modulator non-idealities in SIMULINK(R). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (2) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 384-387, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Frantisek Solc |
Matrix Model of Robot in Matlab-Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29 - October 2, 1999, Proceedings, pp. 250-255, 1999, Springer, 3-540-67822-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Andrea Bartolini, Matteo Cacciari, Andrea Tilli, Luca Benini, Matthias Gries |
A virtual platform environment for exploring power, thermal and reliability management control strategies in high-performance multicores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, Providence, Rhode Island, USA, May 16-18 2010, pp. 311-316, 2010, ACM, 978-1-4503-0012-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
resource managment, multicore, control system |
21 | Martin Danek, Jean-Marc Philippe, Petr Honzík, Christian Gamrat, Roman Bartosinski |
Self-Adaptive Networked Entities for Building Pervasive Computing Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICES ![In: Evolvable Systems: From Biology to Hardware, 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings, pp. 94-105, 2008, Springer, 978-3-540-85856-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Sukumar Jairam, Navakanta Bhat |
GyroCompiler: A Soft IP Model Synthesis and Analysis Framework for Design of MEMS Based Gyroscopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 21st International Conference on VLSI Design (VLSI Design 2008), 4-8 January 2008, Hyderabad, India, pp. 589-594, 2008, IEEE Computer Society, 0-7695-3083-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Manel Khlif, Mohamed Shawky |
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 27-29 October 2008, Vancouver, BC, Canada, Proceedings, pp. 69-74, 2008, IEEE Computer Society, 978-0-7695-3425-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Martin Fränzle |
Verification of Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 38, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Wen-Chih Kan, Gerald E. Sobelman |
MIMO Transceiver Design Based on a Modified Geometric Mean Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 677-680, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Zikrija Avdagic, Senad Cernica, Samim Konjicija |
Reducing Vibration of the Seat with Semi-active Damper by Using the Artificial Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2007, Celebrating 20 years of neural networks, Orlando, Florida, USA, August 12-17, 2007, pp. 125-130, 2007, IEEE, 978-1-4244-1379-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David |
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings, pp. 227-240, 2007, Springer, 978-3-540-75453-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Jingzhao Ou, Viktor K. Prasanna |
Design space exploration using arithmetic-level hardware--software cosimulation for configurable multiprocessor platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 5(2), pp. 355-382, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
FPGA, design space exploration, processor, cosimulation |
21 | Konstantinos Sarrigeorgidis, Jan M. Rabaey |
A Scalable Configurable Architecture for Advanced Wireless Communication Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 45(3), pp. 127-151, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
wireless communication algorithms, low power DSP architectures, SVD, QR, MIMO-OFDM |
21 | Gourab Sen Gupta, Subhas Mukhopadhyay, Moi-Tin Chew |
A Project Based Approach to Teach Mixed-Signal Embedded Microcontroller for DC Motor Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2006), 17-19 January 2006, Kuala Lumpur, Malaysia, pp. 123-128, 2006, IEEE Computer Society, 0-7695-2500-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Sérgio Martins, José Carlos Alves |
A high-level tool for the design of custom image processing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August - 3 September 2005, Porto, Portugal, pp. 346-349, 2005, IEEE Computer Society, 0-7695-2433-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Ian Toyn, Andy Galloway |
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 104-123, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Max-Elie Salomon, Abdelhakim Khouas, Yvon Savaria |
A complete spurs distribution model for direct digital period synthesizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: International Symposium on Circuits and Systems (ISCAS 2005), 23-26 May 2005, Kobe, Japan, pp. 4859-4862, 2005, IEEE, 0-7803-8834-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Christian Dufour, Jean Bélanger |
A PC-Based Real-Time Parallel Simulator of Electric Systems and Drives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: 2004 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2004), 7-10 September 2004, Dresden, Germany, pp. 105-113, 2004, IEEE Computer Society, 0-7695-2080-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Yuan Zhan, John A. Clark |
Search Based Automatic Test-Data Generation at an Architectural Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (2) ![In: Genetic and Evolutionary Computation - GECCO 2004, Genetic and Evolutionary Computation Conference, Seattle, WA, USA, June 26-30, 2004, Proceedings, Part II, pp. 1413-1424, 2004, Springer, 3-540-22343-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Sandeep Neema, Gabor Karsai |
Software for Automotive Systems: Model-Integrated Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWSD ![In: Automotive Software - Connected Services in Mobile Networks, First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers, pp. 116-136, 2004, Springer, 3-540-37677-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Colin O'Halloran |
Model Based Code Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 16-25, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Jonathan Ballagh, James Hwang, H. Ma, Brent Milne, Nabeel Shirazi, Vinay Singh, Jeffrey D. Stroomer |
Specifying Control Logic for DSP Applications in FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field Programmable Logic and Application, 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003, Proceedings, pp. 1099-1102, 2003, Springer, 3-540-40822-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Konstantinos Sarrigeorgidis, Jan M. Rabaey |
Massively Parallel Wireless Reconfigurable Processor Architecture and Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 170, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger, Wolfgang Pree |
A Giotto-Based Helicopter Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings, pp. 46-60, 2002, Springer, 3-540-44307-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Steve Sims, Rance Cleaveland, Ken Butts, Scott Ranville |
Automated Validation of Software Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 91-, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | R. D. Arthan, P. Caseley, Colin O'Halloran, Alf Smith |
ClawZ: Control Laws in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 169-176, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Windisch |
Search-based test data generation from stateflow statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 1349-1356, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
signal generation, optimization, coverage, automation, test data generation, structural testing, simulink, search-based testing, stateflow, model testing |
20 | Yanjun Xiao, Bo Zhu, Yuming Guan, Yanchun Xiao |
Research on Tension Control Strategy of Dry-Powder-Embedded Zinc-Air Battery Pole Manufacturing Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFITA (3) ![In: International Forum on Information Technology and Applications, IFITA 2009, Chengdu, China, 15-17 May 2009, pp. 555-558, 2009, IEEE Computer Society, 978-0-7695-3600-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Zinc-air battery, tension control, fuzzy adaptive PID, MATLAB/ Simulink |
20 | Colin O'Halloran |
Guess and Verify - Back to the Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 23-32, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Models, Verification, Software, Automation, Cost, Proof, Simulink |
20 | Minghui Wang, Yongquan Yu, Wei Lin |
Adaptive Neural-Based Fuzzy Inference System Approach Applied to Steering Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part II, pp. 1189-1196, 2009, Springer, 978-3-642-01509-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Autopilot, ANFIS, Simulink |
20 | Frank Zeyda, Ana Cavalcanti 0001 |
Mechanised Translation of Control Law Diagrams into Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 151-166, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ClawZ, verification, CSP, Z, Simulink |
20 | Katalin Popovici, Xavier Guerin, Frédéric Rousseau 0001, Pier Stanislao Paolucci, Ahmed Amine Jerraya |
Platform-based software design flow for heterogeneous MPSoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(4), pp. 39:1-39:23, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multimedia, programming environment, software design, SystemC, Simulink, transaction level modeling, Multiprocessor system-on chip |
20 | Ana Cavalcanti 0001, Phil Clayton |
Verification of Control Systems using Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA, pp. 269-278, 2006, IEEE Computer Society, 0-7695-2530-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
refinement, CSP, Z, Simulink |
20 | Mirko Conrad, Ines Fey, Matthias Grochtmann, Torsten Klein |
Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 20(1-2), pp. 3-10, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
System behavior model, Model driven architecture, Model-based testing, Information model, Physical model, Model-based development, Simulink, Model evolution, Implementation model, Stateflow |
20 | Ingo Stürmer, Mirko Conrad |
Ein Testverfahren für optimierende Codegeneratoren. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 19(4), pp. 213-223, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Model-based code generation, Simulink/Stateflow, Optimizations, Model-based development, Test suite |
20 | Colin O'Halloran |
Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 63-70, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Verification, Formal Methods, CSP, Z, Acceptance, Safety critical, Simulink, Control Laws |
15 | Somnath Burman, Tanmoy Maity |
An analysis of regenerative braking and operation of induction motor employing novel dq-axis mathematical modeling with real time simulator and SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Model. Simul. Sci. Comput. ![In: Int. J. Model. Simul. Sci. Comput. 15(1), pp. 2450009:1-2450009:15, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Bhisma Adhikari, Eric J. Rapos, Matthew Stephan |
SimIMA: a virtual Simulink intelligent modeling assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 23(1), pp. 29-56, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi |
Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 50(2), pp. 239-257, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Tiago Amorim 0001, Alexander Boll, Ferry Bachman, Timo Kehrer, Andreas Vogelsang, Hartmut Pohlheim |
Simulink bus usage in practice: an empirical study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Object Technol. ![In: J. Object Technol. 22(2), pp. 1-14, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Monika Jaskolka, Vera Pantelic, Alan Wassyng, Richard F. Paige, Mark Lawford |
Repository mining for changes in Simulink and Stateflow models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 22(5), pp. 1713-1732, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Lingxiao Zhao, Zhiyang Li, Yue Ma, Leilei Qu |
A novel cryptocurrency price time series hybrid prediction model via machine learning with MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 79(14), pp. 15358-15389, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Haiyan Huang, Hui Xu, Fenghua Chen, Chunwei Zhang, Ardashir Mohammadzadeh |
An Applied Type-3 Fuzzy Logic System: Practical Matlab Simulink and M-Files for Robotic, Control, and Modeling Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(2), pp. 475, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zhuo Su 0005, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang 0001, Rui Wang 0024, Wanli Chang 0001, Wen Li, Aiguo Cui, Jia-Guang Sun 0001 |
PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(4), pp. 1072-1084, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner |
Replicability Study: Corpora For Understanding Simulink Models & Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.01978, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jian Chen, Manar H. Alalfi, Thomas R. Dean |
Timed Model-Based Mutation Operators for Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.00835, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi |
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.00083, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Jian Chen, Manar H. Alalfi, Thomas R. Dean, Ramesh S 0002 |
SimSched: A tool for Simulating Autosar Implementaion in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2308.14974, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica, Mohammad Mahdi Mahboob, Claudio Menghi |
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 163, pp. 107286, November 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Xiong Xu, Bohua Zhan, Shuling Wang, Jean-Pierre Talpin, Naijun Zhan |
A denotational semantics of Simulink with higher-order UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 130, pp. 100809, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Wei Zhang, Quan Sun, Chao Wang 0069, Zhiming Liu 0001 |
Towards correctness proof for hybrid Simulink block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 141, pp. 102922, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Quan Sun, Wei Zhang, Chao Wang 0069, Zhiming Liu 0001 |
A contract-based semantics and refinement for hybrid Simulink block diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Archit. ![In: J. Syst. Archit. 143, pp. 102963, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zeng-Xian Geng, Junyu Chen, Xin Guang, Peiming Wang |
Human-Computer Interaction Analysis of Quadrotor Motion Characteristics Based on Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (8) ![In: Engineering Psychology and Cognitive Ergonomics - 20th International Conference, EPCE 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II, pp. 442-453, 2023, Springer, 978-3-031-35388-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Samuel F. Fux, Babak Mohajer, Stefan Mischler |
A Comparison of the Dynamic Temperature Responses of Two Different Heat Exchanger Modelling Approaches in Simulink Simscape for HVAC Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIMULTECH ![In: Proceedings of the 13th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, SIMULTECH 2023, Rome, Italy, July 12-14, 2023., pp. 417-424, 2023, SCITEPRESS, 978-989-758-668-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexandra Küster, Rainer Dorsch, Christian Haubelt |
Structural Generation of Virtual Prototypes for Smart Sensor Development in SystemC-AMS from Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, Antwerp, Belgium, April 17-19, 2023, pp. 1-2, 2023, IEEE, 978-3-9819263-7-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zixia Shang |
Recursive Algorithm FIR Filter Quantization and Low-Cost Structure Optimization Design Based on MATLAB and Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCSoC ![In: 16th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC 2023, Singapore, December 18-21, 2023, pp. 530-535, 2023, IEEE, 979-8-3503-9361-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Julius Adelt, Timm Liebrenz, Paula Herber |
Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering ![In: Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, pp. 29-30, 2023, Gesellschaft für Informatik e.V., 978-3-88579-726-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Murat Dogruel |
Modeling of Harmonic Control Arrays using MATLAB/Simulink with an Application to a Hot Rolling Mill Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECC ![In: European Control Conference, ECC 2023, Bucharest, Romania, June 13-16, 2023, pp. 1-6, 2023, IEEE, 978-3-907144-08-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Rongdi Yuan, Yongtuo Li, Zeming Hu, Nuan Song, Chun Liu |
A heat pump air conditioning simulation developmentplatform based on AMEsim and Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCID ![In: 16th International Symposium on Computational Intelligence and Design, ISCID 2023, Hangzhou, China, December 16-17, 2023, pp. 188-191, 2023, IEEE, 979-8-3503-1745-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Muhammad Naeem, Michele Albano, Kim Guldstrand Larsen, Brian Nielsen |
Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings, pp. 153-169, 2023, Springer, 978-3-031-49251-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mateus Molina, Tagline Treichel |
Achieving Interoperability with MBSE and Asset Administration Shells: Integration of MATLAB/Simulink and BaSyx. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESoS ![In: SESoS, pp. 1-4, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Daniel M. Barrera Leguizamón, Robert Urbina, Carlos Páez, Arturo Fajardo, Gabriel Perilla |
On the Bode Diagram Plot of Switched Converters Using MATLAB Simulink - a Tutorial Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LASCAS ![In: 14th IEEE Latin America Symposium on Circuits and System, LASCAS 2023, Quito, Ecuador, February 28 - March 3, 2023, pp. 1-4, 2023, IEEE, 978-1-6654-5705-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Bucur Cosmin, Andrei Alexandru, Tasu Sorin |
Controlling industrial robots with Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 15th International Conference on Electronics, Computers and Artificial Intelligence, ECAI 2023, Bucharest, Romania, June 29-30, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-2138-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Uwe Dolinsky |
Accelerating Simulink/Matlab projects with SYCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOCL ![In: Proceedings of the 2023 International Workshop on OpenCL, IWOCL 2023, Cambridge, United Kingdom, April 18-20, 2023., pp. 11:1, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hyeongrae Kim, Harim Lee, Jeonghun Cho |
A FMI-based Approach for CAN Bus Simulation and Simulink Model Integration in Vehicle Simulation Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: 14th International Conference on Information and Communication Technology Convergence, ICTC 2023, Jeju Island, Korea, Republic of, October 11-13, 2023, pp. 279-284, 2023, IEEE, 979-8-3503-1327-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Dejan Shishkovski, Damjan Pecioski, Maja Anachkova, Hristijan Mickoski, Zoran Pandilov |
Design of a force control gripper using Matlab Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 12th Mediterranean Conference on Embedded Computing, MECO 2023, Budva, Montenegro, June 6-10, 2023, pp. 1-4, 2023, IEEE, 979-8-3503-2291-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Serena Curzel, Michele Fiorito, Patricia López Cueva, Tiago Jorge, Thanassis Tsiodras, Fabrizio Ferrandi |
Exploration of Synthesis Methods from Simulink Models to FPGA for Aerospace Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CF ![In: Proceedings of the 20th ACM International Conference on Computing Frontiers, CF 2023, Bologna, Italy, May 9-11, 2023, pp. 243-249, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sohil Lal Shrestha, Alexander Boll, Timo Kehrer, Christoph Csallner |
ScoutSL: An Open-Source Simulink Search Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023 Companion, Västerås, Sweden, October 1-6, 2023, pp. 70-74, 2023, IEEE, 979-8-3503-2498-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sohil Lal Shrestha, Alexander Boll, Shafiul Azam Chowdhury, Timo Kehrer, Christoph Csallner |
EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELS ![In: 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2023, Västerås, Sweden, October 1-6, 2023, pp. 273-284, 2023, IEEE, 979-8-3503-2480-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner |
Replicability Study: Corpora For Understanding Simulink Models & Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2023, New Orleans, LA, USA, October 26-27, 2023, pp. 1-12, 2023, IEEE, 978-1-6654-5223-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Nabil Karami |
Validation of an Heliostat Tracking System Based on an ARM-Cortex HIL Using Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACTEA ![In: Fifth International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2023, Zouk Mosbeh, Lebanon, July 5-7, 2023, pp. 167-172, 2023, IEEE, 979-8-3503-0995-9. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke |
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISoLA ![In: Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings, pp. 94-118, 2023, Springer, 978-3-031-46001-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Halil Ibrahim Ceylan, Onur Kilinççeker, Mutlu Beyazit, Serge Demeyer |
MUT4SLX: Fast Mutant Generation for Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, pp. 2086-2089, 2023, IEEE, 979-8-3503-2996-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Abdel Razak Hamadou Adamou, Jalel Ben-Othman, Lynda Mokdad, Ali Benzerbadj |
Enhancing Roundabout Performance Measures through a New Generic Simulink-Based Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICM ![In: Proceedings of the 13th International Conference on Information Communication and Management, ICICM 2023, Cairo, Egypt, November 7-9, 2023, pp. 1-8, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mohammed Abdel-Nasser, Muhammad Esmat, Abdul-Wahid A. Saif |
Simulation of a 2-R Robot Model Based on SolidWorks Design and Matlab/Simulink Trajectory Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: 20th International Multi-Conference on Systems, Signals & Devices, SSD 2023, Mahdia, Tunisia, February 20-23, 2023, pp. 177-183, 2023, IEEE, 979-8-3503-3256-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Aleksandr Trunov, Maksym Skoroid |
Analysis of the Adequacy of the Simulink Stepper Motor Model in the Environment of Matlab. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDAACS ![In: 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2023, Dortmund, Germany, September 7-9, 2023, pp. 665-673, 2023, IEEE, 979-8-3503-5805-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zhuo Su 0005, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang 0024, Wanli Chang 0001, Aiguo Cui, Yu Jiang 0001 |
STCG: State-Aware Test Case Generation for Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2348-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | He Jiang 0001, Hongyi Cheng, Shikai Guo, Xiaochen Li |
Partition Based Differential Testing for Finding Embedded Code Generation Bugs in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: 60th ACM/IEEE Design Automation Conference, DAC 2023, San Francisco, CA, USA, July 9-13, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-2348-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Maria Pozzi, Gabriele Maria Achilli, Maria Cristina Valigi, Monica Malvezzi |
Modeling and Simulation of Robotic Grasping in Simulink Through Simscape Multibody. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Robotics AI ![In: Frontiers Robotics AI 9, pp. 873558, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Yutaro Kobayashi, Kentaro Honda, Sasuga Kojima, Hiroshi Fujimoto, Masato Edahiro, Takuya Azumi |
Mapping Method Usable with Clustered Many-core Platforms for Simulink Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. ![In: J. Inf. Process. 30, pp. 141-150, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ugur Yilmaz, Türker Fedai Çavus, Yasar Islamoglu |
Bidirectional Modeling of Thermoelectric Module Using MATLAB/Simulink for Circuit Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 10, pp. 82680-82696, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Ghoshal Snehashis, Sumit Banerjee, Chandan Kumar Chanda |
Modelling and Performance Evaluation of MPPT-based PMSG Wind Energy Conversion System with Different Interfaces in Matlab/Simulink Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Perform. Eng. ![In: Int. J. Perform. Eng. 18(1), pp. 63, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Nithaiyan Shanmugasundaram, S. Pradeep Kumar, E. N. Ganesh |
Modelling and analysis of space vector pulse width modulated inverter drives system using MatLab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Adv. Intell. Paradigms ![In: Int. J. Adv. Intell. Paradigms 22(1/2), pp. 200-213, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Xiong Xu, Shuling Wang, Bohua Zhan, Xiangyu Jin, Jean-Pierre Talpin, Naijun Zhan |
Unified graphical co-modeling, analysis and verification of cyber-physical systems by combining AADL and Simulink/Stateflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 903, pp. 1-25, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Zehong Yu, Zhuo Su 0005, Yixiao Yang, Jie Liang 0006, Yu Jiang 0001, Aiguo Cui, Wanli Chang 0001, Rui Wang 0024 |
Mercury: Instruction Pipeline Aware Code Generation for Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11), pp. 4504-4515, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Manisha Gupta, Ankur Singh Kang, Vishal Sharma |
Comparative Study on Implementation Performance Analysis of Simulink Models of Cognitive Radio Based GFDM and UFMC Techniques for 5G Wireless Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 126(1), pp. 135-165, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai |
SMT-Based Model Checking of Industrial Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.02992, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Federico Formica, Tony Fan, Akshay Rajhans, Vera Pantelic, Mark Lawford, Claudio Menghi |
Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.11589, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Nuno Guedelha, Venus Pasandi, Giuseppe L'Erario, Silvio Traversaro, Daniele Pucci |
A Flexible MATLAB/Simulink Simulator for Robotic Floating-base Systems in Contact with the Ground. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.09716, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Sohil Lal Shrestha, Shafiul Azam Chowdhury, Christoph Csallner |
SLNET: A Redistributable Corpus of 3rd-party Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.17112, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Qiufang Ma, C. Manikandan, Elamaran Vellaiappan, M. Thilagaraj |
The Utility of Simulink Subsystems in Handling and Processing of Biomedical Signals and Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Medical Imaging Health Informatics ![In: J. Medical Imaging Health Informatics 12(2), pp. 100-105, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Julio Rodriguez, Reza Hamidi |
SEL TD32 Directional Algorithm from SELT401L in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
15 | Ioan Viorel Banu, Marcel Istrate |
Islanding Prevention Scheme for Grid-Connected Photovoltaic Systems in Matlab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
15 | Davide Tebaldi |
PMSM Simulink Superblock and Matlab App for PMSM Parameters Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
DOI RDF |
|
Displaying result #101 - #200 of 1214 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|