Juan-Pablo López-Grao
Juan-Pablo López-Grao
Professor of Computer Science, University of Zaragoza, Spain
Verified email at unizar.es - Homepage
Title
Cited by
Cited by
Year
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
JP López-Grao, J Merseguer, J Campos
ACM SIGSOFT Software Engineering Notes 29 (1), 25-36, 2004
2632004
Performance engineering based on UML and SPNs: A software performance tool
JP López-Grao, J Merseguer, J Campos
International Symposium On Computer and Information Sciences (ISCIS XVII …, 2002
27*2002
A Petri net perspective on the resource allocation problem in software engineering
JP López-Grao, JM Colom
Transactions on Petri Nets and Other Models of Concurrency V, 181-200, 2012
222012
Lender processes competing for shared resources: Beyond the S4PR paradigm
JP López-Grao, JM Colom
Systems, Man and Cybernetics, 2006. SMC'06. IEEE International Conference on …, 2006
152006
Structural methods for the control of discrete event dynamic systems–The case of the resource allocation problem
JP López-Grao, JM Colom
Control of Discrete-Event Systems, 257-278, 2013
102013
On the deadlock analysis of multithreaded control software
JP Lopez-Grao, JM Colom
Emerging Technologies & Factory Automation (ETFA'2011), 16th IEEE …, 2011
102011
Resource Allocation Systems: Some complexity results on the S4PR class
JP Lopez-Grao, JM Colom
IFIP Lecture Notes in Computer Science (LNCS), 323-338, 2006
92006
Resource Allocation Systems: Some complexity results on the S4PR class
JP López-Grao, JM Colom
Formal Techniques for Networked and Distributed Systems-FORTE 2006, 323-338, 2006
92006
The resource allocation problem in software applications: A Petri net perspective
JP López-Grao, JM Colom
International Workshop on Petri Nets and Software Engineering (PNSE'10), 7-21, 2010
72010
Structural deadlock prevention policies for flexible manufacturing systems: A Petri net outlook
JP López-Grao, JM Colom, F Tricas
Formal Methods in Manufacturing, Series on Industrial Information Technology …, 2014
62014
The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach
JP López-Grao, JM Colom, F Tricas
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation …, 2014
52014
Contributions to the deadlock problem in multithreaded software applications observed as Resource Allocation Systems
JP López-Grao
University of Zaragoza, 2013
42013
On the use of formal models in Software Performance Evaluation
JP López-Grao, J Merseguer, J Campos
X Jornadas de Concurrencia, 367-387, 2002
42002
Sketching architectural concerns on distributed discrete event simulation based on Petri nets
JP López-Grao
2003
Un servicio para la comunidad mediante Aprendizaje Basado en Proyectos
C San Miguel Moncín, JP López Grao
The system can't perform the operation now. Try again later.
Articles 1–15