Publications

Export 241 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
2003
[MC-SERP03] Merseguer, J, Campos J.  2003.  Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
0 icon
03_MC_SERP.pdf
[MCM-SCI03] Merseguer, J, Campos J, Mena E.  2003.  A Pattern Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent Based Systems. 9:307-313.
0 icon
03_MCM_SCI.pdf
[IPCoGiSeJu03] Corona, D, Giua A, Seatzu C, Julvez J.  2003.  Observers for nondeterministic l-free labeled Petri nets.
0 icon
etfa2003.pdf
2004
[BCDM-TSE] Bernardi, S, Campos J, Donatelli S, Merseguer J.  2004.  GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
[MC-LNCS-04] Merseguer, J, Campos J.  2004.  Software Performance Modelling Using UML and Petri Nets. Lecture Notes in Computer Science. 2965:265-289.
0 icon
SPE.pdf
[1391] Chamizo, GJM, de Casado MG, Rodríguez GJ.  2004.  II Jornadas sobre Domótica y Automatización Industrial. II Jornadas sobre Domótica y Automatización Industrial.
[LGMC-WOSP02] López-Grao, JP, Merseguer J, Campos J.  2004.  From UML Activity Diagrams to Stochastic Petri Nets: Application to Software Performance Engineering. :25-36.
0 icon
wosp2004-umlad.pdf
[GBC-IROS-04] González-Buesa, C, Campos J.  2004.  Solving the Mobile Robot Localization Problem Using String Matching Algorithms. :2475-2480.
0 icon
final.pdf
[BC-QEST-04] Bernardi, S, Campos J.  2004.  On Performance Bounds for Interval Time Petri Nets. :50-59.
0 icon
CameraReady.pdf
2005
[1325] [Anonymous].  2005.  Proceedings of the Workshop on Control of Hybrid and Discrete Event Systems.
[1331] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. 2005 IEEE International Conference on Robotics & Automation (ICRA’05). :272-278.
[1337] Tricas, F, García-Vallés F, Colom JM, Ezpeleta J.  2005.  Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.
[PJCS-RR69-2005] Pérez-Jiménez, CJ, Campos J, Silva M.  2005.  Approximate Throughput Computation of Stochastic Weighted T-Systems.
[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.
0 icon
RP05.pdf
2006
[CM-LNCS-06] Campos, J, Merseguer J.  2006.  On the integration of UML and Petri nets in software development. Lecture Notes in Computer Science. 4024:19-36.
0 icon
CM-LNCS-06.pdf
[CelayaAHPCC06] Celaya, J, Arronategui U.  2006.  Scalable Architecture for Allocation of Idle CPUs in a P2P Network. :240-249.
0 icon
celarr_hpcc06.pdf
[1246] Arronategui, U, Celaya J.  2006.  YA: Fast and Scalable Discovery of Idle CPUs in a P2P network. 7th IEEE/ACM International Conference on Grid Computing.
application/pdf icon
celarr_grid06.pdf
[1247] Arronategui, U, Celaya J.  2006.  Scalable Architecture for Allocation of Idle CPUs in a P2P Network. 2nd International Conference on High Performance Computing and Communications.
application/pdf icon
celarr_hpcc06.pdf
[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.
application/pdf icon
06_LGC_FORTE.pdf
[1329] Carmona, J, Colom JM, Cortadella J, García-Vallés F.  2006.  Synthesis of Asynchronous Controllers using Integer Linear Programming. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 25(9):1637-1651.
[1311] López-Grao, JP, Colom JM.  2006.  Lender processes competing for shared resources: Beyond the $S^4PR$ paradigm. 2006 International Conference on Systems, Man and Cybernetics (SMC'06). 4:3052--3059.
application/pdf icon
06_LGC_SMC.pdf
[IPGiMaReSeSi06b] Giua, A, Mahulea C, Recalde L, Seatzu C, Silva M.  2006.  Optimal control of timed continuous Petri nets via explicit MPC. Lecture Notes in Control and Information Sciences. 341:383-390.
[CelayaAGRID06] Celaya, J, Arronategui U.  2006.  YA: Fast and Scalable Discovery of Idle CPUs in a P2P Network. :49-55.
0 icon
celarr_grid06.pdf
2007
[1390] Pont, SMT, Chamizo GJM, Mora MH, de Casado MG.  2007.  Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. Eurasip Journal on Advances in Signal Processing. :17.
[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.