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  \  Research Areas  \  Research Stream Login  
   
banner bottom
[ Software Systems ]

Software Systems researches new programming and modeling languages, development methods and environments for large software-intensive systems, with a focus on web based and dependable systems, where communication and concurrency are pervasive. Sample application scenarios we are particularly interested in include web based applications (e.g., business apps, social networks), service infrastructures (e.g., app-stores, multi-party services / mashups), and ubiquitous computing infrastructures, such as smart buildings. Our work bridges from foundational theoretical principles to prototype development, experimental validation, and ultimately to technology and knowledge transfer.


bulletLuis Caires, Full Professor, Area/Group coordinator
bulletLuis Monteiro, Full Professor
bulletPedro Guerreiro, Full Professor
bulletAna Moreira, Associate Professor
bulletFernando Brito e Abreu, Associate Professor
bulletAntónio Ravara, Assistant Professor
bulletArtur Miguel Dias, Assistant Professor
bulletCarla Ferreira, Assistant Professor
bulletFernanda Barbosa, Assistant Professor
bulletJoão Araújo, Assistant Professor
bulletJoão Costa Seco, Assistant Professor
bulletMargarida Mamede, Assistant Professor
bulletMiguel Goulão, Assistant Professor
bulletMiguel Pessoa Monteiro, Assistant Professor
bulletVasco Amaral, Assistant Professor
bulletAnacleto Correia, Associate Researcher
bulletElisabete Freire, Associate Researcher
bulletHugo Torres Vieira, Associate Researcher
bulletIsabel Sofia Brito, Associate Researcher
bulletJorge A. Pérez, Associate Researcher
bulletMarco Giunti, Associate Researcher
bulletMauricio Alférez, Associate Researcher
bulletAna Paula Maldonado, PhD Student
bulletAnkica Barisic, PhD Student
bulletAnne Kersten, PhD Student
bulletBernardo Toninho, PhD Student
bulletCarlos Leandro, PhD Student
bulletCédric Grueau, PhD Student
bulletFilipe Militão, PhD Student
bulletJorge Barreiros, PhD Student
bulletJosé Magno Lopes, PhD Student
bulletLuísa Lourenço, PhD Student
bulletMiguel Domingues, PhD Student
bulletSérgio Bryton, PhD Student
bulletTiago Santos, PhD Student
Research Stream Activities:

*  Research Projects (55)
*  Publications (735)
*  Seminars @ CITI (86)
*  External Talks (128)
*  Graduation Activities (230)
*  Organization of Events (277)
*  Editorial Committees (11)
*  Prototypes (72)
*  Visits (128)


page 1 of 7 - listing external talks 1 to 20 of a total of 128

prev   |   1  2  3  4  5  6  7   |   next


* Integrating Metamodel Driven Measurement in the Eclipse IDE
   Fernando Brito e Abreu
   [ 12 Dec 2013 ] - Departmental Seminar

* Software Language Engineering: Towards Validation of Usability of DSLs
   Vasco Amaral
   [ 25 Nov 2013 ] - Research Talk

* Logic-Based Domain-Aware Session Types
   Jorge A. Pérez
   [ 7 Nov 2013 ] - Research Talk

* Research Strategies in IT Project Management
   Fernando Brito e Abreu
   [ 15 Oct 2013 ] - Invited Lecture

* Is building a DSML REALLY worth the effort?
   Miguel Goulão
   [ 6 Sep 2013 ] - Summer School Course

* Domain Specific Modeling
   Vasco Amaral
   [ 6 Sep 2013 ] - Summer School Course

* Metamodel-driven computing: how it works and what it delivers
   Fernando Brito e Abreu
   [ 5 Sep 2013 ] - Research Talk

* Towards static deadlock resolution in the pi calculus.
   Marco Giunti
   [ 30 Aug 2013 ] - Research Talk

* Evaluating and Creatively Building KAOS Goal Models
   João Araújo
   [ 2 Aug 2013 ] - Departmental Seminar

* Smart Cities: the role of ICT as Enabler for Balancing Economy, Energy, Climate and Quality of Life
   Vasco Amaral
   [ 28 Jun 2013 ] - Research Talk

* Agile software development practices in brazilian news portals: results of an empirical study
   Fernando Brito e Abreu
   [ 21 Jun 2013 ] - Research Talk

* Domain Specific Modeling and Languages
   Vasco Amaral
   [ 15 Jun 2013 ] - Summer School Course

* Empirical Software Engineering: a short course (2 full days)
   Fernando Brito e Abreu
   [ 5 Feb 2013 ] - Invited Lecture

* Linear Logical Relations and Observational Equivalences for Session-Based Concurrency
   Jorge A. Pérez
   [ 29 Oct 2012 ] - Departmental Seminar

* Evaluating DSLs
   Miguel Goulão
   [ 14 Sep 2012 ] - Summer School Course

* Domain Specific Modeling - DSM-TP 2012
   Vasco Amaral
   [ 6 Sep 2012 ] - Summer School Course

* Formal Models of Concurrency: Languages and Expressiveness
   Jorge A. Pérez
   [ 23 Jul 2012 ] - Summer School Course

* Linear Logical Relations and Observational Equivalences for Session-Based Concurrency
   Jorge A. Pérez
   [ 21 Jun 2012 ] - Departmental Seminar

* Imperfections of Transformations in Model-Driven Requirements Engineering
   João Araújo
   [ 30 May 2012 ] - Departmental Seminar

* Domain Specific Languages
   Vasco Amaral
   [ 25 May 2012 ] - Invited Lecture


prev   |   1  2  3  4  5  6  7   |   next