Javier de San Pedro

According to our database, Javier de San Pedro authored at least 11 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Structure discovery techniques for circuit design and process model visualization.

Javier de San Pedro

PhD thesis, 2017

2016

Mining structured petri nets for the visualization of process behavior.

Javier de San Pedro, Jordi Cortadella

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Discovering Duplicate Tasks in Transition Systems for the Simplification of Process Models.

Javier de San Pedro, Jordi Cortadella

Proceedings of the Business Process Management - 14th International Conference, 2016

Specification Mining for Asynchronous Controllers.

Javier de San Pedro, Thomas Bourgeat, Jordi Cortadella

Proceedings of the 22nd IEEE International Symposium on Asynchronous Circuits and Systems, 2016

2015

Log-Based Simplification of Process Models.

Javier de San Pedro, Josep Carmona, Jordi Cortadella

Proceedings of the Business Process Management - 13th International Conference, 2015

2014

A hierarchical approach for generating regular floorplans.

Javier de San Pedro, Jordi Cortadella, Antoni Roca

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

2013

Architectural Exploration of Large-Scale Hierarchical Chip Multiprocessors.

Nikita Nikitin, Javier de San Pedro, Jordi Cortadella

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

Physical planning for the architectural exploration of large-scale chip multiprocessors.

Javier de San Pedro, Nikita Nikitin, Jordi Cortadella, Jordi Petit

Proceedings of the 2013 Seventh IEEE/ACM International Symposium on Networks-on-Chip (NoCS), 2013

Physical-aware system-level design for tiled hierarchical chip multiprocessors.

Jordi Cortadella, Javier de San Pedro, Nikita Nikitin, Jordi Petit

Proceedings of the International Symposium on Physical Design, 2013

2012

Integrating formal verification in an online judge for e-Learning logic circuit design.

Javier de San Pedro, Josep Carmona, Jordi Cortadella, Jordi Petit

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Analytical Performance Modeling of Hierarchical Interconnect Fabrics.

Nikita Nikitin, Javier de San Pedro, Josep Carmona, Jordi Cortadella

Proceedings of the 2012 Sixth IEEE/ACM International Symposium on Networks-on-Chip (NoCS), 2012