Old Web
English
Sign In
Acemap
>
authorDetail
>
Gerardo Satriano
Gerardo Satriano
Theoretical computer science
Computer science
Verification and validation
Simulation
Static timing analysis
5
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Specification of Powertrain Middleware
2003
Franz Adis
Roland Geiger
Patricia Girón
Florian Gutknecht
Nicolas Navet
Gerardo Satriano
Show All
Source
Cite
Save
Citations (0)
New Results - Procédés de modélisation
2002
Orazio Gurrieri
Xavier Rebeuf
Françoise Simonot-Lion
Jean-Pierre Thomesse
Domenico Cavaliere
Ye-Qiong Song
Paolo Castelpietra
Jörn Migge
Gerardo Satriano
Show All
Source
Cite
Save
Citations (0)
A Distributed Algorithm for the Validation of Timed State Machines
2002
OPODIS | International Conference on Principles of Distributed Systems
Xavier Rebeuf
Gerardo Satriano
Françoise Simonot-Lion
Show All
Source
Cite
Save
Citations (0)
1