Publications

Export 663 results:
Sort by: Author [ Title (Asc)] Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
[CS-PE-93] Campos, J, Silva M.  1993.  Embedded Product Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. Performance Evaluation. 18:3-19.
[1431] Bernardi, S, Flammini F, Marrone S, Mazzocca N, Merseguer J, Nardone R, Vittorini V.  2013.  Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
[1476] Timotei, A, Colom JM.  2013.  Enforcing Liveness in S3PR Nets by Specialization of Resources. 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013). :318-321. Abstract
[PMM-QoSA11a] Perez-Palacin, D, Mirandola R, Merseguer J.  2011.  Enhancing a QoS-based Self-adaptive Framework with Energy Management Capabilities. Quality of Software Architectures.
[CCS-TSE-91] Campos, J, Chiola G, Silva M.  1991.  Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Transactions on Software Engineering. 17:117-125.
[RP-85-11] Silva, M, Velilla S.  1985.  Error detection and correction on Petri net models of discrete control systems. :921-924.
[RP-84-06] Martínez, J, Silva M.  1984.  Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
[EDA-book-95] Campos, J.  1995.  Estructuras de Datos y Algoritmos.
[RP-79-03] Silva, M.  1979.  Evaluación de funciones lógicas: Generación óptima de código a partir de un grafo de decisiones binarias. :628-636.
[Cam-EVI-01] Campos, J.  2001.  Evaluación de Prestaciones de Sistemas Concurrentes Modelados con Redes de Petri. :141-156.
[MCM-JJCC-00] Merseguer, J, Campos J, Mena E.  2000.  Evaluating Performance on Mobile Agents Software Design. :291-307.
[RP-79-02] Silva, M.  1979.  Evaluation des performances des applications temps réel de type logique. :152-157.
[1454] Julvez, J, DiCairano S, Bemporad A, Mahulea C.  2014.  Event-Driven Model Predictive Control of Timed Hybrid Petri Nets. International Journal of Robust and Nonlinear Control. 24(12)
[IPJuBeReSi04] Julvez, J, Bemporad A, Recalde L, Silva M.  2004.  Event-driven optimal control of continuous Petri nets. :69-74.
[BuhMay97] Buhrman, H, Mayordomo E.  1997.  An excursion to the Kolmogorov random strings. Journal of Computer and System Sciences. 54:393-399.
[BuhMay95] Buhrman, H, Mayordomo E.  1995.  An excursion to the Kolmogorov random strings. :197-203.
[1309] Mayordomo, E, Blanco R.  2009.  Exhaustive mitochondrial phylogenetics: challenges and solutions. 9th Workshop on Algorithms in Bioinformatics (WABI 2009).
[MC-SERP03] Merseguer, J, Campos J.  2003.  Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
[TricasMartinez95SMC] Tricas, F, Martínez J.  1995.  An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
[RP-95-21] Tricas, F, Martínez J.  1995.  An extension of the liveness theory for concurrent sequential processes competing for shared resources. :4119-4124.
F
[RP-89-02] Murata, T, Silva M.  1989.  Fair control of discrete event systems via Petri nets. :19-23.
[1252] Seatzu, C, Mahulea C, Cabasino MP, Silva M.  2009.  Fault diagnoser design for untimed continuous Petri nets. 2009 IEEE Control Applications (CCA) & Intelligent Control (ISIC).
[1465] Wang, X, Mahulea C, Silva M.  2013.  Fault Diagnosis Graph of Time Petri Nets. ECC'13: European Control Conference.
[1452] Mahulea, C, Seatzu C, Cabasino MP, Silva M.  2012.  Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans. 42(4):970-984.
[1282] Cabasino, MP, Seatzu C, Mahulea C, Silva M.  2010.  Fault diagnosis of manufacturing systems using continuous Petri nets. 2010 IEEE International Conference on Systems, Man, and Cybernetics.