dblp.uni-trier.dewww.uni-trier.de

Jean-Luc Lambert

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
12EEMichele 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
11EEMichele 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
10EEMichele 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
9EEMichele 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
8EEBernard 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
7EEJoel 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
6EESamuel Devulder, Jean-Luc Lambert: A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. ASE 1999: 299-302
5EES. 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

Coauthor Index

1J. L. Bernartt [8]
2Bernard Berthomieu [8]
3Joel Blasquez [7]
4Jean-Paul Bodeveix [8]
5Michele Borgatti [9] [10] [11] [12]
6Dominique Borrione [7]
7Pierre Bricaud [7]
8Andrea Capello [10] [11] [12]
9S. Dellacherie [5]
10Samuel Devulder [5] [6]
11Pierre Dissaux [8]
12Patrick Farail [8]
13Jean-Marie Farines [8]
14Andrea Fedeli [7] [9]
15Mamoun Filali [8]
16Franco Fummi [9] [10] [11] [12]
17Pierre Gauffilet [8]
18Coby Hanoch [7]
19Marten van Hulst [7]
20Cristina Marconcini [9]
21Pierre Michel [8]
22Imed Moussa [9] [10] [11] [12]
23Gérard Padiou [8]
24Graziano Pravadelli [9] [10] [11] [12]
25Pierre-Olivier Ribet [8]
26Umberto Rossi [9] [10] [11] [12]
27François Vernadat [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)