Jorgiano Vidal

According to our database, Jorgiano Vidal authored at least 11 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

LLVM-ACT: Profiling Based Tool for Approximate Computing Technique Selection.

Lavinia Miranda, Monica Pereira, Jorgiano Vidal

Proceedings of the XII Brazilian Symposium on Computing Systems Engineering, 2022

2011

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

Proceedings of the Design, Automation and Test in Europe, 2011

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

Proceedings of the 2010 International Conference on Engineering of Reconfigurable Systems & Algorithms, 2010

UML design for dynamically reconfigurable multiprocessor embedded systems.

Jorgiano Vidal, Florent de Lamotte, Guy Gogniat, Jean-Philippe Diguet, Philippe Soulard

Proceedings of the Design, Automation and Test in Europe, 2010

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

Proceedings of the 2009 International Conference on Engineering of Reconfigurable Systems & Algorithms, 2009

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

Proceedings of the Design, Automation and Test in Europe, 2009

2008

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

2005

Distributing the Workload in a Lazy Theorem-Prover.

David Déharbe, Silvio Ranise, Jorgiano Vidal

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005

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

Proceedings of the 16th Brazilian Symposium on Software Engineering, 2002

Improving Static Ordering of BDDs for Reachability Analysis.

Jorgiano Vidal, David Déharbe, Dominique Borrione

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

2001

Optimizing BDD-Based Verification Analysing Variable Dependencies.

David Déharbe, Jorgiano Márcio Bruno Vidal

Proceedings of the 14th Annual Symposium on Integrated Circuits and Systems Design, 2001