Publications
[EzGP-03] COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
.
2003.
[1530] Complexity Analysis of Continuous Petri Nets. Fundamenta informaticae. Fundamenta Informaticae. 137:1-28.
.
2015.
[1426] Computability, Complexity and Randomness (Dagstuhl Seminar 12021). Dagstuhl Reports. 2(1)
.
2012.
[BC09] Computation of Performance Bounds for Real-time systems using Time Petri Nets. IEEE Transactions on Industrial Informatics. 5(2):168-180.
.
2009.
[1370] Computational framework for behavioural modelling of neural subsystems. Neurocomputing. 72(7-9):1667.
.
2009.
[1288] Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science. 21(2):235-256.
.
2010.
[1497] A Control Method for Distributed Continuous Mono-T-Semiflow Petri nets. International Journal of Control. 87(2)
.
2014.
[1498] Controllability of Timed Continuous Petri Nets with uncontrollable transitions. International Journal of Control. Posted online: 01 Oct 2013
.
2013.
[LutMayCVKL] Cook versus Karp Levin Separating Completeness Notions If NP Is Not Small. Theoretical Computer Science. 164:141-163.
.
1996.
[1293] Curves that must be retraced. Information and Computation. 209:992--1006.
.
2011.
[EzRe-04] A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems. IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans. 34
.
2004.
[ARJuReSi06] Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE Trans. on Automatic Control. 51:1472-1481.
.
2006.
[1381] Dependability analysis of DES based on MARTE and UML state machines models. Discrete Event Dynamic Systems. 22(2):15.
.
2012.
[1383] Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
.
2012.
[1430] Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
.
2012.
[BMP-SOSYM09] A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
.
2011.
[1539] Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
.
2015.
[1439] Dimension is Compression. Theory of Computing Systems. 52:95-112.
.
2013.
[DPSSF] Dimensions of points in self-similar fractals. SIAM Journal on Computing. 38:1080-1112.
.
2008.
[RP-86-01] Diseño de un sistema didáctico de programación y control. :97-108.
.
1986.
[RP-98-02] Distributed control systems simulation using high level Petri nets. Mathematics and Computers in Simulation. 46:47-55.
.
1998.
[AtHiLuMa06] Effective strong dimension in algorithmic information and computational complexity. SIAM Journal on Computing. 37:671-705.
.
2007.
[CS-PE-93] Embedded Product Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. Performance Evaluation. 18:3-19.
.
1993.
[1431] Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
.
2013.
[CCS-TSE-91] Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Transactions on Software Engineering. 17:117-125.
.
1991.