Marco A. Peña

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