Publications
Filters: First Letter Of Last Name is B [Clear All Filters]
[BMP-Models-08] Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
.
2008.
[BBBCC-QMIPS-94] Annotated Bibliography on Stochastic Petri Nets. 105:25-44.
.
1994.
[239] Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
.
1995.
[1278] An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
.
2010.
[1310] Building maintainable, exhaustive human mitochondrial phylogenies. 17 Annual International Conference on Intelligent Systems for Molecular Biology/8th European Conference.
.
2009.
[BaHeMa92] Characterizations of logarithmic advice complexity classes. :315-321.
.
1992.
[1441] CiE: Programs, Proofs, Processes (Special Issue). Theory of Computing Systems. 51(3)
.
2012.
[IPBaReChSi00] Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
.
2000.
[1372] Communication types for manufacturing systems. A proposal to Distributed Control System based on IEC 61499. 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).
.
2011.
[MBCD-wodes02] A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
.
2002.
[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.
[1518] 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).
.
2014.
[1384] Control design for machine tools using Domiciano, an IDE based on software components. 16th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2011).
.
2011.
[1371] Control software for a cutting glass machine tool built using the COSME platform. A case study. 7th Annual IEEE Conference on Automation Science and Engineering (CASE 2011).
.
2011.
[1376] COSME: A Distributed Control Platform for Communicating Machine Tools in Agile Manufacturing Systems. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
.
2011.
[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.
[PBMRI-96] Descripción de la Herramienta CASE OO-Method. :47.
.
1996.
[1374] Design patterns for Failure Management in IEC 61499 Function Blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
.
2010.
[1070] Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions. 1994 IEEE International Conference on System, Man and Cybernetics. 2:1671-1676.
.
1994.
[1455] EDCA 802.11e Performance under Different Scenarios. Quantitative Analysis. 27th International Conference on Advanced Information Networking and Applications (AINA’13).
.
2013.
[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.