Optimizing BDD-Based Verification Analysing Variable Dependencies. - David Déharbe; Jorgiano Márcio Bruno Vidal (SBCCI, 2001)

Improving Static Ordering of BDDs for Reachability Analysis. - Jorgiano Vidal; David Déharbe; Dominique Borrione (IWLS, 2002)

FERUS: Um Ambiente de Desenvolvimento de Especificações CASL. - Gleydson Lima; Anamaria Martins Moreira; David Déharbe; David Ricardo Do Vale Pereira; Demóstenes Sena; Jorgiano Vidal (SBES, 2002)

Distributing the Workload in a Lazy Theorem-Prover. - David Déharbe; Silvio Ranise; Jorgiano Vidal (SBMF, 2005)

A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework. - David Déharbe; Silvio Ranise; Jorgiano Vidal (J. Braz. Comput. Soc., 2008)

A co-design approach for embedded system modeling and code generation with UML and MARTE. - Jorgiano Vidal; Florent de Lamotte; Guy Gogniat; Philippe Soulard; Jean-Philippe Diguet (DATE, 2009)

Networked Self-adaptive Systems: An Opportunity for Configuring in the Large. - Jean-Philippe Diguet; Linfeng Ye; Yvan Eustache; Jérémie Crenne; Pierre Bomel; Guy Gogniat; Jorgiano Vidal; Florent de Lamotte (ERSA, 2009)

UML design for dynamically reconfigurable multiprocessor embedded systems. - Jorgiano Vidal; Florent de Lamotte; Guy Gogniat; Jean-Philippe Diguet; Philippe Soulard (DATE, 2010)

Self-reconfigurable Embedded Systems: From Modeling to Implementation. - Guy Gogniat; Jorgiano Vidal; Linfeng Ye; Jérémie Crenne; Sébastien Guillet; Florent de Lamotte; Jean-Philippe Diguet; Pierre Bomel (ERSA, 2010)

Dynamic applications on reconfigurable systems: From UML model design to FPGAs implementation. - Jorgiano Vidal; Florent de Lamotte; Guy Gogniat; Jean-Philippe Diguet; Sébastien Guillet (DATE, 2011)

LLVM-ACT: Profiling Based Tool for Approximate Computing Technique Selection. - Lavinia Miranda; Monica Pereira; Jorgiano Vidal (SBESC, 2022)