Concepedia

Laboratoire Spécification et Vérification

LS

Statistics

Publications

1.3K

Citations

22.6K

Authors

24

Location

Cachan, France

Also known as LSV

Laboratoire Spécification et Vérification is a facility institution in Cachan, France known for computer science, computing, and formal methods.

Top concepts

Computer ScienceComputingFormal MethodsTheory Of ComputationModel CheckingAlgorithmsMathematicsTemporal LogicComputer EngineeringAutomata Theory

Publications

1.3K

On the verification of broadcast protocols

Javier Esparza, Alain Finkel, Richard Mayr · 2003 · 247 citations

Computing, Computer Science, Formal Methods +13

Change-Centric Management of Versions in an XML Warehouse

Amélie Marian, Serge Abiteboul, Grégory Cobéna et al. · 2000 · 190 citations

Management, Change Management, Information Technology +14

Temporal logic with forgettable past

François Laroussinie, Nicolas Markey, Ph. Schnoebelen · 2003 · 179 citations · Full text

Computing, Computer Science, Mathematics +13

Managing the Complexity of Large Free and Open Source Package-Based Software Distributions

Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo et al. · 2006 · 149 citations · Full text

Computing, Computer Science, Information Technology +16

A survey of algebraic properties used in cryptographic protocols

Véronique Cortier, Stéphanie Delaune, Pascal Lafourcade · Journal of Computer Security · 2006 · 149 citations

Computing, Computer Science, Algebra +15

1–5 of 1.3K

Authors

24

1–5 of 24