Marco A. Peña

Publication Activity (10 Years)

Years Active: 1996-2021
Publications (10 Years): 1

Top Topics

Top Venues

ISPRS Int. J. Geo Inf.

Publications

Francisco Maturana, Mauricio Morales, Fernando Peña-Cortés, Marco A. Peña, Carlos Vielma
Urban Growth, Real Estate Development and Indigenous Property: Simulating the Expansion Process in the City of Temuco, Chile. ISPRS Int. J. Geo Inf. 10 (2) (2021)
Enric Pastor, Marco A. Peña, Marc Solé
TRANSYT: A Tool for the Verification of Asynchronous Concurrent Systems. CAV (2005)
Enric Pastor, Marco A. Peña
Efficient Hybrid Reachability Analysis for Asynchronous Concurrent Systems. CHARME (2003)
Enric Pastor, Marco A. Peña
Combining Simulation and Guided Traversal for the Verification of Concurrent Systems. DATE (2003)
Marco A. Peña, Jordi Cortadella, Alexander B. Smirnov, Enric Pastor
A Case Study for the Verification of Complex Timed Circuits: IPCMOS. DATE (2002)
Marco A. Peña, Jordi Cortadella, Enric Pastor, Alex Kondratyev
Formal Verification of Safety Properties in Timed Circuits. ASYNC (2000)
Enric Pastor, Jordi Cortadella, Marco A. Peña
Structural Methods to Improve the Symbolic Analysis of Petri Nets. ICATPN (1999)
Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella, Luciano Lavagno
Partial order based approach to synthesis of speed-independent circuits. ASYNC (1997)
Alexei L. Semenov, Alexandre Yakovlev, Enric Pastor, Marco A. Peña, Jordi Cortadella
Synthesis of Speed-Independent Circuits from STG-Unfolding Segment. DAC (1997)
Oriol Roig, Jordi Cortadella, Marco A. Peña, Enric Pastor
Automatic Generation of Synchronous Test Patterns for Asynchronous Circuits. DAC (1997)
Marco A. Peña, Jordi Cortadella
Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits. ASYNC (1996)