CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Members  \  Member Page Login  
   
banner bottom
File Top
Vasco Amaral
Vasco Amaral's Photo

Software Systems

Country: Portugal

Position: Assistant Professor

Email: vasco.amaral(at)fct.unl.pt

Phone: +351 21 294 85 36

Personal Web Page

I am currently Assistant Professor at the department of Computer Science group Science and Technology of Programming Section (CTP) of UNL (Universidade Nova de Lisboa ). Invited Professor for the winter semester 2007/2008 at University of Geneva (working with the SMV group headed by the Prof. Doctor. Didier Buchs). Senior member at IEEE where is vice-chair of the Portuguese Computer Science Chapter. Elected Coordinator at the regional level of the Software Engineers Association at Ordem dos Engenheiros. Research goals: derive tools & dedicated formalisms for modeling specific software intensive domains with conceptual notations, semantically well described, while dealing with families of software products. The purpose is to analise system properties, verify, simulate, optimize, and automatically derive code from models specified by the domain experts. Currently, is interested on the particular topic of Modelling Cyber-Physical Systems. Additional goal: derive a consistent, but practical methodology for the complete DSL Engineering life-cycle. ACM Computing Classification System personal interest subjects: J.2 Physical Sciences and Engineering; F.3 Logics and meaning of programs; H.1 Models and Principles; H.2 Database Management


{ Visits hosted at CITI }
  • Hans Vangheluwe, School of Computer Science, McGill University (Canada)
    [ 4 Sep 2010 to 12 Sep 2010 ]

    Presentations at DSM-TP (Summer School) about Modeling, Model Transformations and DSL semantics. Preparing a project proposal meeting. Research Meeting on DSM Formal framework.

  • Luís Miguel Venceslau Pedro, University of Geneva (Switzerland)
    [ 4 Sep 2010 to 12 Sep 2010 ]

    Talk at DSM-TP. Research meeting on Model Composition issues.

  • Didier Buchs, Centre Universitaire d\'Informatique de l\'Université de Genève (Switzerland)
    [ 4 Sep 2010 to 12 Sep 2010 ]

    Talks at DSM-TP international Summer school. Research Meeting and common project proposals.

  • Matteo Risoldi, Centre Universitaire de Informatique de la Université de Genève (Switzerland)
    [ 4 Sep 2010 to 12 Sep 2010 ]

    DSM-TP international Summer School tutorial presentations. Research meetings and project proposals.

  • Steve Hostettler, Centre Universitaire de Informatique de la Université de Genève (Switzerland)
    [ 4 Sep 2010 to 12 Sep 2010 ]

    Talks at DSM-TP international Summer School. Research Meeting.

  • Eugene Syriani, School of Computer Science, McGill University (Canada)
    [ 4 Sep 2010 to 12 Sep 2010 ]

    Tutorials at DSM-TP. Research meetings.

  • Guido Moerkotte, University of Mannheim (Germany)
    [ 10 Dec 2008 to 11 Dec 2008 ]

    Prof. Doctor Guido Moerkotte gives a seminar with the title: \"Dynamic Programming for Join Ordering Revisited\". Also has a meeting with the DSL /(software languages engineering) working group in order to build the foundations for a future collaboration project.

    Seminar @ CITI: Dynamic Programming for Join Ordering Revisited
  • Carl-Christian Kanne, University of Zurich (Switzerland)
    [ 9 Dec 2008 to 11 Dec 2008 ]

    Prof. Doctor Carl-Christian Kanne gives a seminar with the title: \"Scalable Business Process Automation\". Also has a meeting with Vasco Amaral and the rest of the students part of the DSL / Software Languages Engineering working group in order to build the foundations for a future collaboration project.

    Seminar @ CITI: Scalable Business Process Automation
  • Levi Silva Lúcio, CITI (Portugal)
    [ 22 Oct 2008 to 29 Oct 2008 ]

    Work meetings with the BATIC3S project team concerning the integration of Model Based Testing tools and concepts. Seminar at DI.

    Seminar @ CITI: SATEL - A Test Intention Language for Object Oriented Specifications of Reactive Systems
  • Luís Venceslau Pedro, University of Geneva (Switzerland)
    [ 10 Mar 2008 to 14 Mar 2008 ]

    Work force meetings concerning language meta-modeling research topics. Invited Tutorial on GMF/EMF metamodeling tools.

  • Mahesh Prakriya, Microsoft (United States)
    [ 13 Nov 2007 ]

    Meeting with CITI members. Educational/technological talk at the computer science department “IronPython and Dynamic Languages Runtime on .NET”

  • Didier Buchs, Centre Universitaire d\'Informatique de l\'Université de Genève (Switzerland)
    [ 25 Jun 2007 to 27 Jun 2007 ]

    Collaboration meeting. Main topics: ongoing BATIC3S research, planning future joint research projects. Seminar \"SATEL: How to express test intentions\". Part of the jury of Bruno Barroca MsC\'s defense.

    Seminar @ CITI: SATEL: How to express test intentions
  • Sven Helmer, University of London (United Kingdom)
    [ 2 Mar 2007 ]

    Meeting with Vasco Amaral. Present a talk: \"Measuring the Structural Similarity of Semistructured Documents Using Entropy\"

    Seminar @ CITI: Measuring the Structural Similarity of Semistructured Documents Using Entropy
  • Matteo Risoldi, Centre Universitaire de Informatique de la Université de Genève (Switzerland)
    [ 30 Mar 2006 to 2 Apr 2006 ]

    Restricted BATIC3S meeting at FCT/UNL. Topic of discussion \"The modeling approach\".

  • Hans Vangheluwe, School of Computer Science, McGill University (Canada)
    [ ]

    Talk Cyber-Physical Systems: challenges and directions for research Research meeting.

File Bottom