Layered logics, coalgebraically

L. S. Barbosa, in Proc DALI (First International Workshop on Dynamic Logic. New Trends and Applications), Brasília, Sep. 22, 2017, Revised Selected Papers. Springer Lecture Notes Computer Science (10669), pp 55–63, 2017.

On Kleene algebras for weighted computation

L. Gomes, A. Madeira, L. S. Barbosa, in Proc 20th SBMF (Brazilian Symposium Formal Methods: Foundations and Applications), Recife, Brazil, Nov. 29 - Dec. 1, 2017. Springer Lecture Notes Computer Science (10623), pp 161–178, 2017.

Composing families of timed automata

G. Cledou, J. Proença, L. S. Barbosa, in Proc 7th International Conference FSEN (Fundamentals of Software Engineering), Tehran, Iran, April 26-28, 2017, Revised Selected Papers. Springer Lecture Notes Computer Science (10522), pp 51–66, 2017.

A refinement relation for families of timed automata

G. Cledou, J. Proença, L. S. Barbosa, in Proc 20th SBMF (Brazilian Symposium Formal Methods: Foundations and Applications), Recife, Brazil, Nov. 29 - Dec. 1, 2017. Springer Lecture Notes Computer Science (10623), pp 161–178, 2017.

Digital governance for sustainable development

(Keynote lecture) L. S. Barbosa, in Proc 16th I3E (IFIP WG6.11 Conference on e-Business, e-Services, and e-Society, Delhi, India, Nov. 21-23,Springer Lecture Notes Computer Science (10595), pp 85–93, 2017.

Certification of workflows in a component-based cloud of high performance computing services

A. O. Dantas, F. H. Carvalho, L. S. Barbosa, in Proc 14th FACS (International Conference on Formal Aspects of Component Software), Braga, Oct. 10-13, 2017, Springer Lecture Notes Computer Science (10487), pp 198–215, 2017

Administrative burden reduction over time: Literature review, trends and gap analysis.

M. N. Nielsen, N. R. Carvalho, L. Veiga, L. S. Barbosa, in Proc 10th ICEGOV (International Conference on Theory and Practice of Electronic Governance), New Delhi, India, March 7-9, 2017. ACM, pp 140–148, 2017.

Modelling families of public licensing services: A case study

G. Cledou, L. S. Barbosa, in Proc 5th FormaliSE-ICSE (IEEE/ACM International FME Workshop on Formal Methods in Software Engineering), Buenos Aires, Argentina, May 27, 2017, IEEE, pp 37–43, 2017.

Networks of universities as a tool for GCIO education

L. S. Barbosa, L. P. Santos, in Proc 16th EGOV (IFIP WG8.5 International Conference on Electronic Government), St. Petersburg, Sep. 4-7, 2017, Springer Lecture Notes Computer Science (10428), pp 117–127, 2017.

A framework for certification of large-scale component-based parallel computing systems in a cloud computing platform for HPC services

A. O. Dantas, F. H. Carvalho, L. S. Barbosa, in Proc 7th CLOSER (International Conference on Cloud Computing and Services Science), Porto, April 24-26, SciTePress, pp 201–212, 2017