Jean-Luc Lambert

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)

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

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

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: 203-218 (2003)

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

S. Dellacherie, Samuel Devulder, Jean-Luc Lambert: Software Verification Based on Linear Programming. World Congress on Formal Methods 1999: 1147-1165

Samuel Devulder, Jean-Luc Lambert: A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. ASE 1999: 299-302

Jean-Luc Lambert: The local catenativity of DOL-sequences in free communitative monoids is decidable in the binary case. ITA 26: 425-438 (1992)

Jean-Luc Lambert: A Structure to Decide Reachability in Petri Nets. Theor. Comput. Sci. 99(1): 79-104 (1992)

Jean-Luc Lambert: Sorting the Sums (xi+yj) in O(n2) Comparisons. Theor. Comput. Sci. 103(1): 137-141 (1992)

Jean-Luc Lambert: Sorting the Sums (xi+yj) in O(n²) Comparisons. STACS 1990: 195-206