"A normal form for stateful connectors" (2015) Bruni, R.;Melgratti, H.;Montanari, U. (...)Marti-Oliet N. Conference on Logic, Rewriting and Concurrency dedicated to Jose Meseguer on the Occasion of his 65th Birthday, 2015. 9200:205-227
"Connector algebras, Petri nets, and BIP" (2012) Bruni, R.; Melgratti, H.; Montanari, U. 8th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2011. 7162 LNCS:19-38
"VTS-based specification and verification of behavioral properties of AADL models" (2008) Monteverde, D.; Olivero, A.; Yovine, S.; Braberman, V. 1st International Workshop on Model Based Architecting and Construction of Embedded Systems, ACES-MB 2008 - Held as Part of the 2008 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008. 503:23-37
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400