Juan Ignacio Perna

According to our database, Juan Ignacio Perna authored at least 6 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2013

Model checking RAISE applicative specifications.

Juan Ignacio Perna, Chris George

Formal Aspects Comput., 2013

2012

Mechanised wire-wise verification of Handel-C synthesis.

Juan Ignacio Perna, Jim Woodcock

Sci. Comput. Program., 2012

2011

Correct hardware synthesis - An algebraic approach.

Juan Ignacio Perna, Jim Woodcock, Augusto Sampaio, Juliano Iyoda

Acta Informatica, 2011

2010

A verified compiler for Handel-C.

Juan Ignacio Perna

PhD thesis, 2010

2008

UTP Semantics for Handel-C.

Juan Ignacio Perna, Jim Woodcock

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

2007

A Denotational Semantics for Handel-C Hardware Compilation.

Juan Ignacio Perna, Jim Woodcock

Proceedings of the Formal Methods and Software Engineering, 2007