( en | de | ru )

 

Disambiguierung von "Tronci, Enrico"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Parallel Statistical Model Checking for Safety Verification in Smart Grids.

, , , , , , , , und . SmartGridComm, Seite 1-6. IEEE, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Giuseppe Tronci

Roberto Tronci

Enrico Körner

Enrico Meier

Enrico Streit

 

Weitere Publikationen von Autoren mit dem selben Namen

Exploiting Hub States in Automatic Verification., , , und . ATVA, Volume 3707 von Lecture Notes in Computer Science, Seite 54-68. Springer, (2005)Automatic Verification of a Turbogas Control System with the Mur varphi Verifier., , , , , , , und . HSCC, Volume 2623 von Lecture Notes in Computer Science, Seite 141-155. Springer, (2003)A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software, , , , und . CoRR, (2012)Electric Power System Anomaly Detection Using Neural Networks., , , und . KES, Volume 3213 von Lecture Notes in Computer Science, Seite 1242-1248. Springer, (2004)Exploiting Transition Locality in Automatic Verification., , , und . CHARME, Volume 2144 von Lecture Notes in Computer Science, Seite 259-274. Springer, (2001)A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries., , , , und . CoRR, (2021)On checking equivalence of simulation scripts., , , , und . J. Log. Algebraic Methods Program., (2021)Reconciling interoperability with efficient Verification and Validation within open source simulation environments., , , und . Simul. Model. Pract. Theory, (2021)Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems., , und . IEEE Trans. Software Eng., 49 (9): 4443-4455 (September 2023)Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification., , und . CoRR, (2021)