Relatório de Actividades na FCTUC

Transcrição

Relatório de Actividades
na FCTUC
2003-2008
Paulo Jorge Pimenta Marques Relatório de actividades de Paulo Jorge Pimenta Marques, Professor no Departamento de Engenharia Informática da Faculdade de Ciências e Tecnologia da Universidade de Coimbra, com vista a dar cumprimento ao estipulado no Art. 25, Nº2, do Estatuto da Carreira Docente Universitária, referente à nomeação definitiva de professores auxiliares. Resumo Executivo
Paulo Marques é Professor Auxiliar no Departamento de Engenharia Informática da Universidade de Coimbra e Adjunct Associate Teaching Professor pela Universidade de Carnegie Mellon nos Estados Unidos. É coordenador do Professional Master of Software Engineering, curso oferecido conjuntamente pela Universidade de Coimbra e a Universidade de Carnegie Mellon, visando a formação avançada em Engenharia de Software de profissionais na indústria. Desenvolve a sua actividade de investigação no Grupo de Engenharia de Software e Sistemas, parte do Centro de Informática e Sistemas da Universidade de Coimbra. É consultor regular da Agência Espacial Europeia, com a qual desenvolve uma série de actividades de Investigação e Desenvolvimento. Tendo terminado o Doutoramento em Engenharia Informática na Universidade de Coimbra em Novembro de 2003, foi promovido a Professor Auxiliar em Abril de 2004. Durante os últimos cinco anos desenvolveu um conjunto alargado de actividades na faculdade, tanto a nível de ensino como investigação, passando também por uma forte componente de gestão universitária e ligação à indústria. Como docente, salienta‐se o facto de nos últimos cinco anos ter leccionado 10 disciplinas distintas, tanto a nível de formação graduada como pós‐graduada em Engenharia Informática. A disciplina de Tecnologia de Computadores foi inteiramente reformulada por si, adequando‐a às necessidades tecnológicas do mundo actual; a disciplina de Integração de Sistemas foi proposta e desenvolvida por si, tendo uma enorme aceitação por parte dos alunos e o reconhecimento das empresas que os contratam. Durante o período mencionado, orientou com sucesso uma tese de mestrado em formato pré‐bolonha e 12 projectos de final‐de‐curso/teses de mestrado pós‐Bolonha. É actualmente orientador de 4 alunos de doutoramento, 3 alunos de mestrado, a realizar tese científica, e 2 alunos de mestrado em regime de estágio em empresa. Participou em mais de 20 júris de dissertação/estágio (formatos pré‐ e pós‐Bolonha). Tendo um forte empenho no ensino, na partilha de conhecimento e internacionalização, lecciona frequentemente em outras universidades. Desde 2004 é professor convidado pelo Instituto Superior de Tecnologia de Moçambique, onde lecciona anualmente, em regime intensivo, a disciplina de Sistemas Distribuídos. Em 2005 participou no programa Erasmus‐2, tendo leccionado Computação de Alto Desempenho em Ljubljana, na Eslovénia. Participou em 2006 no Programa de Cooperação com Timor‐Leste onde, em Díli, leccionou Sistemas Operativos e acompanhou a realização de projectos de licenciatura. Em 2007 foi professor convidado em Carnegie Mellon, Estados Unidos, tendo leccionado vários módulos de disciplinas a nível pós‐graduado e colaborando na orientação de vários alunos de mestrado. A nível de investigação, as suas actividades centram‐se essencialmente na área de Engenharia de Software, em particular, em ambientes de execução de código, linguagens de programação e processamento distribuído. Na sua actividade existe uma forte preocupação de ligação à indústria e ao mundo real. Desde 2004 liderou 9 projectos de investigação internacionais sob contracto com entidades como a Agência Espacial Europeia, Microsoft Research e Agência da Inovação, correspondendo a um financiamento total de 339k€. É co‐autor de 1 capítulo de livro, 5 artigos de revista (científicas e de especialidade), 20 artigos em conferências internacionais (com referee), e 10 outras publicações (extended abstracts). Dessas publicações resultaram 82 citações conhecidas. É de realçar que o seu trabalho possui um impacto real, estando uma parte substancial dos resultados a serem utilizados em ambiente de exploração no European Space Operations Center, em Darmstadt, na Alemanha. Nos últimos 5 anos foi ainda revisor de 17 conferências, duas revistas e um livro, tendo sido também Publication Chair da 6th European Dependable Computing Conference (EDCC‐6). Foi ainda responsável pela instalação e gestão do primeiro cluster de computação paralela do Centro de Informática e Sistemas da Universidade de Coimbra, que administrou de 2001 a 2007. ii Em termos de gestão universitária, logo após o seu doutoramento, esteve sempre activamente ligado à administração académica e pedagógica de cursos. Foi membro da Comissão Pedagógica da Licenciatura em Engenharia Informática em 2004 e 2005. Dessa actividade salienta‐se a coordenação do “Grupo de Fundamentos”, encarregue de definir a estrutura e plano curricular da Licenciatura em Engenharia Informática, formato de Bolonha, assim como a reestruturação e regulamentação do novo formato de Estágio/Dissertação. Foi coordenador do Mestrado em Engenharia Informática em 2006 e 2007. Dessa actividade salientam‐se as acções de coordenação e esclarecimento necessárias para a transição dos cursos do departamento do formato pré‐Bolonha para o formato Bolonha, o que permitiu uma suave transição dos cerca de 800 alunos do departamento para este novo modelo. Em 2007 assumiu a coordenação do Professional Master of Software Engineering, cargo que ainda desempenha. Sendo um grau dual com a Universidade de Carnegie Mellon, aceitando apenas profissionais na indústria com cerca de 5‐10 anos de experiência, salienta‐se o enorme sucesso e visibilidade que a formação tem tido. Tal deve‐se essencialmente aos esforços de promoção realizados, assim como o ter‐se assegurado a implementação do curso com a qualidade necessária, o que grande prestígio tem trazido à Universidade de Coimbra. Em particular, é de mencionar o recrutamento a nível empresarial, em que empresas como a Novabase, Portugal Telecom e Critical‐
Software, entre outras, estão a enviar os seus profissionais, durante 16 meses, para realizar o mestrado a tempo inteiro. Isto foi resultado de mais de 30 visitas a empresas e inúmeras apresentações públicas e seminários realizados. É ainda de salientar o estabelecimento de um programa de afiliados industriais em que, actualmente, 9 empresas extremamente relevantes na indústria de software nacional e internacional se comprometem à partida a financiar integralmente os estudos de candidatos admitidos, tanto em Portugal como nos Estados Unidos, contratando‐os no final. Este programa representa um compromisso correspondente a cerca de 375k€/ano por parte dos parceiros industriais, sendo este nível de investimento em formação avançada por parte de empresas inédito em Portugal e mesmo pouco comum além‐fronteiras. Em termos de actividades de ligação à indústria, é de realçar que passou um semestre em 2004 na Agência Espacial Europeia – European Space Operations Center, na Alemanha, onde desempenhou funções de Consultor Técnico. Nesse período esteve envolvido na definição do standard Simulation Model Portability 2 (SMP2), para simulação de sistemas em tempo real, agora amplamente utilizado na indústria aeronáutica e aeroespacial. Foi também responsável pela análise da evolução dos futuros emuladores de processadores da ESA, assim como da componente de distribuição de processamento da infra‐estrutura SIMSAT. Todas essas actividades permitiram‐lhe assegurar um conjunto de contratos de R&D aquando do seu regresso à FCTUC. Ainda neste âmbito, mais tarde, desempenhou actividades de consultadoria e R&D para a empresa SciSys, em Inglaterra e também, frequentemente, para a Critical‐Software S.A., mantendo simultaneamente uma forte ligação à Agência Espacial Europeia. É também de mencionar que de 2001 a 2004 foi sócio fundador da empresa WIT‐Software Lda., uma spin‐off tecnológica do seu grupo de investigação, com clientes como Vodafone, Ericsson, AT&T Wireless, T‐Mobile, Verizon, entre outros. É ainda de realçar ter sido convidado a ser Perito Técnico na auditoria realizada ao processo de colocação de docentes do ensino secundário, no ano lectivo 2004/2005, processo esse amplamente problemático e mediático. Motivado pela sua paixão pelo conhecimento e ensino, é também autor de um livro de programação e desenvolvimento de software em C# e .NET, tendo este tido duas grandes revisões, correspondendo a títulos e ISBN diferentes. A última grande revisão encontra‐se actualmente em impressão, prevendo‐se estar nas livrarias em Janeiro de 2009. No total estes livros representam 6 edições, tendo sido usados por milhares de pessoas para aprender a linguagem e plataforma. São actualmente os livros mais vendidos em língua portuguesa sobre este ambiente de programação. O segundo livro (C# 2.0) encontra‐se também editado no Brasil, tendo sido adaptado para esse mercado. iii Índice
Resumo Executivo ................................................................................................................................... ii Índice ...................................................................................................................................................... iv 1. Resumo Curricular ........................................................................................................................... 1 1.1. Dados Pessoais ........................................................................................................................ 1 1.2. Formação Académica .............................................................................................................. 1 1.3. Situação Profissional ................................................................................................................ 1 1.4. Distinções ................................................................................................................................ 1 2. Actividade Pedagógica .................................................................................................................... 2 2.1. Actividade Lectiva .................................................................................................................... 2 2.1.1. Actividade Lectiva na Universidade de Coimbra ...................................................... 2 2.1.2. Actividade Lectiva fora da Universidade de Coimbra .............................................. 5 2.2. Orientação de Dissertações e Estágios .................................................................................... 6 2.2.1. Orientações de Doutoramento ................................................................................ 6 2.2.2. Orientações de Mestrado Pré‐Bolonha ................................................................... 7 2.2.3. Orientações de Mestrado Pós‐Bolonha ................................................................... 7 2.2.4. Orientações de Projectos de Final de Curso Pré‐Bolonha ....................................... 7 2.3. Produção de Materiais Didácticos ........................................................................................... 8 3. Actividade Científica ..................................................................................................................... 10 3.1. Projectos de Investigação ...................................................................................................... 10 3.2. Publicações ............................................................................................................................ 13 3.2.1. Capítulos de Livros ................................................................................................. 13 3.2.2. Publicações em Revistas Científicas e de Especialidade ........................................ 13 3.2.3. Publicações em Conferências com Arbitragem ..................................................... 13 3.2.4. Outras Publicações ................................................................................................. 15 3.3. Serviço Científico ................................................................................................................... 15 3.4. Orientação de Trabalhos de Dissertação Científica ............................................................... 16 3.5. Participação em Júris ............................................................................................................. 16 3.6. Citações ................................................................................................................................. 16 4. Actividade de Gestão Universitária ............................................................................................... 17 4.1. Comissão Pedagógica da Licenciatura em Engenharia Informática ...................................... 17 4.2. Coordenação do Mestrado em Engenharia Informática ....................................................... 17 4.3. Coordenação do Professional Master of Software Engineering ............................................ 18 5. Actividade de Extensão Universitária ........................................................................................... 19 5.1. Dinamização do Tecido Empresarial ...................................................................................... 19 5.2. Consultadoria Especializada .................................................................................................. 19 5.3. Formação ............................................................................................................................... 20 6. Conclusão ...................................................................................................................................... 21 Anexo – Citações de Artigos Publicados ............................................................................................... 22 iv 1. Resumo Curricular
1.1. Dados Pessoais
Nome ............................................................ Paulo Jorge Pimenta Marques Data de Nascimento ..................................... 12 de Julho de 1975 Nacionalidade .............................................. Portuguesa Estado Civil ................................................... Solteiro Morada ......................................................... R. Gomes Freire, 6‐4C, 3000‐204 Coimbra Telefone ....................................................... 914144686 Email ............................................................. [email protected] Página web ................................................... http://pmarques.dei.uc.pt 1.2. Formação Académica
Mar/1999 ‐ Nov/2003 | Doutoramento em Engenharia Informática, Universidade de Coimbra Dissertação .......................... “Component‐Based Development of Mobile Agent Systems” Orientadores ....................... Prof. João Gabriel Silva – Universidade de Coimbra Prof. Anand Tripathi – University of Minnesota, USA Classificação ......................... Aprovado com Distinção e Louvor Set/1993 ‐ Jul/1998 | Licenciatura em Engenharia Informática, Universidade de Coimbra Classificação Final ................ Muito Bom com Distinção (18 valores) Dissertação .......................... “Arbitrary Tiling of Multidimensional Discrete Data Cubes” Orientador ........................... Prof. Paula Furtado – FORWISS, Alemanha Local de Realização .............. Bavarian Research Center for Knowledge‐Based Systems, Alemanha Classificação ......................... 20 valores 1.3. Situação Profissional
Professor Auxiliar | Departamento de Engenharia Informática da Universidade de Coimbra
Coordenador do Professional Master Program in Software Engineering, com a Universidade de Carnegie Mellon, nos Estados Unidos Adjuct Associate Teaching Professor | Carnegie Mellon University, EUA 1.4. Distinções
2004 | Microsoft Research Grant SSCLI Award, Microsoft Corporation 2002 | Microsoft Research Grant Rotor Award, Microsoft Corporation 1999 | Prémio Henrique Teixeira Bastos para Excelência Académica, FCTUC 1998 | Proctor & Gamble European Management Systems Award, Proctor & Gamble Corporation 1 2. Actividade Pedagógica
Esta secção resume as actividades pedagógicas realizadas durante o período em avaliação. Essas actividades incluem leccionar disciplinas a nível de graduação e pós‐graduação (Portugal e estrangeiro), acompanhamento e orientação de alunos, assim como a produção de materiais didácticos. É de mencionar que embora este relatório se refira apenas ao período 2003‐2008, existe uma actividade muito mais extensa anterior. Paulo Marques foi Monitor no Departamento de Engenharia Informática de 1998 a 2001 e Assistente Estagiário de 2001 a 2004. 2.1. Actividade Lectiva
2.1.1. Actividade Lectiva na Universidade de Coimbra
A tabela seguinte mostra as disciplinas leccionadas na Universidade de Coimbra durante o período 2003‐2008, os cursos a que foram leccionadas, as responsabilidades assumidas nessas disciplinas, assim como o número de alunos associados. Relativamente ao número de alunos, indica‐se apenas o número de alunos pelo qual era directamente responsável (e.g. contabilizando apenas as turmas práticas associadas ou contabilizando todos os alunos no caso das aulas teóricas). Tipicamente as cadeiras possuíam bastantes mais alunos inscritos. Ano 2008/2009 2007/2008 2006/2007 2005/2006 2004/2005 2003/2004 Disciplina Integração de Sistemas Oficina de Design Software Development Studio I Software Development Studio II Software Development Studio III Software Development Studio IV Integração de Sistemas Software Engineering Bootcamp Software Development Studio I Software Development Studio II Software Development Studio III Sistemas Operativos Integração de Sistemas Tecnologia de Computadores Integração de Sistemas Tecnologia de Computadores Arquitectura de Computadores II Tecnologia de Computadores Sistemas Operativos Curso MEI, LCM MDM MSE MSE MSE MSE MEI, LCM MSE MSE MSE MSE LEI MEI, LCM LEI, LCM LEI, LCM LEI, LCM LEI LEI, LCM LEI, LCM Responsabilidade AT, AP,(*) AP AP AP AP AP AT, AP,(*) AT AP AP AP AT AT, AP,(*) AT, AP AT, AP,(*) AT, AP AT AT, AP,(*) AP Nº Alunos 82 20 10 10 10 4 92 4 4 4 4 246 37 176 28 161 105 185 50 Tabela 1 – Disciplinas Leccionadas no período 2003‐2008 [LEI=”Lic. em Eng. Informática”, MEI=”Mestrado em Eng. Informática”, MDM=”Mestrado em Design e Multimédia”, LCM=”Lic. em Comunicações e Multimédia”, AT=”Aula Teórica/Regência”, AP=”Aulas Práticas”, (*)=”Disciplina leccionada exclusivamente pelo docente, sem apoio extra”] Deste conjunto de disciplinas existem duas que importa realçar de forma especial: Tecnologia de Computadores e Integração de Sistemas. 2 Tecnologia de Computadores Tecnologia de Computadores é uma disciplina obrigatória para os alunos do primeiro ano da Licenciatura em Engenharia Informática (LEI). Anteriormente a disciplina era também obrigatória para os alunos da Licenciatura em Comunicações e Multimédia (LCM). No ano lectivo de 2003/2004 houve uma decisão por parte da Comissão Científica do Departamento de reformular completamente a disciplina. A disciplina foi atribuída a Paulo Marques, a quem foi pedido que a redefinisse partindo de um conjunto de objectivos a cumprir. Nesse sentido, a nível da componente teórica, passou a dar‐se uma visão global de toda a informática. Começando com tópicos como organização física dos computadores e sistemas de numeração, é feita uma progressão rápida para tópicos como o funcionamento de computadores em rede, bases‐de‐dados, paradigmas de programação, entre outras. O objectivo é que um aluno no final do primeiro ano (primeiro semestre) fique com uma visão global de todo o corpo da informática. Por outro lado, a nível da componente prática, foi objectivo dar aos alunos uma visão clara do funcionamento interno de uma máquina. Nesse sentido, o docente introduziu tecnologia moderna, como FPGAs, permitindo começar com trabalhos muitos simples (e.g. sistemas de votação) e terminar com trabalhos reais e interessantes (e.g. gerador de sinais VGA, máquina de escrever electrónica, processador). Globalmente o resultado desta re‐estruturação revelou‐se extremamente positivo, sendo uma disciplina pela qual os alunos passaram a mostrar grande interesse e dedicação 1 . Integração de Sistemas Integração de Sistemas é uma disciplina avançada do Mestrado em Engenharia Informática (MEI) que aborda os problemas e soluções que decorrem da interligação de sistemas de informação em larga escala. A disciplina surgiu por proposta do docente que, tendo um contacto muito próximo com a indústria, reconheceu a profunda necessidade de formar profissionais qualificados nesta área. A disciplina é ensinada integralmente pelo docente – tanto a componente teórica como prática. Esta disciplina evoluiu de uma forma explosiva. Sendo frequentada por um pequeno número de alunos da primeira vez que foi oferecida em 2005/2006 (28 alunos), tornou‐se numa das disciplinas mais populares do mestrado, sendo actualmente frequentada por cerca de 80‐90 alunos por ano. A Figura 1 mostra esta evolução. Sendo uma disciplina opcional, que os alunos escolhem livremente, a sua popularidade é significativa 2 . Praticamente todos os alunos que realizam o mestrado escolhem frequentá‐la. Alunos Inscritos em Integração de Sistemas
100
90
80
70
60
50
40
30
20
10
0
2005/2006
2006/2007
2007/2008
2008/2009
Figura 1 – Evolução do número de alunos que frequentam Integração de Sistemas (2005‐2009) 1
Infelizmente, apenas é possível afirmá‐lo qualitativamente, pois não existem resultados de inquéritos pedagógicos de quando Paulo Marques a leccionava. 2
É certo que existe uma correlação positiva entre o aumento de alunos na disciplina e o aumento do número de alunos a frequentar o Mestrado em Engenharia Informática. No entanto, o efeito aqui mostrado não é simplesmente explicável pelo aumento do número de alunos que, percentualmente, foi muito menor. 3 Em termos dos inquéritos pedagógicos ao funcionamento da cadeira, infelizmente, é impossível apresentar resultados estatisticamente significativos. Devido a alguns problemas na forma como os inquéritos são tipicamente conduzidos no departamento, o número de alunos que normalmente responde aos mesmos é bastante reduzido (tipicamente menor que 10) o que faz com que a amostra seja bastante pequena face à população 3 . Com as devidas ressalvas relativas à representatividade dos resultados, o gráfico seguinte mostra o resumo de um inquérito recente (2006/2007). Figura 2 – Resultado do Inquérito Pedagógico sobre Integração de Sistemas (2006/2007) Talvez mais significativo e relevante seja o testemunho deixado pelos alunos sobre a disciplina, assim como o feedback obtido a nível empresarial. Por um lado, todos os anos existem diversos emails de alunos a mencionar a relevância da cadeira para o facto de terem sido contratados. Por outro lado, empresas enviam emails pedindo autorização para usar os materiais da cadeira ou tentando recrutar alunos. Abaixo mostra‐se alguns testemunhos deste fenómeno. Figura 3 – Testemunho de um ex‐aluno de Integração de Sistemas Igualmente, existem testemunhos de empresas. Figura 4 – Testemunho de uma empresa que procura recrutar um aluno com conhecimentos na área 3
Note‐se que isto é um problema departamental e não um problema da cadeira. 4 Figura 5 – Testemunho de uma empresa que viu a cadeira na web e necessita de profissionais qualificados Globalmente, pode dizer‐se que Integração de Sistemas é uma das cadeiras mais populares do Mestrado em Engenharia Informática, que os alunos estão tipicamente motivados e interessados em frequentar, importante de um ponto de vista curricular, e também cujo mérito é reconhecido por parte do mercado empresarial. 2.1.2. Actividade Lectiva fora da Universidade de Coimbra
Ao longo de toda a sua actividade pedagógica e abordagem ao ensino, uma convicção profunda, sempre presente é o acreditar na partilha do conhecimento, internacionalização, e o explicitamente expor‐se ao maior número de experiências pedagógicas possíveis. Só assim se consegue verdadeiramente compreender o mundo e as diferentes realidades que hoje existem. Essa convicção levou a que procurasse ensinar em locais tão díspares como Moçambique e Timor‐Leste, em condições bastante difíceis, e Carnegie Mellon – uma das universidades de topo a nível mundial, onde as condições são radicalmente melhores. De seguida descreve‐se brevemente essas actividades lectivas. 2004‐2008 | Instituto Superior de Tecnologia de Moçambique, Maputo, Moçambique
Desde 2004 colabora com o Instituto Superior de Tecnologia de Moçambique no âmbito de um acordo assinado entre a Reitoria da Universidade de Coimbra e esta instituição. Assim, uma vez por ano e durante duas semanas (entre semestres na UC), desloca‐se a Moçambique onde lecciona a disciplina de Sistemas Distribuídos de forma intensiva (4h/dia). Durante esse período dá também apoio e formação ao(s) monitor(es) que leccionarão a componente prática após o seu regresso. 2005 | Universidade de Ljubljana, Ljubljana, Eslovénia
Em Maio de 2005 leccionou um curso intensivo de Computação de Alto Desempenho na Universidade de Ljubljana, na Eslovénia. Este curso destinava‐se a alunos pós‐graduados (Mestrado/Doutoramento) tendo também a participação de docentes e investigadores. Esta actividade decorreu no âmbito do programa Erasmus‐2, sob convite do Prof. Andrej Dobnikar. 5 2006 | Universidade Nacional de Timor‐Leste, Díli, Timor‐Leste
De Janeiro a Março de 2006 participou no Programa CRUP/FUP de Cooperação com Timor‐Leste. Este programa procura dar resposta às necessidades identificadas pelo Governo Timorense em áreas consideradas prioritárias para o desenvolvimento do país, nomeadamente a nível do ensino. Assim, durante o 2º trimestre, leccionou a disciplina de Sistemas Operativos a alunos do 2º, 3º e 4º ano da Licenciatura em Engenharia Informática da Universidade Nacional de Timor‐Leste. Acompanhou ainda a realização de dois projectos de licenciatura, tendo participado nos respectivos júris. 2007 | Universidade de Carnegie Mellon, Pittsburgh, Estados Unidos
De Janeiro a Junho de 2007 foi professor convidado na Universidade de Carnegie Mellon, nos Estados Unidos. A sua visita integrou‐se no programa CMU|Portugal que visa trazer para as universidades portuguesas um conjunto de boas práticas a nível de ensino e investigação, assim como o estabelecimento de cursos duais entre a CMU e várias instituições, na qual se inclui a Universidade de Coimbra. Durante o período que passou na CMU foi formalmente certificado e considerado apto para ensinar as disciplinas de “Analysis of Software Artifacts”, “Risk Management for Software Intensive Projects”, “Software Engineering Bootcamp” e “Software Development Studio II”. Durante esse período teve de preparar e leccionar módulos em todas as cadeiras referidas, assim como preparar novos trabalhos e realizar a sua avaliação. Tal levou à sua posterior nomeação como Adjuct Associate Teaching Professor de CMU. Como é de observar, durante os últimos cinco anos teve um conjunto rico de experiências pedagógicas a nível internacional. Essas experiências permitiram‐lhe também enriquecer a forma como lecciona na Universidade de Coimbra e influenciar de forma significativa o modo como os alunos vêem o mundo e as oportunidades que podem explorar. 2.2. Orientação de Dissertações e Estágios
Durante os últimos cinco anos teve oportunidade de orientar inúmeros estudantes, tanto a nível de mestrado como doutoramento. É actualmente orientador de 4 teses de doutoramento, 3 teses de mestrado pós‐bolonha (científicas) e 2 dissertação/estágio em ambiente de empresa. Foi orientador de uma tese de mestrado pré‐Bolonha e de 12 dissertações/estágio em regime pré‐Bolonha e pós‐Bolonha. 2.2.1. Orientações de Doutoramento
2005‐… | Bruno Cabral, “Transactional Memory for Exception Handling”
Orientação de Tese, estando o trabalho em fase de conclusão. Esta tese trata o tópico de aplicação de técnicas de memória transaccional para a gestão de excepções de código. 2007‐… | Sven Stork, “Massive Concurrency for OOP Languages”
Co‐orientação com o Prof. Jonathan Aldrich (CMU). Esta tese visa desenvolver técnicas que permitam às linguagens de programação orientadas‐a‐objectos modernas tirar partido de todo o poder computacional existente nos processadores actuais. 6 2007‐… | Marcelo Mendes, “Benchmarking Complex Event Processing Systems”
Co‐orientação com o Prof. Pedro Bizarro (UC). Esta tese visa desenvolver técnicas para benchmarking de sistemas de processamento complexo de eventos. Em particular, pretende‐se atacar problemas como medição de adaptabilidade e complexidade. 2008‐… | David Alves, “Building Scalable Event Processing Systems”
Co‐orientação com o Prof. Pedro Bizarro (UC). Esta tese visa desenvolver técnicas que possibilitem a existência de sistemas de processamento complexo de eventos massivamente escaláveis. 2.2.2. Orientações de Mestrado Pré-Bolonha
2002‐2005 | Bruno Cabral, “Instrumentação de Código na Plataforma .NET”
Orientação de Tese. O trabalho visou desenvolver a primeira biblioteca de instrumentação de código para a plataforma .NET. Tratou‐se de um trabalho extremamente bem sucedido, que levou à criação de um middleware utilizado a nível mundial. Resultou também na publicação de um artigo em revista e de um artigo em conferência com referee. 2.2.3. Orientações de Mestrado Pós-Bolonha
Neste momento, é orientador de três teses de mestrado propostas ou co‐propostas por si: 2008‐… | Luís Oliveira, “Parallel Garbage Collection on Multi‐Core Machines” (orientação) 2008‐… | Luís Pureza, “StreamPy: A Stream Processing Language” (co‐orientação) 2008‐… | Rafael Marmelo, “Event Processing Engine and Crawler” (co‐orientação) É ainda co‐orientador de dois estágios/dissertações em ambiente de empresa: 2008‐… | Hugo Matos, “SMOS L1PP 3D Visualization Tool” (co‐orientação c/ empresa) 2008‐… | Jorge Matos, “NGIN Bus” (co‐orientação c/ empresa) Foi ainda co‐orientador de 3 dissertações/estágio em ambiente de empresa: 2007‐2008 | Tiago Neves, “Projecto, desenvolvimento e instalação de portais usando um sistema de gestão de conteúdos (CMS) com base em código livre” (co‐orientação c/ empresa) 2007‐2008 | Virgílio Esteves, “Data Abstraction Layer using High Performanrce Database Engines” (co‐orientação c/ empresa) 2006‐2007 | Miguel Alves, “Sistema de Apoio à Avaliação da Qualidade Biológica da Água dos Rios” (co‐orientação c/ empresa) 2.2.4. Orientações de Projectos de Final de Curso Pré-Bolonha
Entre 2004 e 2006 orientou nove projectos de final de curso em ambiente de empresa: 2005‐2006 | Marco Ferreira, “Next generation Graphical User Interface (GUI) framework for Spacecraft and Satellite Control Systems” (co‐orientação c/ empresa) 7 2005‐2006 | Rui Lousã, “Estudo e Implementação de uma Solução Baseada na Tecnologia Rembo” (co‐orientação c/ empresa) 2005‐2006 | Bruno Gonçalves, “Projecto e implementação de um ambiente computacional distribuído para processamento de algoritmos heterogéneos” (co‐orientação c/ empresa) 2005‐2006 | Bernardo Patrão, “Avaliação e Extensão de um Sistema Operativo” (co‐orientação c/ empresa) 2005‐2006 | Nuno Subtil, “Implementation of Dispersion Rendering Capabilities for the Advanced Rendering Toolkit” (co‐orientação c/ empresa) 2004‐2005 | Mónica Tavares, “Expansão da Intranet da Critical” (co‐orientação c/ empresa) 2004‐2005 | João Santos, “Mobile Check‐Status” (co‐orientação c/ empresa) 2004‐2005 | Carlos Neves, “Mobile Forms Systems” (co‐orientação c/ empresa) 2004‐2005 | José Feiteirinha, “Emulador para o Processador LEON2” (orientação, projecto no DEI) 2.3. Produção de Materiais Didácticos
Durante o período em análise foram produzidos os seguintes materiais didácticos. Livros Escreveu, como primeiro autor, um livro de programação na linguagem C# para a plataforma .NET. Este livro teve duas grandes reedições, revistas e aumentadas, sempre que a plataforma teve uma evolução. As alterações foram suficientemente significativas para que cada uma tenha sido editada com um nome e ISBN diferente. Actualmente é o livro mais popular em Portugal sobre esta tecnologia. Tal levou à sua edição também no mercado brasileiro, tendo o livro sido devidamente adaptado à língua e mercado desse país. O terceiro livro encontra‐se neste momento em fase de impressão, prevendo‐se estar nas livrarias em Janeiro de 2009. No total o livro teve 6 edições, tendo sido lido por milhares de pessoas. C# ‐ 3.5 Paulo Marques, Hernâni Pedroso, Ricardo Figueira FCA – Editora de Informática, 2009 C# ‐ 2.0 Paulo Marques, Hernâni Pedroso FCA – Editora de Informática, 2005 ISBN 972‐722‐508‐X (4 edições) 8 C# ‐ 2.0 (Edição Brasileira)
Paulo Marques, Hernâni Pedroso LTC Editora, 2007 ISBN 978‐85‐216‐1557‐6 C# ‐ Curso Completo
Paulo Marques, Hernâni Pedroso FCA – Editora de Informática, 2002 ISBN 972‐722‐289‐7 Apontamentos de Disciplinas No período em análise produziu mais de 2200 slides únicos, correspondendo a cerca de 568 páginas de apontamentos. Estes apontamentos correspondem às seguintes disciplinas e cursos:

“Apontamentos de Integração de Sistemas” (autor – 533 slides: 133 pgs.) “Apontamentos de Sistemas Operativos” (co‐autor – 440 slides: 110 pgs.) “Apontamentos Práticos de Sistemas Operativos” (autor – 243 slides: 61 pgs.) “Apontamentos de Tecnologia de Computadores” (autor – 392 slides: 98 pgs.) “Apontamentos de Arquitectura de Computadores II” (autor – 374 slides: 94 pgs.) “Arquitectura de Sistemas Paralelos e Distribuídos” (autor – 156 slides: 39 pgs.) “Programação em C++ e STL” (autor – 53 slides: 14 pgs.) “Introduction to Security Analysis, Testing and Threat Modeling” (autor – 81 slides: 21 pgs.) É de notar que alguns destes materiais foram evoluindo ao longo dos anos, tendo diversas edições. Finalmente, é de mencionar que em todas as disciplinas em que leccionou componente prática preparou trabalhos e apontamentos. Em particular:

Integração de Sistemas: 4 projectos por ano de média escala, com tutoriais de apoio sobre componentes específicas da matéria. Tal corresponde a um total de 16 projectos. Tecnologia de Computadores: 7 projectos práticos que foram revistos ao longo dos anos. A lista completa das disciplinas associadas a estes trabalhos pode ser encontrada na Tabela 1 (pg. 2). 9 3. Actividade Científica
De seguida descrevem‐se as actividades a nível de investigação e projectos de R&D desenvolvidos nos últimos 5 anos. As actividades centraram‐se essencialmente na área de Engenharia de Software, em particular, em ambientes de execução de código, linguagens de programação e processamento distribuído. Na sua actividade existe uma forte preocupação de ligação à indústria e ao mundo real, com aplicações práticas actualmente em exploração. Desde 2004 liderou 9 projectos de investigação sob contracto com entidades como a Agência Espacial Europeia, Microsoft Research e Agência da Inovação, correspondendo a um financiamento total de 339k€. É co‐autor de 1 capítulo de livro, 5 artigos de revista (científicas e de especialidade), 20 artigos em conferências internacionais (com referee), e 10 outras publicações (extended abstracts). Dessas publicações resultaram 82 citações conhecidas. Foi ainda revisor de 17 conferências, duas revistas e um livro nos últimos 5 anos. Foi ainda Publication Chair da 6th European Dependable Computing Conference (EDCC‐6). 3.1. Projectos de Investigação
Foi líder dos seguintes projectos de investigação, de cujas propostas foi autor, e para as quais assegurou a contratação do necessário financiamento. 2008‐… | “VIRTU – Virtualization and Management of Application Appliances”

Financiamento: 25.000€ Fonte de Financiamento: Evolve Space Solutions Lda. / ADI Objectivo: Projecto em fase de arranque cujo objectivo é o desenvolvimento de tecnologia que permita a configuração e reconfiguração de máquinas virtuais independentemente do fornecedor das mesmas. Este projecto é o resultado último de dois outros projectos (“LeonVM” e “Consolidation of Ground Segment using Virtual Machines”), ambos realizados para a ESA, com resultados a serem utilizados actualmente em produção. A empresa Evolve posiciona‐se nesta equação como um parceiro que tenta levar as soluções encontradas para o mercado global. Impacto: Dado o projecto estar em fase de arranque ainda não existe impacto visível. No entanto, espera‐se que o consórcio consiga desenvolver um produto tecnológico competitivo a nível mundial. Duas entidades que pretendem utilizar os resultados são a ESA e a HP. 2008‐… | “BIRF‐MO – BIRF in Mission Operations”

Financiamento: 50.000€ Fonte de Financiamento: Agencia Espacial Europeia (ESA) Objectivo: Após o sucesso do anterior projecto BIRF, a Agência Espacial Europeia pretende aplicar o mesmo tipo de conceitos e soluções à operação de missões espaciais. Neste projecto irá desenvolver‐se tecnologia que permita aos controladores de missão acederem de forma expedita e integrada a dados como: telemetria e telecomandos enviados para as sondas; telemetria e telecomandos enviados para as estações de terra; dados de planeamento de missão (temporizações e eventos de operações); dinâmica de voo (atitude, informação de orbitas, previsões, etc.) Impacto: Dado o projecto estar em fase de arranque ainda não existe impacto visível. No entanto, espera‐se que a tecnologia desenvolvida seja usada operacionalmente no European Space Operations Center, permitindo aos gestores de missão acesso imediato a informação que hoje em dia não possuem, o que lhes permitirá gerir as operações de forma mais segura e eficiente. 10 2008 | “QERL: Application of High‐Performance LEON Emulator for SVF”

Financiamento: 20.000€ Fonte de Financiamento: SciSys UK / Agencia Espacial Europeia (ESA) Objectivo: Projecto que visou adaptar e melhorar a máquina virtual QEMU de forma a ser possível simular o processador LEON2 em tempo real. Este processador será no futuro usando nas sondas e satélites da ESA. No anterior projecto LeonVM foram desenvolvidas as tecnologias necessárias para o conseguir fazer. Este projecto destinou‐se a maturar a tecnologia já criada, adaptando‐a a uma máquina virtual standard. Impacto: Prevê‐se que a máquina virtual QEMU passe a ser utilizada para validação de software e treino de operadores em todas as missões que utilizem o processador LEON2. Anteriormente apenas era possível fazê‐lo usando hardware dedicado, o que era extremamente dispendioso e, em alguns casos, impossível. Os resultados estão a ser aplicados tanto no European Space Research and Technology Center (ESTEC), na Holanda, como no European Space Operations Center (ESOC), na Alemanha. 2008 | “BIRF: Business Intelligence Reporting Framework”

Financiamento: 70.368€ Fonte de Financiamento: Agencia Espacial Europeia (ESA) Objectivo: Desenvolver tecnologia que permita aos oficiais técnicos da ESA monitorizar em tempo real todas as actividades relacionadas com criação de software para planeamento de missões, seu desenvolvimento, implementação e controlo de qualidade. Impacto: O sistema desenvolvido permite aos oficiais da ESA um melhor controlo de todos os aspectos relacionados com desenvolvimento de software para missões. Neste âmbito, numa secção do European Space Operations Center, os novos contratos assinados com empresas externas já utilizam o sistema desenvolvido. Este projecto foi tão bem sucedido que levou ao projecto BIRF‐MO que visa aplicar os mesmos conceitos à operação de missões. Finalmente, espera‐se que venha a existir em 2009 um projecto de continuidade em que a tecnologia criada possa ser tornada num produto. 2007‐2008 | “SIMUAV: Simulation of Unmanned Autonomous Vehicles”

Financiamento: 6.640€ Fonte de Financiamento: Critical‐Software S.A. / Agência da Inovação Objectivo: Projecto de pequena dimensão que visou apoiar a Critical‐Software no desenvolvimento das componentes de computação distribuída de um simulador de aeronaves não tripuladas usando os standards SMP2 e HLA. Impacto: A empresa líder do consórcio possui actualmente um simulador de aeronaves não tripuladas que pode vender comercialmente. Este simulador é escalável, permitindo utilizar várias máquinas simultaneamente, e interage com outros simuladores comuns usando o standard HLA. 2006‐2008 | “Testing Object Orientation for Space Applications”

Financiamento: 20.509€ Fonte de Financiamento: Agencia Espacial Europeia (ESA) Objectivo: Este projecto visou analisar a viabilidade da utilização de código cujo desenvolvimento seja baseado em linguagens orientadas‐a‐objectos em missões espaciais. Em particular, como sub‐objectivo, pretendia‐se garantir que esse software fosse compatível com os procedimentos de teste e validação normalmente usados em ambientes críticos de espaço. Neste projecto a Critical‐Software S.A. era a empresa contratada principal, tendo a Universidade de Coimbra apenas responsabilidades na componente de metodologias. 11
Impacto: Este projecto permitiu mostrar que é possível desenvolver código usando o paradigma de orientação‐a‐objectos de forma compatível com as práticas tipicamente usadas na área do espaço. Tal permitirá, eventualmente, o uso desta tecnologia no espaço. 2006‐2007 | “Consolidation of Ground Segment Using Virtual Machines”

Financiamento: 75.000€ Fonte de Financiamento: Agencia Espacial Europeia (ESA) Objectivo: Projecto que visou estudar, prototipar e avaliar de que forma futuros centros de controlo de missões podem utilizar tecnologias de virtualização. Em particular, pretendeu‐se também medir até que ponto é seguro utilizar este tipo de tecnologias em ambientes críticos, como é o caso do controlo de missões espaciais. (Este projecto foi gerido pelo Prof. Pedro Bizarro, com o apoio remoto de Paulo Marques, que durante parte do projecto se encontrava na CMU.) Impacto: Como resultado deste projecto, a tecnologia de virtualização está agora a ser utilizada em ambientes de controlo de missão no European Space Operations Center (ESOC). Foram também criadas posições específicas no ESOC para pessoas que dão suporte ao uso da tecnologia. Praticamente todos os projectos da ESA são agora entregues e demonstrados em máquinas virtuais. Finalmente, a empresa Evolve decidiu criar um producto comercial baseado nos resultados deste projecto tendo obtido um financiamento de cerca de 200.000€ para o fazer. 2005‐2006 | “LeonVM: A High‐Performance Virtual Machine for the LEON2 Processor”

Financiamento: 35.000€ Fonte de Financiamento: Agencia Espacial Europeia (ESA) / Oristeba Lda. Objectivo: Este projecto visou provar que era possível emular o processador LEON2 em tempo real. Na altura em que o projecto foi realizado os emuladores mais rápidos do mundo apenas conseguiam obter 30DMIPS de performance. O processador real possuía uma performance de 100DMIPS. Isto representava um sério problema para a ESA pois inviabilizava qualquer tipo de treino de operadores de sondas e satélites que eventualmente usassem LEON2. O projecto desenvolveu a tecnologia necessária e provou que era possível obter performances de 156DMIPS em máquinas comuns. A empresa Oristeba Lda. contribuiu com o financiamento inicial que permitiu desenvolver o primeiro protótipo antes do contracto com a ESA. Impacto: Permitiu provar que era possível utilizar tecnologia de virtualização e tradução dinâmica de código para obter alta performance na emulação do LEON2. Abriu caminho na ESA para que fosse usado este tipo de abordagem em futuros emuladores, assim como o uso da tecnologia de virtualização em centros de controlo de missões. Foi ainda o precursor do projecto “Consolidation of Ground Segment Using Virtual Machines” e da linha de virtualização VIRTU, actualmente a ser desenvolvida pela Evolve Space Solutions. 2002‐2004 | “RAIL – Runtime Assembly Instrumentation Library”

Financiamento: 36.259€ Fonte de Financiamento: Microsoft Research Objectivo: Este projecto visou desenvolver técnicas de instrumentação dinâmica de código para o ambiente de execução .NET. Este projecto foi financiado duas vezes pela Microsoft Research numa chamada a projectos altamente competitiva a nível mundial. Impacto: Foi desenvolvida a primeira biblioteca de instrumentação de código para a plataforma .NET. Esta biblioteca veio a ser utilizada por milhares de utilizadores a nível mundial, havendo mais de 40 downloads/mês durante o seu desenvolvimento. Foi também a base de projectos famosos como AspectWeaver, NDepend, MbUnit e SetPoint. 12 3.2. Publicações
De seguida listam‐se as publicações de Paulo Marques, quer como autor ou co‐autor. Por uma questão de completude listam‐se todas as publicações, sendo colocadas a cinzento as que não se referem ao período sob avaliação. No caso da secção “Publicações em Conferências com Arbitragem” são também incluídos os artigos de workshops, uma vez que estes foram publicados em livro de conferência e também sujeitos a um processo de avaliação por pares. Note‐se que nesta secção não são incluídos os livros escritos, uma vez que são publicações didácticas e não científicas. A listagem de livros publicados encontra‐se na Secção 2.3, página 8. 3.2.1. Capítulos de Livros

P. Marques, L. Silva, "Component Agent Systems: Building a Mobile Agent Architecture That You Can Reuse", in Hong Lin (ed.): Architectural Design of Multi‐Agent Systems: Technologies and Techniques, IGI Global, ISBN 978‐1599041087, Maio 2007. 3.2.2. Publicações em Revistas Científicas e de Especialidade

B. Cabral, P. Sacramento, P. Marques, "The Hidden Truth Behind .NET’s Exception Handling Today", in IET Software Journal, Vol. 1(3), pp. 217‐314, IET, Dezembro 2007.
B. Cabral, P. Marques, L. Silva, "IL Code Instrumentation with RAIL", in .NET Developers Journal, Vol. 2(1), pp. 34‐35, SYS‐CON Media Publishers, Janeiro 2004.
P. Marques, "Task Farming & the Message Passing Interface", in Dr. Dobb's Journal, Vol. 28(9), #352, pp. 32‐37, CMP Publishers, Setembro 2003.
P. Marques, "Building Secure Java RMI Servers", in Dr. Dobb's Journal, Vol. 27(11), #342, pp. 36‐42, CMP Publishers, Novembro 2002.
P. Marques, L. Silva and J. G. Silva, "M&M's: Building Binary Software Components for Supporting Mobile‐Agent Enabled Applications", in Journal of Autonomous Agents and Multi‐Agents Systems, Vol. 5(1), pp. 101‐109, Kluwer Academic Publishers, Netherlands, Março 2002. 3.2.3. Publicações em Conferências com Arbitragem

B. Cabral, P. Marques, "A Case for Automatic Exception Handling", in Proc. of the 23rd IEEE/ACM International Conference on Automated Software Engineering, IEEE Press, L'Aquila, Italy, Setembro 2008.
B. Cabral, P. Marques, "Exception Handling: A Field Study in Java and .NET", in Proc. of the 21st European Conference on Object‐Oriented Programming (ECOOP'2007), Springer‐Verlag, Berlin, Germany, Julho 2007.
P. Marques, J. Feiteirinha, L. Pureza, N. Lindman, M. Pecchioli, "LeonVM: Using Dynamic Translation for Developing High‐Speed Space Processor Emulators", in Proc. of the 9th International Workshop on Simulation for European Space Programmes (SESP'2006), ESA/ESTEC, Noordwijk, Netherlands, Novembro 2006.
P. Sacramento, B. Cabral, P. Marques, "Unchecked Exceptions: Can the Programmer be Trusted to Document Exceptions?", in Proc. of the International Conference on Innovative Views of .NET Technologies (IVNET'06), IEE Press, Outubro 2006. (best paper award) 13
B. Cabral, P. Marques, L. Silva, "RAIL: Code Instrumentation for .NET", in Proc. of the 2005 ACM Symposium On Applied Computing (SAC’05), ACM Press, Santa Fé, New Mexico, USA, Março 2005.
P. Domingues, P. Marques, L. Silva, "Distributed Data Collection through Remote Probing in Windows Environments", in Proc. of the 13th Euromicro Conference on Parallel, Distributed and Network‐Based Processing (PDP'05), IEEE Press, Lugano, Switzerland, Fevereiro 2005.
N. Santos, P. Marques, L. Silva, "Dynamic Deployment of Services on Mobile Agents Systems", in Proc. of the 2nd Workshop on Reflective and Adaptive Middleware (RM'2003), Rio de Janeiro, Brazil, Junho 2003.
P. Marques, P. Santos, L. Silva, J. G. Silva, "Supporting Disconnected Computing in Mobile Agent Systems", in Proc. of the 14th International Conference on Parallel and Distributed Computing and Systems (PDCS'2002), Cambridge, USA, Novembro 2002.
N. Santos, P. Marques, L. Silva, "A Framework for Smart Proxies and Interceptors in RMI", in Proc. of the 15th ISCA International Conference on Parallel and Distributed Computing Systems (ISCA PDCS'2002), Louisville, USA, Setembro 2002.
P. Marques, R. Fonseca, P. Simões, L. Silva, J. G. Silva, "A Component‐Based Approach for Integrating Mobile Agents Into the Existing Web Infrastructure", in Proc. of the 2002 IEEE International Symposium on Applications and the Internet (SAINT'2002), IEEE Computer Press, Nara, Japan, Janeiro 2002.
P. Marques, R. Fonseca, P. Simões, L. Silva, J. G. Silva, "Integrating Mobile Agents into Off‐
the‐Shelf Web Servers: The M&M Approach", in Proc. DEXA'2001 Workshops ‐‐ International Workshop on Internet Bots: Systems and Applications (INBOSA'2001), IEEE Computer Press, Munich, Germany, Setembro 2001.
P. Marques, N. Santos, L. Silva and J. G. Silva, "The Security Architecture of the M&M Mobile Agent Framework", in Proc. of the International Symposium on The Convergence of Information Technologies and Communications (ITCOM'2001), Proceedings of SPIE, Denver, Colorado, USA, Agosto 2001.
P. Simões, P. Marques, L. Silva, J. G. Silva, F. Boavida, "Towards Manageable Mobile Agent Infrastructures", in Proc. the International Conference on Networking (ICN'01), Springer‐
Verlag, LNCS 2094, Colmar, France, Julho 2001.
P. Marques, P. Simões, L. Silva, F. Boavida, J. G. Silva, "Providing Applications with Mobile Agent Technology", in Proc. 4th IEEE International Conference on Open Architectures and Network Programming (OpenArch'01), IEEE Computer Press, Anchorage, Alaska, Abril 2001.
P. Marques, L. Silva and J. G. Silva, "Addressing the Question of Platform Extensibility in Mobile Agent Systems", in Proc. International Symposium on Multi‐Agents and Mobile Agents in Virtual Organizations and E‐Commerce (MAMA'2000), Wollongong, Australia, Dezembro 2000.
P. Marques, L. Silva and J. G. Silva, "Going Beyond Mobile Agent Platforms: Component‐
Based Development of Mobile Agent Systems", in Proc. 4th International Conference on Software Engineering and Applications (SEA’2000), Las Vegas, USA, Novembro 2000.
P. Marques, L. Silva and J. G. Silva, "Building Domain‐Specific Mobile Agent Platforms from Reusable Software Components", in Proc. of 2000 International Conference on Software, Telecommunications and Computer Networks (SoftCOM'2000), FESB‐Split, Split/Rijeka (Croatia) and Trieste‐Venice (Italy), Outubro 2000.
P. Marques, L. Silva and J. G. Silva, "A Flexible Mobile‐Agent Framework for Accessing Information Systems in Disconnected Computing Environments", in Proc. DEXA'2000 14 Workshops ‐‐ International Workshop on Mobility in Databases and Distributed Systems (MDDS'2000), IEEE Computer Press, Greenwich, England, Setembro 2000.
P. Marques, L. Silva, J. G. Silva, "Security Mechanisms for Using Mobile Agents in Electronic Commerce", in Proc. of the 18th IEEE Symposium on Reliable Distributed Systems, IEEE Computer Press, Lausanne, Switzerland, Outubro 1999.
P. Marques, P. Furtado, P. Baumann, "An Efficient Strategy for Tiling Multidimensional OLAP Data Cubes", in Proc. of the Workshop on Data Mining and Data Warehousing (Informatik’98), Magdeburg, Germany, Setembro 1998. 3.2.4. Outras Publicações

M. Mendes, P. Bizarro, P. Marques, "A Framework for Performance Evaluation of Complex Event Processing Systems", in Proc. of the 2nd International Conference on Distributed Event‐Based Systems, Rome, Italy, July 2008. (demo paper)
B. Cabral, P. Marques, "Making Exception Handling Work", in Proc. of the the USENIX 2nd Workshop on Hot Topics in System Dependability (HotDep'06), USENIX, Seattle, WA, USA, Novembro 2006. (extended abstract)
B. Cabral, P. Marques, L. Silva, "RAIL: Code Instrumentation for .NET", in Proc. of the ACM OOPSLA'04 Conference Companion, ACM Press, Vancouver, Canada, Outubro 2004. (extended abstract)
P. Simões, P. Marques, L. Silva, J. G. Silva, F. Boavida, "Mobile Agent‐based Management: From Expectations to a Real World Experience", in Proc. 11th IFIP/IEEE International Workshop on Distributed Systems: Operations & Management (DSOM'2000), Austin, USA, 2000. (extended abstract)
P. Marques, P. Simões, L. Silva, F. Boavida, J. G. Silva, "Mobile Agent Systems: From Technology to Applications", in Proc. OOPSLA'2000 Workshop on Experiences with Autonomous Mobile Objects and Agent Based Systems, Minneapolis, USA, Outubro 2000. (extended abstract)
P. Marques, L. Silva, J. G. Silva, "Application Centric Mobile Agent Systems: Bringing the Focus Back to the Applications", in Proc. Second Joint Symposium on Agent Systems and Applications/Mobile Agents (ASA/MA'2000), Zurich, Switzerland, Setembro 2000. (extended abstract)
P. Marques, L. Silva, J. G. Silva, "Establishing a Secure Open‐Environment for Using Mobile Agents in Electronic Commerce", in Proc. of the First Joint Symposium on Agent Systems and Applications/Mobile Agents (ASA/MA'99) , IEEE Computer Press, Palm Springs, California, USA, Outubro 1999. (extended abstract) 3.3. Serviço Científico
Em termos de serviço científico, nas suas actividades ao longo do período em questão inclui‐se:
Revisor em 17 conferências, duas revistas e um livro: IEEE Transactions on Software Engineering; Int. Journal on Computers and Applications; John Wiley & Sons Handbook of Technology Management; DSN’2008; DSN’2007; CORTA’2007; DSN’2006; MCWC’2006; SoftCOM’2006; DSN’2005; LADC’2005; ISWC’2005; PEN‐PCGCS'2005; WWMIC’2005; DSN’2004; DSN’2003; HSNMC’03; PDP’2003; EuroPar’2003; SoftCOM’2003.
Publication Chair da 6th European Dependable Computing Conference (EDCC‐6), cujos proceedings foram publicados pela IEEE Press. 15
Membro do Comité de Programa da CoRTA’07 – “Compilers Related Technologies and Applications”.
Responsável pela instalação e gestão do primeiro cluster de computação paralela do Centro de Informática e Sistemas da Universidade de Coimbra, que administrou de 2001 a 2007. 3.4. Orientação de Trabalhos de Dissertação Científica
É actualmente orientador de 4 alunos de doutoramento e 3 alunos de mestrado a realizar tese científica. Foi orientador de uma tese de mestrado em regime pré‐bolonha. Estas orientações encontram‐se detalhadas na Secção 2.2 deste relatório (página 6). 3.5. Participação em Júris
Participou no júri da seguinte tese de mestrado pré‐Bolonha: 2002‐2005 | Bruno Cabral, “Instrumentação de Código na Plataforma .NET” Participou ainda em cerca de 20 júris de estágio/dissertação de mestrados pós‐bolonha (Mestrado em Engenharia Informática) e projectos de licenciatura pré‐Bolonha (Licenciatura em Engenharia Informática e Licenciatura em Comunicações e Multimédia). Estas participações em júris não incluem as dos seus próprios orientados, que não são aqui contabilizadas. 3.6. Citações
As suas publicações geraram 82 citações conhecidas na literatura. A listagem dessas citações pode ser encontrada em apêndice. 16 4. Actividade de Gestão Universitária
No que diz respeito à gestão universitária, desde logo após o seu doutoramento, esteve sempre activamente ligado à administração académica e pedagógica de cursos. Foi membro da Comissão Pedagógica da Licenciatura em Engenharia Informática de 2004 a 2005. Foi coordenador do Mestrado em Engenharia Informática em 2006 e 2007. Em 2007 assumiu a coordenação do Professional Master of Software Engineering, cargo que ainda desempenha. 4.1. Comissão Pedagógica da Licenciatura em Engenharia Informática
Durante os anos de 2004 e 2005 esteve profundamente empenhado nas questões pedagógicas associados aos cursos leccionados no Departamento de Engenharia Informática. Em particular, a Licenciatura em Engenharia Informática e a Licenciatura em Comunicações e Multimédia. As suas responsabilidades, de “foro habitual”, envolviam:

Definição e elaboração de mapas de frequências e exames Definição e elaboração de mapas de vigilâncias Preparação do arranque dos anos lectivos (inscrições de alunos, etc.) Coordenação da elaboração de horários Colaboração na elaboração da distribuição do serviço docente Mediação de conflitos pedagógicos entre alunos e docentes, servindo de parte isenta no processo. Em particular, o ano 2005 foi marcado por ser o momento em que foi realizada toda a preparação para a implementação do processo de Bolonha no Departamento de Engenharia Informática. Esse foi um processo extremamente trabalhoso, com toda a reestruturação curricular necessária, e também sensível, pois envolveu a transição de um número muito elevado de alunos para um novo modelo de ensino. Dessa actividade, importa salientar as seguintes facetas:
Assumiu a liderança do “Grupo de Fundamentos”, encarregue de definir a estrutura e plano curricular da Licenciatura em Engenharia Informática, formato de Bolonha. Esta função implicou inúmeras reuniões em que a comissão nomeada para o efeito analisou os prós e contras das diversas opções curriculares possíveis. Tal também implicou a análise de inúmeros cursos e metodologias de ensino a nível internacional. O resultado deste grupo de trabalho foi o modelo curricular que se encontra actualmente em vigor.
Reestruturação e regulamentação do novo formato de Dissertação/Estágio do Mestrado em Engenharia Informática, que se encontra actualmente em vigor. 4.2. Coordenação do Mestrado em Engenharia Informática
Foi coordenador do Mestrado em Engenharia Informática em 2006 e 2007. Dessa coordenação salienta‐se as acções necessárias para a transição dos cursos do departamento de um formato pré‐Bolonha para o formato Bolonha, o que permitiu uma transição para Bolonha dos cerca de 800 alunos sem grandes sobressaltos, tendo tal ocorrido um ano antes dos restantes departamentos da faculdade. É ainda de salientar que, como coordenador, foi encarregue de realizar o primeiro processo de admissão de alunos ao Mestrado em Engenharia Informática, regime pós‐Bolonha, assim como todos os processos de equivalência do regime pré‐Bolonha para pós‐Bolonha. Sendo tal actividade extremamente trabalhosa e de grande responsabilidade é de realçar não terem surgido problemas de maior, tendo ocorrido todo o processo de forma bastante eficiente. 17 4.3. Coordenação do Professional Master of Software Engineering
Em 2007 assumiu a coordenação do Professional Master of Software Engineering (MSE), cargo que desempenha actualmente. Na sequência de um conjunto de acordos assinados entre o governo português e um conjunto de universidades de topo nos Estados Unidos, a partir de Agosto de 2007 passou a ser oferecido na FCTUC o Professional Master of Software Engineering. Trata‐se de grau dual com a Universidade de Carnegie Mellon (CMU), nos Estados Unidos, em que alunos obtêm um grau de Mestre pela Universidade de Coimbra e um grau de Mestre por Carnegie Mellon. Este curso admite apenas profissionais com experiência de indústria (mínimo 2 anos, mas tipicamente com 5‐10 anos de experiência) decorrendo de forma intensiva, a tempo inteiro, durante 16 meses. Três semestres são realizados na Universidade de Coimbra, existindo aulas presenciais e aulas remotas por vídeo‐conferência, e um semestre em Carnegie Mellon. O processo de admissão é extremamente exigente, implicando não só uma avaliação curricular e entrevista dos candidatos mas também que estes realizem os testes GRE e TOEFL. Dado que o curso apenas admite profissionais da indústria – tecnicamente muito competentes, todo o processo de recrutamento é extremamente difícil. Este implica persuadir as empresas a abdicar dos seus melhores empregados durante 16 meses, continuando a pagar‐lhes para estudar. É ainda de salientar que sendo um curso com aulas presenciais, aulas por vídeo‐conferência, orientação conjunta de alunos (CMU e UC), tendo‐se ainda de garantir que os processos de ensino e avaliação são idênticos em ambos os lados do Atlântico, tal leva a que toda a coordenação do curso seja extramemente exigente e trabalhosa. Tendo aceitado o desafio da coordenação deste curso, os resultados têm sido extremamente positivos, devido a todo o trabalho de operacionalização e promoção do mesmo. É de salientar:

A enorme visibilidade que a Universidade de Coimbra tem tido em virtude deste curso. Desde Agosto de 2007 que o curso e os alunos têm surgido em inúmeros artigos, tanto em jornais como em revistas, assim como em diversas reportagens na televisão. É de salientar a abertura oficial do curso pelo Ministro da Ciência e Tecnologia, Prof. Doutor Mariano Gago, assim como a cerimónia onde foram concedidas bolsas Novabase a alunos a frequentar o curso. Nesta última estiveram presentes individualidades como o Primeiro‐Ministro, o Ministro da Ciência e Tecnologia, a Ministra da Educação, entre outras. A realização de mais de 30 visitas a empresas e mais de 10 apresentações públicas, que permitiram o recrutamento bem sucedido de 20 profissionais na industria para a realização do curso, tanto a nível nacional como internacional (Portugal, Canadá, Espanha e Brasil). Entre estes encontram‐se colaboradores da PT, Novabase, Critical‐Software, entre outras. A realização de um conjunto de workshops de engenharia de software, como promoção do programa, que totalizaram cerca de 360 inscrições, distribuídas por quatro cidades, dando imensa visibilidade à Universidade de Coimbra. O estabelecimento de um centro de testes TOEFL/GRE em Coimbra, existindo apenas outro no país. Isso significa que a nível nacional qualquer aluno que queira realizar estudos graduados nos Estados Unidos contacta, muito provavelmente, com a UC. Ainda em termos de infra‐estrutura foram criadas duas salas de vídeo‐conferência, uma em regime imersivo, para a realização das aulas à distância. Uma terceira encontra‐se em fase de instalação. O estabelecimento de um programa de afiliados industriais em que, actualmente, 9 empresas extremamente relevantes na indústria de software nacional e internacional, se comprometem à partida a financiar integralmente os estudos de candidatos admitidos, tanto em Portugal como nos Estados Unidos, contratando‐os no final. Este programa representa um compromisso correspondente a cerca de 375k€/ano por parte dos parceiros industriais, sendo este nível de suporte inédito em Portugal e mesmo pouco comum além‐fronteiras. 18 5. Actividade de Extensão Universitária
Em termos de actividades de extensão universitária, salientam‐se os aspectos de dinamização do tecido empresarial, consultadoria especializada e formação. 5.1. Dinamização do Tecido Empresarial
2001‐2004 | Sócio Fundador da Empresa WIT‐Software Lda.
De 2001 a 2004 foi sócio fundador da empresa WIT‐Software Lda. Esta empresa é um spin‐off tecnológico do seu grupo de investigação (Grupo de Engenharia de Software e Sistemas, antigo Grupo de Sistemas Confiáveis), possuindo clientes como Vodafone, Ericsson, AT&T Wireless, T‐Mobile, Verizon, entre outros. A empresa dedica‐se ao desenvolvimento de soluções para o mercado de telecomunicações móveis. 5.2. Consultadoria Especializada
Dez/2004‐Jan/2005 | Perito Técnico no Inquérito ao Processo de Colocação de Professores
Fez parte da equipa técnica que analisou o processo de colocação de professores do ensino secundário para o ano lectivo 2004/2005. Este havia sido um processo pautado por imensos atrasos e problemas informáticos, levando a que milhares de professores vissem a sua colocação atrasada ou incorrectamente efectuada. Abr/2004‐Set/2004 | Consultor para a Agência Espacial Europeia, Darmstadt, Alemanha

Durante 2004 passou um semestre sabático na Agência Espacial Europeia, no European Space Operations Center, Darmstadt, Alemanha, como professor convidado e consultor para a Agência. Durante esse período esteve envolvido em três actividades principais: −
Auxílio na definição do standard de simulação Simulation Model Portability 2 (SMP2). Trata‐se de um standard para simulação de sistemas em tempo real, sendo uma evolução da primeira versão do Simulation Model Portability. As alterações introduzidas foram profundas, passando de um modelo inteiramente procedimental para uma abordagem baseada em componentes, Model Driven Architecture, e modelação UML. O standard é agora amplamente utilizado na indústria aeronáutica e aeroespacial. −
Foi responsável pela análise da evolução dos futuros emuladores de processadores da ESA, em particular para os processadores ERC32 e LEON2. O trabalho realizado viria a dar origem aos projectos LeonVM e QERL, que provam que a abordagem proposta em 2004 seria viável e relevante para os emuladores da ESA, permitindo resolver os graves problemas de performance que existiam. −
Foi responsável pela análise da componente de distribuição de processamento da infra‐estrutura de simulação SIMSAT. Em particular, o objectivo foi definir uma arquitectura que permitisse à ESA realizar simulações distribuídas que, por exemplo, envolvessem vários satélites ou sondas, tirando partido de diversas máquinas simultaneamente. Importa mencionar que, como resultado do sucesso das actividades desenvolvidas durante período, a ESA assinou um contrato com a FCTUC para Consultadoria e Desenvolvimento Tecnológico. Este contrato ainda se encontra em vigor, tendo resultado em 6 actividades de investigação na UC no valor de cerca de 250k€. 19 5.3. Formação
Durante o período em análise realizou as seguintes actividades de formação para empresas no âmbito de acordos celebrados com a FCTUC. Nov/2008‐Dez/2008 | Agile Software Development with SCRUM
Formação em desenvolvimento ágil de software usando a metodologia SCRUM. Tratou‐se de 3 seminários em Lisboa, Porto e Coimbra, tendo participado mais de 200 profissionais das mais variadas empresas. Esta formação englobou‐se nas actividades de promoção e recrutamento do MSE para 2009/2010. Out/2008 | Introduction to Quality Assurance through Static Analysis Tools, Critical‐Software
Formação realizada na Critical‐Software S.A. em metodologias de controlo de qualidade de software utilizando ferramentas de análise estática de código. Mai/2008 | Software Engineering Bootcamp@Novabase, Novabase
Formação avançada em Engenharia de Software prestada pelo Departamento de Engenharia Informática à Novabase. Foi responsável pelos módulos: − Introduction to Software Development − Team Work − Risk Management − Agile Software Development with SCRUM Mai/2008 | Agile Software Development with SCRUM, Portugal Telecom
Duas formações em desenvolvimento ágil de software usando a metodologia SCRUM, realizadas para empresas do grupo Portugal Telecom. Out/2005 | Concurrent Programming in Unix, Critical‐Software
Formação avançada em programação concorrente para Unix com C/C++. A formação destinou‐se a engenheiros da Critical‐Software, tendo os seguintes módulos: − Introduction to Concurrent Programming − Process Creation and Management − Asynchronous Events − Pipes, Named Pipes and UNIX Sockets − I/O Multiplexing − Message Queues − Shared Memory and Semaphores − POSIX Threads Set/2005‐Out/2005 | Programação Orientada aos Objectos em C++, Critical‐Software
Formação sobre programação em C++ para para engenheiros da Critical‐Software. A formação compreendeu os seguintes módulos: − Programação Orientada aos Objectos: Introdução usando C++ − Core C++: Uma Abordagem Tutorial − Standard Template Library (STL) 20 6. Conclusão
Os últimos cinco anos na Faculdade de Ciências e Tecnologia pautaram‐se por um trabalho extremamente intenso, tendo envolvido actividades a nível de docência, investigação, gestão universitária e ligação à indústria. Essas actividades envolveram: a coordenação de dois cursos de pós‐graduação (Mestrado em Engenharia Informática e Professional Master of Software Engineering) e uma Comissão Pedagógica; o leccionar de 10 disciplinas distintas, envolvendo mais de 1230 alunos, com a produção de mais de 2200 slides; a contratação e gestão de 9 projectos de investigação com impacto real na indústria; a orientação de 22 alunos de mestrado e doutoramento; e a participação em mais de 20 júris de outras dissertações/estágios. Durante este tempo foi ainda possível: realizar 14 publicações (incluindo um capítulo de livro e três artigos de revista); escrever três re‐edições de um livro do qual é primeiro autor, uma delas no Brasil; realizar consultadoria para a Agência Espacial Europeia e SciSys em Inglaterra, assim como formação avançada para empresas como Critical‐Software, Portugal Telecom e Novabase. No processo teve ainda oportunidade de leccionar em quatro continentes diferentes (Europa, América, África e Ásia), contactando com realidades muito distintas, e realizar um exigente processo de certificação que mais tarde conduziu a que fosse nomeado Professor Associado Adjunto da Universidade de Carnegie Mellon. Passados estes cinco anos como Professor Auxiliar gostaria de concluir este relatório com uma reflecção pessoal. Esta reflecção é naturalmente subjectiva e independente dos dados objectivos do trabalho realizado durante o período sob avaliação. Passado este tempo, poderei afirmar que o processo pelo qual passei valeu a pena? Sem dúvida. Devo mesmo dizer que as funções que me pediram que exercesse foram de grande prestígio, tendo aprendido imenso no processo. Mas poderei dizer que sinto que a FCTUC protege e promove a carreira dos seus professores auxiliares, permitindo que estes atinjam a Excelência e um elevado grau de impacto internacional? Em consciência, não. Os anos mais importantes e produtivos de qualquer investigador são tipicamente os primeiros 5‐10 anos da sua carreira. Esses anos são preciosos. As universidades de topo, a nível internacional, sabem‐no, protegendo e ajudando activamente os seus professores auxiliares, reconhecendo que estes são um dos seus recursos mais importantes para obter impacto a nível mundial. Isso é normalmente visível pela atribuição de um serviço docente mais leve, libertando‐lhes tempo para investigação, e por os colocarem em cadeiras mais avançadas, onde mais facilmente podem recrutar futuros alunos de doutoramento. Esta preocupação é também bastante evidente pela forma como escudam os jovens professores auxiliares de tarefas de gestão universitária, permitindo‐lhes que se foquem na produção científica e na criação de um grupo de investigação. Isto para que consigam triunfar – tanto pela sua carreira, como pelo prestígio que trarão para a universidade como resultado da sua investigação. Neste contexto pergunto‐me: qual será o sentido de atribuir a um jovem professor auxiliar, acabado de contratar, a coordenação de cursos ou mesmo uma comissão pedagógica? Isto especialmente numa altura de transição para o regime de Bolonha, que tantos problemas e desafios implica. Estas funções deveriam ser assumidas por professores com um maior nível de senioridade e experiência que, de acordo com o Estatuto da Carreira Docente Universitária, têm responsabilidades a nível de coordenação de áreas de saber. Será que faz sentido, numa escola de excelência, pedir a um professor auxiliar que em 5 anos leccione 10 disciplinas distintas? Estas são algumas das perguntas que me coloquei repetidamente ao longo dos últimos 5 anos. Penso que numa Faculdade em que o mote é tornar‐se numa “Escola Europeia de Investigação” este tipo de atribuição de funções a professores auxiliares é no mínimo incoerente. É certo que acredito ter conseguido ter tido um impacto relevante a nível internacional. Mas o trabalho realizado foi feito à custa de um esforço quase sobre‐humano, num modelo muito pouco saudável e sustentável. É minha esperança que futuros professores auxiliares possam ser acarinhados e protegidos, sendo‐lhes dados os mecanismos necessários para que ajudem a FCTUC a tornar‐se efectivamente numa escola de Excelência. Pela minha parte, sempre que me seja dada essa oportunidade, tal farei. 21 Anexo – Citações de Artigos Publicados
Este anexo contém as citações conhecidas a artigos de autoria ou co‐autoria de Paulo Marques. É listado cada artigo a que se referem as citações, seguido das mesmas, devidamente numeradas. Note‐se que a listagem tem origem no sistema de registo de citações do Centro de Informática e Sistemas da Universidade de Coimbra (CISUC). Não foi realizada nenhuma tentativa de encontrar citações para além das já registadas ao longo dos anos, de forma informal, pelos membros do centro. Note‐se também que o formato dos artigos e citações apresentadas corresponde ao formato directo da saída do sistema existindo pequenas inconsistências de formatação. 2007 Cabral, B. and Marques, P., "Exception Handling: A Field Study in Java and .NET", in Proc. of the 21st European Conference on Object Oriented Programming (ECOOP'07), Berlin, Germany, July 2007: 1.
2.
3.
4.
5.
R. Coelho et al., "Assessing the Impact of Aspects on Exceptions Flows: An Exploratory Study", in Proc. of the 22nd European Conference on Object Oriented Programming (ECOOP'08), LNCS 5142, Springer, July 2008 Hervé Chang, Leonardo Mariani, Mauro Pezzè, "Self‐healing Strategies For Component Integration Faults", in Proc. 1st International Workshop on Automated engineeRing of Autonomous and run‐tiMe evolvIng Systems (ARAMIS 2008), L'Aquila, Italy, September 16, 2008 N. Cacho, F. Filho, A. Garcia, E. Figueiredo, "EJFlow: taming exceptional control flows in aspect‐
oriented programming", in Proc. of the 7th international conference on Aspect‐oriented software development, ACM Press, 2008. A. Naderlinger, J. Templ, "A Framework for Command Processing in Java/Swing Programs Based on the MVC Pattern", in Proc. of the 6th international symposium on Principles and practice of programming in Java, ACM Press, Modena, Italy, 2008 R. Muschevici, A. Potanin, E. Tempero, J. Noble, “Multiple Dispatch in Practice”, in Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications (OOPSLA’2008), ACM Press, 2008. 2006 Cabral, B. and Marques, P., "Making Exception Handling Work", in Proc. of the the Second Workshop on Hot Topics in System Dependability, HotDep06, Seattle, WA, USA, November 2006: 6.
Haryadi S. Gunawi, Cindy Rubio‐Gonzalez, Andrea C. Arpaci‐Dusseau, Remzi H. Arpaci‐Dusseau, Ben Liblit, "EIO: Error Handling is Occasionally Correct", in Proc. of the 6th USENIX Conference on File and Storage Technologies (FAST ’08), San José, California, USA, February 2008 Sacramento, P., Cabral, B., and Marques, P., "Unchecked Exceptions: Can the Programmer be Trusted to Document Exceptions?", in Proc. of the International Conference on Innovative Views of .NET Technologies (IVNET'06), International Conference on Innovative Views of .NET Technologies, Florianópolis, Brazil, October 2006: 7.
Romanovsky; "A Looming Fault Tolerance Software Crisis?"; ACM SIGSOFT Software Engineering Notes, Volume 32, Issue 2, pp 27, ACM Press, 2007 Domingues, P., Marques, P. and Silva, L. M., "DGSchedSim: A Trace‐driven Simulator to Evaluate Scheduling Algorithms for Desktop Grid Environments", in Proc. of the 14th Euromicro Conference on Parallel, Distributed and Network‐Based Processing (PDP'06), pp. 83‐90, Montbéliard, France, February 2006: 8.
Al‐Azzoni and D.G. Down, Dynamic Scheduling for Heterogeneous Desktop Grids, The 9th IEEE/ACM International Conference on Grid Computing (Grid 2008), Tsukuba, Japan, October 2008. 22 2005 Cabral, B. and Marques, P. and Silva, L. M. , "RAIL: Code Instrumentation for .NET", in Proc. of the 2005 ACM Symposium On Applied Computing (SAC’05), Santa Fé, New Mexico, USA, March 2005: 9.
10.
11.
12.
13.
14.
15.
N. Kumar, "SOURCE LEVEL DEBUGGING OF DYNAMICALLY TRANSLATED PROGRAMS", PhD Thesis, University of Pittsburgh, 2008 Fu, Xiang; Lu, Xin; Peltsverger, Boris; Chen, Shijun; Qian, Kai; Tao, Lixin; “A Static Analysis Framework For Detecting SQL Injection Vulnerabilities”; in Proc. of the 31st International Computer Software and Applications Conference, July 2007 Schmied, F. Cyment, A., "Aspect‐oriented weaving and the .NET common language runtime", in IET Software, Vol. 1(6), IET, December 2007 Joon S. Park, G. Jayaprakash, J. Giordano, "Component Integrity Check and Recovery Against Malicious Codes", in Proc. of the 20th IEEE International Conference on Advanced Information Networking and Applications (AINA'06), IEEE Press, Vienna, Austria, April 2006 M. Lumpe, "Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy", in Proceedings of Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006), Naoki Kobayashi (Ed.), LNCS 4279, Springer, Sydney, Australia, November 2006 Markus Lumpe; “Using Metadata Transformations as a Means to Integrate Class Extensions in an Existing Class Hierarchy”; Technical Report #0602, Iowa State University, March 2006 David Durand, "Gestion de la Qualité de Service dans les Applications Réparties sur Bus Middleware Orientés Objet ‐‐ Approche Dirigée par les Modèles.", PhD Thesis, Université de Picardie Jules Verne, November 2006. Domingues, P., Marques, P. and Silva, L. M. , "Resource Usage of Windows Computer Laboratories", in Proc. of the International Conference Parallel Processing, pp. 469‐476, ICPP 2005 ‐ Workshops on Parallel Processing, Oslo, Norway, June 2005: 16. Constantinescu‐Fuløp, Zoran, “A Desktop Grid Computing Approach for Scientific Computing and Visualization”, PhD Thesis, Norwegian University of Science and Technology, May 2008. 17. J. Bustos‐Jiménez, D. Caromel, J. M. Piquer, “Load Balancing: Towards the Infinite Network and Beyond”, Job Scheduling Strategies for Parallel Processing (selected paper of the 12th Workshop on Job Scheduling Strategies for Parallel Processing), Lecture Notes in Computer Science, 4376/2007: pp 176‐191, Springer, 2007. 18. Raphael Yokoingawa de Camargo, “Armazenamento Distribuído de Dados e Checkpointing de Aplicações Paralelas em Grades Oportunistas”, PhD Thesis, Agosto 2007. 19. Raphael Y. de Camargo, Fabio Kon, "Design and Implementation of a Middleware for Data Storage in Opportunistic Grid," ccgrid, Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid '07), pp. 23‐30, 2007. 20. Ju‐Ho Hyun, Sunggu Lee, Sang Cheol Kim, Min‐Gu Lee, "An Efficient Scheduling Method Taking into Account Resource Usage Patterns on Desktop Grids", DBPIA, Vol. 6, pp. 429‐439, 2007. 21. J. Wang, L. Zang, Y. Han, "Client‐Centric Adaptive Scheduling of Service‐Oriented Applications", Journal of Computer Science and Technology, 21(4): pp 537‐546, Springer, 2006. 22. J. Bustos‐Jiménez, “Dynamic Load Balancing for Active Objects on Computer Grids”, PhD Thesis, Université de Nice‐Sophia Antipolis, France, December 2006. 2004 Cabral, B., Marques, P. and Silva, L. M. , "IL Code Instrumentation with RAIL", .NET Developers Journal, Vol. 2, # 1, pp. 34‐35, SYS‐CON Media Publishers, January 2004: 23. C. Anslow, S. Marshall, J. Noble, K. Jackson, M. McGavin, and R. Biddle, "Program Trace Formats for Software Visualisation", Technical Report CS‐TR‐06/1, School of Mathematical and Computing Sciences, VICTORIA UNIVERSITY OF WELLINGTON, New Zeland, May 2006. 24. Luis Vinuesa, Francisco Ortin, TEJEDOR DINÁMICO DE ASPECTOS SOBRE LA PLATAFORMA .NET, in Iberian workshop on Aspect Oriented Software Development DSOA'2004, Málaga, November, 2004 23 25. B. Wang, X. Liu, J. Kerridge, Y. Li, "Scenario Based Generative Component Adaptation in .NET", in Proc. of the 2004 International Conference on Information Reuse and Integration, Las Vegas, USA, 2004 26. Ninghui Li and John C. Mitchell; “Securing Java RMI‐based Distributed Applications”; in Proceedings of the 20th Annual Computer Security Applications Conference (ACSAC’04); 2004 Cabral, B., Marques, P. and Silva, L. M. , "RAIL: Code Instrumentation for .NET (extended abstract)", in Proc. of the ACM OOPSLA'04 Conference Companion, Vancouver, Canada, October 2004: 27. Joon S. Park, Gautam Jayaprakash, Joseph Giordano, "Component Integrity Check and Recovery Against Malicious Codes," aina, pp. 466‐470, 20th International Conference on Advanced Information Networking and Applications ‐ Volume 2 (AINA'06), 2006 28. J. Park, A. Suresh, G. An, J. Giordano, "A Framework of Multiple‐Aspect Component‐Testing for Trusted Collaboration in Mission‐Critical Systems", in Proc. 2006 International Conference on Collaborative Computing: Networking, Applications and Worksharing, 2006 2002 Marques, P. and Fonseca, R., Simões, P., Silva, L. M. and Silva, J. G., "A Component‐Based Approach for Integrating Mobile Agents Into the Existing Web Infrastructure", in Proc. of the 2002 IEEE International Symposium on Applications and the Internet (SAINT'2002), Nara, Japan, January 2002: 29. I.E. Foukarakis, A.I. Kostaridis, C.G. Biniaris, D.I. Kaklamani, and I.S. Venieris; "Webmages: An agent platform based on web services"; in Computer Communications, Volume 30, Issue 3, February 2007 30. M. Eid, H. Artail, A. Kayssi, and A. Chehab, "Trends in Mobile Agent Applications", in Journal of Research and Practice in Information Technology, Vol. 37, No. 4, November 2005 31. V. Tan, "Interaction Tracing for Mobile Agent Security", PhD Thesis, University of Southampton, Southampton, UK, March 2004 32. I.E. Foukarakis, A.I. Kostaridis, C.G. Biniaris, D.I. Kaklamani, I.S. Venieris, "Implementation of a Mobile Agent Platform Based on Web Services", Proc. Mobile Agents for Telecommunication Applications MATA‐03, Lecture Notes in Computer Science, Volume 2881/2003, Springer‐Verlag, Heidelberg. Marques, P., Silva, L. M., and Silva, J. G., "M&M's: Building Binary Software Components for Supporting Mobile‐Agent Enabled Applications", Journal of Autonomous Agents and Multi‐Agents Systems, Vol. 5, # 1, pp. 101‐109, March 2002: 33. H. Wang and B. Feng, "Research of the Chinese Meta‐Search Engine Model Based on Intelligent Agent", in Proc. of the 19th International Conference on Advanced Information Networking and Applications (AINA’05), IEEE Press, Taiwan, March 2005 34. Yingjie Z.; Liling G., "Using the philosophy of mobile agent technology for e‐service in the field of reverse engineering applications", Rapid Prototyping Journal, 1, March 2004, vol. 10, no. 3, pp. 158‐
165(8), Emerald Group Publishing Limited Santos, N., Marques, P. and Silva, L. M., "A Framework for Smart Proxies and Interceptors in RMI", in Proc. of the 15th ISCA International Conference on Parallel and Distributed Computing Systems (ISCA PDCS'2002), Louisville, USA, September 2002: 35. Buyya, R. Venugopal, S., "Smart Proxies for Accessing Replicated Web Services", in IEEE Distributed Systems Online, Vol. 8(12), IEEE, December 2007 36. J. Junior, G. Carmo, M. Valente, "Invocation of replicated web services using smart proxies", in Proceedings of the 12th Brazilian symposium on Multimedia and the Web, ACM Press, Natal, Rio Grande do Norte, Brazil, November 2006 37. Y. Wang, J. Wei, Z. Wang. "An architecture for extensible and configurable event notification service", in Journal of Software, Vol. 17(3), pgs. 638‐648, 2006. 38. Güray Yilmaz and Nadia Erdogan, “DCOBE: Distributed Composite Object‐Based Environment”, in The Computer Journal, Vol. 48(3):273‐291, 2005 24 39. R. Kapitza, M. Kirstein, H. Schmidt, F. Hauck, "FORMI: an RMI extension for adaptive applications", in Proceedings of the 4th Workshop on Reflective and Adaptive Middleware Systems, ACM Press, Grenoble, France, 2005 40. M. Keidl and A. Kemper, “Towards Context‐Aware Adaptable Web Services”, in Proc. 13th International Conference on World Wide Web (WWW’04), ACM Press, New York, USA, May 2004 41. H. Reiser, F. Hauck, R. Kapitza, and A. Schmied, “Integrating Fragmented Objects into a CORBA Environment”, in Proc. Net.Objects Days 2003, Erfurt, Germany, September 2003. 42. S. Schulz, M. Friedrich, W. Küchlin, and T. Hüttner, “A RMI‐Security‐Extension Using the PERMI Framework”, in Proc. Net.Objects Days 2003, Erfurt, Germany, September 2003. 43. J. Hallstrom, W. Leal, A. Arora, “Scalable Evolution of Highly Available Systems”, in IEICE/IEEE Joint Special Issue on Assurance Systems and Networks, E86‐D(10), 2154 – 2166 (October 2003) Marques, P., "Building Secure Java RMI Servers", Dr. Dobb's Journal, Vol. 27, # 11, pp. 36‐42, November 2002: 44. Maria Julia de Lima, Taciana Melcop, Renato Cerqueira, Carlos Cassino, Bruno Silvestre, Marcelo Nery, Cristina Ururahy. "CSGrid: um Sistema para Integração de Aplicações em Grades Computacionais", 23º Simpósio Brasileiro de Redes de Computadores, Fortaleza, Maio 2005. 45. N. Li, J. Mitchell and D. Tong, “Securing Java RMI‐Based Distributed Applications”, in the 20th Computer Security Applications Conference (ACSAC'04), IEEE Press, December 2004. 2001 Marques, P., Santos, N., Silva, L. M. and Silva, J. G., "The Security Architecture of the M&M Mobile Agent Framework", in Proc. of the International Symposium on The Convergence of Information Technologies and Communications (ITCOM'2001), Denver, Colorado, USA, August 2001: 46. Adam Pridgen and Christine Julien; "SMASH: Modular Security for Mobile Agents"; in Lecture Notes in Computer Science 4408, Springer‐Verlag, August 2007 47. A. Pridgen and C. Julien, "A Secure Modular Mobile Agent System", Technical Report TR‐UTEDGE‐
2006‐003, University of Texas at Austin, 2006 48. Adam Pridgen and Christine Julien; “A Secure Modular Mobile Agent System”; in Proceedings of the 2006 International Workshop on Software Engineering for Large‐Scale Multi‐agent Systems; ACM, May 2006 49. Elmarie Biermann, “A Framework for the Protection of Mobile Agents Against Malicious Hosts”, Ph.D Thesis, University of South Africa, September 2004 Marques, P., Fonseca, R., Simões, P., Silva, L. M. and Silva, J. G., "Integrating Mobile Agents into Off‐the‐Shelf Web Servers: The M&M Approach", in Proc. of the DEXA'2001 Workshops ‐‐ International Workshop on Internet Bots: Systems and Applications (INBOSA'2001), Munich, Germany, September 2001: 50. Qusay H. Mahmoud, Leslie Yu, "An Architecture and Business Model for Making Software Agents Commercially Viable", in Proc. of the 38th Hawaii International Conference on System Sciences, 2005 51. Q. Mahmoud, L. Yu, "Havana: a mobile agent platform for seamless integration with the existing Web infrastructure", in Proc. of the 2004 Canadian Conference on Electrical and Computer Engineering, Niagara Falls, Ontario, Canada, May 2004. 52. S. Arumugam, A. Helal, A. Nalla, "aZIMAs: Web Mobile Agent System", in Proceedings of the 6th IEEE International Conference on Mobile Agents (MA'02), Barcelona, Spain, October, 2002 53. Subramanian Arumugam, “aZIMAS: Web Mobile Agent System”, MSc. Thesis, Science University of Florida, 2002. Marques, P., Simões, P., Silva, L. M., Boavida, F. and Silva, J. G., "Providing Applications With Mobile Agent Technology", in Proc. of the OpenArch'01 ‐ Fourth IEEE International Conference on Open Architectures and Network Programming, Anchorage, Alaska, April 2001: 54. Aneiba, J. Rees, “Mobile Agent Technology and Mobility”, in Proc. of the 5th Annual Postgraduate Symposium on the Convergence of Telecommunications (PGNet 2004), Networking and Broadcasting, pp. 14‐20, Liverpool, June 2004 25 55. S. S. Manvi, P. Venkataram: "Applications of agent technology in communications: a review". Computer Communications 27(15): 1493‐1508 (2004) 56. Damianos Gavalas, “Network Management Itineraries for Mobile Agents”, Proceedings of the 2nd Internation Working Conference on Performance Modelling and Evaluation of Heterogeneous Networks (HET‐NETs’04), Ilkley, West Yorkshire, UK, 26‐28 July, 2004. 57. L. Cragg, P. Tsui, and H. Hu, “Building a Fault Tolerant Architecture for Internet Robots Using Mobile Agents”, in Proc. 1st British Workshop on Internet and Online Robots (IORW’03), Reading, UK, 2003 58. C. Hsu, H. Hsu, D. Yang, and F. Wang, “Constructing a Multiple Mobile‐BDI Agent System”, in Proc. of 14th Workshop on Object‐Oriented Technology and Applications (OOTA'2003), 2003. 59. M. Chuang and W. Chang, “Performance Monitoring Web Applications via a Mobile‐Agent Approach”, in Tunghai Science Journal, Vol. 5, pp. 21‐41, July 2003 60. A. Boulis, C.‐C. Han, and M.B. Srivastava, “Design and Implementation of a Framework for Efficient and Programmable Sensor Networks“, in Proceedings of First International Conference on Mobile Systems, Applications, and Services (MobiSys), May 2003. 61. A. Boulis and M. B. Srivastava, “A Framework for Efficient and Programmable Sensor Networks”, in Proc. 5th IEEE International Conference on Open Architectures and Network Programming (OpenArch'02), IEEE Computer Press, New York, June, 2002 Marques, P., Simões, P., Silva, L. M., Silva, J. G., Boavida, F., "Towards Manageable Mobile Agent Infrastructures", in Proc. of the ICN'01 ‐ International Conference on Networking, Colmar, France, July 2001: 62. Rui Pedro Lopes, José Luis Oliveira, "A Mobile Agent Manager", Proc. MATA‐2003, Mobile Agents for Telecommunication Applications, Oct 2003, Lecture Notes in Computer Science, Volume 2881 / 2003, Springer‐Verlag 2000 Marques, P., Silva, L. M. and Silva, J. G., "Going Beyond Mobile Agent Platforms: Component‐Based Development of Mobile Agent Systems", in Proc. of the 4th International Conference on Software Engineering and Applications (SEA’2000), Las Vegas, USA, November 2000: 63. V. Tan, "Interaction Tracing for Mobile Agent Security", PhD Thesis, University of Southampton, Southampton, UK, March 2004. Marques, P., Silva, L. M. and Silva, J. G., "A Flexible Mobile‐Agent Framework for Accessing Information Systems in Disconnected Computing Environments", in Proc. of the DEXA'2000 Workshops ‐‐ International Workshop on Mobility in Databases and Distributed Systems (MDDS'2000), Greenwich, England, September 2000: 64. M. Ho, Y. Chang, S. Yuan, “EMARE: An Email‐based Mobile Agent Runtime Environment for Information Retrieval on the Internet”, in Proc. 2nd IEEE International Workshop on Wireless and Mobile Technologies in Education, Taoyuan, TAIWAN, March 2004. 65. S. Choudhury, A. Dan, “Downloadable Service Contracts for Disconnected Transactions”, in Proc. 12th International Workshop on Research Issues in Data Engineering: Engineering E‐Commerce/E‐Business Systems (RIDE'02), San Jose, California, February 2002. 66. S da Costa Cortes, Sérgio Lifschitz, "Sistemas de Gerencia de Banco de Dados baseados em Agentes para um Ambiente de Computacao Movel", Technical Report MCC1/02, Departamento de Informática da Universidade PUC‐Rio, Rio de Janeiro, Brasil, Junho 2002. 67. S. da Costa Cortes, CJP de Lucena, "Um Framework para construcao de Sistemas de Banco de Dados Movel com Regras Ativas", Technical Report MCC35/01, Departamento de Informática da Universidade PUC‐Rio, Rio de Janeiro, Brasil, Outubro 2001 Marques, P., Simões, P., Silva, L. M., Boavida, F. and Silva, J. G., "Mobile Agent Systems: From Technology to Applications", OOPSLA'2000 Workshop on Experiences with Autonomous Mobile Objects and Agent Based Systems, Minneapolis, USA, October 2000: 26 68. M. Bisignano, G. Di Modica, and O. Tomarchio, “Mobile Agent Location Management: a Comparison Between CORBA and P2P Based Systems”, in Proc. 8th IEEE International Symposium on Computers and Communication (ISCC’2003), KEMER, TURKEY, June 2003. 69. O. Tomarchio, L. Vita, A. Puliafito, “Mobile Agents and Legacy Systems: How to Integrate Alternative Communication Paradigms”. in Proceedings of the 3rd International Workshop on Mobile Agents for Telecommunication Applications (MATA2001), Montreal (Canada), August 2001. 1999 Marques, P., Silva, L. M. and Silva, J. G., "Security Mechanisms for Using Mobile Agents in Electronic Commerce", in Proc. of the 18th IEEE Symposium on Reliable Distributed Systems (SRDS'99), Lausanne, Switzerland, October 1999: 70. T. Chen, "A Noval Key Management and Access Control Method for Mobile Agents", Master's Thesis, Institute of Communicational Engineering, 2006. 71. W Qu, H Shen, J Sum, "Stochastic analysis of mobile agent‐based e‐shopping", in International Journal of Electronic Business, Vol. 3, Nos. 3/4, 2005 72. S. Guan, F. Zhu, and M. Maung, “A Factory‐based Approach to Support E‐Commerce Agent Fabrication”, in Electronic Commerce Research and Applications Journal, Vol. 3(1), Elsevier Science, pp. 39‐53, Spring 2004 73. S. Guan, T. Wang, S. Ong, “Migration Control for Mobile Agents Based on Passport and Visa”, in Future Generation Computer Systems, pp. 173‐186, Elsevier Science, ISSN:0167‐739X, 2003 74. C. Wang, F. Zhang and Y. Wang, “Secure Web Transaction with Anonymous Mobile Agent over the Internet”, in Journal of Science and Technology, Vol. 18(1), pp. 84‐89, ISSN 1000‐9000, January 2003. 75. L. Korba "Privacy in Distributed Electronic Commerce" Proceedings of th 35th Hawaii International Conference on System Science, Hawaii, January 7‐11, 2002, NRC 44891. 76. Wang TH, Guan SU, Chan TK, "Integrity protection for Code‐on‐Demand mobile agents in e‐
commerce" JOURNAL OF SYSTEMS AND SOFTWARE 60 (3): 211‐221 FEB 15 2002. 77. S. Guan, T. Wang and S. Ong, “A Secure Approach for Mobile Agent Migration Control”, in Proc. of the Seventh International Symposium on Computers and Communications (ISCC’02), IEEE Press, Taormina/Giardini Naxos, Italy, July 2002 78. O. Tomarchio and A. Puliafito. “Design and development of a practical security model for a mobile agent system”, in IEEE Symposium on Computer Communications (ISCC2002), Taormina (Italy), July 2002. 79. I. Lin, H. Ou, and M Hwang, “Two Secure Transportation Schemes for Mobile Agents”, in Information & Security Journal, Vol. 8(1), pp. 87‐97, ISSN 1311‐1493, 2002. 80. SHENG‐UEI GUAN and FANGMING ZHU, “Agent Fabrication and Its Implementation for Agent‐Based Electronic Commerce”, in International Journal of Information Technology & Decision Making, Vol. 1, No. 3 (2002) 473–489, World Scientific Publishing Company, 2002. 81. O. Onbilger, R. Newman, and R. Chow, “A Distributed and Compromise‐tolerant Mobile Agent Protection Scheme”, in International Conference on Intelligent Agents, Web Technology and Internet Commerce (IAWTIC'2001), Las Vegas, USA, July 2001. 82. S. Guan, F. Zhu, and C. Ko, “Agent Fabrication and Authorization in Agent‐based Electronic Commerce”, in Proc. International ICSC Congress on Intelligent Systems and Applications, Wollongong, Australia, December 2000. 27