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 8 of 37 - listing publications 141 to 160 of a total of 735       * Research Stream publications in BibTeX format

prev   |   4  5  6  7  8  9  10  11  12   |   next

bulletOn the Cognitive Foundations of Modularity
   [ Sep, 2011 ] - other publications
   Miguel Pessoa Monteiro

bulletExploring Efficient Data Structures and Algorithms for Mapping RNA-Seq Reads
   [ Sep, 2011 ] - in proceedings
   Jorge Costa, Ana Teresa Freitas, Luís Russo

bulletSLALOM: a Language for SLA Specification and Monitoring
   [ Sep, 2011 ] - in proceedings
   Anacleto Correia, Fernando Brito e Abreu, Vasco Amaral

bulletA Core Language for Data-centric Processes
   [ Sep, 2011 ] - in proceedings
   Luísa Lourenço

bulletAn Eclipse Plugin to Support Code Smells Detection
   [ Sep, 2011 ] - in proceedings
   Tiago Simões Pessoa, Fernando Brito e Abreu, Miguel Pessoa Monteiro, Sérgio Bryton

bulletModeling Approach Comparison Criteria for MODELS 2011 CMA Workshop
   [ Sep, 2011 ] - technical reports
   Geri George, Gunter Mussbacher, Betty Cheng, Ana Moreira, Robert France

bulletQuality in Use of DSLs: Current Evaluation Methods
   [ Sep, 2011 ] - in proceedings
   Ankica Barisic, Vasco Amaral, Miguel Goulão, Bruno Barroca

bulletMeasuring complexity and completeness of KAOS goal models
   [ Aug, 2011 ] - in proceedings
   Patrícia Espada, Miguel Goulão, João Araújo

bulletStreamlining scenario modeling with Model-Driven Development: A case study
   [ Aug, 2011 ] - in proceedings
   Miguel Goulão, Ana Moreira, João Araújo, João Santos

bulletTowards a Unified Goal-Oriented Language
   [ Jul, 2011 ] - in proceedings
   Vasco Amaral, João Araújo

bulletL-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory
   [ Jul, 2011 ] - in proceedings
   Paulo Moura, Artur Miguel Dias

bulletDependent Session Types via Intuitionistic Linear Type Theory
   [ Jul, 2011 ] - in proceedings
   Bernardo Toninho, Luis Caires, Frank Pfenning

bulletAspect-Oriented Model Development at Different Levels of Abstraction
   [ Jun, 2011 ] - in proceedings
   Mauricio Alférez, Nuno Amálio, Selim Ciraci, Franck Fleurey, Jörg Kienzle, Jacques Klein, Max E. Kramer, Sébastien Mosser, Gunter Mussbacher, Ella E. Roubtsova, Gefei Zhang

bulletAdaptable Processes (Extended Abstract)
   [ Jun, 2011 ] - in proceedings
   Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro

bulletUpdates on Voronoi Diagrams
   [ Jun, 2011 ] - in proceedings
   João Carlos de Brito Dinis, Margarida Mamede

bulletTrajectory Data Similarity with Metric Data Structures
   [ Apr, 2011 ] - in proceedings
   Fábio Afonso, Fernanda Barbosa, Armanda Rodrigues

bulletType-based Access Control in Data-Centric Systems
   [ Apr, 2011 ] - in proceedings
   Luis Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão

bulletSteps on the Road to Component Evolvability
   [ Apr, 2011 ] - in proceedings
   Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro

bulletAspect-Oriented Analysis for Software Product Lines Requirements Engineering
   [ Mar, 2011 ] - in proceedings
   Patrícia Varela, João Araújo, Isabel Sofia Brito, Ana Moreira

bulletRepresenting a Bilingual Lexicon with Suffix Trees
   [ Mar, 2011 ] - in proceedings
   Jorge Costa, Luís Gomes, Gabriel Pereira Lopes, Luís Russo

prev   |   4  5  6  7  8  9  10  11  12   |   next