CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  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
bulletLuís Alexandre Ferreira da Silva, 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 4 of 37 - listing publications 61 to 80 of a total of 735       * Research Stream publications in BibTeX format

prev   |   1  2  3  4  5  6  7  8  9   |   next

bulletBehavioral Polymorphism and Parametricity in Session-Based Communication
   [ Apr, 2013 ] - in proceedings
   Luis Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

bulletDisciplined Structured Communications with Consistent Runtime Adaptation
   [ Mar, 2013 ] - in proceedings
   Cinzia Di Giusto, Jorge A. Pérez

   [ Mar, 2013 ] - in proceedings
   Armanda Rodrigues, Sara Machado Silva, João Araújo

bulletTest-based SPL Extraction: An Exploratory Study
   [ Mar, 2013 ] - in proceedings
   Alcemir Santos, Felipe Gaia, Eduardo Figueiredo, Pedro Neto, João Araújo

bulletAdvanced Modularity for Building SPL Feature Models: a Model-Driven Approach
   [ Mar, 2013 ] - in proceedings
   João Araújo, Miguel Goulão, Ana Moreira, Inês Nunes Simão, Vasco Amaral, Elisa Baniassad

bulletEnhancing Design Models with Composition Properties: A Software Maintenance Study
   [ Mar, 2013 ] - in proceedings
   Francisco Dantas, Alessandro Garcia, Jon whittle, João Araújo

bulletConcurrent Typed Intermediate Language
   [ Mar, 2013 ] - in proceedings
   Luís Miguel Lourenço, João Costa Seco, Francisco Martins

bulletA Survey of Tool Support for the Animation of IT Services Process Models Execution
   [ Feb, 2013 ] - in proceedings
   Marco Roque, Fernando Brito e Abreu

bulletThe Type Discipline of Behavioral Separation
   [ Jan, 2013 ] - in proceedings
   Luis Caires, João Costa Seco

bulletWorking Note on a Type Checking Algorithm for Behavioral Separation Types
   [ Jan, 2013 ] - technical reports
   Luis Caires, João Costa Seco

bulletHandling Conflicts in Aspect-OrientedRequirements Engineering
   [ 2013 ] - book chapters
   Isabel Sofia Brito, Ana Moreira, Rita Ribeiro, João Araújo

bulletGenerating goal-oriented models from creative requirements using model driven engineering
   [ 2013 ] - in proceedings
   Fernando Wanderley, João Araújo

bulletAspects Composition in Problem Frames
   [ 2013 ] - book chapters
   Maria Lencastre, João Araújo, Ana Moreira, Jaelson F. B. Castro

bulletRE 2013 doctoral symposium
   [ 2013 ] - editorial activities
   Ana Moreira, Paul Grünbacher

bulletEnriching MATLAB with aspect-oriented features for developing embedded systems
   [ 2013 ] - articles
   João M. P. Cardoso, João Miguel Lobo Fernandes, Miguel Pessoa Monteiro, Tiago Carvalho, Ricardo Nobre

   [ 2013 ] - articles
   Armanda Rodrigues, Sara Machado Silva, João Araújo

bulletTypeful Updates on Reactive Live Web Programming
   [ 2013 ] - technical reports
   Miguel Domingues, João Costa Seco

bulletConfiguration support for feature models with soft constraints
   [ 2013 ] - in proceedings
   Jorge Barreiros, Ana Moreira

bulletInternational Workshop on Model-Driven Requirements Engineering
   [ 2013 ] - editorial activities
   Ana Moreira, Gunter Mussbacher, João Araújo, Nelly Bencomo, Pablo Sanchez

bulletTowards A Domain Specific Modelling Language For Agent-Based Models In Land Use Science
   [ 2013 ] - in proceedings
   Cédric Grueau, João Araújo

prev   |   1  2  3  4  5  6  7  8  9   |   next