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.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2013

Model checking RAISE applicative specifications.

[BibT_eX]

[DOI]

Juan Ignacio Perna

Chris George

Formal Aspects Comput., 2013

2011

Correct hardware synthesis - An algebraic approach.

[BibT_eX]

[DOI]

Acta Informatica, 2011

2010

A verified compiler for Handel-C.

[BibT_eX]

[DOI]

Juan Ignacio Perna

PhD thesis, 2010

2008

Mechanised Wire-wise Verification of Handel-C Synthesis.

[BibT_eX]

[DOI]

Juan Ignacio Perna

Jim Woodcock

Proceedings of the Eleventh Brazilian Symposium on Formal Methods, 2008

UTP Semantics for Handel-C.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Juan Ignacio Perna

Jim Woodcock

Proceedings of the Formal Methods and Software Engineering, 2007

Juan Ignacio Perna

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...