49 papers:
CASE-2015-LinSPV #modelling #order- A SysML profile supporting change orders in model driven engineering (HYL, SS, NP, VV), pp. 1054–1059.
ICEIS-v2-2015-MeloFOS #approach #diagrams #modelling #process #uml- A Model-driven Approach to Transform SysML Internal Block Diagrams to UML Activity Diagrams (MdSM, JMSF, EAOJ, MSS), pp. 92–101.
RecSys-2015-Ben-ShimonTFSRH #challenge #dataset- RecSys Challenge 2015 and the YOOCHOOSE Dataset (DBS, AT, MF, BS, LR, JH), pp. 357–358.
SAC-2015-Morelli #automation #generative #modelling- Automated generation of robotics applications from simulink and SysML models (MM), pp. 1948–1954.
SPLC-2015-GaetaC #modelling #product line- Modeling aerospace systems product lines in SysML (JPG, KC), pp. 293–302.
- CASE-2014-HuckabyC
- A case for SysML in robotics (JH, HIC), pp. 333–338.
IFM-2014-MiyazawaC #refinement- Formal Refinement in SysML (AM, AC), pp. 155–170.
- ICEIS-v2-2014-AntonioRF #embedded #modelling #process #validation #verification
- Verification and Validation Activities for Embedded Systems — A Feasibility Study on a Reading Technique for SysML Models (EAA, RR, SCPFF), pp. 233–240.
- ICEIS-v2-2014-MeloS #design #modelling #uml #using
- Model-driven Structural Design of Software-intensive Systems Using SysML Blocks and UML Classes (MdSM, MSS), pp. 193–200.
ECSA-2013-ChoualiCM #architecture #component #interface #requirements #specification- Specifying System Architecture from SysML Requirements and Component Interfaces (SC, OC, HM), pp. 348–352.
- ECSA-2013-LeiteOB #architecture #named
- SysADL: A SysML Profile for Software Architecture Description (JCL, FO, TVB), pp. 106–113.
- CASE-2013-KernschmidtV #approach #modelling
- An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering (KK, BVH), pp. 1113–1118.
DUXU-WM-2013-SchutzOV #approach #automation #development #evaluation #usability- SysML-Based Approach for Automation Software Development — Explorative Usability Evaluation of the Provided Notation (DS, MO, BVH), pp. 568–574.
- 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.
- ICEIS-v2-2013-OliveiraS #aspect-oriented #modelling #requirements #using
- Modeling Aspects in Requirements using SysML Extensions (KSdO, MdSS), pp. 126–133.
- 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.
- ICEIS-v2-2013-SilvaFJGO #approach #embedded #named #product line
- SyMPLES — A SysML-based Approach for Developing Embedded Systems Software Product Lines (RFS, VHF, EAdOJ, IMdSG, FO), pp. 257–264.
- ICEIS-v2-2013-ToureSA #enterprise #modelling #source code #validation
- A2MO and ETREOSys — Analyzing, Modeling and Validation of Enterprise Training Programs (FT, MS, EA), pp. 310–316.
- RecSys-2013-BlomoEF #challenge
- RecSys challenge 2013 (JB, ME, MF), pp. 489–490.
- RecSys-2013-GarcinF #framework #personalisation #recommendation
- PEN RecSys: a personalized news recommender systems framework (FG, BF), pp. 469–470.
SIGIR-2013-SchallerHE #distributed #recommendation #visitor- RecSys for distributed events: investigating the influence of recommendations on visitor plans (RS, MH, DE), pp. 953–956.
ECMFA-2013-AmbertBLLP #approach #modelling #testing- Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing (FA, FB, JL, BL, FP), pp. 134–151.
ICST-2013-Gauthier #generative #modelling #research #testing- Test Generation for RTES from SysML Models: Context, Motivations and Research Proposal (JMG), pp. 503–504.
SEFM-2012-OuchaniMD #abstraction #diagrams #performance #probability #process- Efficient Probabilistic Abstraction for SysML Activity Diagrams (SO, OAM, MD), pp. 263–277.
- SAC-2012-TsadimasNA #design #information management #non-functional #requirements
- Extending SysML to explore non-functional requirements: the case of information system design (AT, MN, DA), pp. 1057–1062.
KEOD-2011-Bermejo-AlonsoSRH #ontology- Engineering an Ontology for Autonomous Systems — The OASys Ontology (JBA, RS, MR, CH), pp. 47–58.
- ECMFA-2011-BehjatiYNBS #architecture #concept #modelling
- Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling (RB, TY, SN, LCB, BS), pp. 236–252.
- ECMFA-2011-ColomboKL #analysis #design #generative #modelling #problem #requirements #using
- Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML (PC, FK, LL), pp. 97–114.
- ECMFA-2011-JainKP #development #modelling #validation
- A SysML Profile for Development and Early Validation of TLM 2.0 Models (VJ, AK, PRP), pp. 299–311.
MoDELS-2011-IzukuraYOSKX #approach #development #modelling #using- Applying a Model-Based Approach to IT Systems Development Using SysML Extension (SI, KY, TO, HS, DK, JX), pp. 563–577.
- MoDELS-2011-IzukuraYOSKX #approach #development #modelling #using
- Applying a Model-Based Approach to IT Systems Development Using SysML Extension (SI, KY, TO, HS, DK, JX), pp. 563–577.
ESEC-FSE-2011-FalessiNSBM #design #named #safety #slicing- SafeSlice: a model slicing and design safety inspection tool for SysML (DF, SN, MS, LCB, AM), pp. 460–463.
- ECMFA-2010-ColomboKL #analysis #case study #modelling #problem #requirements
- Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study (PC, FK, LL), pp. 74–89.
- SAC-2010-ChangLHCSYHK #embedded #manycore #modelling
- SysML-based requirement modeling environment for multicore embedded system (CHC, CWL, NLH, WCC, CS, CTY, PAH, CSK), pp. 2224–2228.
DAC-2009-WangHHW #framework #named- SysCOLA: a framework for co-development of automotive software and system platform (ZW, AH, WH, MW), pp. 37–42.
- 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.
- CASE-2007-KwonM #framework #simulation
- SysML-based Simulation Framework for Semiconductor Manufacturing (KSK, LFM), pp. 1075–1080.
DATE-2006-VanderperrenD #matlab #uml- From UML/SysML to Matlab/Simulink: current state and future perspectives (YV, WD), p. 93.
- DATE-2006-ViehlSBR #analysis #design #modelling #performance #simulation #uml
- Formal performance analysis and simulation of UML/SysML models for ESL design (AV, TS, OB, WR), pp. 242–247.
- DATE-DF-2006-DavilaTSSBR #algorithm #architecture #configuration management #design #implementation
- Design and implementation of a rendering algorithm in a SIMD reconfigurable architecture (MorphoSys) (JD, AdT, JMS, MSE, NB, FR), pp. 52–57.
- DATE-2005-VanderperrenD #approach #complexity #design #uml
- UML 2 and SysML: An Approach to Deal with Complexity in SoC/NoC Design (YV, WD), pp. 716–717.
LCTES-2004-LapalmeANCBDB #embedded #modelling #simulation- ESys.Net: a new solution for embedded systems modeling and simulation (JL, EMA, GN, LC, FRB, JPD, GB), pp. 107–114.
- DATE-2003-DuSTBAF #configuration management #interactive
- Interactive Ray Tracing on Reconfigurable SIMD MorphoSys (HD, MSE, NT, NB, MLA, MF), pp. 20144–20149.
ITiCSE-2003-Baciu #interactive #named- SysRel: an interactive application for training (RB), p. 268.
- DAC-2000-SinghLFMLKB #case study #configuration management #multi #named
- MorphoSys: case study of a reconfigurable computing system targeting multimedia applications (HS, GL, EMCF, RM, MHL, FJK, NB), pp. 573–578.
ICDAR-v2-1995-LuLC #analysis #documentation #named #retrieval- TheSys — A comprehensive thesaurus system for intelligent document analysis and text retrieval (CL, KHL, HYC), pp. 1169–1173.
ICLP-1993-LiRSVBPPSCDRSS #named #parallel #using- APPLAUSE: Applications Using the ElipSys Parallel CLP System (LLL, MR, KS, AV, JB, CP, ZP, TS, DAC, SD, CJR, JS, GS), pp. 847–848.
CC-1990-ToczkiKGDK #development #named- SYS/3 — A Software Development Tool (JT, FK, TG, GD, GK), pp. 193–207.
- SLP-1987-WestphalRCS87 #backtracking
- The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism (HW, PR, JCdK, JCS), pp. 436–448.
