Proposing a Formal Method to Reduce RTS Logical Model Complexity. - Francisco Supino Marcondes; Emilia de Menezes Colonese; Ítalo Santiago Vega; Luiz Alberto Vieira Dias (ITNG, 2008)

Systematic and Formal Approach to get a Domain Specific Language. - Francisco Supino Marcondes; Danilo Douradinho Fernandes; Denis Ávila Montini; Paulo Marcelo Tasinaffo; Ítalo Santiago Vega; Luiz Alberto Vieira Dias (ITNG, 2009)

Formal Approach Use to Choose a Software Manufactoring Cell's SDLC. - Denis Ávila Montini; Danilo Douradinho Fernandes; Francisco Supino Marcondes; Paulo Marcelo Tasinaffo; Ítalo Santiago Vega; Luiz Alberto Vieira Dias (ITNG, 2010)

An approach for modeling a formal Use Case Type at early development phase without loosing abstraction. - Francisco Supino Marcondes; Ítalo Santiago Vega; Luiz Alberto Vieira Dias (Innov. Syst. Softw. Eng., 2011)

A Computational Teaching Approach through the Use of a Narrative Technique and a Comic Strip. - Mario Masayuki Takeda; Francisco Supino Marcondes; Ítalo Santiago Vega; Elizabete Briani Macedo Gara; Luciano Gaspar (ITNG, 2012)

DInAton: A Didactic and Interative Language for Learning Adaptive Automata by Construction. - Ítalo Santiago Vega; João José Neto; Francisco Supino Marcondes (ANT/SEIT, 2017)

Programming Phenomenology: Proof of Concept on Adaptivity. - Francisco Supino Marcondes; Ítalo Santiago Vega; Paulo Novais (ANT/SEIT, 2018)

DInAton with OC2-RD2 - A didactic and interactive language for the construction of adaptive automata in active learning environments. - Ítalo Santiago Vega; João José Neto; Francisco Supino Marcondes (J. Ambient Intell. Humaniz. Comput., 2019)