Joseph Sifakis
Scholar

Joseph Sifakis

Google Scholar ID: 8jCwk4EAAAAJ
Reseracher at Verimag laboratory, Grenoble
software engineeringformal methodsweb servicesmiddlewarenetworks
Google Scholar↗
Citations & Impact
All-time
Citations
2,973
 
H-index
25
 
i10-index
60
 
Publications
20
 
Co-authors
36
list available
Contact
No contact links provided.
Publications
4 items
Leveraging AI Agents for Autonomous Networks: A Reference Architecture and Empirical Studies
2025
Cited
0
Testing Autonomous Driving Systems -- What Really Matters and What Doesn't
2025
Cited
0
A Reference Architecture for Autonomous Networks An Agent-Based Approach
2025
Cited
0
A Comprehensive Evaluation of Four End-to-End AI Autopilots Using CCTest and the Carla Leaderboard
2025
Cited
0
Resume (English only)
Co-authors
36 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Saddek Bensalem
Saddek Bensalem
Université Grenoble Alpes, VERIMAG
Susanne Graf
Susanne Graf
Research Director, CNRS, Grenoble University, Verimag
Thomas Henzinger
Thomas Henzinger
IST Austria
Simon Bliudze
Simon Bliudze
Computer Science researcher, University of Lille Inria Research Centre
Co-author 7
Co-author 7
Co-author 8
Co-author 8