Qais

Publications

2014-2015

Nuno Oliveira, Luís Soares Barbosa: Reasoning about software reconfigurations: The behavioural and structural perspectives. Science of Computer Programming, 110, pp 78–103, 2015.

Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa: Proof theory for hybrid(ised) logics. Revised selected papers form SBMF'14. Science of Computer Programming (in print), 2015.

Daniel Murta, JN Oliveira. A study of risk-aware program transformation. Science of Computer Programming. 110:51-77, 2015.

JN Oliveira, V.C. Miraldo. ``Keep definition, change category'' - a practical approach to state-based system calculi. JLAMP, submitted (state=minor revision)

L. Monteiro, Determinization and Bialgebraic Semantics. Technical Report UNL, 2015.

Nuno Oliveira, Alexandra Silva, Luís Soares Barbosa: Quantitative analysis of Reo-based service coordination. ACM, SAC 2014: 1247-1254

JN Oliveira, Metaphorisms in Programming. In RAMICS 2015, volume 9348 of LNCS, pages 171-190. Springer, 2015. DOI: 10.1007/978-3-319-24704-5_11

Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa: A logic for n-dimensional hierarchical refinement. Refine 2015 (18th International Refinement Workshop, FM'15, Olso, in EPTCS (in print), 2015.

Renato Neves: Logics and Calculi for Cyber–Physical Components. Proc CALCO Early Ideas, LIPICS, Dagstuhl Publishing, 2015.

Renato Neves: On a Monadic Encoding of Continuous Behaviour. Proc. 15th International Conference on Relational and Algebraic Methods in Computer Science - RAMiCS? (ST). CEUR-WS, vol 1454, pp 43-52, 2015.

Victor Miraldo, Object Oriented Programming with Monadic Mealy Machines. QAIS Project, TR-HASLab:03:2014. October 2014.

L. Monteiro, Determinization and Bialgebraic Semantics. CALCO EI 2015.

Thesis

Nuno Oliveira: Architectural reconfiguration of interacting services. PhD? Thesis, MAP-i, Universidade do Minho, Mar 2015.

Ricardo Guilherme Pratas: A Coalgebraic Approach to Fuzzy Automata Theory, Tese de mestrado, 2015.

Vitor Miraldo: Proof by Rewriting in Agda, Tese de mestrado, 2015.

Invited Talks (2015):

Luis Soares Barbosa: Formal methods for thrustworthy eGov infrastructures. Workshop on Innovation and Smart Cities, Universidad Externado de Colômbia, Bogotá, Colombia, July 2015.

Luis Soares Barbosa: Formal models in software design. UYMS 2015, Izmir, Turkey, Sep 2015.

2013-2014

J.N. Oliveira. A relation-algebraic approach to the "Hoare logic" of functional dependencies. Journal of Log. Algebraic Programming, 2014 DOI:10.1016/j.jlap.2014.02.013.

J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. Journal paper. IJFSC Vol. 24, No. 6 (2013), 709-728, World Scientific Pub. Comp. http://dx.doi.org/10.1142/S0129054113400145.

M Bonsangue, G Caltais, EI Goriac, D Lucanu, J Rutten, A Silva. Automatic equivalence proofs for non-deterministic coalgebras. Science of Computer Programming 78 (9), 1324-1345

J.N. Oliveira. Relational algebra for ``just good enough" hardware. In RAMiCS? , volume 8428 of LNCS, pages 119-138. Springer Berlin / Heidelberg, 2014.

Daniel Murta, José Nuno Oliveira: Calculating risk in functional programming. CoRR? abs/1311.3687 (2013)

A. Sanchez, L. S. Barbosa and D. Riesco. Verifying bigraphical models of architectural reconfigurations. In Seventh International Symposium on Theoretical Aspects of Software Engineering, TASE'13, IEEE Press, pp 135-138. 2013.

JB Jeannin, D Kozen, A Silva. Language constructs for non-well-founded computation. In Proceedings of Programming Languages and Systems (ESOP 2013), 61-80, LNCS, Springer, 2013.

A Silva, B Westerbaan. A coalgebraic view of epsilon-transitions In Proceedings of Algebra and Coalgebra in Computer Science (Calco 2013), 267-281, LNCS, Springer, 2013.

F Bonchi, G Caltais, D Pous, A Silva. Brzozowski’s and Up-To Algorithms for Must Testing. In Proceedings of Programming Languages and Systems (APLAS 2013), 1-16, LNCS, Springer, 2013

B Jacobs, A Silva. Initial Algebras of Terms, with binding and algebraic structure. In Lambek's festschrift, LNCS, Springer, 2014.

N. Foster, D. Kozen, M. Milano, A. Silva, L. Thompson. A Coalgebraic Decision Procedure for NetKAT? . Technical report. Cornell University.

D. Murta and J.N. Oliveira. Calculating fault propagation in functional programs. Technical Report TR-HASLab:01:2013, May 2013.

2012-2013

Jean-Baptiste Jeannin, Dexter Kozen and Alexandra Silva CoCaml? : Programming with Coinductive Types Technical Report 1813/30798, Cornell University 2012.

Alexandra Silva, Filippo Bonchi, Marcello Bonsangue and Jan Rutten. Generalizing determinization from automata to coalgebras. In Logical Methods in Computer Science, vol. 9(1), 2013. http://arxiv.org/pdf/1302.1046v2.pdf

José N. Oliveira: Typed Linear Algebra for Weigthed (Probabilistic) Automata. In Proceedings of the 17th International Conference on Implementation and Application of Automata, CIAA 2012, Springer, LNCS.

Bart Jacobs, Alexandra Silva and Ana Sokolova. Trace Semantics via Determinization. In Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012), Springer, LNCS.

Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan J. M. M. Rutten, Alexandra Silva: Final Semantics for Decorated Traces. Electr. Notes Theor. Comput. Sci. 286: 73-86, Elsevier

Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach: Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010: 209-225

Dexter Kozen and Alexandra Silva. Practical Coinduction. (Technical Report)

Jean-Baptiste Jeannin, Dexter Kozen and Alexandra Silva. Language constructs for non-well-founded computation. (Technical Report)

Dexter Kozen and Alexandra Silva. Left-handed completeness. In 13th International Conference on Relational and Algebraic Methods in Computer Science , Cambridge, UK, Springer, LNCS.

Filippo Bonchi, Marcello Bonsangue, Jan Rutten and Alexandra Silva. Brzozowski's Algorithm (Co)Algebraically. In Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday, Springer, LNCS.

L. S. Barbosa, Sun Meng, "A Calculus for Generic, QoS? -Aware Component Composition " in Mathematics in Computer Science, Springer, 2012 (to appear), DOI 10.1007/s11786-012-0137-2