Science Explorer Interactive view Map
Research facility · Cachan · France

Laboratoire Spécification et Vérification

In research, Laboratoire Spécification et Vérification stands highest in Computer Science (#3,426 of 7,020 worldwide) and Physical Sciences (#17,298 of 21,541 worldwide), over all time.

lsv.ens-cachan.frROR OpenAlex
World rank, all time
#32,584
of 42,892
Rank in France
#1,817
of 2,321
Research works
263
▼ 52% vs 2013–17
Citations
2.8k
10.6 per fractional work
Top-10% rate
11.3%
record average 16.5%
Open access
63%
world 28%

What is Laboratoire Spécification et Vérification known for in research?

The fields where it stands highest, over all time, ranked among every institution above the floor in each field.

FieldWorld rankWhere that sitsTop-10% rateWorks
Computer ScienceField #3,426 of 7,020 26.1%163
Physical SciencesDomain #17,298 of 21,541 21.6%208

Each strip is that field’s whole ranked pool, with the notch where Laboratoire Spécification et Vérification sits in it, in the colour of the band that rank falls in. The track under the rate is the rate itself: it carries no world mark, because the world rate differs by field (from about 6% to 21% in this record).

Field profile

Location quotient across every field it publishes in: outside the ring is more than an institution of this size would be expected to publish, inside it is less.

Agricultural and Biological Sciences: 0.80× its world share, 0 worksAgricultural and Bio…Biochemistry, Genetics and Molecular Biology: 0.36× its world share, 0 worksBiochemistry, Geneti…Computer Science: 3.69× its world share, 1 worksComputer ScienceEnergy: 3.12× its world share, 0 worksEnergyEngineering: 2.83× its world share, 1 worksEngineeringEnvironmental Science: 0.77× its world share, 0 worksEnvironmental ScienceHealth Professions: 2.61× its world share, 0 worksHealth ProfessionsMedicine: 0.20× its world share, 0 worksMedicineSocial Sciences: 0.45× its world share, 0 worksSocial Sciences1×world share
more than its size predictsabout as predictedless

Rings at 0.5×, 1× and 2×. Widest outward: Computer Science, 3.7×. Every wedge is a field page.

Who are the top researchers at Laboratoire Spécification et Vérification?

Ranked on the composite score, Étienne Lozes and Artiom Kovnatsky lead among researchers whose main affiliation is Laboratoire Spécification et Vérification.

  1. 1 Étienne Lozes France · #956,392 worldwide 43 citations · 21 works
  2. 2 Artiom Kovnatsky France · #1,417,857 worldwide 25 citations · 30 works
All ranked researchers at Laboratoire Spécification et Vérification

Which keywords describe research at Laboratoire Spécification et Vérification?

By fractional works in all years, weighted toward what it does more of than the world: Model Checking, Automata, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis and Knowledge Representation.

▲ more of its work than of the world’s◆ about the world’s share▼ less than the world’s

Size is fractional works in all years in the topics tagged with each word; colour is the word's share of this institution's work against its share of the world's. The 40 words are chosen for being large and distinctive. Each links to the topic it comes from most.

All 40 words, with their numbers
  1. Model Checking65▲ 227×3 topics
  2. Automata47▲ 290×2 topics
  3. Temporal Logic43▲ 222×2 topics
  4. Satisfiability Modulo Theories34▲ 335×1 topic
  5. Symbolic Model Checker34▲ 335×1 topic
  6. Formal Verification22▲ 237×1 topic
  7. Static Analysis22▲ 211×1 topic
  8. Knowledge Representation13▲ 36×3 topics
  9. Description Logics13▲ 49×2 topics
  10. Formal Languages12▲ 211×1 topic
  11. Regular Expressions12▲ 211×1 topic
  12. Fault Diagnosis11▲ 19×3 topics
  13. Formal Methods11▲ 112×2 topics
  14. Machine Learning11▲ 1.88×23 topics
  15. Supervisory Control11▲ 142×2 topics
  16. Deadlock Prevention10▲ 240×1 topic
  17. Petri Nets10▲ 240×1 topic
  18. Answer Set Programming9▲ 97×1 topic
  19. Modal Logic9▲ 60×1 topic
  20. Wireless Sensor Networks7▲ 6.7×8 topics
  21. Security7▲ 6.0×10 topics
  22. Internet of Things6▲ 4.6×6 topics
  23. Authentication6▲ 27×2 topics
  24. Biometrics6▲ 84×2 topics
  25. Metamodeling6▲ 46×2 topics
  26. Software Development6▲ 36×2 topics
  27. Domain-Specific Languages6▲ 99×1 topic
  28. Model-Driven Engineering6▲ 99×1 topic
  29. Semantic Web6▲ 15×4 topics
  30. Cloud Computing5▲ 7.2×4 topics
  31. Distributed Systems5▲ 8.1×5 topics
  32. Cryptanalysis5▲ 23×3 topics
  33. Data Integration5▲ 7.8×3 topics
  34. Fault Tolerance5▲ 8.9×7 topics
  35. Ontology5▲ 11×2 topics
  36. Automated Testing4▲ 57×1 topic
  37. Software Fault Localization4▲ 57×1 topic
  38. Linked Data4▲ 21×2 topics
  39. OWL4▲ 24×1 topic
  40. Smart Cards4▲ 77×2 topics

Which research topics does Laboratoire Spécification et Vérification publish most on?

By volume in 2022–2025: Military Strategy and Technology, IPv6, Mobility, Handover, Networks, Security, Cybersecurity and Cyber Warfare Studies and IoT-based Smart Home Systems.

Military Strategy and Te…0Military Strategy and Technology: 0 fractional worksIPv6, Mobility, Handover…0IPv6, Mobility, Handover, Networks, Security: 0 fractional worksCybersecurity and Cyber …0Cybersecurity and Cyber Warfare Studies: 0 fractional worksIoT-based Smart Home Sys…0IoT-based Smart Home Systems: 0 fractional worksHealthcare Systems and P…0Healthcare Systems and Practices: 0 fractional worksSemiconductor Lasers and…0Semiconductor Lasers and Optical Devices: 0 fractional workssemigroups and automata theory: 0 fractional worksLogic, programming, and type systems: 0 fractional worksWater Quality Monitoring Technologies: 0 fractional worksIoT and Edge/Fog Computing: 0 fractional works
Control and Systems EngineeringElectrical and Electronic EngineeringPolitical Science and International RelationsGeneral Health Professions4 others

Area is fractional works; colour is the subfield each topic belongs to.

  1. 1 Military Strategy and Technology Control and Systems Engineering 0 works
  2. 2 IPv6, Mobility, Handover, Networks, Security Electrical and Electronic Engineering 0 works
  3. 3 Cybersecurity and Cyber Warfare Studies Political Science and International Relations 0 works
  4. 4 IoT-based Smart Home Systems Electrical and Electronic Engineering 0 works
  5. 5 Healthcare Systems and Practices General Health Professions 0 works
  6. 6 Semiconductor Lasers and Optical Devices Electrical and Electronic Engineering 0 works
  7. 7 semigroups and automata theory Computational Theory and Mathematics 0 works
  8. 8 Logic, programming, and type systems Artificial Intelligence 0 works
  9. 9 Water Quality Monitoring Technologies Water Science and Technology 0 works
  10. 10 IoT and Edge/Fog Computing Computer Networks and Communications 0 works

How open and international is its research?

Against the world’s own shares — the tick on each track. Both are shares of its output, so they sit on one scale and can be read against each other as well as against the world.

openly available63.1%not open36.9%

World: 28% of research is openly available.

with international co-authors26.8%domestic only73.2%

World: 19% is written across borders.

How has Laboratoire Spécification et Vérification's research output changed?

Output in 2018–2022 was 52% lower than in 2013–2017.

20002005201020152020
grewheldshrank

The same series as a ribbon — one cell per year, darker for more. The line above answers how much; this answers when.

Other research institutions in Cachan

All research institutions in Cachan

Research measures only: rankings here say nothing about teaching, admissions or student experience. Comparable institutions and collaboration partners are in the interactive view on the map.