( en | de | ru )

 

Disambiguation of "de Aledo, Pablo González"

Author of the publication

copydeleteadd this publication to your clipboard
An Approach to Static-Dynamic Software Analysis.

, , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 225-240. Springer, (2015)

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.

Pablo Pérez González

Pablo Pino González la Higuera

José González

Margarita González

Lillian González

 

Other publications of authors with the same name

An optimization approach for agent-based computational models of biological development., , , , , , and . Adv. Eng. Softw., (2018)WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL., , and . Models, Algorithms, Logics and Tools, volume 10460 of Lecture Notes in Computer Science, page 560-577. Springer, (2017)Real-time voxel-based visual hull reconstruction., , and . Microprocess. Microsystems, 36 (5): 439-447 (2012)Estimating verification time.. CoRR, (2014)Investigating automatic vectorization for real-time 3D scene understanding., , , and . WPMVP@PPoPP, page 5:1-5:8. ACM, (2018)YASSi: Yet Another Symbolic Simulator Large (Tool Demo)., , and . DEXA Workshops, volume 1285 of Communications in Computer and Information Science, page 25-31. Springer, (2020)Generic Error Localization for the Electronic System Level., , and . DDECS, page 1-4. IEEE, (2019)FramewORk for Embedded System verification - (Competition Contribution)., and . TACAS, volume 9035 of Lecture Notes in Computer Science, page 429-431. Springer, (2015)Fast Trace Generation of Many-Core Embedded Systems with Native Simulation., , , and . CoRR, (2014)Profiling and optimizations for embedded systems., , , and . MEMOCODE, page 194-197. IEEE, (2014)