High-Assurance Software Laboratory



  • New Paper: J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. IJFCS Vol. 24, No. 6 (2013) 709–728, WSP Company. DOI: 10.1142/S0129054113400145
  • New Paper: H.D. Macedo and J.N. Oliveira. Typing Linear Algebra: a Biproduct-oriented Approach. SCP 78:11, pp.2160-2191 (DOI 10.1016/j.scico.2012.07.012)
  • New Paper: J.C. Campos and J. Machado, A Specification Patterns System for Discrete Event Systems Analysis, Int. J. Adv. Robotic Systems, vol. 10, 2013, doi:110.5772/56412
  • Job Opportunities: We are opening five post-doctoral positions. tinynew.gif Details here
  • New Paper: José N. Oliveira, Miguel A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326, March 2013, doi:10.1109/TSE.2012.15


Recent Publications

Journal Papers

J.N. Oliveira, M.A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326, March 2013, doi:10.1109/TSE.2012.15

Shin-Cheng Mu, J.N. Oliveira. Programming from Galois connections. The Journal of Logic and Algebraic Programming 81 (2012): 680–704 (DOI 10.1016/j.jlap.2012.05.003).

Filippo Bonchi, Marcello Bonsangue, Michele Boreale, Jan Rutten and Alexandra Silva. A coalgebraic perspective on linear weighted automata. In Information and Computation, vol. 211, pp. 77-105, 2012.

J.N. Oliveira. Towards a Linear Algebra of Programming. Formal Aspects of Computing (2012) 24: 433–458 (DOI 10.1007/s00165-012-0240-9)

Alípio Mário Jorge, Paulo J. Azevedo: Optimal leverage association rules with numerical interval conditions. Intell. Data Anal. 16(1): 25-47 (2012)

Nuno Castro and Paulo J. Azevedo. Significant Motifs in Time Series. in Statistical Analysis and Data Mining, Volume 5, Issue 1, pages 35–53, February 2012, John Wiley and Sons.

M. A. Martins, A. Madeira, L. S. Barbosa. A coalgebraic perspective on logical interpretation. Studia Logica, Springer (accepted, September 2011)

J. Bacelar Almeida, Manuel Barbosa, Jorge S. Pinto, Bárbara Vieira. Formal Verification of Side Channel Countermeasures Using Self-Composition. Science of Computer Programming (accepted, available on-line, 2011).

Alberto Pardo, João Paulo Fernandes, João Saraiva. Shortcut Fusion Rules for the Derivation of Circular and Higher-order Programs, Accepted for publication at the Journal Higher-Order and Symbolic Computation (HOSC), ISSN 1388-3690, pages 1-35, Springer.

José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based slicing and slice graphs. Formal Asp. Comput. 24(2): 217-248 (2012)

Luciana Lopes Freire, Pedro Miguel Arezes and José Creissac Campos. A literature review about usability evaluation methods for e-learning platforms. Work: A Journal of Prevention, Assessment and Rehabilitation, Volume 41, Supplement 1, pp. 1038-1044, 2012.

Carlos Baquero, Paulo Sérgio Almeida, Raquel Menezes. Extrema Propagation: Fast Distributed Estimation of Sums and Network Sizes. IEEE Transactions on Parallel and Distributed Systems, July 2011. IEEE computer Society Digital Library.

Di Jin, Bo Yang, Carlos Baquero, Dayou Liu, Dongxiao He, Jie Liu.Markov random walk under constraint for discovering overlapping communities in complex networks. Journal of Statistical Mechanics: Theory and Experiment (JSTAT). IOP Science, May 2011.

M. J. Frade, J. S. Pinto. Verification Conditions for Source-level Imperative Programs. In Computer Science Review, Volume 5, Issue 3, pp. 252-277, 2011. Elsevier. DOI: 10.1016/j.cosrev.2011.02.002

Alcino Cunha and Joost Visser: Transformation of Structure-Shy Programs with Application to XPath Queries and Strategic Functions, In Science of Computer Programming, 76(6):516-539. Elsevier, 2011.

J. Machado, E. Seabra, J.C. Campos, F. Soares, C. Leão. Safe Controllers Design for Industrial Automation Systems. Computers and Industrial Engineering. 60(4): 635-653 (2010)

Nuno Rodrigues, Luís Soares Barbosa: Slicing for architectural analysis. Sci. Comput. Program. 75 (10): 828-847 (2010)

Sun Meng, Luís Soares Barbosa: Bringing Class Diagrams to Life. ISSE (Jour. Innovations in Systems and Software Engineering, Springer). 6 (1-2): 91-98 (2010)

Paulo J. Azevedo, Alípio Mário Jorge: Ensembles of jittered association rule classifiers. Data Min. Knowl. Discov. 21(1): 91-129 (2010)

Paulo J. Azevedo: Rules for contrast sets. Intell. Data Anal. 14(6): 623-640 (2010)

Selected Conference Papers

F. Maia, M. Matos, J. Pereira, and R. Oliveira. Worldwide consensus. In Distributed Applications and Interoperable Systems (DAIS, with DisCoTec), number 6723 in LNCS, 2011. DisCoTec'2011 Best Paper Award.

Nuno C. Castro and Paulo Azevedo: Time Series Motifs Statistical Significance. Best Student Paper Award, SIAM SDM 2011.

M.A. Ferreira, J.N. Oliveira: An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. Best paper in the GC track of SBMF 2009.

José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira. Verifying Cryptographic Software Correctness with Respect to Reference Implementations. Best paper Award in FMICS 2009.

José Creissac Campos, Michael D. Harrison: Systematic Analysis of Control Panel Interfaces Using Formal Tools. DSV-IS 2008 (BCS HCI International Excellence Award 2009).

r15 - 10 Apr 2013 - 14:13:28 - JoseNunoOliveira
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM