HASLab

High-Assurance Software Laboratory

Overview


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. 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

                        (more...)

DI » FMHAS » WebHome » News

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. 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

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

r64 - 30 Dec 2013 - 11:29:41 - 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