13 papers:
ECMFA-2015-BerardinelliMPP #analysis #design #energy- Energy Consumption Analysis and Design of Energy-Aware WSN Agents in fUML (LB, ADM, SP, LP, WT), pp. 1–17.
ECSA-2014-BerardinelliMP #analysis #design #network #performance- fUML-Driven Design and Performance Analysis of Software Agents for Wireless Sensor Network (LB, ADM, SP), pp. 324–339.
CAiSE-2014-LaurentBBG #formal method #process #verification- Formalization of fUML: An Application to Process Verification (YL, RB, SB, MPG), pp. 347–363.
MoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml- Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
- MoDELS-2014-TatibouetCGT #execution #formal method #modelling #semantics #uml
- Formalizing Execution Semantics of UML Profiles with fUML Models (JT, AC, SG, FT), pp. 133–148.
SLE-2014-TisiJDSC #assembly #model transformation- fUML as an Assembly Language for Model Transformation (MT, FJ, JD, ZS, HC), pp. 171–190.
QoSA-2013-BerardinelliLM #analysis #execution #non-functional- Combining fUML and profiles for non-functional analysis based on model execution traces (LB, PL, TM), pp. 79–88.
SAC-2013-LaurentBG #debugging #modelling #uml- Executing and debugging UML models: an fUML extension (YL, RB, MPG), pp. 1095–1102.
- SLE-2013-MayerhoferLWK #domain-specific language #execution #named
- xMOF: Executable DSMLs Based on fUML (TM, PL, MW, GK), pp. 56–75.
ICST-2013-CraciunML #modelling #testing #towards- Towards Better Testing of fUML Models (FC, SM, IL), pp. 485–486.
SEFM-2012-AbdelhalimST #approach #effectiveness #model checking #optimisation- An Optimization Approach for Effective Formalized fUML Model Checking (IA, SS, HT), pp. 248–262.
ICSE-2012-Mayerhofer #debugging #modelling #testing #uml- Testing and debugging UML models based on fUML (TM), pp. 1579–1582.
- ECMFA-2011-EllnerADJKP #distributed #execution #modelling #process
- A FUML-Based Distributed Execution Machine for Enacting Software Process Models (RE, SAH, JD, MJ, DK, MP), pp. 19–34.
