 | 2009 |
|---|
| 4 |       | Jorgiano Vidal,
Florent de Lamotte,
Guy Gogniat,
Philippe Soulard,
Jean-Philippe Diguet:
A co-design approach for embedded system modeling and code generation with UML and MARTE.
DATE 2009: 226-231 |
| 3 |  | Jean-Philippe Diguet,
Linfeng Ye,
Yvan Eustache,
Jeremie Crenne,
Pierre Bomel,
Guy Gogniat,
Jorgiano Vidal,
Florent de Lamotte:
Networked Self-adaptive Systems: An Opportunity for Configuring in the Large.
ERSA 2009: 81-90 |
| 2007 |
|---|
| 2 | | David Déharbe,
Silvio Ranise,
Jorgiano Vidal:
Distributing the Workload in a Lazy Theorem-Prover.
Electr. Notes Theor. Comput. Sci. 184: 21-37 (2007) |
| 2002 |
|---|
| 1 | | Jorgiano Vidal,
David Déharbe,
Dominique Borrione:
Improving Static Ordering of BDDs for Reachability Analysis.
IWLS 2002: 73-77 |
