Publications

Export 67 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Last Name is P  [Clear All Filters]
Conference Paper
[PMM-QoSA11b] Perez-Palacin, D, Mirandola R, Merseguer J.  2011.  Software Architecture Adaptability Metrics for QoS-based Self-Adaptation. Quality of Software Architectures.
[PJCS-96a] Pérez-Jiménez, CJ, Campos J, Silva M.  1996.  State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes. :1159-1165.
[RP05] Rodríguez, D, Piedrafita R.  2005.  Supervisión y Control de Tiempos en Sistemas: experiencia en una Célula Flexible de Fabricación. :8.
[1396] Pont, SMT, Chamizo GJM, Mora MH, de Casado MG.  2007.  Table-based Recursive Method for Function Evaluation. International Conference of Numerical Analysis and Applied Mathematics 2007.
[RP-86-06] Montano, L, Pardos P.  1986.  Terminal controllers for robots: Shooting and optimal control. :384-389.
[BBCM-09] Berardinelli, L, Bernardi S, Cortellessa V, Merseguer J.  2009.  UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
[RP-83-07] Pardos, P, Silva M.  1983.  Un plan de prácticas de sistemas de control muestreados. :279-295.
[RMBP-98] Romero, J, Merseguer J, Barberá, Pastor O.  1998.  Una Herramienta de Generación Automática de Software. :157-169.
Book Chapter
[200] Teruel, E, Colom JM, Silva M.  1993.  Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals. Decentralized and Distributed Systems. :213-224.
[1064] Olcoz, S, Colom JM.  1993.  A Petri Net Approach for the Analysis of VHDL Descriptions. Correct Hardware Design and Verification Methods. :15-26.
[ICSiTeVaPi98] Silva, M, Teruel E, Valette R, Pingaud H.  1998.  Petri Nets and Production Systems. Lectures on Petri Nets II: Applications. 1492
[1312] López-Grao, JP, Colom JM.  2006.  Resource Allocation Systems: Some complexity results on the $S^4PR$ class. Formal Techniques for Networked and Distributed Systems – FORTE 2006. 4229:323-339.
Book