Enabling the Usage of UML in the Verification of Railway Systems: the DAM-Rail Approach. Reliability Engineering and System Safety.. Submitted.
 Event-Driven Model Predictive Control of Timed Hybrid Petri Nets. International Journal of Robust and Nonlinear Control.. In Press.
 A Petri net based approach for multi-robot path planning. Discrete Event Dynamic Systems: Theory and Applications.. In Press.
[BC-TSMC-13] A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems.. In Press.
 log2cloud: Log-based Prediction of Cost-Performance Trade-offs for Cloud Deployments. 28th Symposium On Applied Computing.. 2013.
 Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.. 2013.
 Fault Diagnosis Graph of Time Petri Nets. ECC'13: European Control Conference.. 2013.
 Complexity Analysis of Continuous Petri Nets. 34th International Conference on Application and Theory of Petri Nets and Concurrency (ICATPN).. 2013.
 Application and Theory of Petri Nets and Concurrency. 34th International Conference, PETRI NETS 2013. 7927. 2013.
[PFMBC-JCST-13] Throughput Quantitative Analysis of EDCA 802.11e in Different Scenarios. Journal of Computer Science & Technology. 13(1):16-23.. 2013.
 EDCA 802.11e Performance under Different Scenarios. Quantitative Analysis. 27th International Conference on Advanced Information Networking and Applications (AINA’13).. 2013.
 Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems. 7(1):53.. 2013.
 Structural methods for the control of Discrete Event Dynamic Systems – The case of the Resource Allocation Problem. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:257-278.. 2013.
 Dimension is Compression. Theory of Computing Systems. 52:95-112.. 2013.
 On the Performance Estimation and Resource Optimisation in Process Petri Nets. IEEE Transactions on Systems, Man and Cybernetics: Systems. In Press. 2013.
 Speeding Up Phylogenetic Model Checking. 7th International Conference on Practical Applications of Computational Biology and Bioinformatics. 222:119-126.. 2013.
 Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012. 2012.
 An algorithm to compute the minimal siphons in S4PR nets. Discrete Event Dynamic Systems. 22(4):403-428.. 2012.
 QoS and energy management with Petri nets: a self-adaptive framework. The Journal of Systems & Software. 85(12):15.. 2012.
 Control of continuous Petri nets using ON/OFF based method. 11th Int. Workshop on Discrete Event Systems.. 2012.
 Marking homothetic monotonicity and fluidization of untimed Petri nets. 11th Int. Workshop on Discrete Event Systems.. 2012.
 Control of continuous Petri nets using ON/OFF based method. WODES'12: 11th Int. Workshop on Discrete Event Systems.. 2012.
 LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.. 2012.
 Modular Petri net modeling of the Spanish Health System. 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2012).. 2012.
 Online Petri Net Based Algorithm for Planning and Controlling Mobile Robots. ETFA'2012: 17th IEEE International Conference on Emerging Technologies and Factory Automation.. 2012.