Publications
Filters: Author is José Merseguer [Clear All Filters]
[MCM-SEPN-00] Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach. :1-20.
.
2000.
[1276] Performance modeling and analysis of the Universal Control Hub. 7th European Performance Engineering Workshop, EPEW 2010.
.
2010.
[PM-ICPE11] Performance Sensitive Self-Adaptive Service-Oriented Software using Hidden Markov Models. ICPE International Conference on Performance Engineering. :201--206.
.
2011.
[BML-EDCC-10] 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.
.
2010.
.
1991.
[PMM-QoSA11b] Software Architecture Adaptability Metrics for QoS-based Self-Adaptation. Quality of Software Architectures.
.
2011.
.
2005.
[BM-WOSP-07] A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
.
2007.
[BBCM-09] 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
.
2009.
[RMBP-98] Una Herramienta de Generación Automática de Software. :157-169.
.
1998.
.
2001.
[RM_ISARCS10] Integrating Fault-Tolerant Techniques into the Design of Critical Systems. 1st International Symposium on Architecting Critical Systems. 6150:33--51.
.
2010.
[RMB_SERENE10] Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
.
2010.
[1488] 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.
.
2013.
[PMMG-VIDAS10] QoS-Based Model Driven Assessment of Adaptive Reactive Systems. Third International Conference on Software Testing, Verification, and Validation Workshops. :299-308.
.
2010.
[BMP-Models-08] Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
.
2008.
[MCM-WINET03] Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
.
2003.
[1381] Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
.
2012.
[1383] Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
.
2012.
[1430] Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
.
2012.
[BMP-SOSYM09] A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
.
2011.
[1431] Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
.
2013.
.
1997.
[1525] Modelling Security of Critical Infrastructures: A Survivability Assessment. The Computer Journal. 58(10)
.
2015.
[CM-LNCS-06] On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
.
2006.