José Merseguer | Group of Discrete Event Systems Engineering

José Merseguer

Phone: 
(+34) 876555550
Fax: 
(+34) 976761914
Email: 
jmerseatunizar [dot] es
Office: 
D0.08
Position: 
Ph.D. Member

Publications

2015
2014
2013
[1458] Perez-Palacin, D, Calinescu R, Merseguer J.  2013.  log2cloud: Log-based Prediction of Cost-Performance Trade-offs for Cloud Deployments. 28th Symposium On Applied Computing. :397-404.
[1431] Bernardi, S, Flammini F, Marrone S, Mazzocca N, Merseguer J, Nardone R, Vittorini V.  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] Rodríguez, RJ, Júlvez J, Merseguer J.  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] Rodríguez, RJ, Júlvez J, Merseguer J.  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] Bernardi, S, Boskovic M, Merseguer J.  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] Bernardi, S, Merseguer J.  2013.  A Meta-Model Based Approach to the Definition of the Analysis Results of Petri Net Models. Theory and Application of Multi-Formalism Modeling.
2012
[1430] Bernardi, S, Merseguer J, Petriu DC.  2012.  Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
[1415] Pérez-Palacín, D, Mirandola R, Merseguer J.  2012.  QoS and energy management with Petri nets: a self-adaptive framework. The Journal of Systems & Software. 85(12):15.
[PMM-ICPE12] Perez-Palacin, D, Merseguer J, Mirandola R.  2012.  Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
[1381] Merseguer, J, Bernardi S.  2012.  Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
[1383] Bernardi, S, Merseguer J, Petriu DC.  2012.  Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
[1485] Rodríguez, RJ, Júlvez J, Merseguer J.  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] Rodríguez, RJ, Trubiani C, Merseguer J.  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).
2011