( en | de | ru )

 

Disambiguierung von "Arcaini, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Test Generation for Sequential Nets of Abstract State Machines.

, , und . ABZ, Volume 7316 von Lecture Notes in Computer Science, Seite 36-50. Springer, (2012)

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.

Giordano Paolo

Paolo Molteni

Paolo Bavaj

Paolo Fornara

Paolo Pedri

 

Weitere Publikationen von Autoren mit dem selben Namen

CoMA: Conformance Monitoring of Java Programs by Abstract State Machines., , und . RV, Volume 7186 von Lecture Notes in Computer Science, Seite 223-238. Springer, (2011)Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version)., , und . CoRR, (2019)Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module., , und . ABZ (Case Study), Volume 433 von Communications in Computer and Information Science, Seite 95-109. Springer, (2014)Test Generation for Sequential Nets of Abstract State Machines., , und . ABZ, Volume 7316 von Lecture Notes in Computer Science, Seite 36-50. Springer, (2012)Online Causation Monitoring of Signal Temporal Logic., , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 62-84. Springer, (2023)Parameter-Based Testing and Debugging of Autonomous Driving Systems., , , , , , , und . IV Workshops, Seite 197-202. IEEE, (2021)Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery., , , , , und . CEC, Seite 1-10. IEEE, (2023)The ASMETA Approach to Safety Assurance of Software Systems., , , , , und . Logic, Computation and Rigorous Methods, Volume 12750 von Lecture Notes in Computer Science, Seite 215-238. Springer, (2021)Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs., , , und . ICST, Seite 13-23. IEEE, (2021)Distributed Repair of Deep Neural Networks., , , , und . ICST, Seite 83-94. IEEE, (2023)