Publications

Export 8 results:
2013
A. C. Santos, J. M. P. Cardoso, P. C. Diniz, and D. R. Ferreira, "Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation", Proc. of the Intl. Symp. on Languages, Applications and Technologies (SLATE'13), 2013.
J. Bispo, P. Pinto, R. Nobre, T. Carvalho, J. M. P. Cardoso, and P. C. Diniz, "The MATISSE MATLAB Compiler", Proc. of the Eleventh IEEE Intl. Conf. on Industrial Informatics (INDIN'2013), 2013.
2012
J. M. P. Cardoso, T. Carvalho, J. Coutinho, W. Luk, R. Nobre, P. C. Diniz, and Z. Petrov, "LARA: An Aspect-Oriented Programming Language for Embedded Systems", Proc. of the Intl. Conf. on Aspect-Oriented Software Development (AOSD'12), March, 2012.
J. M. P. Cardoso, J. Teixeira, J. Alves, R. Nobre, P. C. Diniz, J. Coutinho, and W. Luk, "Specifying Compilation Strategies for FPGA-based Systems", Proc. of the 20th Annual IEEE Intl. Symp. on Field-Programmable Custom Computing Machines (FCCM'12), April, 2012.
2011
A. C. Santos, P. C. Diniz, J. M. P. Cardoso, and D. R. Ferreira, "A Domain-Specific Language for the Specification of Adaptable Context Inference", Proc. of the Ninth IEEE/IFIP Intl. Conf. on Embedded and Ubiquitous Computing (EUC'11), Oct., 2011.
Z. Petrov, K. Kraty, J. M. P. Cardoso, and P. C. Diniz, "Programming Safety Requirements in the REFLECT Design Flow", Proc. of the Ninth IEEE Intl. Conf. on Industrial Informatics (INDIN'2011), July, 2011.
2010