Jean-Luc Lambert

12 papers A* 1A 3C 1Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2014 — conf
Improving Test Conformance of Smart Cards versus EMV-Specification by Using on the Fly Temporal Property Verification.
SNDS
Germain Jolly, Sylvain Vernois, Jean-Luc Lambert
2007 J jnl
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
CoRR
Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli
2004 — conf
A Verification Methodology for Reconfigurable Systems.
MTV
Michele Borgatti, Andrea Fedeli, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
2004 A conf
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems.
DATE
Michele Borgatti, Andrea Capello, Umberto Rossi, Jean-Luc Lambert, Imed Moussa, Franco Fummi, Graziano Pravadelli
2003 C conf
Towards the verification of real-time systems in avionics: the Cotre approach.
FMICS
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
2002 A conf
Formal Verification Techniques: Industrial Status and Perspectives.
DATE
Joel Blasquez, Marten van Hulst, Andrea Fedeli, Jean-Luc Lambert, Dominique Borrione, Coby Hanoch, Pierre Bricaud
1999 A* conf
A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods.
ASE
Samuel Devulder, Jean-Luc Lambert
1999 — conf
Software Verification Based on Linear Programming.
World Congress on Formal Methods
S. Dellacherie, Samuel Devulder, Jean-Luc Lambert
1992 J jnl
A Structure to Decide Reachability in Petri Nets.
Theor. Comput. Sci.
Jean-Luc Lambert
1992 J jnl
Sorting the Sums (xi+yj) in O(n2) Comparisons.
Theor. Comput. Sci.
Jean-Luc Lambert
1992 J jnl
The local catenativity of DOL-sequences in free communitative monoids is decidable in the binary case.
RAIRO Theor. Informatics Appl.
Jean-Luc Lambert
1990 A conf
Sorting the Sums (xi+yj) in O(n²) Comparisons.
STACS
Jean-Luc Lambert