Eliane Martins

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• DUARTE, ELIAS P. ; MACÊDO, RAIMUNDO J. A. ; Martins, Eliane ; RAJSBAUM, SERGIO . A tour of dependable computing research in Latin America. COMMUNICATIONS OF THE ACM , v. 63, p. 96-101, 2020.

• VECCHIATO, DANIEL ; Vieira, Marco ; Martins, Eliane . The Perils of Android Security Configuration. COMPUTER , v. 49, p. 15-21, 2016.

• PALMA SALAS, MARCELO INVERT ; Martins, Eliane . A Black-Box Approach to Detect Vulnerabilities in Web Services Using Penetration Testing. Revista IEEE América Latina , v. 13, p. 707-712, 2015.

• MORAIS, ANDERSON ; HWANG, IKSOON ; Cavalli, Ana ; Martins, Eliane . Generating attack scenarios for the system security validation. Networking Science , v. 1, p. 20760329, 2012.

• Mattiello-Francisco, Fátima ; Martins, Eliane ; Cavalli, Ana Rosa ; Yano, Edgar Toshiro . InRob: An approach for testing interoperability and robustness of real-time embedded software. The Journal of Systems and Software , v. 85, p. 3-15, 2011.

• MEDEIROS, Claudia M B ; SANTANCHE, A. ; MADEIRA, Edmundo Roberto M ; Martins, Eliane ; MAGALHAES, G. ; BARANAUSKAS, Maria Cecília C ; LEITE, N.J. ; TORRES, R. S. . LIS - Data Driven Research at the Laboratory of Information Systems, UNICAMP. Journal of Information and Data Management - JIDM , v. 2, p. 93-108, 2011.

• MORAES, Anderson Nunes de Paiva ; Cavalli, Ana ; Martins, Eliane . Génération de scritps d'attaque pour la validation de la sécurité. Génie Logiciel , v. 94, p. 39-44, 2010.

• Brito, Patrick H. S. ; Lemos, Rogério ; Rubira, Cecília M. F. ; MARTINS, E. . Architecting Fault Tolerance with Exception Handling: Verification and Validation. Journal of Computer Science and Technology (Beijing) , v. 24, p. 212-237, 2009.

• ROCHA, Camila ; MARTINS, E. . A Method for Model Based Test Harness Generation for Component Testing. Journal of the Brazilian Computer Society (Impresso) , v. 14, p. 7-23, 2008.

• AMBROSIO, Ana Maria ; MARTINS, E. ; VIJAYKUMAR, Nandamudi L. ; CARVALHO, Solon V de . A Conformance Testing Process for Space Applications Software Services. AIAA Journal , Estados Unidos, v. 3, n.4, p. 146-158, 2006.

• MARTINS, E. ; SABIÃO, S. B. ; AMBROSIO, Ana Maria . ConData: a Tool for Automating Specification -based Test Case Generation for Communication Systems. Software Quality Journal , v. 8, n.4, p. 303-320, 1999.

• POWELL, D. ; MARTINS, E. ; ARLAT, J. ; CROUZET, Y. . Estimators For Fault Tolerance Coverage Evaluation. IEEE Trans. on Computers, EUA, v. 44, n.2, p. 261-274, 1995.

• ARLAT, J. ; AGUERA, M. ; CROUZET, Y. ; FABRE, J. ; POWELL, D. ; MARTINS, E. . Experimental Evaluation of the Fault Tolerance of an Atomic Multicast Protocol. IEEE Transactions on Reliability , v. 39, n.4, p. 455-467, 1990.

• ARLAT, J. ; AGUERA, M. ; AMAT, L. ; CROUZET, Y. ; LAPRIE, J. ; FABRE, J. ; MARTINS, E. ; POWELL, D. . Fault Injection for Dependability Validation: a Methodology and Some Applications. Ieee Transactions On Software Engineering, v. 16, n.2, p. 166-182, 1990.

• MORAES, Regina Lucia de Oliveira ; MARTINS, E. . Fault Injection Approach Based on Architectural Dependencies. In: Rogério de Lemos; Cristina Gacek; Alexander Romanovsky. (Org.). Architecting Dependable Systems III. : Springer Verlag, 2005, v. 3549, p. 300-321.

• POWELL, D. ; MARTINS, E. ; ARLAT, J. ; CROUZET, Y. . Estimators For Fault Tolerance Coverage Evaluation. In: Brian Randell; Jean-Claude Laprie; Hermann Kopetz; Bev Littlewood. (Org.). Predictably Dependable Computing Systems. 1ed.: Springer-Verlag, 1995, v. , p. 347-366.

• ARLAT, J. ; CROUZET, Y. ; MARTINS, E. ; POWELL, D. . Validation. In: David Powell. (Org.). Delta-4: a Generic Architecture for Dependable Distributed Computing. 1ed.: Springer Verlag, 1992, v. , p. 371-406.

• WELLER, A. C. ; MARTINS, E. ; FRANCISCO, Maria de Fatima M. . Geração de Testes de Interoperabilidade e Robustez para uma Aplicação Espacial. In: XXI WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS, 2020, Rio. Anais do XXI WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS ARTIGOS, 2020.

• CARDOSO, W. F. ; MARTINS, E. ; Laranjeiro, Nuno ; ANTUNES, N. . Combining State and Interface -Based Robustness Testing for OpenStack Components. In: 9th Latin American Symposium on Dependable Computing, 2019, Natal. 9th Latin American Symposium on Dependable Computing, 2019.

• LEAL, LUCAS ; MONTECCHI, LEONARDO ; CECCARELLI, ANDREA ; Martins, Eliane . Exploiting MDE for Platform-Independent Testing of Service Orchestrations. In: 2019 15th European Dependable Computing Conference (EDCC), 2019, Naples. 2019 15th European Dependable Computing Conference (EDCC), 2019. p. 149-152.

• CARDOSO, WALLACE ; Martins, Eliane ; Laranjeiro, Nuno ; ANTUNES, NUNO . Combining State and Interface - Based Robustness Testing for OpenStack Components. In: 2019 9th LatinAmerican Symposium on Dependable Computing (LADC), 2019, Natal. 2019 9th Latin-American Symposium on Dependable Computing (LADC), 2019. p. 1-10.

• DE ALMEIDA NETO, ARISTIDES ; Martins, Eliane . An Adaptive Multi-objective Heuristic Search for Model-Based Testing. In: 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC), 2018, Coimbra. 2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC), 2018. p. 193.

• ERAZO, LEYDI ; Martins, Eliane ; GREGHI, JULIANA GALVANI . MARITACA: From Textual Use Case Descriptions to Behavior Models. In: 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSNW), 2017, Denver. 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2017. p. 83.

• VECCHIATO, DANIEL ; Vieira, Marco ; Martins, Eliane . Risk Assessment of User-Defined Security Configurations for Android Devices. In: 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), 2016, Ottawa. 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), 2016. p. 467.

• USSAMI, THAIS HARUMI ; Martins, Eliane ; MONTECCHI, LEONARDO . D-MBTDD: An Approach for Reusing Test Artefacts in Evolving System. In: 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSNW), 2016, Toulouse. 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop (DSN-W), 2016. p. 39.

• VECCHIATO, DANIEL ; Martins, Eliane . Benchmarking User-Defined Security Configuration of Mobile Devices. In: 2016 Seventh LatinAmerican Symposium on Dependable Computing (LADC), 2016, Cali. 2016 Seventh Latin-American Symposium on Dependable Computing (LADC), 2016. p. 172.

• GREGHI, J. G. ; CARVALHO, Ariadne M B R ; MARTINS, E. . Requirement?s Variability in Model Generation from a Standard Document in Natural Language. In: The Tenth International Conference on Software Engineering Advances - ICSEA 2015, 2015, Barcelona, Espanha. The Tenth International Conference on Software Engineering Advances, 2015.

• GREGHI, JULIANA GALVANI ; Martins, Eliane ; CARVALHO, ARIADNE MARIA BRITO RIZZONI . Semi-automatic Generation of Extended Finite State Machines from Natural Language Standard Documents. In: 2015 IEEE International Conference on Dependable Systems and Networks Workshops (DSNW), 2015, Rio de Janeiro. 2015 IEEE International Conference on Dependable Systems and Networks Workshops. p. 45-50.

• VECCHIATO, DANIEL ; Vieira, Marco ; Martins, Eliane . A security configuration assessment for android devices. In: the 30th Annual ACM Symposium, 2015, Salamanca. Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15, 2015. p. 2299-2304.

• LEMOS, G. S. ; MARTINS, E. . Golden-run Alignment for Analysis of Robustness Testing Results: Dealing with Diagnostics Issues. In: Workshop on Reliability and Security Data Analysis (RSDA 2013) , parte de 43th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), 2013, Budapest. Proceedings of 43th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013) - Workshops, 2013. p. 1-8.

• Marcelo Palma Salas ; Martins, Eliane . Security Testing Methodology for Vulnerabilities Detection of XSS in Web Services and WS-Security. In: XXXIX Latin American Computing Conference (CLEI 2013), 2013, Vargas. Proc. of XXXIX Latin American Computing Conference (CLEI 2013), 2013.

• LEMOS, GIZELLE SANDRINI ; Martins, Eliane . Specification-guided Golden Run for Analysis of Robustness Testing Results. In: 2012 6th International Conference on Software Security and Reliability (SERE), 2012, Gaithersburg. 2012 IEEE Sixth International Conference on Software Security and Reliability, 2012.

• Marcelo Palma Salas ; Martins, Eliane . Emulação de Ataques do Tipo XPath Injection para Testes de Web Services Usando Injeção de Falhas. In: XIII Workshop de Testes e Tolerância a Falhas (WTF), 2012, Ouro Preto. Anais do XIII Workshop de Testes e Tolerância a Falhas (WTF). Porto Alegre: Sociedade Brasileira de Computação, 2012. p. 17-30.

• Lima, Isaura ; YANO, Thaise ; Martins, Eliane . Uso de análise de mutantes e testes baseados em modelos: um estudo exploratório. In: VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012, Natal. Anais do VI Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2012.

• Marcelo Palma Salas ; Martins, Eliane . Emulation of Malformed XML Using WSInject for Security Testing Against WS-Security. In: Latincom Workshop 5 - Green, user-centered, and security, 2012, Cuenca. Proceedings LAtincom, 2012.

• MORAES, Anderson Nunes de Paiva ; Cavalli, Ana Rosa ; Martins, Eliane . A Model-Based Attack Injection Approach for Security Validation. In: 4th International Conference on Security of Information and Networks (SIN 2011), 2011, Sidney. 4th International Conference on Security of Information and Networks (SIN 2011), 2011.

• YANO, Thaise ; MARTINS, E. ; SOUSA, Fabiano . MOST: a Multi-Objective Search-Based Testing from EFSM. In: 2011 Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011, Berlim. 2011 Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011. p. 164-173.

• YANO, Thaise ; Martins, Eliane ; SOUSA, Fabiano . A multi-objective evolutionary algorithm to obtain test cases with variable lengths. In: 13th annual conference on Genetic and evolutionary computation (GECCO '11), 2011, Dublin. GECCO '11 Proceedings of the 13th annual conference on Genetic and evolutionary computation. New York: ACM, 2011.

• FERREIRA, J. ; MARTINS, E. ; RUBIRA, Cecília ; Brito, Patrick H. S. . Validation of Exception Handling in the Development of Dependable Component-Based Software Systems. In: 5th Latin-American Symposium on Dependable Computing, LADC 2011, 2011, São José dos Campos. Dependable Computing (LADC), 2011 5th Latin-American Symposium on, 2011. p. 136-145.

• YANO, Thaise ; Martins, Eliane ; SOUSA, Fabiano . Generating Feasible Test Paths from an Executable Model Using a Multi-Objective Approach. In: 3rd International Workshop on Search-Based Software Testing, 2010, Paris. 3rd International Workshop on Search-Based Software Testing, 2010.

• LEMOS, G. S. ; MARTINS, E. . Robustness Testing Oracle using a Sequence Alignment Algorithm. In: First International Workshop on Software Test Output Validation, 2010, Trento. First International Workshop on Software Test Output Validation, 2010.

• BESSAYAH, F. ; Cavalli, Ana ; MAJA, W. ; MARTINS, E. ; VALENTI, A. W. . A Fault Injection Tool for Testing Web Services Composition. In: Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, 2010, Windsor. TAIC PART, 2010. v. 6303. p. 137-146.

• Cavalli, Ana ; CAO, T. ; MALLOULI, W. ; MARTINS, E. ; SADOVYKH, A. ; SALVA, S. ; ZAIDI, F. . WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition. In: IEEE International Conference on Web Services, 2010, Miami. ICWS, 2010. p. 377-384.

• GUIMARAES, M. S. ; BARANAUSKAS, Maria Cecília C ; Martins, Eliane . Interaction Design and Redundancy Strategy in Critical Systems. In: 12th International Conference on Informatics and Semiotics in Organisations, 2010, Reading. Proceedings of 2010 IFIP WG 8.1- ICISO-2010, 2010. p. 165-172.

• MORAES, Anderson Nunes de Paiva ; Martins, Eliane ; Cavalli, Ana ; Jimenez, Willy . Security Protocol Testing Using Attack Trees. In: 12th IEEE International Conference on Computational Science and Engineering, 2009, Vancouver. CSE, 2009. p. 690-697.

• FERREIRA, J. ; MARTINS, E. . Análise de Fluxo de Controle e Dados a partir do Diagrama de Atividades da UML 2.0.. In: SAST 2009 - Workshop Brasileiro de Teste de Software Sistemático e Automatizado, 2009, Gramado. Anais do SAST 2009, 2009.

• MORAES, Regina Lucia de Oliveira ; ABREU, Bruno ; Martins, Eliane . Mapping Web-based Applications Failures to Faults. In: 4th. Latin American Symposium on Dependable Computing, 2009, João Pessoa. 4th. Latin American Symposium on Dependable Computing, 2009.

• BRITO, Patrick Henrique da Silva ; LEMOS, R. ; Martins, Eliane ; MORAES, Regina Lucia de Oliveira ; RUBIRA, Cecília . Architectural-Based Validation of Fault-Tolerant. In: 4th. Latin American Symposium on Dependable Computing, 2009, João Pessoa. 4th. Latin American Symposium on Dependable Computing, 2009.

• BESSAYAH, F. ; Cavalli, Ana ; MARTINS, E. . A formal approach for specification and verification of fault injection process. In: 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human 2009, 2009, Seoul. Proceedings of the 2nd International Conference on Interaction Sciences, 2009. v. 403. p. 883-890.

• Cavalli, Ana ; MARTINS, E. ; MORAES, Anderson Nunes de Paiva . Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations. In: 4th Workshop on Advances in Model Based Testing (A-MOST 2008), joint with 1st. IEEE International Conference on Software Testing, Verification and Validation (ICST), 2008, Lillehammer. Proceedings of the A-MOST, 2008.

• MORAES, Regina Lucia de Oliveira ; DURÃES, João ; MARTINS, E. ; MADEIRA, Henrique . Experimental Risk Assessment and Comparison Using Software Fault Injection. In: IEEE-IFIP International Conference on Dependable Systems and Networks, 2007, Edimburgo. Proceedings IEEE, 2007.

• BRITO, Patrick Henrique da Silva ; LEMOS, R. ; MARTINS, E. ; RUBIRA, Cecília . Verification and Validation of a Fault-Tolerant Architectural Abstraction. In: Workshop on Architecting Dependable Systems (WADS), 2007, Edimburgo. DSN Proceedings - Suplemental Volume, 2007.

• GUIMARAES, M. S. ; BARANAUSKAS, Maria Cecília C ; MARTINS, E. . Interaction in critical systems: conquests and challenges. In: International Conference on Enterprise Information Systems, 2007, Funchal. Proc. of International Conference on Enterprise Information Systems, 2007.

• GUIMARAES, M. S. ; BARANAUSKAS, Maria Cecília C ; MARTINS, E. . A Communication-based Approach to Requirements Elicitation for Safety-Critical Systems. In: International Conference on Organizational Semiotics (ICOS), 2007, Sheffield. Proc. of ICOS'2007, 2007.

• PERES, Ivan Rodolfo Durán Cruz ; MARTINS, E. ; Viégas, J.E. . Uso de Modelos da UML em Testes de Componentes. In: Workshop de Testes e Tolerância a Falhas, 2007, Belém. Anais do WTF'2007, 2007.

• MORAES, Regina Lucia de Oliveira ; DURÃES, João ; MARTINS, E. ; MADEIRA, Henrique . Component-based software certification base don experimental risk assessment.. In: 3rd.Latin-American Symposium on Dependable Computing (LADC 2007), 2007, Morelia. LNCS-Proc. 3rd. LADC, 2007.

• BRITO, Patrick Henrique da Silva ; LEMOS, R. ; MARTINS, E. ; RUBIRA, Cecília . Architecture-centric fault tolerance with exception handling. In: 3rd.Latin-American Symposium on Dependable Computing (LADC 2007), 2007, Morelia. LNCS - Proc. 3rd. LADC, 2007.

• AMBRÓSIO, Ana Maria ; FRANCISCO, Maria de Fatima M. ; SANTIAGO, Valdivino ; SILVA, W. ; MARTINS, E. . Space Application Fault Injection Experiments supported by Finite State Machine. In: 3rd.Latin-American Symposium on Dependable Computing, 2007, Morelia. LNCS - Proc. of 3rd. LADC, 2007.

• ABREU, Bruno ; MARTINS, E. ; SOUSA, Fabiano . Generalized Extremal Optimization: a competitive algorithm for test data generation. In: XXI Simpósio Brasilieiro de Engenharia de Software, 2007, João Pessoa. Anais do XXI SBES, 2007.

• TORRES-ZENTENO, Arturo H. ; MARTINS, E. ; TORRES, Ricardo da S. ; CUARESMA, María J. Escalona . Teste de Desempenho em Aplicações SIG Web. In: 9 Workshop Iberoamericano de Ingenería de Requisitos y Ambientes de Software ( IDEAS), 2006, La Plata, 2006.

• MENDES, Naaliel Vicente ; MORAES, Regina Lucia de Oliveira ; MARTINS, E. ; MADEIRA, Henrique . Melhorando a Dependabilidade de Componentes com o uso de Wrappers. In: VII Workshop de Testes e Tolerância a Falhas (WTF), 2006, Curitiba. Anais do WTF, 2006.

• MORAES, Regina Lucia de Oliveira ; DURÃES, João ; MARTINS, E. ; MADEIRA, Henrique . A Field Data Study on the Use of Software Metrics to Define Representative Fault Distribution. In: Workshop on Empirical Evaluation of Dependability and Security (WEEDS) - DSN 2006, 2006, Filadélfia, 2006.

• MORAES, Regina Lucia de Oliveira ; BARBOSA, Ricardo ; DURÃES, João ; MENDES, Naaliel Vicente ; MARTINS, E. ; MADEIRA, Henrique . Do injected component interface faults represent software bugs?. In: 6th. European Dependable Computing Conference, EDCC 2006, 2006, Coimbra. Berlin: Springer Verlag - LNCS, 2006.

• JACQUES-SILVA, Gabriela ; DREBES, Roberto Jung ; WEBER, Taisy Silva ; MARTINS, E. . Injecting Communication Faults to Experimentally Validate Java Distributed Applications. In: Advanced Distributed Systems: 5th International School and Symposium, ISSADS 2005, 2005, Guadalajara. Lecture Notes in Computer Science, 2005. v. 3563. p. 235.

• MARTINS, E. ; VIEIRA, Vanessa Gindri . Regression test selection for testable classes. In: 5th. European Dependable Computing Conference, EDCC 2005, 2005, Budapeste. Dependable Computing - EDCC-5, 2005. v. 3463. p. 453-470.

• ABREU, Bruno ; MARTINS, E. ; SOUSA, Fabiano . Automatic test data generation for path testing using a new stochastic algorithm. In: 19 Simpósio Brasileiro de Engenharia de Software, SBES, 2005, Uberlândia. Anais do 19 Simpósio Brasileiro de Engenharia de Software, SBES,, 2005.

• AMBRÓSIO, Ana Maria ; MARTINS, E. ; VIJAYKUMAR, Nandamudi L. ; CARVALHO, Solon V de . Systematic Generation of Test and Fault Cases for Space Application Validation. In: Data System in Aerospace, DASIA-2005, 2005, Edimburgo. Proc. of Data System in Aerospace, DASIA-2005, 2005.

• MORAES, Regina Lucia de Oliveira ; MARTINS, E. ; POLETTI, Elaine C Catapani ; MENDES, Naaliel Vicente . Using Stratified Sampling for Fault Injection. In: Latin American Symposium on Dependable Computing, 2005, Salvador. Lecture Notes in Computer Science. Berlin: Springer Verlag - Lecture Notes in Computer Science, 2005. v. 3747. p. 9-19.

• BRITO, Patrick Henrique da Silva ; ROCHA, Camila ; CASTOR FILHO, Fernando ; MARTINS, E. ; RUBIRA, Cecília . A Method for Modeling and Testing Exceptions in Component-Based Software Development. In: 2nd.Latin American Symposium on Dependable Computing, 2005, Salvador. Lecture Notes in Computer Science, 2005. v. 3747. p. 61-79.

• GUERRA, Paulo ; ARAÚJO, Carolina ; ROCHA, Camila ; MARTINS, E. . CBDUnit - Uma Ferramenta para Testes Unitários de Componentes. In: 19 Simpósio Brasileiro de Engenharia de Software, SBES, 2005, Uberlândia. Anais do Workshop de Ferramentas, 2005.

• MARTINS, E. ; ROCHA, Camila . A strategy to improve component testability without source code. In: Testing Component-based Systems (TECOS), 2004, Erfurt. Testing Component-based Systems (TECOS), 2004.

• MORAES, Regina Lucia de Oliveira ; MARTINS, E. . A Strategy for Validating an ODBMS Component Using a Hig-Level Fault Injection Tool. In: 1st. Latin American Symposium on Dependable Computing, 2003, S.Paulo. Proc. 1st. Latin American Symposium on Dependable Computing, 2003.

• MARTINS, E. ; FRANCISCO, Maria de Fatima M. . A Tool for Fault Injection and Conformance Testing of Distributed Systems. In: 1st. Latin American Symposium on Dependable Computing, 2003, S.Paulo. Lecture Notes in Computer Science, 2003. v. 2847. p. 282-302.

• MARTINS, E. ; AMBROSIO, Ana Maria ; FRANCISCO, Maria de Fatima M. . ATIFS: a testing toolset with software fault injection. In: Workshop SofTest: UK Testing Research II, 2003, York - UK. Proceedings of York Computer Science Yellow Report 2003, 2003.

• MARTINS, E. ; RUBIRA, Cecília ; LEME, N. . JACA: A Reflective Fault Injection Tool based on Patterns. In: International Performance and Dependability Symposium, 2002, Washington. IEEE Dependable Computing and Networks (DSN) 2002, 2002.

• MARTINS, E. ; FRANCISCO, Maria de Fatima M. ; MORAES, Anderson Nunes de Paiva . Uso da ferramenta de testes FSOFIST na validação de uma aplicação espacial. In: 2 Jornada Ibero-Americana de Engenharia de Software e Engenharia de Conhecimento, 2002, Salvador, 2002.

• MARTINS, E. ; TOYOTA, C. M. ; YANAGAWA, R. L. . Constructing Self-Testable Software Components. In: The Intenrational Conference on Dependable Systems & Networks (DSN'2001), 2001, Gotemburgo. Proc. DSN'2001, 2001. p. 151-160.

• LEME, N. ; MARTINS, E. ; RUBIRA, Cecília . A software fault injection pattern system. In: IX Simpósio de Computação Tolerante a Falhas (SCTF), 2001, Florianópolis. Anais do IX SCTF. Florianópolis: Universidade Federal de Santa Catarina, 2001. p. 99-113.

• LEME, Nelson Guilherme Mendes ; MARTINS, E. ; RUBIRA, Cecília . A Software Fault Injection Pattern System. In: 8th Conference on Pattern Languages of Programs (PLoP), 2001, Monticello. página Web, 2001.

• MARTINS, E. ; SABIÃO, S. B. ; AMBROSIO, Ana Maria . ConData: a Tool for Automating Specification-based Test Case Generation for Communication Systems. In: 33th Hawaii International Conference on Systems Sciences (HICSS-33), 2000, Maui - Havai. o mesmo do evento, 2000.

• YANAGAWA, R. L. ; MARTINS, E. . Avaliação empírica da eficácia dos testes baseados no modelo de fluxo de transação em sistemas OO. In: XI Conferência Internacional de Tecnologia de Software: Qualidade de Software (XI CITS), 2000, Curitiba. anais od XI CITS. Curitiba: CITS, 2000. p. 18-30.

• MARTINS, E. ; ROSA, A. C. A. . A fault injection approach based on reflective programming. In: Dependable Systems and Networks, 2000, New York. Proceedings International Conference on Dependable Systems and Networks, 2000. p. 407-416.

• MARTINS, E. ; TOYOTA, C. M. . Construção de Classes Autotestáveis. In: 8. Simpósio de Computação Tolerante a Falhas, 1999, Campinas. Anais do 8. SCTF. Campinas, 1999. p. 196-209.

• SABIÃO, S. B. ; MARTINS, E. . Condado: Uma Ferramenta Para A Geração de Testes de Protocolos Combinando Controle e Dados. In: XVI Simpósio Brasileiro de Redes de Computadores (SBRC), 1998, Rio. Anais do XVI SBRC. Rio de Janeiro - RJ, 1998. p. 404-423.

• TOYOTA, C. M. ; MARTINS, E. . Reutilização Em Teste de Software O-O: Metodologia Para A Construção de Classes Autotestáveis. In: IX Conferência Internacional de Tecnologia de Software (CITS): Qualidade de Software, 1998, Curitiba. Anais do IX CITS. Curitiba - PR, 1998. p. 217-229.

• ROSA, A. C. A. ; MARTINS, E. . Using Reflective Programming To Inject Faults Into Object-Oriented Systems. In: International Workshop on Dependable Computing and Its Applications (DCIA'98), 1998, Johannesburg. Anais do Intern. Workshop on Dependable Computing and its Applications. Johannesburg - África do Sul, 1998. p. 227-236.

• MARTINS, E. ; ARAUJO, Marcos Renato R. ; AMBROSIO, Ana Maria ; CORREA, K. S. ; FRANCISCO, Maria de Fatima M. . Teste da Tolerancia A Falhas Em Sistemas de Comunicacao. In: VII Simposio de Computadores Tolerantes a Falhas, 1997, Campina Grande. Anais do VII SCTF. Campina Grande - Praiba, 1997. p. 369-384.

• STEFANI, M. R. ; MARTINS, E. . Analise de Traco e Geracao de Diagnosticos Para Testes Baseados Em Injecao de Falhas Por Software. In: VII Simposio de Computadores Tolerantes a Falhas, 1997, Campina Grande. Anais do VII SCTF. Campina Grande - Paraiba, 1997. p. 321-336.

• MARTINS, E. . Injecao de Falhas Na Validacao da Seguranca No Funcionamento. In: I Simposio Regional de Tolerancia a Falhas, 1996, Porto Alegre. Anais do I SRTF. Porto Alegre - Rio Grande do S, 1996. p. 181-196.

• MARTINS, E. ; AMBROSIO, Ana Maria ; ARAUJO, Marcos Renato R. . A Framework For Developping A Software-Based Fault Injection Tool For The Test Of Communication Systems. In: 4th. Intern. Symposium on Applied Corporate Computing, 1996. Monterrey - Mexico. p. 51-60.

• MARTINS, E. . Integrando Injecao de Falhas e Testes Formais Na Validacao da Tolerancia A Falhas. In: IX Simposio Brasileiro de Engenharia de Software, 1995, Recife. Anais do IX SBES. Recife - Pernambuco, 1995. p. 223-239.

• LEAL, LUCAS ; CECCARELLI, ANDREA ; Martins, Eliane . The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations. In: 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), 2019, Milwaukee. 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), 2019. p. 495.

• ERAZO, LEYDI ; Martins, Eliane ; GREGHI, JULIANA GALVANI . Modeling Dependable Product-Families: From Use Cases to State Machine Models. In: 2016 Seventh LatinAmerican Symposium on Dependable Computing (LADC), 2016, Cali. 2016 Seventh Latin-American Symposium on Dependable Computing (LADC), 2016. p. 131.

• VECCHIATO, DANIEL ; Martins, Eliane . Experience report: A field analysis of user-defined security configurations of Android devices. In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), 2015, Gaithersbury. 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), 2015. p. 314-323.

• YANO, Thaise ; Martins, Eliane ; SOUSA, Fabiano . A model-based approach for robustness testing generation. In: 1st International Workshop on Resilience Assessment of Critical Infrastructures (RACI), 2011, São José dos Campos. 5th Latin-American Symposium on Dependable Computing, 2011.

• CUARESMA, M. J. E. ; ZENTENO, Arturo Henry Torres ; Gutierrez, J. ; MARTINS, E. ; TORRES, R. S. ; BARANAUSKAS, Maria Cecília C . A Development Process for Web Geographic Information System - A Case of Study.. In: ICEIS 2008 - Tenth International Conference on Enterprise Information Systems, 2008, Barcelona. Proceedings of the Tenth International Conference on Enterprise Information Systems, 2008. v. HCI. p. 112-117.

• GUIMARAES, M. S. ; BARANAUSKAS, Maria Cecília C ; Martins, Eliane . Communication-Based Modelling and Inspection in Critical Systems. In: Tenth International Conference on Enterprise Information Systems, 2008, Barcelona. Proceedings of the Tenth International Conference on Enterprise Information Systems, 2008. v. HCI. p. 215-220.

• PERES, Ivan Rodolfo Durán Cruz ; MARTINS, E. . Automação em Projeto de Testes Usando Modelos UML. In: Systematic and Automated Software Testing (SAST), 2007, João Pessoa. Anais do 1st. SAST, 2007.

• MARTINS, E. ; AMBRÓSIO, Ana Maria ; SANTIAGO, Valdivino ; FRANCISCO, Maria de Fatima M. ; VIJAYKUMAR, Nandamudi L. ; CARVALHO, Solon V de . A methodology for designing fault injection experiments as an addition to communication systems conformance testing. In: Workshop on Dependable Software Tools and Methods. The International Conference on Dependable Systems and Networks, DSN'2005, 2005, Yokohama. The International Conference on Dependable Systems and Networks, DSN'2005 - Supplemental Volume, 2005.

• MORAES, Regina Lucia de Oliveira ; MARTINS, E. . Architecture-based strategy for interface fault injection. In: Workshop on Architecting Dependable Systems (WADS), 2004, Florença. Supplemental Volume of Intern. Conference on Dependable Systems and Networks (DSN) 2004, 2004. p. 322-326.

• LEMOS, G. S. ; MARTINS, E. . Detecting Non-Robust Behavior: a Bioinformatics Approach. In: International Conference on Dependable Systems and Networks, DSN 2011, 2011, Hong Kong. International Conference on Dependable Systems and Networks, 2011.

• AMBROSIO, Ana Maria ; MARTINS, E. . Space services: textual to formal description. In: 8th Conference on Space Operations (SpaceOps 2006), 2006, Roma. American Institute of Aeronautics and Astronautics - AIAA, 2006.

• MARTINS, E. ; SOLIANI, Ruth Fabiana . Desenvolvimento de uma técnica de seleção de testes de regressão para componentes testáveis, baseada na especificação. In: Workshop de Teses e Dissertações (LADC), 2005, Salvador, 2005.

• MARTINS, E. ; GUIMARÃES, Daniele Constant ; AMBROSIO, Ana Maria . STER - A Strategy for Testing Reactive Systems. In: International Symposium on Dependable Systems and Networks, 2004, Florença. Suplemental Volume of Intern. Conference on Dependable Systems and Networks, 2004. p. 30-31.

• MARTINS, E. ; SILVEIRA, Wennder I da . FireWeb: Uma ferramenta de suporte aos testes de aplicações Web. In: XVIII Simpósio Brasileiro de Engenharia de Software (SBES), 2004, Brasília. XVIII Simpósio Brasileiro de Engenharia de Software (SBES), 2004. p. 1-6.

• JACQUES-SILVA, Gabriela ; MORAES, Regina Lucia de Oliveira ; WEBER, Taisy Silva ; MARTINS, E. . Validando Sistemas Distribuídos Desenvolvidos em Java Utilizando Injeção de Falhas de Comunicação por Software. In: V Workshop de Testes e Tolerância a Falhas (WTF), 2004, Gramado. Simpósio Brasileiro de Redes de Computaodres, 2004.

• ROCHA, Camila ; MARTINS, E. . Um Modelo para Construção de Componentes Testáveis. In: V Workshop de Testes e Tolerância a Falhas (WTF), 2004, Gramado. Anais do Simpósio Brasileiro de Redes de Computadores, 2004.

• UBER, F. R. ; MARTINS, E. . Estratégia para Teste de Máquinas Finitas de Estados Estendidas. In: II Workshop de Testes e Tolerância a Falhas (II WTF), 2000, Curitiba. Anais do II WTF, 2000. p. 46-51.

• LEME, N. ; MARTINS, E. ; RUBIRA, Cecília . Um sistema de padrões para injeção de falhas por software. In: II Workshop de Testes e Tolerância a Falhas (II WTF), 2000, Curitiba. Anais do II WTF, 2000. p. 100-105.

• LESKE, M. ; MARTINS, E. . Utilização de Reflexão Computacional em Tempo de Compilação para a Implementação de Ferramentas de Injeção de Falhas. In: II Workshop de Testes e Tolerância a Falhas (II WTF), 2000, Curitiba. Anais do II WTF, 2000. p. 112-117.

• ROSA, A. C. A. ; MARTINS, E. . Using A Reflective Architecture To Validate Object-Oriented Applications By Fault Injection. In: OOPSLA'98 Workshop on Reflective Programming in C++ and Java, 1998, Vancouver. Proc. Workshop on Reflective Programming in C++ and Java. Vancouver - Canadá, 1998. p. 76-80.

• ROSA, A. C. A. ; MARTINS, E. . Utilizando Metaobjetos Para Injetar Falhas e Monitorizar Seus Efeitos. In: I Workshop de Tolerância a Falhas (WTF), 1998. Porto Alegre - RS. p. 37-42.

• ARAUJO, Marcos Renato R. ; MARTINS, E. . Injeção de Falhas Em Protocolos Tolerantes A Falhas Utilizando A Arquitetura Ferry-Clip. In: I Workshop de Tolerância a Falhas (I WTF), 1998. Porto Alegre - RS. p. 43-49.

• MARTINS, E. . Uso de Testes Baseados em Modelos: motivação, tipos de modelos, escopos de testes, exemplos, discussão.. 2022. (Apresentação de Trabalho/Seminário).

• Martins, Eliane . Model-based robustness testing - challenges and some approaches. 2019. (Apresentação de Trabalho/Conferência ou palestra).

• Martins, Eliane . Model-based robustness testing of embedded systems - Challenges and some examples. 2018. (Apresentação de Trabalho/Conferência ou palestra).

• MARTINS, E. . Using Models for Conformance and Robustness Testing: Challenges and Lessons Learned. 2017. (Apresentação de Trabalho/Seminário).

• MARTINS, E. . Using Behaviour Models for Robustness Testing. 2017. (Apresentação de Trabalho/Seminário).

• MARTINS, E. . Dependability challenges for the next decades: what really matters for industry and society?. 2016. (Apresentação de Trabalho/Comunicação).

• MARTINS, E. . Using Models for Conformance and Robustness Testing: Challenges and Lessons Learned. 2016. (Apresentação de Trabalho/Seminário).

• MARTINS, E. . Model-Based Robustness Testing. Approaches and Some Results. 2016. (Apresentação de Trabalho/Seminário).

• MARTINS, E. . Analysis of Robustness Testing Results: can Bioinformatics help?. 2014. (Apresentação de Trabalho/Comunicação).

• VERGILIO, Silvia Regina ; BUENO, P. ; DIAS NETO, A. C. ; Martins, Eliane ; VINCENZI, A. . II Congresso Brasileiro de Software - Tutorial. 2011. (Apresentação de Trabalho/Congresso).

• Martins, Eliane . Aplicação de Meta-heurísticas aos Testes baseados em Modelos de Estado. 2011. (Apresentação de Trabalho/Congresso).

• Martins, Eliane . An Evolutionary Approach for Robustness Testing. 2009. (Apresentação de Trabalho/Comunicação).

• Martins, Eliane ; Cavalli, Ana . RobustWeb- Construção e Validação de Aplicações SOA com Serviços Web. 2009. (Apresentação de Trabalho/Outra).

Outras produções

Projetos de pesquisa

• 2019 - Atual

  ADVANCE - ADdressing Verification and VAlidation Challenges in future Cyber-physical SystEms, Descrição: The scientific objective of the ADVANCE project is to conceive new approaches to support the Verification and Validation (V&V) of Cyber-Physical Systems (CPS). It will explore techniques, methods, and tools applicable to different phases of the system lifecycle, but always with the final objective of improving the effectiveness and efficacy of the V&V process. In particular, ADVANCE will focus on two main aspects of V&V: i) techniques to collect V&V evidences for a CPS (focusing on system modeling, testing, fault forecast, and systematic processes like FMEA), and ii) techniques to manage and analyze data of the system under analysis (focusing on data analysis, requirements management, traceability). The strategic objective of the project is to build an international network of collaborations on the topic of V&V of CPSs. Besides allowing the consortium to reach the project?s scientific objectives, the established interactions would allow the training of students and professionals on the latest innovations in the V&V panorama, and have them work together towards a common goal. In fact, besides the technical challenges described above, an important factor hampering advancements in the V&V of CPSs is a worldwide lack of skilled professionals in V&V, software testing, and Information and Communication Technology (ICT) in general. One of the outputs of the project will be a set of training material, both in the form of slides and video courses, on the topic of Verification & Validation of Cyber-Physical Systems. These objectives will be pursued by joining together V&V experts having different specialization and different backgrounds, and establishing a targeted transfer of knowledge and collaboration program, using two real case studies as reference throughout the project.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Eliane Martins - Coordenador / Maria de Fatima M. Francisco - Integrante / Regina Lucia de Oliveira Moraes - Integrante / Henrique Madeira - Integrante / Marco Vieira - Integrante / Andrea Bondavalli - Integrante / MONTECCHI, LEONARDO - Integrante / Nuno Laranjeiro - Integrante / ANTUNES, NUNO - Integrante / András Vörös - Integrante / Andras Pataricza - Integrante / Enrico Schiavone - Integrante / Paolo Lollini - Integrante.

• 2017 - 2019

  ATMOSPHERE - Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-assuring, Hybrid Ecosystem for Resilient cloud computing, Descrição: O objetivo do projeto é o projeto e desenvolvimento de um ecossistema que compreende um framework e uma plataforma que permita a implementação da próxima geração de serviços confiáveis na nuvem no topo de um conjunto de recursos federados e híbridos intercontinenatis. O framework considera um amplo espectro de propriedades e medidas de trustworthiness. A plataforma apoia o desenvolvimento, construção, operação, medição e evolução de recursos confiáveis na nuvem. O projeto é um consórcio de várias universidades européias e brasileiras, bem como empresas de TI européias.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Eliane Martins - Integrante / Francisco Brasileiro - Integrante / Ignacio Blanquer - Coordenador.

• 2016 - 2018

  SORTS - Suporte a Orquestração de Serviços Resilientes e Confiáveis na Névoa, Descrição: O objetivo do projeto SORTS é a pesquisa, projeto, implementação e avaliação de um novo Orquestrador de Serviço capaz de assegurar a resiliência e trustworthiness de serviços abertos, de larga escala e dinâmicos na névoa.Esse orquestrador será responsável pela composição dos Elementos de Serviço disponíveis na névoa (por exemplo, monitoração, conectividade, armazenamento em serviços mais complexos na névoa.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) . , Integrantes: Eliane Martins - Coordenador / Cecília Rubira - Integrante / Paulo Simões - Integrante / Edmundo Madeira - Integrante / Edmundo Monteiro - Integrante / Nuno Laranjeiro - Integrante / Nuno Antunes - Integrante / Marco Vieira - Integrante / Marília Curado - Integrante / Diego de Freitas Aranha - Integrante / Luiz Fernando Bittencourt - Integrante.

• 2016 - 2017

  EUBRA-BIGSEA: Europe-Brazil collaboration of BIG data Scientific research through cloud cEntric Applications, Descrição: O objetivo do projeto foi pesquisar soluções de segurança que aparecem em serviços na nuvem para a análise de dados volumosos (big data). Dentre os desafios de pesquisa tratados, houve: provisionamento de autenticação, autorização e responsabilidade (accountability); garantia das propriedades de segurança da nuvem e dos serviços de dados volumosos; garantia da privacidade dos dados no nível do armazenamento.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Eliane Martins - Coordenador / Ignacio Blanquer - Integrante.

• 2014 - 2017

  DEVASSES - DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS, Descrição: The DEVASSES project aims at taking a step forward in the design and deployment of large-scale, dynamic service-based software systems by supporting the transfer of knowledge on novel state of the art methods, techniques, and tools for both design-time and run-time verification and validation. The goal is to reinforce existing partners? cooperation through a coordinated program of exchange of researchers, taking as context a common research problem, which provides the frame for the project scientific activities and cannot currently be tackled by any of the partners individually. The project includes joint research activities, focused training activities, and joint workshops, designed to exploit complementary expertise and to create synergies among the partners, establishing the basis for sustainable future cooperation at different levels, including: co-advising of PhD students, joint organization of international events (workshops, conferences, summer schools, etc.), participation in bilateral project proposals, participation in large-scale international project proposals, etc.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (2) / Mestrado profissional: (0) / Doutorado: (6) . , Integrantes: Eliane Martins - Integrante / Cecília Rubira - Integrante / Regina Lucia de Oliveira Moraes - Integrante / Ariadne M B R Carvalho - Integrante / Henrique Madeira - Integrante / Patrick Henrique da S.Brito - Integrante / Marco Vieira - Coordenador / Andrea Bondavalli - Integrante., Financiador(es): European Uninon - DESCA - FP7 - Cooperação.

• 2011 - 2012

  Menon@WS (Metodologias para o desenvolvimento de Web Services não vulneráveis), Descrição: Programa de cooperação Capes-FCT. Instituição brasileira: UNicamp Instituição Portuguesa: Univ. de Coimbra Um dos objetivos deste projeto será a validação de aplicações baseadas em Web Services na presença de ataques que exploram vulnerabilidades de segurança. Outro objetivo tão ou mais importante é a formação de doutores e mestres, além de estágios de pós-doutoramento previsto no âmbito do projeto.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (3) . , Integrantes: Eliane Martins - Coordenador / Cecília Rubira - Integrante / Regina Lucia de Oliveira Moraes - Integrante / Henrique Madeira - Integrante / Marco Vieira - Integrante / Nuno Laranjeiro - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.

• 2008 - 2012

  RobustWeb: Construção e validação de Aplicações SOA com Serviços Web, Descrição: Um novo paradigma emergiu para o desenvolvimento de aplicações distribuídas e de grande escala ? trata-se da computação orientada a serviços (ou SOC, de Service Oriented Computing). Neste paradigma, ao invés de objetos ou componentes, a entidade básica de desenvolvimento passa a ser o serviço em si. Este novo paradigma torna mais ágil a criação de redes de colaboração no desenvolvimento de aplicações que ultrapassam as fronteiras das empresas e até mesmo de países. O uso de SOC acarreta mudanças na forma como as aplicações são construídas a partir de serviços existentes, os quais são organizados em uma arquitetura orientada a serviços ou SOA (Service Oriented Architectures). SOA tem sido usado intensamente em serviços disponibilizados via WEB. Estes serviços permitem a interoperabilidade de aplicações através da Web graças a uma série de padrões que foram criados com base no XML (eXtensible Mark-up Language). O SOA tem sido usado também como base para definição de serviços padronizados para Operações de Missões em aplicações fins para monitoração e controle de veículos espaciais. Esta padronização, inicialmente elaborada em forma de recomendações resulta dos esforços do Consultative Committee for Space Data System (CCSDS) em prover maior interoperabilidade entre sistemas computacionais das agências espaciais e o re-uso de sistemas entre missões. As aplicações orientadas a serviços têm como característica serem altamente distribuídas e dinâmicas. Além disso, elas utilizam serviços dos quais só se conhece a interface de utilização. Pouca ou quase nenhuma informação sobre a qualidade dos mesmos é disponibilizada. Portanto, as chances de mau funcionamento são inúmeras, podendo acarretar em grandes perdas para as empresas ou organizações. Neste projeto nos propomos a elaborar diretrizes e indicar técnicas que permitam não somente a criação de aplicações SOA baseadas em WS que sejam robustas, mas também criar e avaliar métodos e ferramentas que possibilitem validar. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (3) . , Integrantes: Eliane Martins - Coordenador / Jean Arlat - Integrante / Yves Crouzet - Integrante / Maria de Fatima M. Francisco - Integrante / JeanCharles Fabre - Integrante / Cecília Rubira - Integrante / Regina Lucia de Oliveira Moraes - Integrante / Ana Maria Ambrósio - Integrante / Taisy Silva Weber - Integrante / Fabiano Sousa - Integrante / Fernando Castor Filho - Integrante / Thaise Yano - Integrante / Paulo Guerra - Integrante / Ana Rosa Cavalli - Integrante / Yves Deswarte - Integrante / Amel Mammar - Integrante / Fatiha Zahïdi - Integrante / Hélène Waeselynck - Integrante / Marie-Claude Gaudel - Integrante / Magnos Martinello - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Cooperação.

• 2008 - 2010

  WebMov - Web Service Modeling and Validation, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador.

• 2008 - 2009

  PIDCOSI (Plataforma para la Investigación y Docencia en Confiabilidad de Sistemas Informáticos): projeto com a Univ. de Valência, Espanha, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Eliane Martins - Coordenador.

• 2007 - 2010

  ReVVIS (Reunião de Especialistas em Verificação e Validação de Software): projeto ibero-americano financiado pelo CYTED-IberoLA, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Eliane Martins - Integrante / Henrique Madeira - Coordenador.

• 2007 - 2009

  BIO-CORE: Ferramentas, modelos e técnicas para apoio à pesquisa em bio-diversidade, Descrição: A pesquisa em biodiversidade requer correlacionar uma grande variedade de dados sobre seres vivos e sobre seus habitats, integrando uma série de informações heterogêneas e distribuídas. O objetivo do BIO-CORE (BIOdiversity and COmputing REsearch) é especicar e desenvolver ferramentas computa- cionais que permitam aos cientistas deste domínio gerenciar e compartilhar seus dados, auxiliando-os na construção de modelos complexos e na análise e modelagem de ecossistemas, incluindo a desco- berta de novos relacionamentos e interações entre espécies. Baseadas em serviços Web, tais ferramentas permitirão apoiar a cooperação entre pesquisadores em Ciências Biológicas pertencentes a grupos com distintos interesses, vocabulários e visões do mundo. O BIO-CORE é, assim, um projeto multidisciplinar em Computação e em Ciências Biológicas, de 2 anos de duração. Visa atacar problemas teóricos e de implementação, na área de gerenciamento de dados cientícos, especialmente imagens naturais, vídeos, dados geográcos e dados de coletas de espécies.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Eliane Martins - Integrante / Cecília Rubira - Integrante / Claudia M B Medeiros - Coordenador / Ricardo da S. Torres - Integrante / Alexnadre Xavier Falcão - Integrante / André Santanchè - Integrante / André Victor Lucci Freitas - Integrante / Antonia Cecilia Zacagnini Amaral - Integrante / Paulo Inácio de Knegt López de Prado - Integrante / Roberto Marcondes Cesar Jr. - Integrante / Rodolfo Jardim de Azevedo - Integrante / Thomas Michael Lewinsohn - Integrante., Financiador(es): Universidade Estadual de Campinas - Outra / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2007 - 2009

  E-cidadania, Situação: Concluído; Natureza: Pesquisa. , Integrantes: Eliane Martins - Coordenador.

• 2005 - 2007

  Um Método de Desenvolvimento e Testes para Sistemas Baseados em Componentes com Tratamento de Exceções (Fapesp), Descrição: O projeto visa o desenvolvimento de sistemas baseados em componentes. Além de métodos para o desenvolvimento, o projeto visa também o uso de técnicas complementares de verificação e testes destes sistemas. Valor: Linha de Pesquisa: Sistemas de Informação / Engenharia de Software Tipo de financiamento: Auxílio part / organ. Reunião; auxílio equipamento. Tipo do projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Individual. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Eliane Martins - Integrante / Cecília Rubira - Coordenador / Ana Cristina Vieira de Melo - Integrante.

• 2005 - 2007

  Benchmark da Confiança no Funcionamento de Componentes de Software, Descrição: Nro: 125/05 Valor: R$5000,00 + viagens Linha de Pesquisa: Sistemas de Computação / Sistemas Tolerantes a Falhas Tipo Financiamento: Auxílio Pesquisa + Auxílio viagem de pesquisador visitante Tipo do Projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Projeto Individual. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante / Naaliel Vicente Mendes - Integrante / Henrique Madeira - Integrante / João Durães - Integrante / João Gabriel Silva - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro., Número de produções C, T & A: 5

• 2004 - 2007

  QSEE - Qualidade de Software em Sistemas Embarcados (FINEP), Descrição: O projeto visa a transferência de tecnologia entre empresas desenvolvedoras de software e instituições de pesquisa no que tange à métodos e técnicas para a garantia da qualidade de processo e produto na área espacial. Valor: R$754.000,00 Linha de Pesquisa: Sistemas de Informação / Engenharia de Software Tipo de financiamento: Auxílio part / organ. Reunião; auxílio equipamento. Tipo do projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Individual. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) . , Integrantes: Eliane Martins - Integrante / Ana Maria Ambrosio - Integrante / Maria de Fatima M. Francisco - Coordenador / Ricardo Costa - Integrante / Ricardo Czapski - Integrante / Valdivino Santiago - Integrante / João Braga Neto - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2004 - 2007

  CompGov - Componentes para e-Gov (Finep), Descrição: O projeto tem por objetivo o desenvolvimento de uma biblioteca de componentes para governo eletrônico, bem como a construção de protótipos de ferramentas que auxiliem ao desenvolvimento e testes de sistemas baseados em componentes. Valor: R$1.680.000,00 Nro.: Finep 1843/04 Linha de Pesquisa: Sistemas de Informação/ Engenharia de Software Tipo de Financiamento: Auxilio Pesquisa, Auxílio part / organ. Reunião Tipo de Projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Individual. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) / Mestrado profissional: (1) / Doutorado: (1) . , Integrantes: Eliane Martins - Integrante / Cecília Rubira - Integrante / Regina Lucia de Oliveira Moraes - Integrante / Camila Rocha - Integrante / Josiane Aparecida Cardoso - Integrante / Ruth Fabiana Soliani - Integrante / Ivan Rodolfo Durán Cruz Peres - Integrante / Silvio Meira - Coordenador., Número de produções C, T & A: 11

• 2003 - 2006

  Plavis - Plataforma de Validação de Sistemas Espaciais (CNPq - Universal), Descrição: O projeto visa o desenvolvimento de uma plataforma para validação e testes de aplicações espaciais. Valor: R$99.900,00 Linha de Pesquisa: Sistemas de Informação / Engenharia de Software Tipo de financiamento: Auxílio part / organ. Reunião; auxílio equipamento. Tipo do projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Individual. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Integrante / Ana Maria Ambrosio - Integrante / Maria de Fatima M. Francisco - Integrante / Claudia dos Santos Silva - Integrante / Ana Silvia Martins Serra do Amaral - Integrante / Daniele Constant Guimarães - Integrante / Jose Carlos Maldonado - Coordenador / Marcio E Delamaro - Integrante / Sandra Fabbri - Integrante / Adenilso Simões - Integrante / Simone Rocio - Integrante / Edmundo Spoto - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 1

• 2003 - 2005

  ACERTE (CNPq - Universal), Descrição: O objetivo do projeto é estabelecer métodos e criar ferramentas que apoiem o desenvolvimento e validação de sistemas com alta disponibilidade. Nro do processo: 472084/2003-8 Valor: R$80.258,72 Linha de Pesquisa: Sistemas de Computação / Sistemas Tolerantes a Falhas Tipo de financiamento: Auxílio part / organ. Reunião; auxílio equipamento. Tipo do projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Individual. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Integrante / Regina Lucia de Oliveira Moraes - Integrante / Gabriela Jacques-Silva - Integrante / Taisy Weber - Coordenador / Ingrid Jansch Porto - Integrante / Joni Fraga - Integrante / Maria Lucia Lisboa - Integrante / Roberto Jung Drebes - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 5

• 2003 - 2005

  WebMaps- Sistema baseado na Web Semântica para Monitoramento Agrícola e PRevisão de Safra (CNPq-Universal), Descrição: O projeto visa disponibilizar, via Web, serviços de acesso a mapas com fins de previsão de safra agrícola. Valor: R$98.300,00 Linha de Pesquisa: Sistemas de Informação / Engenharia de Software e Bnaco de dados Tipo de financiamento: Auxílio part / organ. Reunião; auxílio equipamento. Tipo do projeto: Pesquisa Aplicada Tipo de Envolvimento do Contrato: Individual. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (1) / Doutorado: (0) . , Integrantes: Eliane Martins - Integrante / Edmundo Roberto M Madeira - Integrante / Maria Cecília C Baranauskas - Integrante / Claudia M B Medeiros - Coordenador / Arturo Henry Torres Zenteno - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 2

• 1993 - 2000

  ATIFS - Ambiente de Testes e Injeção de Falhas por Software, Descrição: Projeto conjunto com o INPE desde 1993. Visa o desenvolvimento de um sistema integrado de ferramentas de apoio aos testes de sistemas reativos, especialmente as aplicações espaciais desenvolvidas pelo INPE.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (10) / Especialização: (0) / Mestrado acadêmico: (7) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Ana Maria Ambrosio - Integrante / Marcio Roberto Stefani - Integrante / Keila Silveira Correa - Integrante / Maria de Fatima M. Francisco - Integrante / Selma Bássiga Sabião - Integrante / Marcos Salenko Guimaraes - Integrante / Flávio Rogério Uber - Integrante / Yngrid Nicoletti Azevedo - Integrante / Alex Jeukens - Integrante / Mateus de Castro Polastro - Integrante / Anderson Nunes de Paiva Moraes - Integrante / Rafael Neves Bueno - Integrante / Claudia dos Santos Silva - Integrante / Marcos Renato Rodrigues Araújo - Integrante / Nelson Guilherme Mendes Leme - Integrante / Daniele Constant Guimarães - Integrante / Selma Thais Tanaka - Integrante / Ricardo Luis Lachi - Integrante / Enrico Gonzalez - Integrante / Fernando Motta - Integrante., Número de produções C, T & A: 32

Projetos de desenvolvimento

• 2005 - 2008

  Harpia - projeto com a Receita Federal, Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante., Financiador(es): Secretaria da Receita Federal - Cooperação.

• 2005 - 2008

  Harpia - projeto com a Receita Federal, Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante., Financiador(es): Secretaria da Receita Federal - Cooperação.

• 2005 - 2008

  Harpia - projeto com a Receita Federal, Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante., Financiador(es): Secretaria da Receita Federal - Cooperação.

• 2005 - 2008

  Harpia - projeto com a Receita Federal, Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante., Financiador(es): Secretaria da Receita Federal - Cooperação.

• 2005 - 2008

  Harpia - projeto com a Receita Federal, Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante., Financiador(es): Secretaria da Receita Federal - Cooperação.

• 2005 - 2008

  Harpia - projeto com a Receita Federal, Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante., Financiador(es): Secretaria da Receita Federal - Cooperação.

• 2005 - 2008

  Harpia - projeto com a Receita Federal, Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante., Financiador(es): Secretaria da Receita Federal - Cooperação.

• 2005 - 2008

  Harpia - projeto com a Receita Federal, Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante., Financiador(es): Secretaria da Receita Federal - Cooperação.

• 2005 - 2008

  Harpia - projeto com a Receita Federal, Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante., Financiador(es): Secretaria da Receita Federal - Cooperação.

• 2005 - 2008

  Harpia - projeto com a Receita Federal, Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante., Financiador(es): Secretaria da Receita Federal - Cooperação.

• 2005 - 2008

  Harpia - projeto com a Receita Federal, Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante., Financiador(es): Secretaria da Receita Federal - Cooperação.

• 2005 - 2008

  Harpia - projeto com a Receita Federal, Descrição: Metodologia de testes de aplicações a serem desenvolvidas para a Receita Federal. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Eliane Martins - Coordenador / Regina Lucia de Oliveira Moraes - Integrante., Financiador(es): Secretaria da Receita Federal - Cooperação.