Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Jeffrey D. Ward, Cheng-Ching Yu |
Population balance modeling in Simulink: PCSS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 32(10), pp. 2233-2242, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Alonso Morgado, V. J. Rivas, Rocío del Río, Rafael Castro-López, Francisco V. Fernández 0001, José M. de la Rosa 0001 |
Behavioral modeling, simulation and synthesis of multi-standard wireless receivers in MATLAB/SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 41(2), pp. 269-280, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Raimondi |
Simulation of Dynamic Systems with Matlab and Simulink by Klee Harold. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Soc. Soc. Simul. ![In: J. Artif. Soc. Soc. Simul. 11(2), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Chao Shen, Ya-Ling He, Ying-Wen Liu, Wen-Quan Tao |
Modelling and simulation of solar radiation data processing with Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 16(7), pp. 721-735, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yuan Zhan, John A. Clark |
A search-based framework for automatic testing of MATLAB/Simulink models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 81(2), pp. 262-285, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Mukul Shirvaikar, Tariq Bushnaq |
VHDL implementation of wavelet packet transforms using SIMULINK tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real-Time Image Processing ![In: Real-Time Image Processing 2008, San Jose, CA, USA, January 28-29, 2008, pp. 68110T, 2008, SPIE, 978-0-8194-6983-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Junbo Jia, Youyi Wang, Dibo Lian |
Matlab / simulink based-study on PEM fuel cell and battery hybrid system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 10th International Conference on Control, Automation, Robotics and Vision, ICARCV 2008, Hanoi, Vietnam, 17-20 December 2008, Proceedings, pp. 2108-2113, 2008, IEEE, 978-1-4244-2286-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ |
Simulation of LET Models in Simulink and Ptolemy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers, pp. 83-92, 2008, Springer, 978-3-642-12565-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ramón Sagarna, Xin Yao 0001 |
Search-Based Testing of Complex Simulink Models containing Stateflow Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings, pp. 251, 2008, IEEE Computer Society, 978-0-7695-3388-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Saeid Moslehpour, Ercan K. Kulcu, Hisham Alnajjar |
Model Based Control Design Using SLPS "Simulink PSpice Interface". ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS (2) ![In: Advanced Techniques in Computing Sciences and Software Engineering, Volume II of the proceedings of the 2008 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, CISSE 2008, Bridgeport, Connecticut, USA, pp. 509-516, 2008, Springer, 978-90-481-3659-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Martin Streubühr, Michael Jäntsch, Christian Haubelt, Jürgen Teich, Axel Schneider |
Semi-Automatic Generation of mixed Hardware/Software Prototypes from Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008, pp. 139-148, 2008, Shaker. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Angel Jiménez-Fernandez, Alejandro Linares-Barranco, Rafael Paz-Vicente, Carlos Daniel Luján-Martinez, Gabriel Jiménez, Antón Civit |
AER and dynamic systems co-simulation over Simulink with Xilinx System Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 15th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2008, St. Julien's, Malta, August 31 2008-September 3, 2008, pp. 1281-1284, 2008, IEEE, 978-1-4244-2181-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yunong Zhang, Ke Chen 0004, Xuezhong Li, Chengfu Yi, Hong Zhu |
Simulink Modeling and Comparison of Zhang Neural Networks and Gradient Neural Networks for Time-Varying Lyapunov Equation Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (3) ![In: Fourth International Conference on Natural Computation, ICNC 2008, Jinan, Shandong, China, 18-20 October 2008, Volume 3, pp. 521-525, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel |
An Advanced Simulink Verification Flow Using SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL (Selected Papers) ![In: Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08, September 23-25, 2008, Stuttgart, Germany, pp. 71-84, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel |
Using SystemC for an Extended MATLAB/Simulink Verification Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings, pp. 221-226, 2008, IEEE, 978-1-4244-2265-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Feng Ji, Lijun Fu, Hongwei Zhu |
Combined Application of EMTDC and Simulink for Hybrid Simulation of IPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCSCT (2) ![In: 2008 International Symposium on Computer Science and Computational Technology, ISCSCT 2008, 20-22 December 2008, Shanghai, China, 2 Volumes, pp. 238-241, 2008, IEEE Computer Society, 978-0-7695-3498-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Michael Schulze, Sebastian Zug, Francisco M. Campos 0001, Fernando Carreira |
Exploiting the FAMOUSO middleware in multi-robot application development with Matlab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware (Companion) ![In: Middleware 2008, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Companion Proceedings, pp. 74-77, 2008, ACM, 978-1-60558-369-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
middleware, publish/subscribe, multi-robot, embedded devices, development framework |
15 | Rohit Shenoy, Pieter J. Mosterman, Brian McKay |
On Simulation of Simulink® Models for Model-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Dynamic System Modeling ![In: Handbook of Dynamic System Modeling., 2007, Chapman and Hall/CRC, 978-1-58488-565-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jesús Fraile-Ardanuy |
Estudio del comportamiento de la máquina asíncrona utilizando MATLAB©/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Iberoam. de Tecnol. del Aprendiz. ![In: Rev. Iberoam. de Tecnol. del Aprendiz. 2(1), pp. 9-18, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Sang-Il Han, Soo-Ik Chae, Lisane B. de Brisolara, Luigi Carro, Ricardo Reis 0001, Xavier Guerin, Ahmed Amine Jerraya |
Memory-efficient multithreaded code generation from Simulink for heterogeneous MPSoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 11(4), pp. 249-283, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Saffet Ayasun, Gültekin Karbeyaz |
DC motor speed control methods using MATLAB/Simulink and their integration into undergraduate electric machinery courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 15(4), pp. 347-354, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Elodie Legros, Wilhelm Schäfer, Andy Schürr, Ingo Stürmer |
MATE - A Model Analysis and Transformation Environment for MATLAB Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Engineering of Embedded Real-Time Systems ![In: Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers, pp. 323-328, 2007, Springer, 978-3-642-16276-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Changyan Zhou, Ratnesh Kumar 0001, Devesh Bhatt, Kirk Schloegel, Darren D. Cofer |
A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), Boston, Massachusetts, USA, July 9-11, 2007, pp. 179-184, 2007, Knowledge Systems Institute Graduate School, 1-891706-20-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Kathrin Bröker |
Automatisierte Überprüfung von Modellierungsrichtlinien für Matlab/Simulink-Modelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering (Workshops) ![In: Software Engineering 2007 - Beiträge zu den Workshops, Fachtagung des GI-Fachbereichs Softwaretechnik, 27.-30.3.2007 in Hamburg, pp. 309-311, 2007, GI, 978-3-88579-200-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Mirko Conrad |
Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 41-50, 2007, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Ingo Stürmer, Heiko Dörr, Holger Giese, Udo Kelter, Andy Schürr, Albert Zündorf |
Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBEES ![In: Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, Schloss Dagstuhl, Germany, 15.-18. Januar 2007, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme, pp. 83-94, 2007, TU Braunschweig, Institut für Software Systems Engineering. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
15 | Gülden Bayrak, Andreas Wannagat, Birgit Vogel-Heuser |
Echtzeit- und Regelungstechnische Aspekte bei der automatischen Transformation von Matlab/Simulink in SPS-basierten Steuerungscode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEARL ![In: Mobilität und Echtzeit - PEARL 2007, Fachtagung der GI-Fachgruppe Echtzeitsysteme (real-time), Boppard, 6./7. Dezember 2007, pp. 42-48, 2007, Springer, 978-3-540-74836-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Maurizio Tranchero, Leonardo Maria Reyneri |
Automatic Generation of VHDL Code for Self-Timed Circuits from Simulink Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 14th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2007, Marrakech, Morocco, December 11-14, 2007, pp. 287-290, 2007, IEEE, 978-1-4244-1377-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | James Kang, Brita Olson, Alan Felzer, Rajan Chandra, Salomon Oldak |
Simulink Based Real-Time Laboratory Course Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSE ![In: IEEE International Conference on Microelectronic Systems Education, MSE '07, San Diego, CA, USA, June 3-4, 2007, pp. 15-16, 2007, IEEE Computer Society, 0-7695-2849-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Markus Degen 0001 |
Übersetzen und Optimieren von Simulink Modellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 26(2), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
15 | Saffet Ayasun, Chika O. Nwankpa |
Transformer tests using MATLAB/Simulink and their integration into undergraduate electric machinery courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Appl. Eng. Educ. ![In: Comput. Appl. Eng. Educ. 14(2), pp. 142-150, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jon Friedman |
MATLAB/Simulink for automotive systems design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 87-88, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Nasser Kehtarnavaz, Chandan Gope |
DSP System Design Using Labview and Simulink: A Comparative Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP (2) ![In: 2006 IEEE International Conference on Acoustics Speech and Signal Processing, ICASSP 2006, Toulouse, France, May 14-19, 2006, pp. 985-988, 2006, IEEE, 1-4244-0469-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Bilel Belhadj Mohamed, Chiheb Rebai, Adel Ghazel |
Intra- and Inter-Processors Memory Size Estimation for Multithreaded MPSoC Modeled in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 13th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2006, Nice, France, December 10-13, 2006, pp. 772-775, 2006, IEEE, 1-4244-0395-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jan Jakob Jessen, Henrik Schiøler |
ZoneLib: A simulink library for modeling zone divided climate dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAINE ![In: Proceedings of the ISCA 19th International Conference on Computer Applications in Industry and Engineering, CAINE 2006, November 13-15, 2006, Las Vegas, Nevada, USA, pp. 199-204, 2006, ISCA, 978-1-880843-61-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
15 | Jacob Palczynski, Bastian Schlich, Stefan Kowalewski |
Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (1) ![In: 36. Jahrestagung der Gesellschaft für Informatik, Informatik für Menschen, INFORMATIK 2006, Dresden, Germany, October 2-6, 2006, Band 1, pp. 751-755, 2006, GI, 978-3-88579-187-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
15 | Sharon Gannot, Vadim Avrin |
A Simulink© and Texas instruments C6713® based digital signal processing laboratory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 14th European Signal Processing Conference, EUSIPCO 2006, Florence, Italy, September 4-8, 2006, pp. 1-4, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
15 | Hashem Zare-Hoseini, Izzet Kale, Omid Shoaei |
Modeling of switched-capacitor delta-sigma Modulators in SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 54(4), pp. 1646-1654, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Saffet Ayasun, Chika O. Nwankpa |
Induction motor tests using MATLAB/Simulink and their integration into undergraduate electric machinery courses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Educ. ![In: IEEE Trans. Educ. 48(1), pp. 37-46, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Jesús Ruiz-Amaya, José M. de la Rosa 0001, Francisco V. Fernández 0001, Fernando Medeiro, Rocío del Río, Maria Belen Pérez-Verdú, Ángel Rodríguez-Vázquez |
High-level synthesis of switched-capacitor, switched-current and continuous-time ΣΔ modulators using SIMULINK-based time-domain behavioral models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 52-I(9), pp. 1795-1810, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Doblander, Dietmar Gösseringer, Bernhard Rinner, Helmut Schwabach |
An Evaluation of Model-Based Software Synthesis from Simulink Models for Embedded Video Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 15(2), pp. 343-348, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Timothy Bourke, Arcot Sowmya |
Formal Models in Industry Standard Tools: an Argos Block within Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 15(2), pp. 389-396, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Pieter J. Mosterman, Sameer Prabhu, Andrew Dowd, John Glass, Tom Erkkinen, John Kluza, Rohit Shenoy |
Embedded Real-Time Control via MATLAB, Simulink, and xPC Target. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Networked and Embedded Control Systems ![In: Handbook of Networked and Embedded Control Systems, pp. 419-446, 2005, Birkhäuser, 0-8176-3239-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Jason Stanley, Robert Shendock, Kenneth J. Witt, Dan Mandl |
A Model-Based Approach to Controlling the ST-5 Constellation Lights-Out Using the GMSEC Message Bus and Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the International Conference on Software Engineering Research and Practice, SERP 2005, Las Vegas, Nevada, USA, June 27-29, 2005, Volume 1, pp. 29-35, 2005, CSREA Press, 1-932415-49-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Anjali Joshi, Mats Per Erik Heimdahl |
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings, pp. 122-135, 2005, Springer, 3-540-29200-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Coussy, Gwenolé Corre, Pierre Bomel, Eric Senn, Eric Martin 0001 |
A more efficient and flexible DSP design flow from Matlab-Simulink [FFT algorithm example]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP (5) ![In: 2005 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP '05, Philadelphia, Pennsylvania, USA, March 18-23, 2005, pp. 61-64, 2005, IEEE, 0-7803-8874-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Sebastián Dormido 0001, Francisco Esquembre, Gonzalo Farias, José Sánchez 0002 |
Adding interactivity to existing Simulink models using Easy Java Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, pp. 4163-4168, 2005, IEEE, 0-7803-9567-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | A. Bakhti, L. Benbaouche |
Simulink-Rtwtgt Co-Design of Real Time Digital Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC/ECC ![In: 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, CDC/ECC 2005, Seville, Spain, 12-15 December, 2005, pp. 7593-7596, 2005, IEEE, 0-7803-9567-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | G. Ioannidis, Manolis A. Christodoulou, Yiannis S. Boutalis |
A SIMULINK Based Simulation Language for Aircraft Simulation of Ground Handling Operations at Hub Airports (SSLA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIC ![In: Intelligent Control, 2005. Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation, Limassol, Cyprus, 27-29 June, 2005, pp. 340-345, 2005, IEEE, 0-7803-8936-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Rodolfo E. Haber, José R. Alique, Salvador Ros 0001, Rodolfo Haber-Haber |
Modeling and Simulation of High-Speed Machining Processes Based on Matlab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III, pp. 627-634, 2005, Springer, 3-540-26044-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
high-speed machining, modeling, complex systems |
15 | Tharwat E. Alhanafy, Tarek S. Sobh, Awad H. Khalil |
Neuro Fuzzy Techniques Using MATLAB/SIMULINK Applied to Real Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IASSE ![In: Proceedings of the ISCA 14th International Conference on Intelligent and Adaptive Systems and Software Engineering, July 20-22, 2005, Novotel Toronto Centre, Toronto, Canada, pp. 40-45, 2005, ISCA, 1-880843-55-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Jens Weiland, Ernst Richter |
Konfigurationsmanagement variantenreicher Simulink-Modelle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: 35. Jahrestagung der Gesellschaft für Informatik, Informatik LIVE!, INFORMATIK 2005, Bonn, Germany, September 19-22, 2005, Band 2, pp. 176-180, 2005, GI, 3-88579-397-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Martin Mutz, Michael Daginnus, Peter-Michael Hofmann, Torsten Klein, Henning Kleinwechter |
Ein Richtlinienkatalog für die Erstellung von Simulink/Stateflow- Modellen im Automobilbereich. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: 35. Jahrestagung der Gesellschaft für Informatik, Informatik LIVE!, INFORMATIK 2005, Bonn, Germany, September 19-22, 2005, Band 2, pp. 181-185, 2005, GI, 3-88579-397-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Roberto Sepúlveda, Oscar Castillo 0001, Patricia Melin, Antonio Rodríguez Díaz, Oscar Montiel |
A Simulink Model for Testing Uncertainty In Type-2 Fuzzy Controllers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC-AI ![In: Proceedings of the 2005 International Conference on Artificial Intelligence, ICAI 2005, Las Vegas, Nevada, USA, June 27-30, 2005, Volume 1, pp. 419-425, 2005, CSREA Press, 1-932415-66-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
15 | Ibrahim S. Raad, Mehmet Yakan |
Implementation of a turbo codes test bed in the Simulink environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSPA ![In: Proceedings of the Eighth International Symposium on Signal Processing and Its Applications, ISSPA 2005, 28-31 August 2005, Sydney, Australia, pp. 847-850, 2005, IEEE, 0-7803-9243-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Yuan Zhan |
A search-based framework for automatic test-set generation for MATLAB/Simulink models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
15 | Aditya Agrawal, Gyula Simon, Gabor Karsai |
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GT-VMT@ETAPS ![In: Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, GT-VMT@ETAPS 2004, Barcelona, Spain, March 27-28, 2004, pp. 43-56, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Leonardo Maria Reyneri |
A Simulink-based hybrid codesign tool for rapid prototyping of FPGA's in signal processing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 28(5-6), pp. 273-289, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | B. Yu, A. H. C. van Paassen |
Simulink and bond graph modeling of an air-conditioned room. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 12(1), pp. 61-76, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Raul Murillo Garcia, F. Womle, Brian G. Stewart, David K. Harrison |
Hard Real-Time Control Using SIMULINK Target for Real-Time Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Their Appl. ![In: Int. J. Comput. Their Appl. 11(2), pp. 132-141, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | C. James Taylor, Paul G. McKenna, Peter C. Young, Arun Chotai, Mike Mackinnon |
Macroscopic traffic flow modelling and ramp metering control using Matlab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Environ. Model. Softw. ![In: Environ. Model. Softw. 19(10), pp. 975-988, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Jingzhao Ou, Viktor K. Prasanna |
Parameterized and energy efficient adaptive beamforming on FPGAs using MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP (5) ![In: 2004 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2004, Montreal, Quebec, Canada, May 17-21, 2004, pp. 181-184, 2004, IEEE, 0-7803-8484-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Jesús Ruiz-Amaya, José M. de la Rosa 0001, Fernando Medeiro, Francisco V. Fernández 0001, Rocío del Río, Maria Belen Pérez-Verdú, Ángel Rodríguez-Vázquez |
An optimization-based tool for the high-level synthesis of discrete-time and continuous-time ΣΔ modulators in the Matlab/Simulink environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2004 International Symposium on Circuits and Systems, ISCAS 2004, Vancouver, BC, Canada, May 23-26, 2004, pp. 97-100, 2004, IEEE, 0-7803-8251-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | Gerald Stieglbauer, Andreas Werner |
Modellierung von deterministischer Software in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI Jahrestagung (2) ![In: 34. Jahrestagung der Gesellschaft für Informatik, Informatik verbindet, INFORMATIK 2004, Ulm, Germany, September 20-24, 2004, Band 2, pp. 8-12, 2004, GI, 3-88579-380-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | Andreas Doblander, Dietmar Gösseringer, Bernhard Rinner, Helmut Schwabach |
Synthesis of Embedded Image Processing Applications from SIMULINK Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISES ![In: Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems, WISES 2004, Graz University of Technology, Graz, Austria, 2004, June 25, pp. 13-24, 2004, Graz University of Technology, 3-902463-00-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
15 | Francesco Ricci 0004, Hoang Le-Huy |
Modeling and simulation of FPGA-based variable-speed drives using Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Simul. ![In: Math. Comput. Simul. 63(3-5), pp. 183-195, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Leonardo Maria Reyneri, Elena Bellei, E. Bussolino, Francesco Gregoretti, L. Mari, Flavio Renga |
Simulink-Based Codesign and Cosimulation of a Common Rail Injector Test Bench. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 12(2), pp. 171-202, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Ross Wilson, Scott O'Brien, Daniel Galaba, John Leighton |
Storage channel modelling in Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Consumer Electron. ![In: IEEE Trans. Consumer Electron. 49(1), pp. 158-167, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | C. L. Lim, N. B. Jones, Sarah K. Spurgeon, J. J. A. Scott |
Modelling of knee joint muscles during the swing phase of gait--a forward dynamics approach using MATLAB/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Model. Pract. Theory ![In: Simul. Model. Pract. Theory 11(2), pp. 91-107, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Martin Stark, Jan-Hendrik Oetjens, Wolfgang Rosenstiel |
A Seamless Simulink Based System Desing Flow for Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, pp. 197-204, 2003, ECSI. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
15 | Derek M. Burrage, Mark A. Goodberlet, Malcolm L. Heron |
Simulating Passive Microwave Radiometer Designs Using Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 78(1), pp. 36-55, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Juan A. Mantecón, Manuel Gómez Valentin, José Rodellar |
A Simulink-Based Scheme for Simulation of Irrigation Canal Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 78(8), pp. 485-493, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Rau 0004 |
On Model-Based Development: A Pattern for strong Interfaces in SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 22(1), 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
15 | Philippe Thomas 0001 |
System design through MATLAB, control toolbox and SIMULINK: Krishna K. Singh and Gayatri Agnihotri; Springer, London, 2001, ISBN 1-85233-337-5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 38(3), pp. 563-564, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Juing-Huei Su, Jiann-Jong Chen, Dong-Shiuh Wu |
Learning feedback controller design of switching converters via MATLAB/SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Educ. ![In: IEEE Trans. Educ. 45(4), pp. 307-315, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | V. Fernão Pires, J. Fernando A. da Silva |
Teaching nonlinear modeling, simulation, and control of electronic power converters using MATLAB/SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Educ. ![In: IEEE Trans. Educ. 45(3), pp. 253-261, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Di Yu, K. L. Lo, Xiaodong Wang, Xiaobao Wang |
MRTS traction power supply system simulation using Matlab/Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 55th IEEE Vehicular Technology Conference, VTC Spring 2002, May 6-9, 2002, Birmingham, Alabama, USA, pp. 308-312, 2002, IEEE, 0-7803-7484-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Rau 0004 |
On Model-Based Development: Decomposition and Data Abstraction in SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softwaretechnik-Trends ![In: Softwaretechnik-Trends 21(3), 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
15 | Eric H. Allen, Niels LaWhite, Yong Yoon, Jeffrey Chapman, Marija D. Ilic |
Interactive object-oriented simulation of interconnected power systems using SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Educ. ![In: IEEE Trans. Educ. 44(1), pp. 87-94, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Warren E. Dixon, D. Moses, Ian D. Walker, Darren M. Dawson |
A Simulink-based robotic toolkit for simulation and control of the PUMA 560 robot manipulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2001: Expanding the Societal Role of Robotics in the the Next Millennium, Maui, HI, USA, October 29 - November 3, 2001, pp. 2202-2207, 2001, IEEE, 0-7803-6612-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Simona Brigati, Fabrizio Francesconi, A. Malvasi, A. Pesucci, Matteo Poletti |
Modeling of fractional-N division frequency synthesizers with SIMULINK and MATLAB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: Proceedings of the 2001 8th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2001, Malta, September 2-5, 2001, pp. 1081-1084, 2001, IEEE, 0-7803-7057-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Naveen Chandra, Gordon W. Roberts |
Top-down analog design methodology using Matlab and Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2001 International Symposium on Circuits and Systems, ISCAS 2001, Sydney, Australia, May 6-9, 2001, pp. 319-322, 2001, IEEE, 0-7803-6685-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | L. F. Chaves, P. A. Spiller, A. G. Scolari, R. N. Conte, Luís Fernando Alves Pereira |
A MATLAB/Simulink-based platform for real-time planning and execution of control techniques applied to mobile robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIRA ![In: Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation: Integrating Intelligent Machines with Humans for a Better Tomorrow, CIRA 2001, Banff, Alberta, Canada, July 29 - August 1, 2001, pp. 530-535, 2001, IEEE, 0-7803-7203-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Leonardo Maria Reyneri, Marcello Chiaberge, Luciano Lavagno, Begoña Pino, E. Miranda |
Simulink-Based HW/SW Codesign of Embedded Neuro-Fuzzy Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Neural Syst. ![In: Int. J. Neural Syst. 10(3), pp. 211-226, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Mohand Mokhtari |
MATLAB 5.2 and 5.3 et SIMULINK 2 and 3 pour etudiants et ingenieurs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2000 |
RDF |
|
15 | Dimitar Genov, Mariana Todorova |
Identification and modeling of a distributed parameter systems in MATLAB/SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CompSysTech ![In: Proceedings of the Conference on Computer Systems and Technologies, CompSysTech 2000, Sofia, Bulgaria, 2000, pp. 5101-5105, 2000, ACM, 978-954-9641-17-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Fong C. Teng |
Real-time control using Matlab Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: `Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions`, Sheraton Music City Hotel, Nashville, Tennessee, USA, 8-11 October 2000, pp. 2697-2702, 2000, IEEE, 0-7803-6583-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Carsten Homburg, Ulrich Kiffmeier, L. Kösters |
Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: Architecture and Design of Distributed Embedded Systems, IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloß Eringerfeld, Germany, pp. 227-, 2000, Kluwer, 0-7923-7345-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
15 | Louis-A. Dessaint, Kamal Al-Haddad, Hoang Le-Huy, Gilbert Sybille, Patrice Brunelle |
A power system simulation tool based on Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 46(6), pp. 1252-1254, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Lawrence F. Shampine, Mark W. Reichelt, Jacek Kierzenka |
Solving Index-1 DAEs in MATLAB and Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM Rev. ![In: SIAM Rev. 41(3), pp. 538-552, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Gerald D. Cain, M. A. Mughal, Anush Yardim, Dragana Barjamovic |
Sweetening signals and systems with Simulink. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSIP ![In: Proceedings of the IEEE-EURASIP Workshop on Nonlinear Signal and Image Processing (NSIP'99), Antalya, Turkey, June 20-23, 1999, pp. 560-563, 1999, Bogaziçi University Printhouse, 975-518-133-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
15 | Borut Zupancic |
Extension software for real-time control system design and implementation with MATLAB-SIMULINK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Pract. Theory ![In: Simul. Pract. Theory 6(8), pp. 703-719, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien |
Towards verification-based development of in-vehicle safety critical software: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC-CARS ![In: 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010, pp. 35-38, 2010, ACM, 978-1-60558-915-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
10 | Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux |
Use of formal methods for building qualified code generator for safer automotive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC-CARS ![In: 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010, pp. 53-56, 2010, ACM, 978-1-60558-915-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software engineering, formal verification, certification, automatic code generator, automotive systems |
10 | Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne De Michiel |
Experimentation of WCET computation on both ends of automotive processor range. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC-CARS ![In: 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010, pp. 67-70, 2010, ACM, 978-1-60558-915-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
real-time, static analysis, WCET, automotive |
10 | Harald Störrle |
Towards clone detection in UML domain models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSA Companion Volume ![In: Software Architecture, 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Companion Volume, pp. 285-293, 2010, ACM, 978-1-4503-0179-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
UML, clone detection |
10 | Edward A. Lee, Xiaojun Liu 0001, Stephen Neuendorffer |
Classes and inheritance in actor-oriented design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 8(4), pp. 29:1-29:26, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
generalized ultrametric, overriding, components, interfaces, type systems, inheritance, Actors |
10 | Salma Bouslama Bouabdallah, Ramla Saddam, Moncef Tagina |
A Multi-agent Architecture for Sensors and Actuators' Fault Detection and Isolation in Case of Uncertain Parameter Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Tools and Applications with Artificial Intelligence ![In: Tools and Applications with Artificial Intelligence, pp. 135-147, 2009, Springer, 978-3-540-88068-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Endra Joelianto, Herman Y. Sutarto |
Controlled Switching Dynamical Systems Using Linear Impulsive Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Unmanned Systems ![In: Intelligent Unmanned Systems: Theory and Applications, pp. 227-244, 2009, Springer, 978-3-642-00263-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond |
Synchronous objects with scheduling policies: introducing safe shared memory in lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009, pp. 11-20, 2009, ACM, 978-1-60558-356-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams |