Publications
Filters: First Letter Of Last Name is B [Clear All Filters]
[BM-WOSP-07] A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
.
2007.
[BM-JSS-07] Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
.
2007.
.
2007.
[BLV07] Tail estimates and a random embedding of l^p_n to l_r^{(1+ε)n}, 0<r<p<2.. Publ. Math. Debrecen. 70
.
2007.
[BM-IC-06] QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
.
2006.
[IPHaReSi06] On the Computational Power of Timed Differentiable Petri Nets. LNCS. 4202:230-244.
.
2006.
.
2005.
[BC-QEST-04] On Performance Bounds for Interval Time Petri Nets. :50-59.
.
2004.
[IPJuBeReSi04] Event-driven optimal control of continuous Petri nets. :69-74.
.
2004.
.
2004.
[1330] The Resource Allocation Problem in Flexible Manufacturing Systems. Application and Theory of Petri Nets 2003. :23-35.
.
2003.
[BDM-WOSP-02] From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
.
2002.
[MBCD-wodes02] A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
.
2002.
[EzNB-01] Una herramienta para el estudio de técnicas de de análisis sintáctico. :53-56.
.
2001.
[907] Structuraly Safe Net Systems. Discrete Event Systems. Analysis and Control. :441-448.
.
2000.
[912] An Iterative Method for Deadlock Prevention in FMS. Discrete Event Systems. Analysis and Control. :139-148.
.
2000.
[IPBaReChSi00] Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
.
2000.
[PJC-JJCC99] On State Space Decomposition for the Numerical Analysis of Stochastic Petri Nets. :249-268.
.
1999.
[1342] Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
.
1999.
[C-MATCH17-98] Performance Bounds. :587-635.
.
1998.
[C-MATCH23-98] Response Time Approximation for Stochastic Marked Graphs. :797-817.
.
1998.
[C-MATCH8-98] Performance Measures and Basic Properties. :285-304.
.
1998.
[SC-MATCH20-98] Introduction to Net Driven Decomposition Techniques. :693-718.
.
1998.
[RMBP-98] Una Herramienta de Generación Automática de Software. :157-169.
.
1998.
[1341] Logical Properties of P/T Systems and their Analysis. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques Vol.1, HCM-MATCH Advanced Schools. :185-232.
.
1998.