Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 5.


Cavalcanti, Ana, Sampaio, Augusto, Miyazawa, Alvaro et al. (5 more authors) (2019) Verified simulation for robotics. Science of Computer Programming. ISSN 0167-6423

Luckcuck, Matt, Wellings, Andy and Cavalcanti, Ana (2016) Safety-Critical Java: : level 2 in practice. Concurrency and Computation: Practice and Experience. pp. 1-27. ISSN 1532-0634

Miyazawa, Alvaro and Cavalcanti, Ana (2016) SCJ-Circus : a refinement-oriented formal notation for Safety-Critical Java. Electronic Proceedings in Theoretical Computer Science. pp. 71-86. ISSN 2075-2180

Miyazawa, Alvaro and Cavalcanti, Ana (2011) Refinement-based verification of sequential implementations of Stateflow charts. Electronic Proceedings in Theoretical Computer Science. pp. 65-83. ISSN 2075-2180

Proceedings Paper

Foster, Simon, Thiele, Bernhard, Cavalcanti, Ana et al. (1 more author) (2017) Towards a UTP semantics for modelica. In: Bowen, Jonathan P. and Zhu, Huibiao, (eds.) Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. 6th International Symposium on Unifying Theories of Programming, UTP 2016, 04-05 Jun 2016. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Verlag , ISL , pp. 44-64.

This list was generated on Sun Jul 5 18:12:05 2020 BST.