Juan Ignacio Perna

According to our database1, Juan Ignacio Perna
  • authored at least 8 papers between 2007 and 2013.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Model checking RAISE applicative specifications.
Formal Asp. Comput., 2013

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


  Loading...