Programming from Control Laws

Research output

Research output per year 2006 2008 2009 2010 2011 2012 2014

• 16 Article
• 6 Conference contribution
• 6 Paper
• 1 Book

Research output per year

Research output per year

Search results

• 2014

  Refinement-based verification of implementations of Stateflow charts

  Miyazawa, A. H. & Cavalcanti, A. L. C., 2014, In: Formal Aspects of Computing. 26, 2, p. 367-405

  Research output: Contribution to journal › Article › peer-review

• Test-Data Generation for Control Coverage by Proof

  Cavalcanti, A. L. C., King, S., O'Halloran, C. & Woodcock, J. C. P., Jul 2014, In: Formal Aspects of Computing. 26, 4, p. 795-823 29 p.

  Research output: Contribution to journal › Article › peer-review

• 2012

  Mechanical reasoning about families of UTP theories

  Zeyda, F. & Cavalcanti, A. L. C., 1 Apr 2012, In: Science of Computer Programming. 77, 4, p. 444-479 36 p.

  Research output: Contribution to journal › Article › peer-review

• Mechanised support for sound refinement tactics

  Zeyda, F., Oliveira, M. & Cavalcanti, A. L. C., 1 Jan 2012, In: Formal Aspects of Computing. 24, 1, p. 127-160 34 p.

  Research output: Contribution to journal › Article › peer-review

• Refinement-oriented models of stateflow charts

  Miyazawa, A. H. & Cavalcanti, A. L. C., 1 Sept 2012, In: Science of Computer Programming. 77, 10-11, p. 1151-1177 27 p.

  Research output: Contribution to journal › Article › peer-review

• 2011

  A tactic language for refinement of state-rich concurrent specifications

  Oliveira, M., Zeyda, F. & Cavalcanti, A., 1 Sept 2011, In: Science of Computer Programming. 76, 9, p. 792-833 42 p.

  Research output: Contribution to journal › Article › peer-review

• From control law diagrams to Ada via Circus

  Cavalcanti, A., Clayton, P. & O’Halloran , C., Jul 2011, In: Formal Aspects of Computing. 23, 4, p. 1-48 48 p.

  Research output: Contribution to journal › Article › peer-review

• Refinement-based verification of sequential implementations of Stateflow charts

  Miyazawa, A. & Cavalcanti, A., 21 Jun 2011, In: Electronic Proceedings in Theoretical Computer Science. p. 65-83

  Research output: Contribution to journal › Article › peer-review

  File

• Testing for refinement in Circus

  Cavalcanti, A. & Gaudel, M.-C., 1 Apr 2011, In: Acta Informatica. 48, 2, p. 97-147 51 p.

  Research output: Contribution to journal › Article › peer-review

• 2009

  A UTP semantics for Circus

  Oliveira, M., Cavalcanti, A. & Woodcock, J., 1 Feb 2009, In: Formal Aspects of Computing. 21, 1-2, p. 3-32 30 p.

  Research output: Contribution to journal › Article › peer-review

• Mechanical Reasoning about Families of UTP Theories

  Zeyda, F. & Cavalcanti, A., 2 Jul 2009, In: Electronic Notes in Theoretical Computer Science. 240, C, p. 239-257 19 p.

  Research output: Contribution to journal › Article › peer-review

• Stateflow Diagrams in Circus

  Cavalcanti, A., 2 Jul 2009, In: Electronic Notes in Theoretical Computer Science. 240, C, p. 23-41 19 p.

  Research output: Contribution to journal › Article › peer-review

• Supporting ArcAngel in ProofPower

  Zeyda, F., Oliveira, M. & Cavalcanti, A., 31 Dec 2009, In: Electronic Notes in Theoretical Computer Science. 259, C, p. 225-243 19 p.

  Research output: Contribution to journal › Article › peer-review

• 2008

  ArcAngelC: a Refinement Tactic Language for Circus

  Oliveira, M. & Cavalcanti, A., 28 Jun 2008, In: Electronic Notes in Theoretical Computer Science. 214, C, p. 203-229 27 p.

  Research output: Contribution to journal › Article › peer-review

• Type Checking Circus Specifications

  Xavier, M., Cavalcanti, A. & Sampaio, A., 18 Jan 2008, In: Electronic Notes in Theoretical Computer Science. 195, C, p. 75-93 19 p.

  Research output: Contribution to journal › Article › peer-review

• 2006

  Angelic Nondeterminism in the Unifying Theories of Programming

  Cavalcanti, A., Woodcock, J. & Dunne, S., Sept 2006, In: Formal Aspects of Computing. 18, 3, p. 288-307 19 p.

  Research output: Contribution to journal › Article › peer-review