Javier de San Pedro

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 4

Top Topics

Transition Systems

Top Venues

Publications

Javier de San Pedro, Jordi Cortadella
Discovering Duplicate Tasks in Transition Systems for the Simplification of Process Models. BPM (2016)
Javier de San Pedro, Thomas Bourgeat, Jordi Cortadella
Specification Mining for Asynchronous Controllers. ASYNC (2016)
Javier de San Pedro, Jordi Cortadella
Mining structured petri nets for the visualization of process behavior. SAC (2016)
Javier de San Pedro, Josep Carmona, Jordi Cortadella
Log-Based Simplification of Process Models. BPM (2015)
Javier de San Pedro, Jordi Cortadella, Antoni Roca
A hierarchical approach for generating regular floorplans. ICCAD (2014)
Jordi Cortadella, Javier de San Pedro, Nikita Nikitin, Jordi Petit
Physical-aware system-level design for tiled hierarchical chip multiprocessors. ISPD (2013)
Javier de San Pedro, Nikita Nikitin, Jordi Cortadella, Jordi Petit
Physical planning for the architectural exploration of large-scale chip multiprocessors. NOCS (2013)
Nikita Nikitin, Javier de San Pedro, Jordi Cortadella
Architectural Exploration of Large-Scale Hierarchical Chip Multiprocessors. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (10) (2013)
Javier de San Pedro, Josep Carmona, Jordi Cortadella, Jordi Petit
Integrating formal verification in an online judge for e-Learning logic circuit design. SIGCSE (2012)
Nikita Nikitin, Javier de San Pedro, Josep Carmona, Jordi Cortadella
Analytical Performance Modeling of Hierarchical Interconnect Fabrics. NOCS (2012)