Publications
] Filters: Author is José Merseguer [Clear All Filters]
[BDM-WOSP-02] .
2002. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
[BM-IC-06] .
2006. QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
[BM-WOSP-07] .
2007. A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
[BM-JSS-07] .
2007. Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
[BDM-Tutorial] .
2005. On derivation of Petri net quantitative models from UML software system specifications.
[BMP-RR-08] .
2008. An UML profile for dependability analysis and modeling of software systems. :47.
[BMP-Models-08] .
2008. Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
[BMP-SOSYM09] .
2011. A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
[PMB-ICPE10] .
2010. Performance aware open-world software in a 3-layer architecture. First Joint WOSP/SIPEW International Conference on Performance Engineering.
[BBCM-09] .
2009. UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
[BML-EDCC-10] .
2010. Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile. Eighth European Dependable Computing Conference (EDCC'10). :95-104.
[RMB_SERENE10] .
2010. Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
[1381] .
2012. Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
[1382] .
2011. Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
[1383] .
2012. Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
[1430] .
2012. Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
[1431] .
2013. Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
[1487] .
2013. A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models. Theory and Application of Multi-Formalism Modeling.
[1488] .
2013. Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes (NiM-ALP 2013). 1074:1-40.
[MC-SERP03] .
2003. Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
[MCM-SCI03] .
2003. A Pattern Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent Based Systems. 9:307-313.
[MCM-WINET03] .
2003. Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
[LGMC-WOSP02] .
2004. From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
[LGMC-02b] .
2002. On the Use of Formal Models in Software Performance Evaluation. :367-387.
[LGMC-02c] .
2002. Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
