News
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.
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
New Paper: Nuno Macedo and Alcino Cunha:
Implementing QVT-R Bidirectional Model Transformations using Alloy. Accepted at
FASE'13.
New Paper: 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).
New Position: Hugo Macedo is since this month (Jan. 2013) a post-doct at
Deducteam in Paris.
New Paper: J.N. Oliveira.
Towards a Linear Algebra of Programming. Formal Aspects of Computing (2012) 24: 433–458 (
DOI 10.1007/s00165-012-0240-9)
New Position: Hugo Macedo is since this month (Apr. 2012) an Invited Researcher at
LIAFA in Paris.
New Paper: Formal analysis of Ubiquitous Computing environments through the APEX framework, J.L. Silva, J.C. Campos and M.D. Harrison. In the proceedings of
EICS'12, Copenhagen, Denmark, June 25-28, 2012 (to appear).
Software: Just released the latest version of the
AlloyMDA tools, for bidirectional transformation between Alloy and UML class diagrams annotated with OCL.
New Paper: Towards an Evaluation of Bidirectional Model-driven Spreadsheets, J. Cunha, J.P. Fernandes, J. Mendes and J. Saraiva. In the proc. of
USER'12, an ICSE'12 Workshop, Zurich, Switzerland, June 5, 2012 (to appear).
New Poster: A Bidirectional Model-driven Spreadsheet Environment, J. Cunha, J. Paulo Fernandes, J. Mendes and J. Saraiva. In the Posters Session of
ICSE'12, Zurich, Switzerland, June 2-9, 2012 (to appear).
New Paper: Program and Aspect Metrics for Matlab, P. Martins, P. Lopes, J. Paulo Fernandes, J. Saraiva and J. Cardoso. In the proceedings of the
ICCSA'12, Salvador da Bahia, Brasil, June 18-21, 2012 (to appear).
New Paper: Towards a Catalog of Spreadsheet Smells, J. Cunha, J. Paulo Fernandes, H. Ribeiro, J. Saraiva. In the proceedings of the
The 12th International Conference on Computational Science and Its Applications (ICCSA'12), Salvador de Bahia, Brazil, June 18-21, 2012 (to appear).
New Paper: Bidirectional Transformation of Model-Driven Spreadsheets, J. Cunha, J. Paulo Fernandes, J. Mendes, H. Pacheco and J. Saraiva. In the proceedings of the
5th International Conference on Model Transformation (ICMT'12), Prague, Czech Republic, 28–29 May 2012 (to appear).
New Paper: MDSheet, A Framework for Model driven Spreadsheet Engineering, J. Cunha, J. Paulo Fernandes, Jorge Mendes and João Saraiva. In the proceedings of the
34th International Conference on Software Engineering 2012 (ICSE'12, Formal demonstration), Zurich, Switzerland, June 2-9, 2012 (to appear).
New Paper: From Relational ClassSheets to UML+OCL, J. Cunha, J. Paulo Fernandes and J. Saraiva. In the proceedings of the
Software Engineering Track at the
27th Annual ACM Symposium On Applied Computing (SAC 2012), Riva del Garda (Trento), Italy, March 2012 (to appear).
New Paper: Alloy Meets the Algebra of Programming: A Case Study. By J.N. Oliveira and M. Ferreira. IEEE
Transactions on Software Engineering, 2012.
Visit: The SAB/Scientific Advisory Board of INESC TEC visited HASLab on 30-Jan - see
BIP 124.
Award: HASLab post-doc fellow
Alexandra Silva was awarded the IBM Scientific Prize 2011 for her work on Kleene Coalgebra. The
ceremony took place on 18th October 2011 at Universidade do Minho.
Workshop: A research workshop to celebrate the awarding of the IBM Scientific Prize 2010 to
Alexandra Silva and launching the new QAIS project will take place next Monday, 17 October
(details).
New project: FATBIT
(Foundations, Applications and Tools for Bidirectional Transformation) recommended for funding by FCT (73K).
New project: Qais
(Quantitative Analysis of Reactive Systems) recommended for funding by FCT (105K).
New project: APEX (
Agile Prototyping for user EXperience) will develop a software framework enabling rapid prototyping of ubiquitous systems. Developers and users will be able to navigate simulations of built environments to develop an impression of what it will be like to use the final system once fielded.
New Paper: Bigraphical Modelling of Architectural Patterns. By A. Sanchez, L. S. Barbosa and D. Riesco, accepted at FACS'11.
New Paper: The role of coordination analysis in software integration projects. By N. Rodrigues, N. Oliveira and L. S. Barbosa, accepted at EI2N'11.
New Paper: Hybrid specification of reactive systems: An institutional approach. By A. Madeira, J. M. Faria, M. A. Martins and L. S. Barbosa, accepted at SEFM'11.
New Paper: Hybridization of Institutions. By M. A. Martins, A. Madeira, R. Diaconescu and L. Barbosa, accepted at CALCO'2011.
Award: HASLab paper
Worldwide Consensus wins the
Best Paper award at
DisCoTec'11.
New Paper: Programming from Galois connections. By
Shin-C. Mu and J.N. Oliveira. In LNCS Vol.6663, June 2011. Follow a discussion on this paper visit Shin's
research blog.
Award: HASLab/MAPi PhD student Nuno Castro wins the Google sponsored
Best Student Paper award at
SDM'2011.
New Paper: Safe Controllers Design for Industrial Automation Systems. By Machado et al.
Computers & Industrial Engineering, 60(4):635-653, May 2011.
March 12, 2011
New book:
Rigorous Software Development - An Introduction to Program Verification, by HASLab members J.B. Almeida, M.J. Frade, J.S. Pinto and S. Melo de Sousa.
'Cum laude' award: HASLab external student
Alexandra Silva was awarded the "cum laude" mention for her doctoral thesis on
Kleene Coalgebra, on Dec., 21st, 2010, at Radboud Universiteit Nijmegen.
more...
This distinction is only given in the NL in very exceptional cases (less then 5% of all possible candidates). It requires the explicit support of the thesis committee as well as of two other experts in the area (in this case
Samson Abramsky, Oxford, and
Larry Moss, Indiana). During the committee meeting,
Dexter Kozen gave the following justification for his own vote (quoted from memory):
"in very rare occasions a doctoral thesis and defense changes the way one sees his own main research area: this was such an occasion and that is all I have to say". Congratulations, Alexandra!
December 22, 2010
New project: APEX proposal recommended for funding by FCT.
more...
APEX (Agile Prototyping for user EXperience) will develop a software framework enabling rapid prototyping of ubiquitous systems. Developers and users will be able to navigate simulations of built environments to develop an impression of what it will be like to use the final system once fielded.
September 3, 2010
Paper accepted at OPENCERT'10: J.C. Silva, J.C. Campos, J. Saraiva. GUI Inspection from Source Code Analysis
July 28, 2010
Paper accepted at HCSE'10: J.L. Silva, Ó.R. Ribeiro, J.M. Fernandes, J.C. Campos, M.D. Harrison. The APEX framework: prototyping of ubiquitous environments based on Petri nets
July 22, 2010
Paper accepted at ESORICS'10: J. Almeida, E. Bangerter, M. Barbosa, S. Krenn, A. Sadeghi, T. Schneider. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocols
June 15, 2010
Paper accepted at FLACOS'10: D. da Cruz, P. R. Henriques, and J. S. Pinto. Contract-based slicing
June 1, 2010
Paper accepted at SEFM'10: J. Barros, D. da Cruz, P. R. Henriques, and J. S. Pinto. Assertion-based Slicing and Slice Graphs.
June 1, 2010
Paper accepted at EICS'10: J.C. Silva et al.
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code.
Apr 8, 2010
Talk by Daniel Seidel (Univ. Bonn) today: "Strictification of Circular Lazy Programs in a Calculational Form"
Apr 7, 2010
Just published in "Science of Computer Programming": N. F. Rodrigues and L. S. Barbosa.
Slicing for Architectural Analysis.
Mar 20, 2010
Paper accepted at MPC'10: H.D. Macedo and J.N. Oliveira.
Matrices As Arrows! A Biproduct Approach to Typed Linear Algebra.
Feb 20, 2010
Paper accepted at MPC'10: Hugo Pacheco and Alcino Cunha.
Generic Point-Free Lenses.
Feb 20, 2010
New project:
GWS - providing consultancy in the development of Cachapuz's next generation software development framework. J.C. Campos (HASLab) and A.N. Ribeiro.
Feb 10, 2010
Paper accepted at Ada-Europe'2010:
Program Verification in SPARK and ACSL: A Comparative Case Study by E. Brito and J. Sousa Pinto
Feb 1, 2010
EASST
Best Paper Award at FMICS'09 to J. Bacelar Almeida, M. Barbosa, J. Sousa Pinto, and B. Vieira, for their paper
Verifying Cryptographic Software Correctness with Respect to Reference Implementations.
New Paper: Bringing Class Diagrams to Life. By Luis Barbosa and Sun Meng.
In Springer Journal in Innovations in Systems and Software Engineering (forthcoming).
Nov 10, 2009 1:40 AM
New Paper: Towards the introduction of Qos information in a Component Model. By Sun Meng, Luis Barbosa.
SAC'2010 Symp, Coordination track. Mar 2010.
Nov 10, 2009 1:40 AM
New Paper: Which Mathematics for the Information Society? by João Ferreira, Alexandra Mendes, Roland Backhouse, Luis Barbosa.
TFM Conference, Springer LNCS 5846. Nov, 2009.
Nov 10, 2009 1:40 AM
Two Papers at Refine'09: FMweek, Eindhoven, Nov. 2009.
César Rodrigues, José Nuno Oliveira, Luis Barbosa. "A single, complete rule for coalgebraic refinement".
Manuel Martins, Alexandre Madeira, Luis Barbosa. "Refinement by interpretation in a general setting"
The Refine Workshop, 2009, ENTCS (to appear).
Nov 10, 2009 1:40 AM
New Paper: Refinement by interpretation
Manuel Martins, Alexandre Madeira, Luis Barbosa. IEEE SEFM'2009. Nov, 2009.
Nov 10, 2009 1:40 AM
New Project: lab members participate in EFACEC's
InPACT project.
lab members J.C. Campos and P.R. Henriques will be cooperating with EFACEC over the next two years in its, QREN funded,
InPACT project (Integrated Engineering Tools for Protection, Automation and Control Systems).
Sep 10, 2009 1:40 AM
Best paper at SBMF'09, VFS GC track:
Miguel Ferreira, José Nuno 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.
Aug 21, 2009
Co-chair: J. C. Campos was designated co-chair of the programme committee of INTERACÇÃO'08.
The conference will be held in Évora, 15-17 October 2008.
Oct 12, 2007 2:08 PM
New Paper: Simulation and Formal Verification of Industrial Systems Controllers
J. Machado and E. Seabra and J.C. Campos and F. Soares and C.P. Leao and J.F. Silva (forthcoming) In 19th International Congress of Mechanical Engineering (COBEM 2007).
Oct 12, 2007 1:40 AM
New Paper: Formal analysis of interactive systems: opportunities and weaknesses
M. D. Harrison and J. C. Campos and K. Loer (forthcoming) In P. Cairns and A. Cox, editors, Research Methods in Human Computer Interaction. Cambridge University Press.
Oct 12, 2007 1:39 AM
New Paper: Connecting rigorous system analysis to experience centred design
(download from
RepositoriUM? )
M. D. Harrison and J. C. Campos and G. Doherty and K. Loer (forthcoming) In E. Law and E. Hvannberg and G. Cockton and J. Vanderdonckt, editors, Maturing Usability: Quality in Software, Interaction and Value, Human-Computer Interaction Series. Springer. (ISSN: 1571-5035; ISBN: 978-1-84628-940-8)
Oct 12, 2007 1:39 AM
New Paper: A New Plant Modelling Approach For Formal Verification Purposes
J. Machado and E. Seabra and F. Soares and J. Campos (forthcoming) In 11th IFAC Symposium on Large Scale Systems 2007. Elsevier.
New Paper: Considering context and users in interactive systems analysis
J.C. Campos and M.D. Harrison (forthcoming) In Engineering Interactive Systems 2007, Lecture Notes in Computer Science. Springer-Verlag.
New Paper: An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments
H. Pinto and R. José and J. C. Campos (2007) In IEEE International Conference on Pervasive Services 2007 (ICPS'07), pages 232-241. IEEE Computer Society Press. (ar: 18/64 ~.28)
NewPaper: Model-based user interface testing with Spec Explorer and
ConcurTaskTrees?
J. L. Silva and J. C. Campos and A. Paiva (2007) In Paul Curzon and Antonio Cerone, editors, The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), pages 116-133. (to appear in ENTCS, Springer - ar: 7/18 ~.39)
New Paper: Exploring an option space to engineer a ubiquitous computing system
M. Harrison and C. Kray and J. C. Campos (2007) In Paul Curzon and Antonio Cerone, editors, The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), pages 67-82. (to appear in ENTCS, Springer - ar: 7/18 ~.39)
New Paper: Exploring an option space to engineer a ubiquitous computing system
M. Harrison and C. Kray and J. C. Campos (2007) In Paul Curzon and Antonio Cerone, editors, The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), pages 67-82. (to appear in ENTCS, Springer - ar: 7/18 ~.39)
New Paper: Integrating HCI into a Software Engineering course
A.N. Ribeiro and J.C. Campos and F.M. Martins (2007) In Pre-proceedings HCI Educators 2007.
New Paper: Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications
J. C. Silva and J. C. Campos and J. Saraiva (2007) In G. Doherty and A. Blandford, editors, Interactive Systems: Design, Specification and Verification, volume 4323 of Lecture Notes in Computer Science, pages 137-150. Springer-Verlag.
New Paper: Paper Coupled Schema Transformation and Data Conversion For XML and SQL (by Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, and Joost Visser) accepted by PADL 2007 (Nice, France).
Oct 5, 2006 4:21 PM
New Paper: Paper Strongly Typed Rewriting For Coupled Software Transformation (by
AlcinoCunha? and Joost Visser) accepted by RULE 2006 (Seattle, USA).
Sep 25, 2006 11:42 AM
New Paper: Paper Strong Types for Relational Databases by Alexandra Silva and Joost Visser has been accepted for the Haskell Workshop 2006 (Portland, USA).
Sep 25, 2006 11:42 AM
New Paper: Paper Configurations of Web Services by
MarcoAntonioBarbosa? and
LuisSoaresBarbosa? has been accepted for FOCLASA'06 (Bonn, Germany).
Sep 25, 2006 11:41 AM
New Paper: Paper Towards a Coordination Model for Interactive Systems by
MarcoAntonioBarbosa? ,
JoseCampos? and
LuisSoaresBarbosa? has been accepted for FMIS'06 (Macau).
Sep 25, 2006 11:40 AM