Publications
] Filters: Author is José Merseguer [Clear All Filters]
[MCM-SEPN-00] .
2000. Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
[1276] .
2010. Performance modeling and analysis of the Universal Control Hub. 7th European Performance Engineering Workshop, EPEW 2010.
[PM-ICPE11] .
2011. Performance Sensitive Self-Adaptive Service-Oriented Software using Hidden Markov Models. ICPE International Conference on Performance Engineering. :201--206.
[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.
[PMM-QoSA11b] .
2011. Software Architecture Adaptability Metrics for QoS-based Self-Adaptation. Quality of Software Architectures.
[GMM-Tool] .
2005. A Software Performance Engineering Tool based on the UML-SPT.
[BM-WOSP-07] .
2007. A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
[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
[RMBP-98] .
1998. Una Herramienta de Generación Automática de Software. :157-169.
[MCM-JJCC-01] .
2001. Web Based Versus Mobile Agent Based Software Retrieval Systems: Performance Comparison. :299-312.
[RM_ISARCS10] .
2010. Integrating Fault-Tolerant Techniques into the Design of Critical Systems. 1st International Symposium on Architecting Critical Systems. 6150:33--51.
[RMB_SERENE10] .
2010. Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
[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.
[PMMG-VIDAS10] .
2010. QoS-Based Model Driven Assessment of Adaptive Reactive Systems. Third International Conference on Software Testing, Verification, and Validation Workshops. :299-308.
[BMP-Models-08] .
2008. Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
[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.
[1381] .
2012. Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
[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
[BMP-SOSYM09] .
2011. A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
[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.
[MR-97] .
1997. La herencia en el modelo orientado a objetos, del análisis a la implementación. :21-30.
[1525] .
2015. Modelling Security of Critical Infrastructures: A Survivability Assessment. The Computer Journal. 58(10)
[CM-LNCS-06] .
2006. On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
