Juan Ignacio Perna

According to our database, Juan Ignacio Perna

• authored at least 8 papers between 2007 and 2013.
• has a "Dijkstra number" of four.

2013

Model checking RAISE applicative specifications.

Juan Ignacio Perna, Chris George

Formal Asp. 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 Inf., 2011

2010

A verified compiler for Handel-C.

Juan Ignacio Perna

PhD thesis, 2010

2009

Mechanised Wire-wise Verification of Handel-C Synthesis.

Juan Ignacio Perna, Jim Woodcock

Electr. Notes Theor. Comput. Sci., 2009

2008

UTP Semantics for Handel-C.

Juan Ignacio Perna, Jim Woodcock

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

2007

Model Checking RAISE Applicative Specifications.

Juan Ignacio Perna, Chris George

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

A Denotational Semantics for Handel-C Hardware Compilation.

Juan Ignacio Perna, Jim Woodcock

Proceedings of the Formal Methods and Software Engineering, 2007