J.N.Oliveira - Papers, reports, talks etc
[ DI/UM ]

  2013

• H.D. Macedo and J.N. Oliveira. Typed Linear Algebra for the Data Scientist. In preparation.
• D. Murta and J.N. Oliveira. Calculating fault propagation in functional programs. Conference paper (submitted), 2013.
• J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. Journal paper (submitted), 2013.
• H.D. Macedo and J.N. Oliveira. Typing Linear Algebra: a Biproduct-oriented Approach. Journal paper. In press (DOI:10.1016/j.scico.2012.07.012).
• N. Macedo, H. Pacheco, A. Cunha, J.N. Oliveira. Composing least-change lenses. In P. Stevens, J. Terwilliger, editors, BX'13, Electronic Communications of the EASST, 2013. ISSN 1863-2122. Accepted for publication.
• 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.
• J.N. Oliveira. Computer-aided musicology: challenges and opportunities. Slides (in Portuguese). Contribution to the Maths Afternoons seminar series. Portuguese Mathematics Society (SPM), Braga, March 9th, 2013.

  2012

• J.N. Oliveira. Calculating Fault Propagation in Functional Programs using the Linear Algebra of Programming (LAoP). Talk at HASLab seminar, 5th-Dec-2012. (Repeated at FEUP, 30-Jan-2013.)
• J.N. Oliveira. Typed linear algebra for weighted (probabilistic) automata. LNCS Volume 7381/2012, 52-65 (DOI: 10.1007/978-3-642-31606-7_5). 17th Int. Conf. on Implementation and Application of Automata, Porto (invited talk). [Slides].
• Shin-Cheng Mu and J.N. Oliveira. Programming from Galois connections. The Journal of Logic and Algebraic Programming 81:680-704 (2012) (DOI:10.1016/j.jlap.2012.05.003).
• J.N. Oliveira. Towards a Linear Algebra of Programming. (DOI:10.1007/s00165-012-0240-9) Formal Asp. Comput., 24 (4-6): 433-458, 2012.
• J.J. Almeida, N.R. Carvalho, and J.N. Oliveira. Wiki::score -- a collaborative environment for music transcription and publishing. Information Services and Use, 31(3-4):177-187, 2011. DOI 10.3233/ISU-2012-0647.
• J.N. Oliveira. Functions as types or the 'Hoare logic' of functional dependencies". Available from arXiv:1210.4661v1 [cs.LO], May 2012.

  2011

• H.D. Macedo and J.N. Oliveira. Towards Linear Algebras of Components. LNCS 6921, pp. 300-303, 2011.
• H.D. Macedo and J.N. Oliveira. Do the two middle letters of "OLAP" stand for Linear Algebra ("LA")? Technical Report TR-HASLab:04:2011, July 2011. (See also H. Macedo's research blog and the slides of a talk at Software Improvement Group on this subject).
• J.N. Oliveira. Pointfree foundations for (generic) lossless decomposition . Technical Report TR-HASLab:03:2011, HASLab, University of Minho and INESC TEC, Gualtar Campus, Braga, 2011.
• Shin-Cheng Mu and J.N. Oliveira. Programming from Galois connections. Conference paper, pages 294-313 of LNCS volume 6663. (Superseded by DOI:10.1016/j.jlap.2012.05.003).
• J.N. Oliveira. On the meaning of curry(M) for M a matrix. Contributed talk to IFIP WG 2.1 Meeting #67, Reykjavik, Iceland, May 2011.
• J. Ferreira, A. Mendes, A. Cunha, C. Baquero, P. Silva, L. Barbosa and J.N. Oliveira. Logic training through algorithmic problem solving. LNCS 6680, pages 62-69, 2011.
• L. Couto, J.N. Oliveira, M.A. Ferreira, E. Bouwers. Preparing for a Literature Survey of Software Architecture using Formal Concept Analysis. Proc. of the SQM'2011 workshop, colocated with CSMR 2011, Oldenburg, Germany.

  2010

• J.N. Oliveira. Hands on a Verification Challenge: Proving a Journaled File System Correct. Inforum 2010 (invited talk), 10-Sep 2010.
• J.N. Oliveira. A (Calculational) Look at Optimization. Talk at the 1st Workhsop of the Mondrian Project, Aveiro, 9-July 2010.
• H.D. Macedo and J.N. Oliveira. Matrices As Arrows! A Biproduct Approach to Typed Linear Algebra. In MPC 2010, volume 6120 of Lecture Notes in Computer Science, pages 271-287. Springer, 2010.
• H.D. Macedo and J.N. Oliveira. Can we teach computers to generate fast OLAP code? Technical note (see the corresponding HASLab talk on the 9th of June).
• M.A. Ferreira and J.N. Oliveira. Variations on an Alloy-centric tool-chain in verifying a journaled file system model. Technical Report DI-CCTC-10-07, DI/CCTC, University of Minho, Gualtar Campus, Braga, January 2010.
• J.N. Oliveira. An AoP Approach to Typed Linear Algebra. Talk at IFIP WG 2.1 #65 Meeting, Póvoa de Lanhoso, Portugal, January 2010.
• J.N. Oliveira. A Look at Program ``G''alculation. Talk at IFIP WG 2.1 #65 Meeting, Póvoa de Lanhoso, Portugal, January 2010.
• J.N. Oliveira. Computing theories refactoring via the PF-transform: the data dependency case study (extended abstract; slides). Habilitation Lecture, University of Minho, Jan. 12th 2010.

  2009

• M.A. Ferreira and J.N. Oliveira. An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model. In M.V. Oliveira and J. Woodcock, editors, SBMF, volume 5902 of LNCS, pages 153-169. Springer, 2009.
• C.J. Rodrigues, J.N. Oliveira and L.S. Barbosa. A single complete relational rule for coalgebraic refinement. Refinement Workshop 2009 (an workshop of the FMWeek), Eindhoven, 3 Nov 2009.
• P.F. Silva, J. Visser, and J.N. Oliveira. Galois: A Language for Proofs Using Galois Connections and Fork Algebras, 2009. PLMMS'09 - ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems. Munich, Germany; August 21.
• J.N. Oliveira. Extended Static Checking by Calculation using the Pointfree Transform . In A. Bove et al., editor, LerNet ALFA Summer School 2008, volume 5520 of LNCS, pages 195-251. Springer-Verlag, 2009.
• J.N. Oliveira. Towards "middle school MPC". Talk at IFIP WG 2.1 #64 Meeting, Weltenburg, Germany, March-April 2009.
• J.N. Oliveira. Calculating with Pointfree Alloy. Talk at IFIP WG 2.1 #64 Meeting, Weltenburg, Germany, March-April 2009.

  2008

• Paulo F. Silva, J.N. Oliveira. 'Galculator': functional prototype of a Galois-connection based proof assistant. In PPDP '08: Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, pages 44-55, New York, NY, USA, 2008. ACM.
• J.N. Oliveira. Transforming Data by Calculation. In GTTSE'07, volume 5235 of LNCS, pages 134-195. Springer, 2008.
• L.S. Barbosa, J.N. Oliveira, and A.M. Silva. Calculating Invariants as Coreflexive Bisimulations. In AMAST'08, LNCS 5140: 83-99. Springer, 2008.
• Shuling Wang, L.S. Barbosa, J.N. Oliveira. A Relational Model for Confined Separation Logic. In TASE 2008, pages 263-270, Los Alamitos, CA, USA, 2008. IEEE Computer Society.
• M.A. Ferreira, S.S. Silva, and J.N. Oliveira. Verifying Intel flash file system core specification. Pages 54-71 in (J.S. Fitzgerald, P.G. Larsen, and S. Sahara, editors) Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. School of Computing Science, Newcastle University, 2008. Technical Report CS-TR-1099. [ Slides: PDF ]

  2007

• J.N. Oliveira. Data Transformation by Calculation In GTTSE 2007 Proceedings, pages 139-198, June 2007. International Summer School, July 2-7. Tutorial slides: (PDF). Superseded by pages 134-195 of LNCS volume 5235.

  2006

• J.N. Oliveira. Data dependency theory made generic -- by calculation, December 2006. Presentation at the IFIP WG 2.1 #62 Meeting, Namur, Belgium.
• J.N. Oliveira, A. Silva, and L.S. Barbosa. Invariants as coreflexive bisimulations -- in a coalgebraic setting, December 2006. Presentation at the IFIP WG 2.1 #62 Meeting, Namur, Belgium.
• J.N. Oliveira. Reinvigorating pen-and-paper proofs in VDM: the pointfree approach , 2006. Presentation at the Third OVERTURE Workshop , Newcastle, UK, 27-28 November
• L.S. Barbosa and J.N. Oliveira. Transposing Partial Components -- an Exercise on Coalgebraic Refinement. TCS 365 (2006) : 2-22 [ slides of a presentation related to this paper ]
• M.A. Cunha, J.N. Oliveira, J. Visser. Type-safe two-level data transformation. FM'06 , LNCS 4085:284-289. Springer, 2006. [slides in PDF ]
• J.N. Oliveira and C.J. Rodrigues. Pointfree Factorization of Operation Refinement. FM'06 , LNCS 4085:236-251. Springer, 2006. [slides in PDF ]
• B. Cortes and J.N. Oliveira. Relational sampling for data quality auditing and decision support. In I. Seruca, J. Cordeiro, S. Hammoudi, and J. Filipe, editors, Enterprise Information Systems VI . Springer, 2006. ISNB: 1-4020-3674-4.
• C.M. Necco, J.N. Oliveira, L. Quintas. A functional approach for on line analytical processing, 2006. WISBD, III Workshop de Ingeniería de Software y Bases de Datos. CACIC'06, XII Congreso Argentino de Ciencias de la Computación, Universidad Nacional de San Luis, Argentina.

  2005

• A. Cruz, L. Barbosa, and J. Oliveira. From Algebras to Objects: Generation and Composition. JUCS, 11(10):1580-1612, 2005.
• T.L. Alves, P.F. Silva, J. Visser, J.N. Oliveira. Strategic term rewriting and its application to a VDM-SL to SQL conversion. FM'05 , LNCS 3582:399-414. Springer, 2005.
• Joost Visser, J.N. Oliveira, L.S. Barbosa, J.F. Ferreira, and A. Mendes. Camila Revival: VDM meets Haskell , July 2005. Presented at the Overture Workshop, July 18, co-located with FM 2005: 13th International Symposium on Formal Methods, University of Newcastle upon Tyne, United Kingdom - July 18-22, 2005.
• J.N. Oliveira. Functional dependency theory made 'simpler'. Technical Report DI-PURe-05.01.01, DI/CCTC, University of Minho, Gualtar Campus, Braga, 2005.
• J.N. Oliveira. First steps in pointfree functional dependency theory, 2005. Unpublished manuscript (PDF ), DI/UM, Universidade do Minho.
• C. Necco and J.N. Oliveira. Toward generic data processing. In Proc. WISBD'05 , a workshop of CACIC'05 (XI Congreso Argentino de Ciencias de la Computación, 17-21 Oct. 2005, Concordia - Entre Ríos - Argentina)., October 2005.

  2004

• FME Subgroup on Education (convenor: J.N. Oliveira). A Survey of Formal Methods Courses in European Higher Education. CoLogNet / FME TFM'04 , LNCS 3294:235-248. Springer, 2004. Web version (HTML) available from http://www.fmeurope.org/ -> Formal Methods -> Education.
• Calculate databases with `simplicity', September 2004. Presentation at the IFIP WG 2.1 #59 Meeting, Nottingham, UK.
• J.N. Oliveira and C.J. Rodrigues. Transposing relations: from Maybe functions to hash tables. , MPC'04 , LNCS 3125:334-356. Springer, 2004.
• B. Cortes and J.N. Oliveira. Relational sampling for data quality auditing and decision support. In ICEIS'04 : 6th International Conference on Enterprise Information Systems, volume 1, pages 376-382, April 2004. Porto, 14-17 April (ISBN 972-8865-00-7).

  2003

• L. S. Barbosa and J. N. Oliveira. State-based components made generic. In H. Peter Gumm, editor, Elect. Notes in Theor. Comp. Sci. (CMCS'03 - Workshop on Coalgebraic Methods in Computer Science), volume 82.1, Warsaw, April 2003.

  2002

• Ana Cristina Paiva, João Pascoal Faria, Raul Moreira Vidal and J.N. Oliveira. Métodos formais na especificação de interfaces com o utilizador: a linguagem VDM++ e o tratamento de eventos. Actas da 3ª Conferência da Associação Portuguesa de Sistemas de Informação, ISBN - 972-97548-7-X, 20-22 de Novembro.
• C.M. Necco and J.N. Oliveira. Generic data processing: A normalization exercise, 2002. Presented at CACIC'02 : 8th Argentinian Computer Science Congress, Univ. Buenos Aires, 15-18th October.
• L.S. Barbosa, J.N. Oliveira. Coinductive Interpreters for Process Calculi. LNCS 2441, pp. 183-197, 2002. (FLOPS 2002 - 6th International Symposium on Functional and Logic Programming, University of Aizu, Aizu, Japan, September 15-17, 2002).
• On the Design of a «Periodic Table» of VDM Specifications. Invited talk at the VDM'02 workshop, held in conjunction with FME'02 in Copenhagen on 20-21 July 2002.
• Towards Formal Software Development in VS.NET . MSDN Seminars, 2002, May 14th (Lisbon), May 16th (Porto) (slides).

  2001

• G. Villavicencio and J.N. Oliveira. Formal reverse calculation supported by code slicing . In Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE 2001) 2-5 October 2001, Stuttgart, Germany, pages 35-46. IEEE Computer Society, 2001.
• Bagatelle in C arranged for VDM SoLo. Journal of Universal Computer Science, 7(8):754-781, 2001. Special Issue on Formal Aspects of Software Engineering (Colloquium in Honor of Peter Lucas , Institute for Software Technology, Graz University of Technology, May 18-19, 2001).
• Data processing by calculation. Lecture notes for the 6th Estonian Winter School in Computer Science, 4-9 March 2001, Palmse, Estonia.
• Recursion in the pointfree style. Departamento de Informática, Universidade do Minho. Chapter of book in preparation (incomplete draft: 33p.).

  2000

• T. Denvir, J.N. Oliveira, and N. Plat. The Cash-Point (ATM) `Problem' . Formal Aspects of Computing, pages 211-215, 2000.

  1999

• A Hierarchical Polytypic Construction and Associated Reduction Morphisms. Presented at the Joint ACL/LOGCOMP Meeting, 10-11 February 1999, Hotel D. Luiz, Coimbra, Portugal.
• Converting Informal Meta-data to VDM-SL: A Reverse Calculation Approach (by , J.C. Silva and J.N. Oliveira). In VDM in Practice! (Workshop co-located with FM'99, Toulouse, France, 20-21 September 1999.
• An introduction to pointfree programming , 1999. 37p. (chapter of book in preparation).
• Fight Induction! deduction is Forever , 1999. Presented at the LOGCOMP Meeting, 6 December 1999, IST, Lisbon, Portugal.

  1998

• Software Design by Calculation in the CAMILA Toolset . Seminar presented at the IMADA Institute , Odense University, 3rd February 1998, Denmark.
• 'Fractal' Types: an Attempt to Generalize Hash Table Calculation . Presented at WGP98 , June 18, 1998, Marstrand, Sweden.
• CAD Tool Extension for Formal Building Description Language. in Advances in Engineering Software, Vol.29,No. 7-9, pp. 571-586, 1998, Elsevier Science Ltd and Civil-Comp Ltd.
• "Explosive" Programming Controlled by Calculation. Presented at AFP'98 , Sept., 1998, Braga, Portugal.
• ART: Um Laboratório de Reificação Genética. (by F.L. Neves, J.N. Oliveira) . In Proc. Iberamia 1998, Oct. 5-9, Lisbon, Portugal.
• Data Quality: Do It Formally? (by J.V. Ranito, L.M. Henriques, L.M. Ferreira, F.L. Neves, J.N. Oliveira). Proc. of IASTED'98 (SE) (IASTED Conf. on Software Engineering), Oct. 28-31, Las Vegas, USA, pp. 260-262, Acta Press, Calgary - Zurich.

  1997

• Formal Specification, Rapid Prototyping and Program Calculation --- an Industrial Experiment using the CAMILA/SETS Approach . Seminar at UNU/IIST, Macau, 6 of May 1997.
• An Experiment in CAD Tool Formal Specification . Seminar at UNU/IIST, Macau, 7 of May 1997.
• Formal Calculi Applied to Software Component Classification and Retrieving . Seminar at UNU/IIST, Macau, 9 of May 1997.
• A Calculational Approach to Reverse Specification . Seminar at UNU/IIST, Macau, 13 of May 1997.
• Can Distribution Be (Statically) Calculated? . Seminar at UNU/IIST, Macau, 16 of May 1997.
• University Education in Formal Methods - Report on the Minho Experience . in Training & Education Workshop , FME'97 , Graz, Austria, 15-19 September, 1997.
• CAMILA: Formal Software Engineering Supported by Functional Programming (by J.J. Almeida, L.S. Barbosa, F.L. Neves, J.N. Oliveira). Presented at CLaPF-97: 2nd Latin-American Conference on Functional Programming, Oct. 3-4, La Plata, Argentina.
• CAMILA: Prototyping and Refinement of Constructive Specifications (by J.J. Almeida, L.S. Barbosa, F.L. Neves, J.N. Oliveira). Presented at AMAST'97: Sixth International Conference on Algebraic Methodology and Software Technology, 13-17 December 1997, Macquarie University, Sydney, Australia.
• Bringing CAMILA and SETS Together --- the bams.cam and ppd.cam CAMILA Toolset Demos (by J.J. Almeida, L.S. Barbosa, F.L. Neves, J.N. Oliveira) . Technical Report, 45 p., DI/UM, Braga, December 1997.
• Normalization is Data Reification. Technical report, University of Minho, Dec. 1997.

  1996

• On the Development of a Meta-CASE Object-Oriented Software Architecture (by F.M.Martins, J.N.Oliveira, L.Neves, A.N. Ribeiro). Proc. of OOP'96-Object Oriented Portugal'96 Conference, Lisbon, Portugal, 1-3 October, 1996.

  1995

• Fuzzy Object Comparison and Its Application to a Self-Adaptable Query Mechanism. Proceedings of IFSA'95 - 6th International Fuzzy Systems Association World Congress, S. Paulo, 22-28 July 1995, Volume I, 245-248.
• Classifying Internet Objects (by L.Neves and J.Oliveira). Best Paper Award in Conferência Nacional "Informação Multimedia na Internet", 6-8 July 1995, Braga, Portugal. Paper selected for presentation at the Fourth International World Wide Web Conference --- ``The Web Revolution'' --- December 11-14, 1995, Boston, Massachusetts, USA.
• Software Reuse by Model Reification (by L.Neves and J.Oliveira). In WRIS'95 --- 6th Annual Workshop on Software Reuse. August 28-30, 1995, St.Charles Il, Illinois, USA.
• Formal Specification and Prototyping of a Building Description Language. In "Developments in Computer Aided Design and Modelling for Structured Engineering", 37-51, Volume B of the Proc. of the 4th International Conference on The Application of Artificial Intelligence to Civil and Structural Engineering, Cambridge, 28-30 August 1995.

  1994

• Hash Tables: A Case Study in Sets-Calculation. Technical Report DI/INESC 94-12-1, INESC Group 2361, Braga, December 1994.
• SOUR++ or Some Ideas For the Future. Sour'94 --- Advanced Techniques for Software Reuse, Braga, 15-17 Dec 1994.
• SOUR Modules: Comparator & Modifier. Sour'94 --- Advanced Techniques for Software Reuse, Braga, 15-17 Dec 1994.
• Especificação Formal, Prototipagem e Cálculo de Programas - Um Caso na Indústria Inforum'94 --- Controlo de Qualidade em Software, 7-8 October 1994, Braga.

  <1994

• Formal Calculi Applied to Software Component Knowledge Elicitation (by Oliveira J.N. & Cruz A.M.). Technical Report #C19-WP2D, Project "C.1.9. Sviluppo di Metodologie, Sistemi e Servizi Innovativi in Rete", INESC Group 2361, Braga, December 1993.
• Classification and Reasoning in SOUR. EU-379 Workshop, INESC Lisbon, 25 February 1993.
• Components & Compositionality in SOUR. EU-379 Workshop, INESC Lisbon, 25 February 1993.
• The CAMILA Strategy for Software Reusability. ERCIM News 14, 13-14, July 1993.
• Software Reification using the SETS Calculus. BCS FACS 5th Refinement Workshop, "Theory and Practice of Formal Software Development", 8-10 January 1992, London, 140-171, Springer Verlag.
• HITEX: Um Sistema em Desenvolvimento para Historiadores e Arquivistas. in "Ler Historia", 23 (1992) 127--138 (republicado na revista FORUM).
• Historical Records Processing in the HiTeX System (by J.Oliveira, Araujo A. & Silva A.). In "Yesterday", 149-168, Proc. of the 6th International Conference of the Association of History and Computing (AHC'91), Odense, Denmark, 28-30 Aug. 1991.
• Archetype-Oriented User Interfaces (by Martins F.M. & Oliveira J.N.), Computers & Graphics, 17--28, Vol.14(1), 1900, Jan. 1990.
• A Reification Calculus for Model-Oriented Software Specification . Formal Aspects of Computing , Vol.2, 1-23, 1990, Springer Verlag.
• The Transformational Paradigm as a Means of Smoothing Abrupt Software Design Steps. Int.Report #CCES-JNO:R2/85, University of Minho, Dec.85.
• Using FP for Dataflow Program Development Through Flowgraph level Transformation (by Oliveira J.N., J.R.Gurd). Internal Report CCES-JNO/JRG:R1/85, September 1985, Univ. of Minho.
• Graphics Programming with `Archetypes' - A Preliminary Study (by F.M. Martins, J.N. Oliveira). Proceedings of the EUROGRAPHICS'85 Conference, 401-412, September 1985, Nice, France.
• The Formal Semantics of Deterministic Dataflow Programs. Ph.D. Thesis, Department of Computer Science, University of Manchester, February 1984.
• An Analysis of Microcomputer Implementation of Pascal (by J.N. Oliveira, I.R. Wilson). Software-Practice & Experience, Vol.13, 373-384, John Wiley & Sons (1983).
• Pascal on Small Microcomputers. M.Sc. Thesis, Department of Computer Science, University of Manchester, October 1981.