Items where authors include "Cavalcanti, A. L. C."

Article

Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Hierons, Robert M. and Nogueira, S. (2020) Inputs and outputs in CSP : a model and a testing theory. ACM Transactions on Computational Logic. 24. ISSN 1529-3785

Peleska, Jan, Huang, W.-l. and Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 (2019) Finite complete suites for CSP refinement testing. Science of Computer Programming. pp. 1-23. ISSN 0167-6423

Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Simao, A. (2019) Fault-based refinement-testing for CSP. Software Quality Journal.

Filho, M. S. Conserva, Oliveira, Marcel Vinicius Medeiros, Sampaio, A. C. A. et al. (1 more author) (2018) Compositional and Local Livelock Analysis for CSP. Information Processing Letters. ISSN 0020-0190

Carvalho, G., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Sampaio, A. C. A. (2016) Modelling Timed Reactive Systems from Natural-Language Requirements. Formal Aspects of Computing. pp. 725-765. ISSN 1433-299X

Alberto, A., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Gaudel, M.-C. et al. (1 more author) (2016) Formal mutation testing for Circus. Information and Software Technology. pp. 1-23. ISSN 0950-5849

Proceedings Paper

Otoni, R., Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 and Sampaio, A. C. A. (2017) Local Analysis of Determinism for CSP. In: Cavalheiro, S. and Fiadeiro, J., (eds.) Formal Methods:Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 107-124.

Baxter, J. and Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976 (2017) Algebraic Compilation of Safety-Critical Java Bytecode. In: Polikarpova, N. and Schneider, S., (eds.) Integrated Formal Methods. UNSPECIFIED. Springer , pp. 161-176.

De Oliveira Salazar Ribeiro, Pedro Fernando orcid.org/0000-0003-4319-4872, Miyazawa, A. orcid.org/0000-0003-2233-9091, Li, W. orcid.org/0000-0001-9786-585X et al. (2 more authors) (2017) Modelling and Verification of Timed Robotic Controllers. In: Polikarpova, N. and Schneider, S., (eds.) Integrated Formal Methods. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 18-33.

Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Woodcock, J. C. P. orcid.org/0000-0001-7955-2702 and Amalio, N. orcid.org/0000-0001-8751-5039 (2016) Behavioural Models for FMI Co-simulations. In: Sampaio, A. C. A. and Wang, F., (eds.) International Colloquium on Theoretical Aspects of Computing. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 255-273.

Woodcock, J. C. P. orcid.org/0000-0001-7955-2702, Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Fitzgerald, J. et al. (2 more authors) (2014) Contracts in CML. In: 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 54-73.