37 papers:
SCAM-2015-RaposSAC #named #navigation- SimNav: Simulink navigation of model clone classes (EJR, AS, MHA, JRC), pp. 241–246.
FM-2015-MirandaMR #automation #design #generative #testing #using #verification- Using Simulink Design Verifier for Automatic Generation of Requirements-Based Tests (BM, HM, RR), pp. 601–604.
MoDELS-2015-StephanC #clone detection #detection #identification #using- Identification of Simulink model antipattern instances using model clone detection (MS, JRC), pp. 276–285.
SAC-2015-CostaCFR #diagrams #modelling #precise #uml- From UML diagrams to simulink models: a precise and verified translation (AC, SAdCC, LF, LR), pp. 1547–1552.
- SAC-2015-CremonaMN #composition #named #representation #simulation
- TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink (FC, MM, MDN), pp. 1940–1947.
- SAC-2015-Morelli #automation #generative #modelling
- Automated generation of robotics applications from simulink and SysML models (MM), pp. 1948–1954.
SPLC-2015-RumpeSWRM #behaviour #evolution #maintenance #modelling #product line- Behavioral compatibility of simulink models for product line maintenance and evolution (BR, CS, MvW, JOR, PM), pp. 141–150.
ASE-2014-HollingPG #generative #lightweight #named #testing- 8Cage: lightweight fault-based test generation for simulink (DH, AP, MG), pp. 859–862.
- ASE-2014-Schneider #fault #modelling
- Tracking down root causes of defects in simulink models (JS), pp. 599–604.
- ASE-2014-Schneider14a #fault #modelling #runtime
- Determining the most probable root causes of run-time errors in simulink models (JS), pp. 875–878.
DATE-2014-RobinoO- From Simulink to NoC-based MPSoC on FPGA (FR, JÖ), pp. 1–4.
ICSME-2014-AlalfiRSSDC #automation #identification #modelling #representation #variability- Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models (MHA, EJR, AS, MS, TRD, JRC), pp. 486–490.
SEFM-2014-ReicherdtG #matlab #modelling #using #verification- Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie (RR, SG), pp. 190–204.
- MoDELS-2014-NataleCSS #adaptation #approach #communication #component #generative
- An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink (MDN, FC, AS, ALSV), pp. 353–369.
QoSA-2013-DajsurenBSR #assessment #composition #modelling- Simulink models are also software: modularity assessment (YD, MvdB, AS, SAR), pp. 99–106.
CASE-2013-LiK #automation #generative #novel #reachability #reduction #testing- Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.
ICEIS-v2-2013-FragalSGJ #approach #embedded #product line #specification- Application Engineering for Embedded Systems — Transforming SysML Specification to Simulink within a Product-Line based Approach (VHF, RFS, IMdSG, EAdOJ), pp. 94–101.
- SPLC-2013-Cordy #modelling
- Submodel pattern extraction for simulink models (JRC), pp. 7–10.
- CASE-2012-LiK #automation #automaton #finite #generative #modelling #testing #using
- Model-based automatic test generation for Simulink/Stateflow using extended finite automaton (ML, RK), pp. 857–862.
- DATE-2012-PeranandamRSYGR #generative #modelling #testing
- An integrated test generation tool for enhanced coverage of Simulink/Stateflow models (PP, SR, MS, AY, AAG, SR), pp. 308–311.
- ICSM-2012-AlalfiCDSS #clone detection #detection #modelling
- Models are code too: Near-miss clone detection for Simulink models (MHA, JRC, TRD, MS, AS), pp. 295–304.
ICSE-2012-ReichertG #matlab #modelling #slicing- Slicing MATLAB Simulink models (RR, SG), pp. 551–561.
LCTES-2012-BouissouC #semantics #simulation- An operational semantics for Simulink’s simulation engine (OB, AC), pp. 129–138.
DAC-2011-HeRK #concept analysis #embedded #generative #testing- Test-case generation for embedded simulink via formal concept analysis (NH, PR, DK), pp. 224–229.
- DATE-2010-CanedoYK #parallel #pipes and filters #simulation
- Skewed pipelining for parallel simulink simulations (AC, TY, HK), pp. 891–896.
CGO-2010-CanedoYK #automation #parallel- Automatic parallelization of simulink applications (AC, TY, HK), pp. 151–159.
ECMDA-FA-2009-BeucheW #flexibility #modelling- Managing Flexibility: Modeling Binding-Times in Simulink (DB, JW), pp. 289–300.
CAV-2009-KanadeAIRSS #generative #modelling- Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models (AK, RA, FI, SR, SS, KCS), pp. 430–445.
- CAV-2009-RyabtsevS #c #validation
- Translation Validation: From Simulink to C (MR, OS), pp. 696–701.
- DAC-2007-HuangHPBGLyCCJ #case study #design
- Simulink-Based MPSoC Design Flow: Case Study of Motion-JPEG and H.264 (KH, SIH, KP, LBdB, XG, LL, XY, SIC, LC, AAJ), pp. 39–42.
SEKE-2007-ZhouKBSC #framework #requirements #specification- A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules (CZ, RK, DB, KS, DDC), pp. 179–184.
- DAC-2006-HanGCJ #memory management #optimisation #video
- Buffer memory optimization for video codec application modeled in Simulink (SIH, XG, SIC, AAJ), pp. 689–694.
- DATE-2006-Friedman #design #matlab
- MATLAB/Simulink for automotive systems design (JF), pp. 87–88.
- DATE-2006-VanderperrenD #matlab #uml
- From UML/SysML to Matlab/Simulink: current state and future perspectives (YV, WD), p. 93.
- DATE-DF-2004-Ruiz-AmayaRMFRPR #matlab #synthesis
- MATLAB/SIMULINK-Based High-Level Synthesis of Discrete-Time and Continuous-Time [Sigma, Delta] Modulators (JRA, JLdlR, FM, FVF, RdR, MBPV, ÁRV), pp. 150–155.
- LCTES-2003-CaspiCMSTN #approach #distributed #embedded
- From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications (PC, AC, AM, CS, ST, PN), pp. 153–162.
- DAC-2001-ReyneriCSL #co-evolution #design #hardware #library
- A Hardware/Software Co-design Flow and IP Library Based of SimulinkTM (LMR, FC, AS, LL), pp. 593–598.
