( en | de | ru )

 

Disambiguation of "Arcaini, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
Unified Syntax for Abstract State Machines.

, , , , , , , , and . ABZ, volume 9675 of Lecture Notes in Computer Science, page 231-236. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Giordano Paolo

Paolo Molteni

Paolo Bavaj

Paolo Fornara

Paolo Varutti

 

Other publications of authors with the same name

The ASMETA Approach to Safety Assurance of Software Systems., , , , , and . Logic, Computation and Rigorous Methods, volume 12750 of Lecture Notes in Computer Science, page 215-238. Springer, (2021)Distributed Repair of Deep Neural Networks., , , , and . ICST, page 83-94. IEEE, (2023)Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs., , , and . ICST, page 13-23. IEEE, (2021)Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems., , and . ICST, page 295-305. IEEE, (2021)Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery., , , , , and . CEC, page 1-10. IEEE, (2023)Parameter-Based Testing and Debugging of Autonomous Driving Systems., , , , , , , and . IV Workshops, page 197-202. IEEE, (2021)Mutation-based test generation for quantum programs with multi-objective search., , , , and . GECCO, page 1345-1353. ACM, (2022)JSIMutate: understanding performance results through mutations., , , and . ESEC/SIGSOFT FSE, page 1721-1725. ACM, (2022)On the Need for Multi-Level ADS Scenarios., and . MoDELS (Companion), page 322-326. IEEE, (2021)CoMA: Conformance Monitoring of Java Programs by Abstract State Machines., , and . RV, volume 7186 of Lecture Notes in Computer Science, page 223-238. Springer, (2011)