Verimag

Gières (France fr)
Computational Theory and Mathematics
Model Checking Timing Analysis Multiprocessor Scheduling Temporal Logic Runtime Verification Component (thermodynamics) Safety Verification Abstraction Scheduling Algorithms Polyhedron
Watch Introduction

Bibliometric indicators

Evolution over the last years of activity

Showing the period - Sept. 2024

1,786
Activity
3%

Total documents

2.32
Impact
3%

Normalized Impact

463
Excellence
3%

Highly Cited Papers (Top 10%)

84.7
Leadership
3%

Leadership (%)

30.2
Mobility & Collaboration
3%

International Collaboration (%)

49
Excellence
3%

Outstanding papers (Top 1%)

8.3
Leadership
3%

Women Leading (%)

2.1
Leadership
3%

Women Leading International (%)

60.2
Open Access
3%

Open Access (%)

Main Research Fields (top 9 by publications)

Indicators:

Net Change
3%

Net Change
3%

Net Change
3%

Net Change
3%

Net Change
3%

Net Change
3%

Net Change
3%

Net Change
3%

Net Change
3%

Human Resources

Historical perspective

From to Sept. 2024

Current resources

Quick filters

Career Stage
Occasional Junior Researcher Senior Leading
Performance
Standard Good Excellent Outstanding
Gender
Male Female
Reset
0

Personnel

0.0

Papers / Personnel

0

Leading women (%)

0
0

Gender (%)

0

Papers / Permanent researchers

0

Papers / Leading researchers

Career stage

Performance

Years of Activity

ONE Index (distribution)

ONE Index by Main Research Fields

ONE Index vs. Years of Activity

Main authors

ID Name Gender Discipline Career Stage ONE Index Years Activity NDocs RCI HCP Leader Collab.
1 Sifakis, Joseph male Hardware and Architecture, Computational Theory and Mathematics Leading researcher 902 51 333 3.20 107 83.8% 17.7%
2 Oded, Maler male Computational Theory and Mathematics Leading researcher 875 40 195 4.71 75 71.3% 35.9%
3 Dang, Thao male Computational Theory and Mathematics, Computer Vision and Pattern Recognition Senior researcher 852 27 148 3.60 48 58.8% 22.3%
4 Bozga, Marius male Computational Theory and Mathematics, Hardware and Architecture Senior researcher 831 28 269 2.25 78 55.8% 23.1%
5 Yovine, Sergio male Hardware and Architecture, Computational Theory and Mathematics Leading researcher 831 33 107 3.86 35 85.1% 21.5%
6 Frehse, Goran male Computational Theory and Mathematics Senior researcher 825 23 98 3.99 24 58.2% 44.9%
7 Monniaux, David male Computational Theory and Mathematics, Artificial Intelligence Senior researcher 787 26 169 2.43 44 72.8% 8.9%
8 Lakhnech, Yassine male Artificial Intelligence Leading researcher 732 30 110 1.56 26 48.2% 33.6%
9 Halbwachs, Nicolas male Hardware and Architecture, Computational Theory and Mathematics Leading researcher 714 47 106 6.52 42 66.0% 11.3%
10 Devismes, Stéphane male Computer Networks and Communications Senior researcher 714 20 224 0.64 21 33.9% 27.2%
11 Iosif, Radu male Computational Theory and Mathematics, Artificial Intelligence Senior researcher 712 27 148 1.24 24 42.6% 25.7%
12 GRAF, Susanne female Computational Theory and Mathematics Leading researcher 707 95 178 1.58 30 44.4% 23.6%
13 Quilbeuf, Jean male Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications Senior researcher 700 15 46 2.61 13 56.5% 28.3%
14 Maraninchi, Florence male Hardware and Architecture Leading researcher 698 35 87 1.65 21 62.1% 17.2%
15 Laurent, MOUNIER male Software, Computational Theory and Mathematics Leading researcher 694 35 120 2.29 31 39.2% 6.7%
16 Prof. Zahava Caspi Leading researcher 678 56 93 3.52 35 68.8% 16.1%
17 Altisen, Karine female Computer Networks and Communications Senior researcher 675 26 92 0.79 14 92.4% 23.9%
18 Ananda Shankar Basu Hardware and Architecture Senior researcher 663 21 31 4.33 14 80.7% 29.0%
19 Jean ‐Claude Fernandez Software, Computational Theory and Mathematics Leading researcher 632 47 90 1.90 20 50.0% 10.0%
20 Ulus, Dogan male Computational Theory and Mathematics Researcher 630 13 28 1.98 10 100.0% 46.4%
21 Feist, Josselin female Information Systems, Software, Signal Processing Researcher 599 11 17 14.57 11 35.3% 11.8%
22 Raymond, Pascal male Hardware and Architecture Leading researcher 591 112 123 1.99 19 51.2% 7.3%
23 Maiza, Claire female Hardware and Architecture Leading researcher 570 41 66 2.45 17 54.6% 28.8%
24 Combaz, Jacques male Hardware and Architecture, Computational Theory and Mathematics Senior researcher 569 20 44 1.60 9 40.9% 20.5%
25 Moy, Matthieu male Hardware and Architecture Leading researcher 569 32 71 1.64 21 54.9% 15.5%
902
One Index
 Sifakis, Joseph PhD   0000-0003-2447-7981 333 docs (1974 - 2024)  
Component (thermodynamics) , Model Checking , Embedded Systems , Temporal Logic , System-Level Design
875
One Index
 Oded, Maler PhD 195 docs (1985 - 2024)  
Temporal Logic , Model Checking , Hybrid Systems , Timed automaton , Timing Analysis
852
One Index
 Dang, Thao PhD   0000-0002-7629-3853 148 docs (1998 - 2024)  
Hybrid Systems , Model Checking , Polyhedron , Runtime Verification , Lane Detection
831
One Index
 Bozga, Marius PhD   0000-0003-4412-5684 269 docs (1997 - 2024)  
Model Checking , Component (thermodynamics) , Temporal Logic , Timing Analysis , System-Level Design
831
One Index
 Yovine, Sergio PhD   0000-0002-2737-4382 107 docs (1992 - 2022)  
Model Checking , Runtime Verification , Timing Analysis , Hybrid Systems , Timed automaton
825
One Index
 Frehse, Goran PhD   0000-0002-5441-0481 98 docs (2002 - 2023)  
Model Checking , Hybrid Systems , Benchmark (surveying) , Safety Verification , Abstraction
787
One Index
 Monniaux, David PhD   0000-0001-7671-6126 169 docs (1999 - 2024)  
Abstract Interpretation , Abstract interpretation , Polyhedron , Abstraction , Static Analysis
732
One Index
 Lakhnech, Yassine PhD 110 docs (1995 - 2016)  
Model Checking , Searchable Encryption , Random oracle , Homomorphic Encryption , Temporal Logic
714
One Index
 Halbwachs, Nicolas PhD 106 docs (1978 - 2021)  
Lustre (file system) , Temporal Logic , Model Checking , Timing Analysis , Runtime Verification
714
One Index
 Devismes, Stéphane PhD   0000-0002-8032-9732 224 docs (2005 - 2024)  
Self-stabilization , Daemon , Consistency , Tree (set theory) , Gathering Algorithms
712
One Index
 Iosif, Radu PhD   0000-0003-3204-3294 148 docs (1998 - 2024)  
Model Checking , Separation Logic , Undecidable problem , Temporal Logic , Fragment (logic)
707
One Index
 GRAF, Susanne PhD   0000-0003-4354-6807 178 docs (1930 - 2024)  
Model Checking , Temporal Logic , Component (thermodynamics) , Embedded Systems , Timing Analysis
700
One Index
 Quilbeuf, Jean PhD 46 docs (2010 - 2023)  
Model Checking , Safety Verification , Component (thermodynamics) , Software Reliability Modeling , Security Analysis
698
One Index
 Maraninchi, Florence PhD   0000-0003-0783-9178 87 docs (1990 - 2024)  
Embedded Systems , System-Level Design , Lustre (file system) , Component (thermodynamics) , Transaction-level modeling
694
One Index
 Laurent, MOUNIER PhD   0000-0001-9925-098X 120 docs (1990 - 2023)  
Model Checking , Runtime Verification , Safety Verification , Code (set theory) , Temporal Logic
678
One Index
 Prof. Zahava Caspi PhD 93 docs (1969 - 2019)  
Lustre (file system) , System-Level Design , Temporal Logic , Multiprocessor Scheduling , Timing Analysis
675
One Index
 Altisen, Karine PhD   0000-0001-8344-1853 92 docs (1999 - 2024)  
Timing Analysis , Self-stabilization , Leader election , Daemon , Unison
663
One Index
 Ananda Shankar Basu PhD 31 docs (2004 - 2013)  
Component (thermodynamics) , System-Level Design , Implementation , Platform-Based Design , Model Checking
632
One Index
 Jean ‐Claude Fernandez PhD 90 docs (1978 - 2020)  
Model Checking , Safety Verification , Runtime Verification , Sine , Automated Testing
630
One Index
 Ulus, Dogan PhD   0000-0002-5090-1769 28 docs (2012 - 2024)  
Temporal Logic , Model Checking , Regular expression , SIGNAL (programming language) , Runtime Verification
599
One Index
 Feist, Josselin PhD 17 docs (2014 - 2021)  
Vulnerability (computing) , Code (set theory) , Symbolic Execution , Smart Contracts , Smart contract
591
One Index
 Raymond, Pascal PhD 123 docs (1913 - 2024)  
Lustre (file system) , Multiprocessor Scheduling , Model Checking , Dataflow Programming Languages , Timing Analysis
570
One Index
 Maiza, Claire PhD   0000-0002-5977-6685 66 docs (1984 - 2021)  
Timing Analysis , Multiprocessor Scheduling , Scheduling Algorithms , Worst-case execution time , WCET Analysis
569
One Index
 Combaz, Jacques PhD 44 docs (2005 - 2024)  
Timing Analysis , Model Checking , Component (thermodynamics) , Hard Real-Time Systems , Multiprocessor Scheduling
569
One Index
 Moy, Matthieu PhD   0000-0002-6054-8882 71 docs (1993 - 2024)  
System-Level Design , Transaction-level modeling , Timing Analysis , Parallel Computing , Model Checking