Javier de San Pedro
Currently working on:
- Graph and structure mining
- Visualization of process models
- Many-core chip multiprocessors
- Electronic Design Automation (EDA) algorithms
Discovering Duplicate Tasks in Transition Systems for the Simplification of Process Models
Business Process Management (BPM), Rio de Janeiro, Brazil, September 2016, pp. 108–124.
Specification mining for asynchronous controllers
Proceedings of the 2016 IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), Porto Alegre, Brazil, May 2016, pp. 107–114.
Mining Structured Petri Nets for the Visualization of Process Behavior
Proceedings of the 2016 ACM Symposium on Applied Computing (SAC), Pisa, Italy, April 2016, pp. 839–846.
Log-Based Simplification of Process Models
Business Process Management (BPM), Innsbruck, Austria, September 2015, pp. 457–474.
A hierarchical approach for generating regular floorplans
Proceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), San Jose, California, USA, November 2014, pp. 655–662.
Architectural Exploration of Large-Scale Hierarchical Chip Multiprocessors
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), October 2013, pp. 1569–1582.
Physical planning for the architectural exploration of large-scale chip multiprocessors
Proceedings of the 7th IEEE/ACM International Symposium on Networks-on-Chip (NoCS), Tempe, Arizona, USA, April 2013, pp. 1–2.
Physical-aware system-level design for tiled hierarchical chip multiprocessors
Proceedings of the 2013 ACM International Symposium on Physical Design (ISPD), Stateline, Nevada, USA, March 2013, pp. 3–10.
Analytical performance modeling of hierarchical interconnect fabrics
Proceedings of the 6th IEEE/ACM International Symposium on Networks on Chip (NoCS), Lyngby, Denmark, May 2012, pp. 107–114.
Integrating formal verification in an online judge for e-Learning logic circuit design
Proceedings of the 43rd ACM Technical Symposium on Computer Science Education (SIGCSE), Raleigh, North Carolina, USA, March 2012, pp. 451–456.
Degrees and theses