TacoPlug: an Eclipse plug-in for TACO. - Marcos Chicote; Juan Pablo Galeotti (TOPI@ICSE, 2012)

Log Design for Accountability. - Denis Butin; Marcos Chicote; Daniel Le Métayer (IEEE Symposium on Security and Privacy Workshops, 2013)

Practical JFSL verification using TACO. - Marcos Chicote; Daniel Alfredo Ciolek; Juan Pablo Galeotti (Softw. Pract. Exp., 2014)

Startups and Technical Debt: Managing Technical Debt with Visual Thinking. - Marcos Chicote (SoftStart@ICSE, 2017)