Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Jeffrey D. Ward, Cheng-Ching Yu |
Population balance modeling in Simulink: PCSS. |
Comput. Chem. Eng. |
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. |
Integr. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Raimondi |
Simulation of Dynamic Systems with Matlab and Simulink by Klee Harold. |
J. Artif. Soc. Soc. Simul. |
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. |
Simul. Model. Pract. Theory |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Yuan Zhan, John A. Clark |
A search-based framework for automatic testing of MATLAB/Simulink models. |
J. Syst. Softw. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Mukul Shirvaikar, Tariq Bushnaq |
VHDL implementation of wavelet packet transforms using SIMULINK tools. |
Real-Time Image Processing |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Junbo Jia, Youyi Wang, Dibo Lian |
Matlab / simulink based-study on PEM fuel cell and battery hybrid system. |
ICARCV |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ |
Simulation of LET Models in Simulink and Ptolemy. |
Monterey Workshop |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ramón Sagarna, Xin Yao 0001 |
Search-Based Testing of Complex Simulink Models containing Stateflow Diagrams. |
ICST Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Saeid Moslehpour, Ercan K. Kulcu, Hisham Alnajjar |
Model Based Control Design Using SLPS "Simulink PSpice Interface". |
SCSS (2) |
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. |
MBMV |
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. |
ICECS |
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. |
ICNC (3) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel |
An Advanced Simulink Verification Flow Using SystemC. |
FDL (Selected Papers) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kai Hylla, Jan-Hendrik Oetjens, Wolfgang Nebel |
Using SystemC for an Extended MATLAB/Simulink Verification Flow. |
FDL |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Feng Ji, Lijun Fu, Hongwei Zhu |
Combined Application of EMTDC and Simulink for Hybrid Simulation of IPS. |
ISCSCT (2) |
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. |
Middleware (Companion) |
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. |
Handbook of Dynamic System Modeling |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jesús Fraile-Ardanuy |
Estudio del comportamiento de la máquina asíncrona utilizando MATLAB©/Simulink. |
Rev. Iberoam. de Tecnol. del Aprendiz. |
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. |
Des. Autom. Embed. Syst. |
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. |
Comput. Appl. Eng. Educ. |
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. |
Model-Based Engineering of Embedded Real-Time Systems |
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. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
15 | Kathrin Bröker |
Automatisierte Überprüfung von Modellierungsrichtlinien für Matlab/Simulink-Modelle. |
Software Engineering (Workshops) |
2007 |
DBLP BibTeX RDF |
|
15 | Mirko Conrad |
Using Simulink and Real-Time Workshop Embedded Coder for Safety-Critical Automotive Applications. |
MBEES |
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. |
MBEES |
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. |
PEARL |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Maurizio Tranchero, Leonardo Maria Reyneri |
Automatic Generation of VHDL Code for Self-Timed Circuits from Simulink Specifications. |
ICECS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | James Kang, Brita Olson, Alan Felzer, Rajan Chandra, Salomon Oldak |
Simulink Based Real-Time Laboratory Course Development. |
MSE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Markus Degen 0001 |
Übersetzen und Optimieren von Simulink Modellen. |
Softwaretechnik-Trends |
2006 |
DBLP BibTeX RDF |
|
15 | Saffet Ayasun, Chika O. Nwankpa |
Transformer tests using MATLAB/Simulink and their integration into undergraduate electric machinery courses. |
Comput. Appl. Eng. Educ. |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jon Friedman |
MATLAB/Simulink for automotive systems design. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Nasser Kehtarnavaz, Chandan Gope |
DSP System Design Using Labview and Simulink: A Comparative Evaluation. |
ICASSP (2) |
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. |
ICECS |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Jan Jakob Jessen, Henrik Schiøler |
ZoneLib: A simulink library for modeling zone divided climate dynamics. |
CAINE |
2006 |
DBLP BibTeX RDF |
|
15 | Jacob Palczynski, Bastian Schlich, Stefan Kowalewski |
Eine Evaluationssuite zur schnellen Bewertung von Matlab/Simulink-Modelcheckern. |
GI Jahrestagung (1) |
2006 |
DBLP BibTeX RDF |
|
15 | Sharon Gannot, Vadim Avrin |
A Simulink© and Texas instruments C6713® based digital signal processing laboratory. |
EUSIPCO |
2006 |
DBLP BibTeX RDF |
|
15 | Hashem Zare-Hoseini, Izzet Kale, Omid Shoaei |
Modeling of switched-capacitor delta-sigma Modulators in SIMULINK. |
IEEE Trans. Instrum. Meas. |
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. |
IEEE Trans. Educ. |
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. |
IEEE Trans. Circuits Syst. I Regul. Pap. |
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. |
Int. J. Softw. Eng. Knowl. Eng. |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Timothy Bourke, Arcot Sowmya |
Formal Models in Industry Standard Tools: an Argos Block within Simulink. |
Int. J. Softw. Eng. Knowl. Eng. |
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. |
Handbook of Networked and Embedded Control Systems |
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. |
Software Engineering Research and Practice |
2005 |
DBLP BibTeX RDF |
|
15 | Anjali Joshi, Mats Per Erik Heimdahl |
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. |
SAFECOMP |
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]. |
ICASSP (5) |
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. |
CDC/ECC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | A. Bakhti, L. Benbaouche |
Simulink-Rtwtgt Co-Design of Real Time Digital Interfaces. |
CDC/ECC |
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). |
ISIC |
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. |
International Conference on Computational Science (3) |
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. |
IASSE |
2005 |
DBLP BibTeX RDF |
|
15 | Jens Weiland, Ernst Richter |
Konfigurationsmanagement variantenreicher Simulink-Modelle. |
GI Jahrestagung (2) |
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. |
GI Jahrestagung (2) |
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. |
IC-AI |
2005 |
DBLP BibTeX RDF |
|
15 | Ibrahim S. Raad, Mehmet Yakan |
Implementation of a turbo codes test bed in the Simulink environment. |
ISSPA |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Yuan Zhan |
A search-based framework for automatic test-set generation for MATLAB/Simulink models. |
|
2005 |
RDF |
|
15 | Aditya Agrawal, Gyula Simon, Gabor Karsai |
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. |
GT-VMT@ETAPS |
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. |
Microprocess. Microsystems |
2004 |
DBLP DOI BibTeX RDF |
|
15 | B. Yu, A. H. C. van Paassen |
Simulink and bond graph modeling of an air-conditioned room. |
Simul. Model. Pract. Theory |
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. |
Int. J. Comput. Their Appl. |
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. |
Environ. Model. Softw. |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Jingzhao Ou, Viktor K. Prasanna |
Parameterized and energy efficient adaptive beamforming on FPGAs using MATLAB/Simulink. |
ICASSP (5) |
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. |
ISCAS (5) |
2004 |
DBLP BibTeX RDF |
|
15 | Gerald Stieglbauer, Andreas Werner |
Modellierung von deterministischer Software in Simulink. |
GI Jahrestagung (2) |
2004 |
DBLP BibTeX RDF |
|
15 | Andreas Doblander, Dietmar Gösseringer, Bernhard Rinner, Helmut Schwabach |
Synthesis of Embedded Image Processing Applications from SIMULINK Models. |
WISES |
2004 |
DBLP BibTeX RDF |
|
15 | Francesco Ricci 0004, Hoang Le-Huy |
Modeling and simulation of FPGA-based variable-speed drives using Simulink. |
Math. Comput. Simul. |
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. |
J. Circuits Syst. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Ross Wilson, Scott O'Brien, Daniel Galaba, John Leighton |
Storage channel modelling in Simulink. |
IEEE Trans. Consumer Electron. |
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. |
Simul. Model. Pract. Theory |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Martin Stark, Jan-Hendrik Oetjens, Wolfgang Rosenstiel |
A Seamless Simulink Based System Desing Flow for Automotive Applications. |
FDL |
2003 |
DBLP BibTeX RDF |
|
15 | Derek M. Burrage, Mark A. Goodberlet, Malcolm L. Heron |
Simulating Passive Microwave Radiometer Designs Using Simulink. |
Simul. |
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. |
Simul. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Rau 0004 |
On Model-Based Development: A Pattern for strong Interfaces in SIMULINK. |
Softwaretechnik-Trends |
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. |
Autom. |
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. |
IEEE Trans. Educ. |
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. |
IEEE Trans. Educ. |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Di Yu, K. L. Lo, Xiaodong Wang, Xiaobao Wang |
MRTS traction power supply system simulation using Matlab/Simulink. |
VTC Spring |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Andreas Rau 0004 |
On Model-Based Development: Decomposition and Data Abstraction in SIMULINK. |
Softwaretechnik-Trends |
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. |
IEEE Trans. Educ. |
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. |
IROS |
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. |
ICECS |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Naveen Chandra, Gordon W. Roberts |
Top-down analog design methodology using Matlab and Simulink. |
ISCAS (5) |
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. |
CIRA |
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. |
Int. J. Neural Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Mohand Mokhtari |
MATLAB 5.2 and 5.3 et SIMULINK 2 and 3 pour etudiants et ingenieurs. |
|
2000 |
RDF |
|
15 | Dimitar Genov, Mariana Todorova |
Identification and modeling of a distributed parameter systems in MATLAB/SIMULINK. |
CompSysTech |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Fong C. Teng |
Real-time control using Matlab Simulink. |
SMC |
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. |
DIPES |
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. |
IEEE Trans. Ind. Electron. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Lawrence F. Shampine, Mark W. Reichelt, Jacek Kierzenka |
Solving Index-1 DAEs in MATLAB and Simulink. |
SIAM Rev. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Gerald D. Cain, M. A. Mughal, Anush Yardim, Dragana Barjamovic |
Sweetening signals and systems with Simulink. |
NSIP |
1999 |
DBLP BibTeX RDF |
|
15 | Borut Zupancic |
Extension software for real-time control system design and implementation with MATLAB-SIMULINK. |
Simul. Pract. Theory |
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. |
EDCC-CARS |
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. |
EDCC-CARS |
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. |
EDCC-CARS |
2010 |
DBLP DOI BibTeX RDF |
real-time, static analysis, WCET, automotive |
10 | Harald Störrle |
Towards clone detection in UML domain models. |
ECSA Companion Volume |
2010 |
DBLP DOI BibTeX RDF |
UML, clone detection |
10 | Edward A. Lee, Xiaojun Liu 0001, Stephen Neuendorffer |
Classes and inheritance in actor-oriented design. |
ACM Trans. Embed. Comput. Syst. |
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. |
Tools and Applications with Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Endra Joelianto, Herman Y. Sutarto |
Controlled Switching Dynamical Systems Using Linear Impulsive Differential Equations. |
Intelligent Unmanned Systems |
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. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams |