( en | de | ru )

 

Disambiguation of "Arcaini, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
Closing the gap between the specification and the implementation: the ASMETA way.

, , and . Models: Concepts, Theory, Logic, Reasoning and Semantics, page 242-263. College Publications, (2018)

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 Pesaresi

 

Other publications of authors with the same name

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)Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version)., , and . CoRR, (2019)Test Generation for Sequential Nets of Abstract State Machines., , and . ABZ, volume 7316 of Lecture Notes in Computer Science, page 36-50. Springer, (2012)Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module., , and . ABZ (Case Study), volume 433 of Communications in Computer and Information Science, page 95-109. Springer, (2014)JSIMutate: understanding performance results through mutations., , , and . ESEC/SIGSOFT FSE, page 1721-1725. ACM, (2022)Mutation-based test generation for quantum programs with multi-objective search., , , , and . GECCO, page 1345-1353. ACM, (2022)On the Need for Multi-Level ADS Scenarios., and . MoDELS (Companion), page 322-326. IEEE, (2021)SMT for state-based formal methods: the ASM case study., , and . AFM@NFM, volume 5 of Kalpa Publications in Computing, page 1-18. EasyChair, (2017)Explaining the Behaviour of Game Agents Using Differential Comparison., , , , , , and . ASE, page 210:1-210:8. ACM, (2022)Parameter-Based Testing and Debugging of Autonomous Driving Systems., , , , , , , and . IV Workshops, page 197-202. IEEE, (2021)