Juan-Pablo López-Grao
Juan-Pablo López-Grao
Professor of Computer Science, University of Zaragoza, Spain
Dirección de correo verificada de unizar.es - Página principal
Título
Citado por
Citado por
Año
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
232012
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
On the deadlock analysis of multithreaded control software
JP Lopez-Grao, JM Colom
Emerging Technologies & Factory Automation (ETFA'2011), 16th IEEE …, 2011
112011
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
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
102006
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
102006
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
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
62014
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
6*2014
Contributions to the deadlock problem in multithreaded software applications observed as Resource Allocation Systems
JP López-Grao
University of Zaragoza, 2013
52013
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15