| 2007 |
|---|
| 12 | EE | Michele Borgatti,
Andrea Capello,
Umberto Rossi,
Jean-Luc Lambert,
Imed Moussa,
Franco Fummi,
Graziano Pravadelli:
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
CoRR abs/0710.4846: (2007) |
| 2004 |
|---|
| 11 | EE | Michele Borgatti,
Andrea Capello,
Umberto Rossi,
Jean-Luc Lambert,
Imed Moussa,
Franco Fummi,
Graziano Pravadelli:
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems.
DATE 2004: 266-271 |
| 10 | EE | Michele Borgatti,
Andrea Capello,
Umberto Rossi,
Jean-Luc Lambert,
Imed Moussa,
Franco Fummi,
Graziano Pravadelli:
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems.
DATE 2004: 266-271 |
| 9 | EE | Michele Borgatti,
Andrea Fedeli,
Umberto Rossi,
Jean-Luc Lambert,
Imed Moussa,
Franco Fummi,
Cristina Marconcini,
Graziano Pravadelli:
A Verification Methodology for Reconfigurable Systems.
MTV 2004: 85-90 |
| 2003 |
|---|
| 8 | EE | Bernard Berthomieu,
Pierre-Olivier Ribet,
François Vernadat,
J. L. Bernartt,
Jean-Marie Farines,
Jean-Paul Bodeveix,
Mamoun Filali,
Gérard Padiou,
Pierre Michel,
Patrick Farail,
Pierre Gauffilet,
Pierre Dissaux,
Jean-Luc Lambert:
Towards the verification of real-time systems in avionics: the Cotre approach.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 2002 |
|---|
| 7 | EE | Joel Blasquez,
Marten van Hulst,
Andrea Fedeli,
Jean-Luc Lambert,
Dominique Borrione,
Coby Hanoch,
Pierre Bricaud:
Formal Verification Techniques: Industrial Status and Perspectives.
DATE 2002: 1050-1051 |
| 1999 |
|---|
| 6 | EE | Samuel Devulder,
Jean-Luc Lambert:
A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods.
ASE 1999: 299-302 |
| 5 | EE | S. Dellacherie,
Samuel Devulder,
Jean-Luc Lambert:
Software Verification Based on Linear Programming.
World Congress on Formal Methods 1999: 1147-1165 |
| 1992 |
|---|
| 4 | | Jean-Luc Lambert:
The local catenativity of DOL-sequences in free communitative monoids is decidable in the binary case.
ITA 26: 425-438 (1992) |
| 3 | | Jean-Luc Lambert:
Sorting the Sums (xi+yj) in O(n2) Comparisons.
Theor. Comput. Sci. 103(1): 137-141 (1992) |
| 2 | | Jean-Luc Lambert:
A Structure to Decide Reachability in Petri Nets.
Theor. Comput. Sci. 99(1): 79-104 (1992) |
| 1990 |
|---|
| 1 | | Jean-Luc Lambert:
Sorting the Sums (xi+yj) in O(n²) Comparisons.
STACS 1990: 195-206 |
