Concepedia

Verimag

VE

Statistics

Publications

2.1K

Citations

122.2K

Authors

83

Location

Gières, France

Also known as Laboratoire Verimag · UMR 5104 · UMR5104 · Verimag Laboratory

Verimag is a facility institution in Gières, France known for computer science, computing, and computer engineering.

HomepageROR

Top concepts

Publications

2.1K

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

, , +17

The synchronous languages 12 years later

Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 932 citations · Full text

, , +15

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 830 citations · Full text

, , +16

KRONOS: a verification tool for real-time systems

Sergio Yovine · International Journal on Software Tools for Technology Transfer · 1997 · 584 citations

, , +14

Synthesis of Reactive(1) designs

Roderick Bloem, Barbara Jobstmann, Nir Piterman et al. · Journal of Computer and System Sciences · 2011 · 468 citations · Full text

, , +2

1–5 of 2.1K

Authors

83

  1. JS
    Joseph Sifakis

    Verimag, France

    315 publications · 14.8K citations

    57

    h-index

  2. OM
    Oded Maler

    Verimag, France

    193 publications · 12.6K citations

    53

    h-index

  3. TD
    Thao Dang

    Verimag, France

    161 publications · 6.7K citations

    39

    h-index

  4. MB
    Marius Bozga

    Verimag, France

    245 publications · 5K citations

    38

    h-index

  5. SY
    Sergio Yovine

    Verimag, France

    111 publications · 7.9K citations

    37

    h-index

1–5 of 83