35 papers:
DAC-2015-PetersWPKD #constraints #modelling #representation #uml- A generic representation of CCSL time constraints for UML/MARTE models (JP, RW, NP, UK, RD), p. 6.
ICML-c2-2014-SunZZ #analysis #convergence- A Convergence Rate Analysis for LogitBoost, MART and Their Variant (PS, TZ, JZ), pp. 1251–1259.
KEOD-2014-AzaiezA #analysis #how #question #towards- How to Guarantee Analysis Results Coherence after Data Warehouse Schema Changes Propagation towards Data Marts? (NA, JA), pp. 428–435.
SAC-2014-NguyenJ0B #automation #diagrams #embedded #modelling #realtime #uml- Automatic construction of timing diagrams from UML/MARTE models for real-time embedded software (MCN, EJ, JC, DHB), pp. 1140–1145.
SEFM-2013-SuryadevaraSMP #behaviour #using #verification- Verifying MARTE/CCSL Mode Behaviors Using UPPAAL (JS, CCS, FM, PP), pp. 1–15.
ICEIS-v2-2013-RibeiroS #approach #modelling #realtime #requirements- An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes (FGCR, MSS), pp. 70–81.
- SAC-2013-FerreiraM
- Estimating the size of data mart projects (WGF, HTMN), pp. 1147–1148.
DATE-2012-EbeidFQS #design #embedded #modelling #refinement #uml- Refinement of UML/MARTE models for the design of networked embedded systems (ESME, FF, DQ, FS), pp. 1072–1077.
ECMFA-2012-GeP #framework #realtime #safety #uml #verification- Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems (NG, MP), pp. 352–367.
MoDELS-2012-IqbalAYB #case study #experience #industrial #uml- Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
- MoDELS-2012-IqbalAYB #case study #experience #industrial #uml
- Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
AdaEurope-2011-MedinaC #ada #analysis #design #distributed #modelling #realtime #uml- Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE (JLM, ÁGC), pp. 89–102.
- ICEIS-v1-2011-AbdelhediPTZ #design
- Computer-aided Data-mart Design (FA, GP, OT, GZ), pp. 239–246.
- MoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using
- An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
- MoDELS-2011-CuccuruGT
- Defining MARTE’s VSL as an Extension of Alf (AC, SG, FT), pp. 699–713.
- MoDELS-2011-KoudriCGT #component #design #evaluation #standard
- Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal (AK, AC, SG, FT), pp. 243–257.
- MoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using
- An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
- MoDELS-2011-CuccuruGT
- Defining MARTE’s VSL as an Extension of Alf (AC, SG, FT), pp. 699–713.
- MoDELS-2011-KoudriCGT #component #design #evaluation #standard
- Designing Heterogeneous Component Based Systems: Evaluation of MARTE Standard and Enhancement Proposal (AK, AC, SG, FT), pp. 243–257.
- MoDELS-v1-2010-IqbalAB #black box #case study #embedded #industrial #modelling #realtime #testing #uml
- Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies (MZZI, AA, LCB), pp. 286–300.
SPLC-2010-BelategiSE #embedded #product line #variability- MARTE Mechanisms to Model Variability When Analyzing Embedded Software Product Lines (LB, GS, LE), pp. 466–470.
- DATE-2009-VidalLGSD #approach #co-evolution #code generation #design #embedded #modelling #uml
- A co-design approach for embedded system modeling and code generation with UML and MARTE (JV, FdL, GG, PS, JPD), pp. 226–231.
- ECMDA-FA-2009-EspinozaCSG #challenge #design #embedded #modelling
- Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems (HE, DC, BS, SG), pp. 98–113.
- ECMDA-FA-2009-KoudriCAS #analysis #design #process
- MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis (AK, JC, DA, PS), pp. 277–288.
- MoDELS-2009-BoskovicH #assessment #metric #modelling #performance
- Model Driven Performance Measurement and Assessment with MoDePeMART (MB, WH), pp. 62–76.
- MoDELS-2009-ShoushaBL #analysis #concurrent #detection #uml
- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (MS, LCB, YL), pp. 47–61.
- MoDELS-2009-BoskovicH #assessment #metric #modelling #performance
- Model Driven Performance Measurement and Assessment with MoDePeMART (MB, WH), pp. 62–76.
- MoDELS-2009-ShoushaBL #analysis #concurrent #detection #uml
- A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (MS, LCB, YL), pp. 47–61.
GPCE-2009-RadermacherCGT #case study #component #execution #generative #modelling #realtime #specification- Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE’s GCM and real-time annotations (AR, AC, SG, FT), pp. 127–136.
- MoDELS-2008-BernardiMP #analysis #dependence
- Adding Dependability Analysis Capabilities to the MARTE Profile (SB, JM, DCP), pp. 736–750.
- MoDELS-2008-BernardiMP #analysis #dependence
- Adding Dependability Analysis Capabilities to the MARTE Profile (SB, JM, DCP), pp. 736–750.
SFM-2007-Woodside #design #uml- From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms (CMW), pp. 429–467.
- ICEIS-DISI-2006-BouazizGF #user interface
- A GUI for Data Mart Schema Alteration (NB, FG, JF), pp. 169–174.
- ICEIS-v1-2005-NabliSFBG #automation #design #towards
- Towards an Automatic Data Mart Design (AN, AS, JF, HBA, FG), pp. 226–231.
- ICEIS-v1-2003-KaranikolasS #framework #legacy #navigation
- Shifting From Legacy Systems to a Data Mart and Computer Assisted Information Resources Navigation Framework (NK, CS), pp. 300–305.
