Publications

Export 663 results:
Sort by: Author Title [ Type (Asc)] Year
Journal Article
[1498] Vazquez, CR, Ramirez-Treviño A, Silva M.  2013.  Controllability of Timed Continuous Petri Nets with uncontrollable transitions. International Journal of Control. Posted online: 01 Oct 2013
[LutMayCVKL] Lutz, JH, Mayordomo E.  1996.  Cook versus Karp Levin Separating Completeness Notions If NP Is Not Small. Theoretical Computer Science. 164:141-163.
0 icon
96_LM_TCS.ps
[1293] Gu, X, Lutz JH, Mayordomo E.  2011.  Curves that must be retraced. Information and Computation. 209:992--1006.
[EzRe-04] Ezpeleta, J, Recalde L.  2004.  A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems. IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans. 34
[ARJuReSi06] Julvez, J, Recalde L, Silva M.  2006.  Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE Trans. on Automatic Control. 51:1472-1481.
[1381] Merseguer, J, Bernardi S.  2012.  Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
application/pdf icon
BM-DEDS.pdf
[1383] Bernardi, S, Merseguer J, Petriu DC.  2012.  Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
application/pdf icon
bmp11-cs.pdf
[1430] Bernardi, S, Merseguer J, Petriu DC.  2012.  Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
application/pdf icon
BMP12.pdf
[BMP-SOSYM09] Bernardi, S, Merseguer J, Petriu D.  2011.  A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
application/postscript icon
BMP-09.ps
[1539] Wang, X, Mahulea C, Silva M.  2015.  Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
[1439] Mayordomo, E, López-Valdés M.  2013.  Dimension is Compression. Theory of Computing Systems. 52:95-112.
[DPSSF] Lutz, JH, Mayordomo E.  2008.  Dimensions of points in self-similar fractals. SIAM Journal on Computing. 38:1080-1112.
[RP-86-01] Villarroel, JL, Silva M.  1986.  Diseño de un sistema didáctico de programación y control. :97-108.
[RP-98-02] Tricas, F, Martínez J.  1998.  Distributed control systems simulation using high level Petri nets. Mathematics and Computers in Simulation. 46:47-55.
[AtHiLuMa06] Athreya, KB, Hitchcock JM, Lutz JH, Mayordomo E.  2007.  Effective strong dimension in algorithmic information and computational complexity. SIAM Journal on Computing. 37:671-705.
0 icon
esdaicc.pdf
[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.
0 icon
93_CS_PE.ps
[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.
application/pdf icon
ress12_dam.pdf
[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.
0 icon
91_CCS_TSE.ps
[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)
[BuhMay97] Buhrman, H, Mayordomo E.  1997.  An excursion to the Kolmogorov random strings. Journal of Computer and System Sciences. 54:393-399.
0 icon
97_BM_JCSS.ps
[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.
[DaLaLuMaFSD] Dai, JJ, Lathrop JI, Lutz JH, Mayordomo E.  2004.  Finite state dimension. Theoretical Computer Science. 310:1-33.
0 icon
fsd.ps
[HiLuMa05] Hitchcock, JM, Lutz JH, Mayordomo E.  2005.  The fractal geometry of complexity classes. SIGACT News. 36:24-38.
0 icon
fgcc.pdf
[RP-85-03] Alla, H, Ladet P.  1985.  Generalized Inverses and the Calculation of Symbolic Invariants for Colored Petri Nets. Technique et Science Informatique (TSI). 4:113-126.
[Cam-TII-10] Campos, J.  2010.  Guest Editorial: Special Section on Formal Methods in Manufacturing. IEEE Transactions on Industrial Informatics. 6(2):125-126.
application/pdf icon
10_Cam_TII.pdf