VERIMAG Laboratory
E246527
VERIMAG Laboratory is a French research center specializing in formal methods and the verification of complex hardware and software systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| VERIMAG Laboratory canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2256591 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: VERIMAG Laboratory Context triple: [Joseph Sifakis, employer, VERIMAG Laboratory]
-
A.
Information Technology Laboratory
The Information Technology Laboratory is a research unit within the U.S. Army Engineer Research and Development Center that focuses on advanced computing, software, and information technology solutions to support military engineering and operations.
-
B.
GRASP Laboratory
The GRASP Laboratory is a renowned robotics and perception research lab at the University of Pennsylvania known for pioneering work in autonomous systems, drones, and computer vision.
-
C.
Carnegie Mellon University CyLab
Carnegie Mellon University CyLab is a leading interdisciplinary research center focused on cybersecurity, privacy, and related technologies, bringing together experts from computer science, engineering, and public policy.
-
D.
USC Information Sciences Institute
USC Information Sciences Institute is a renowned research institute at the University of Southern California known for its pioneering work in computer science and its foundational contributions to the development of the internet.
-
E.
Geospatial Research Laboratory
The Geospatial Research Laboratory is a U.S. Army research facility focused on developing advanced geospatial, terrain, and environmental technologies to support military engineering and operations.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: VERIMAG Laboratory Target entity description: VERIMAG Laboratory is a French research center specializing in formal methods and the verification of complex hardware and software systems.
-
A.
Information Technology Laboratory
The Information Technology Laboratory is a research unit within the U.S. Army Engineer Research and Development Center that focuses on advanced computing, software, and information technology solutions to support military engineering and operations.
-
B.
GRASP Laboratory
The GRASP Laboratory is a renowned robotics and perception research lab at the University of Pennsylvania known for pioneering work in autonomous systems, drones, and computer vision.
-
C.
Carnegie Mellon University CyLab
Carnegie Mellon University CyLab is a leading interdisciplinary research center focused on cybersecurity, privacy, and related technologies, bringing together experts from computer science, engineering, and public policy.
-
D.
USC Information Sciences Institute
USC Information Sciences Institute is a renowned research institute at the University of Southern California known for its pioneering work in computer science and its foundational contributions to the development of the internet.
-
E.
Geospatial Research Laboratory
The Geospatial Research Laboratory is a U.S. Army research facility focused on developing advanced geospatial, terrain, and environmental technologies to support military engineering and operations.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
computer science research center
ⓘ
research laboratory ⓘ |
| affiliatedWith |
CNRS
ⓘ
linked to:
Centre National de la Recherche Scientifique
Grenoble INP ⓘ Université Grenoble Alpes ⓘ
linked to:
University of Grenoble
|
| collaboratesWith |
industry partners in automotive
ⓘ
industry partners in avionics ⓘ industry partners in transportation ⓘ |
| country | France ⓘ |
| field |
computer science
ⓘ
embedded systems ⓘ formal verification ⓘ model checking ⓘ program analysis ⓘ real-time systems ⓘ safety-critical systems ⓘ |
| focus |
design of reliable systems
ⓘ
methods for ensuring correctness of systems ⓘ verification of complex systems ⓘ |
| goal |
ensure correctness of critical systems
ⓘ
improve reliability of hardware systems ⓘ improve reliability of software systems ⓘ |
| hasResearchFocus |
formal modeling of systems
ⓘ
industrial-scale verification ⓘ tool-supported verification ⓘ verification of safety-critical applications ⓘ |
| languageOfWorkOrName |
English
ⓘ
French ⓘ |
| locatedIn |
Auvergne-Rhône-Alpes
ⓘ
linked to:
Auvergne-Rhône-Alpes region
France ⓘ Grenoble ⓘ |
| researchArea |
automated verification
ⓘ
concurrency theory ⓘ distributed systems verification ⓘ formal specification ⓘ hybrid systems ⓘ model-based design ⓘ security of systems ⓘ software engineering ⓘ synchronous programming ⓘ |
| sector | higher education and research ⓘ |
| specializesIn |
formal methods
ⓘ
verification of hardware systems ⓘ verification of software systems ⓘ |
| typeOfInstitution | academic research laboratory ⓘ |
| worksOn |
methods for verifying embedded controllers
ⓘ
static analysis tools ⓘ tools for model checking ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: VERIMAG Laboratory Description of subject: VERIMAG Laboratory is a French research center specializing in formal methods and the verification of complex hardware and software systems.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.