Publications
] Filters: First Letter Of Last Name is B [Clear All Filters]
[1441] .
2012. CiE: Programs, Proofs, Processes (Special Issue). Theory of Computing Systems. 51(3)
[BBBCC-QMIPS-94] .
1994. Annotated Bibliography on Stochastic Petri Nets. 105:25-44.
[State-of-the-art-93] .
1993. The Timed Coloured Petri Net Formalism Position Paper. 14:3-60.
[BalMay95] .
1995. A note on genericity and bi immunity. :193-196.
[BaHeMa92] .
1992. Characterizations of logarithmic advice complexity classes. :315-321.
[1518] .
2014. Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision. International Workshop on Petri Nets and Software Engineering (PNSE'14).
[1521] .
2014. Towards Petri net-based Economical Analysis for Streaming Applications executed over Cloud infrastructures. 11th International Conference on Economics of Grids, Clouds, Systems, and Services (GECON 2014).
[RMBP-98] .
1998. Una Herramienta de Generación Automática de Software. :157-169.
[PBMRI-96] .
1996. Descripción de la Herramienta CASE OO-Method. :47.
[EzNB-01] .
2001. Una herramienta para el estudio de técnicas de de análisis sintáctico. :53-56.
[MIMB-ICNS-10] .
2010. Performance analysis of a dynamic architecture for reconfiguration of web servers clusters. 6th International Conference on Networking and Services (ICNS'10). :224-229.
[IPBaReChSi00] .
2000. Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
[BC-StMalo-97] .
1997. PNPM97 Tutorial Approximate Methods Based on Net Driven Decompositions.
[1426] .
2012. Computability, Complexity and Randomness (Dagstuhl Seminar 12021). Dagstuhl Reports. 2(1)
[IPKLMA08] .
2008. Formal analysis of timed continuous Petri net.
[1278] .
2010. An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
[IPJuBeReSi04] .
2004. Event-driven optimal control of continuous Petri nets. :69-74.
[1454] .
2014. Event-Driven Model Predictive Control of Timed Hybrid Petri Nets. International Journal of Robust and Nonlinear Control. 24(12)
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[BDM-WOSP-02] .
2002. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
[BM-IC-06] .
2006. QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
[BM-WOSP-07] .
2007. A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
[BC-QEST-04] .
2004. On Performance Bounds for Interval Time Petri Nets. :50-59.
[BM-JSS-07] .
2007. Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
[BCDM-TSE] .
2004. GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
