default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-Luc Lambert

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

1992
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ita/Lambert92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ita/Lambert92
Jean-Luc Lambert:
The local catenativity of DOL-sequences in free communitative monoids is decidable in the binary case. RAIRO Theor. Informatics Appl. 26: 425-437 (1992)
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Lambert92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Lambert92
Jean-Luc Lambert:
A Structure to Decide Reachability in Petri Nets. Theor. Comput. Sci. 99(1): 79-104 (1992)
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Lambert92a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Lambert92a
Jean-Luc Lambert:
Sorting the Sums (xi+yj) in O(n2) Comparisons. Theor. Comput. Sci. 103(1): 137-141 (1992)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2014
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/snds/JollyVL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/snds/JollyVL14
Germain Jolly, Sylvain Vernois, Jean-Luc Lambert:
Improving Test Conformance of Smart Cards versus EMV-Specification by Using on the Fly Temporal Property Verification. SNDS 2014: 192-201
2004
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BorgattiCRLMFP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BorgattiCRLMFP04
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
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/mtv/BorgattiFRLMFMP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtv/BorgattiFRLMFMP04
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
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BerthomieuRVBFBFPMFGDL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BerthomieuRVBFBFPMFGDL03
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. FMICS 2003: 203-218
2002
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/date/BlasquezHFLBHB02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/BlasquezHFLBHB02
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
1999
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DellacherieDL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DellacherieDL99
S. Dellacherie, Samuel Devulder, Jean-Luc Lambert:
Software Verification Based on Linear Programming. World Congress on Formal Methods 1999: 1147-1165
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/DevulderL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/DevulderL99
Samuel Devulder, Jean-Luc Lambert:
A Comparative Study between Linear Programming Validation (LPV) and other Verification Methods. ASE 1999: 299-302
1990
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/stacs/Lambert90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/Lambert90
Jean-Luc Lambert:
Sorting the Sums (xi+yj) in O(n²) Comparisons. STACS 1990: 195-206

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2007
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0710-4846
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0710-4846
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)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.