Standout Papers

Modeling and verification of time dependent systems using time Petri nets 1991 2026 2002 2014 427
  1. Modeling and verification of time dependent systems using time Petri nets (1991)
    Bernard Berthomieu, M. Díaz IEEE Transactions on Software Engineering

Immediate Impact

23 standout
Sub-graph 1 of 11

Citing Papers

Advancements and challenges of digital twins in industry
2024 Standout
A Survey on Cyber–Physical Systems Security
2023 Standout
2 intermediate papers

Works of M. Díaz being referenced

Modeling and verification of time dependent systems using time Petri nets
1991 Standout

Author Peers

Author Last Decade Papers Cites
M. Díaz 96 5 29 360 154 18 560
Bernard Berthomieu 88 506 207 14 644
G. Chiola 154 1 476 158 17 634
Ulrich Herzog 255 2 175 54 18 599
Christoph Lindemann 278 226 85 27 582
Jonathan S. Ostroff 77 1 350 156 25 489
Gerd Behrmann 173 2 270 88 29 489
Éric Fabre 191 349 33 34 538
Ph. Schnoebelen 105 457 49 21 586
V.F. Nicola 157 80 54 21 513
Thierry Jéron 68 2 293 51 31 464

All Works

Loading papers...

Rankless by CCL
2026