Cristiano Vasconcellos

Cristiano Vasconcellos

Universidade do Estado de Santa Catarina UDESC - Florianopolis / Brazil
Social Sciences / Linguistics and Literature
AD Scientific Index ID: 5213617
Santa Catarina State University
person_outline Cristiano Vasconcellos's MOST POPULAR ARTICLES
1-) Constraint-set satisfiability for overloading Proceedings of the 6th ACM SIGPLAN international conference on Principles …, 2004
2-) Icaru-fb: An IEC 61499 compliant multiplatform software infrastructure IEEE Transactions on Industrial Informatics 12 (3), 1074-1083, 2016
3-) Fully-tested code generation from TLA+ specifications Proceedings of the 7th Brazilian Symposium on Systematic and Automated …, 2022
4-) Enhancing automatic generation of VHDL descriptions from UML/MARTE models Industrial Informatics (INDIN), 2014 12th IEEE International Conference on …, 2014
5-) A Solution to Haskell’s Multi-Parameter Type Class Dilemma Proc. of the 13th Brazilian Symposium on Programming Languages (SBLP’2009), 5-18, 2009