Juan Ignacio Perna
According to our database1,
Juan Ignacio Perna
authored at least 7 papers
between 2007 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
On csauthors.net:
Bibliography
2012
Mechanised wire-wise verification of Handel-C synthesis.
Sci. Comput. Program., 2012
2011
Correct hardware synthesis - An algebraic approach.
Acta Inf., 2011
2010
A verified compiler for Handel-C.
PhD thesis, 2010
2009
Mechanised Wire-wise Verification of Handel-C Synthesis.
Electr. Notes Theor. Comput. Sci., 2009
2008
UTP Semantics for Handel-C.
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008
2007
Model Checking RAISE Applicative Specifications.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
A Denotational Semantics for Handel-C Hardware Compilation.
Proceedings of the Formal Methods and Software Engineering, 2007