Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Verimag | Researchclopedia

Back to institutions

Verimag

Gières, Auvergne-Rhône-Alpesfacility

2,016

Works

120,887

Citations

150

h-index

Top Research Topics

Formal Methods in Verification Embedded Systems Design Techniques Real-Time Systems Scheduling

Top Researchers

Thomas A. Henzinger Institute of Science and Technology Austria

724 works43,624 citationsh-index: 97

Recent Research

When rebound effect is not a side effect: analyzing sociotechnical contexts of digital technologies

Clément Morand,Jacques Combaz,et al.

20260 citations

Logic, programming, and type systems

Software Testing and Debugging Techniques

Parallel Computing and Optimization Techniques

Petri Nets in System Modeling

Distributed systems and fault tolerance

Model-Driven Software Engineering Techniques

Software Reliability and Analysis Research

Advanced Software Engineering Methodologies

Security and Verification in Computing

Amir Pnueli New York University

368 works38,699 citationsh-index: 88

R. L. Ray Indian Association for the Cultivation of Science

271 works18,196 citationsh-index: 69

Joseph Sifakis University of Chicago

317 works14,687 citationsh-index: 57

Xiaojie Guo Tianjin University

142 works14,425 citationsh-index: 42

D. Beysens Centre National de la Recherche Scientifique

528 works13,457 citationsh-index: 65

A POP ⋆ is Born: Formal Predictable Out-of-Order Processor Model

Lilia Rouizi,Benjamin Binder,et al.

20260 citations

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs

Radu Iosif,Florian Zuleger

20260 citations

Safety Analysis in Broadcast Networks Defined by Graph Grammars

Andersen, Christoffer, Lind,Radu Iosif,et al.

20260 citations

Implementation of a parametrized functional SSA Intermediate Representation in Rocq

Benjamin Bonneau

20260 citations

Collaborative Action on Timing InterferenCes: Summary and Perspectives at Mid-term

Claire Maïza,Lionel Rieg,et al.

20260 citations