José Merseguer
Phone:
(+34) 876555550
Fax:
(+34) 976761914
Email:
jmerse
unizar [dot] es
Homepage:
Jose Merseguer
Office:
D0.08
Position:
Ph.D. Member Publications
[1525] .
2015. Modelling Security of Critical Infrastructures: A Survivability Assessment. The Computer Journal. 58(10)
[1532] .
2015. A Semantic Approach for Designing Assistive Software Recommender Systems. Journal of Systems and Software. 104
[1509] .
2014. Performance Assessment of an Architecture with Adaptative Interfaces for People with Special Needs. Empirical Software Engineering. 19(6):52.
[1527] .
2014. Performance Evaluation of Dynamic Binary Instrumentation Frameworks. IEEE Latin America. 12(8):9.
[1484] .
2014. Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
[1480] .
2014. On the Relationships between QoS and Software Adaptability at the Architectural Level. Journal of Systems and Software. 87(1):17.
[1458] .
2013. log2cloud: Log-based Prediction of Cost-Performance Trade-offs for Cloud Deployments. 28th Symposium On Applied Computing. :397-404.
[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.
[1474] .
2013. Quantification and compensation of the impact of faults in system throughput. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability. 227(6):28.
[1456] .
2013. On the Performance Estimation and Resource Optimisation in Process Petri Nets. IEEE Transactions on Systems, Man and Cybernetics: Systems. 46(3):1385-1398.
[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.
[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.
[1430] .
2012. Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
[1415] .
2012. QoS and energy management with Petri nets: a self-adaptive framework. The Journal of Systems & Software. 85(12):15.
[PMM-ICPE12] .
2012. Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
[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)
[1485] .
2012. PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation. Proceedings of the 12th International Conference on Application of Concurrency to System Designs (ACSD).
[1486] .
2012. Fault-Tolerant Techniques and Security Mechanisms for Model-based Performance Prediction of Critical Systems. Proceedings of the 3rd International Symposium on Architecting Critical Systems (ISARCS).
[BCM-TII-11] .
2011. Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
[BMP-SOSYM09] .
2011. A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
[PMM-QoSA11a] .
2011. Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities. Quality of Software Architectures.
[PMM-QoSA11b] .
2011. Software Architecture Adaptability Metrics for QoS-based Self-Adaptation. Quality of Software Architectures.
[PM-ICPE11] .
2011. Performance Sensitive Self-Adaptive Service-Oriented Software using Hidden Markov Models. ICPE International Conference on Performance Engineering. :201--206.
[1382] .
2011. Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
