Juan Ignacio Perna

Publication Activity (10 Years)

Years Active: 2007-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Asynchronous Circuits

Computation Tree Logic

Top Venues

Formal Aspects Comput.

Sci. Comput. Program.

University of York, UK (PHD)

Education History

University of York, UK

PHD

Publications

Juan Ignacio Perna, Chris George
Model checking RAISE applicative specifications. Formal Aspects Comput. 25 (3) (2013)
Juan Ignacio Perna, Jim Woodcock
Mechanised wire-wise verification of Handel-C synthesis. Sci. Comput. Program. 77 (4) (2012)
Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda
Correct hardware synthesis - An algebraic approach. Acta Informatica 48 (7-8) (2011)
Juan Ignacio Perna, Jim Woodcock
Mechanised Wire-wise Verification of Handel-C Synthesis. Electron. Notes Theor. Comput. Sci. 240 (2009)
Juan Ignacio Perna, Jim Woodcock
UTP Semantics for Handel-C. UTP (2008)
Juan Ignacio Perna, Jim Woodcock
A Denotational Semantics for Handel-C Hardware Compilation. ICFEM (2007)
Juan Ignacio Perna, Chris George
Model Checking RAISE Applicative Specifications. SEFM (2007)