Anamaria Martins Moreira

Instituição:

Universidade Federal do Rio de Janeiro

Centro:

Centro de Ciências Matemáticas e da Natureza

Unidade:

Instituto de Matemática

Departamento:

Departamento de Ciência da Computação/I Mat

e-mail:

anamaria@ic.ufrj.br

Linkedin:

Google Scholar:

ORCID:

https://orcid.org/0000-0002-7707-8469

Formação:

  • Pontifícia Universidade Católica do Rio de Janeiro

    | Pós-Doutorado | 2012 - 2013

  • Laboratoire Lorrain de Recherche en Informatique et ses Applications

    | Pós-Doutorado | 2002 - 2003

  • Institut National Polytechnique de Grenoble

    Informatique | Doutorado | 1990 - 1995

  • Pontifícia Universidade Católica do Rio de Janeiro

    Informática | Mestrado | 1987 - 1990

  • Pontifícia Universidade Católica do Rio de Janeiro

    Engenharia Elétrica | Graduação | 1980 - 1984
Laboratórios:
Nenhum laboratório cadastrado
Nuvens de Palavras:
Artigos:

(85.71% artigos com DOI)

Titulo DOI Ano
TRANSMUT-Spark: Transformation mutation for Apache Spark 10.1002/stvr.1809 2022
A Two-Level Formal Model for Big Data Processing Programs 10.1016/j.scico.2021.102764 2021
Semantic Web Services testing: A Systematic Mapping study 10.1016/j.cosrev.2018.03.002 2018
An empirical study of test generation with BETA 10.1186/s13173-016-0048-1 2016
JCML: A Specification Language for the Runtime Verification of Java Card Programs 10.1016/j.scico.2010.03.003 2012
Specification and Runtime Verification of Java Card Programs 10.1016/j.entcs.2009.05.045 2009
Verified Compilation and the B Method: A Proposal and a First Appraisal 10.1016/j.entcs.2009.05.046 2009
Developing Java Card Applications with B 10.1016/j.entcs.2007.03.016 2007
Implementing Local Intervals in CASL 10.1016/j.entcs.2007.03.019 2007
Agraphs: Definition, implementation and tools 2006
Manipulating algebraic specifications with term-based and graph-based representations 10.1016/j.jlap.2003.12.001 2004
Simulating Algebraic Specification Genericity on Languages with Initial Semantics*1 10.1016/j.entcs.2004.04.009 2004
A Tool Support for Reusing ELAN Rule-Based Components 10.1016/s1571-0661(04)80677-7 2003
Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes 2000
Eventos:

(5.88% eventos com DOI)

Titulo DOI Ano
Modeling Big Data Processing Programs 2020
Mutation Operators for Large Scale Data Processing Programs in Spark 2020
A Rewriting Logic Semantics for the Generalized Substitution Language 2016
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study 2015
An empirical study of test generation with BETA 2015
Reducing the Cost of Grammar-Based Testing Using Pattern Coverage 2015
Um estudo sobre geração de testes com BETA: Avaliação e aperfeiçoamento 2014
BETA: a tool for test case generation based on B specifications 2013
Grammars for Testing 2013
Application of a Syntax-based Testing Method and Tool to Software Product Lines 2013
Handling contract violations in Java Card using explict exception channels 10.1109/weh.2012.6226596 2012
BETA: A B Based Testing Approach 2012
KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B 2011
Applying the B Method for the Rigorous Development of Smart Card Applications 10.1007/978-3-642-11811-1_16 2010
Generating Test Cases From B Specifications: An Industrial Case Study 2010
Geração de Sentenças para testes a partir de descrições de linguagens 2009
Formalizing FreeRTOS: First Steps 10.1007/978-3-642-10452-7_8 2009
Towards automating proofs for model-based software engineering 2009
Proposta e Avaliação de uma Abordagem de Desenvolvimento de Software Fidedigno por Construção com o Método B 2008
Specification and Runtime Verification of Java Card Programs 2008
BSmart: a tool for the development of Java Card applications with the B method 2008
Applying the B method to take on the grand challenge of verified compilation 2008
Modelling Control Systems in B: an Industrial Case Study 2007
A Ferramenta BSmart para o Desenvolvimento Rigoroso de Aplicações Java Card com o Método Formal B 2007
Agraphs: Definition Implementation and Tools 2006
Automation of Java Card Component Development Using the B Method 2006
A Formal Approach for Network on Chip Design 2006
BSmart: a Method and a Tool for Development of Java Card Applications with B 2006
Implementing Local Intervals in CASL 2005
Developing Java Card Applications with B 2005
Simulating Algebraic Specification Genericity on Languages with Initial Semantics 2003
A Tool Support for Reusing ELAN Rule-Based Components 2003
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae 2002
A Generalization Structuring Construct for CASL 2002
Especificação Formal e Implementação de Mecanismos de Seguranca para a Resolução de Nomes no DNS 2002
FERUS: um ambiente de desenvolvimento de especificações CASL 2002
Advances in BDD Reduction with Parallel Genetic Algorithms 2001
Variable Ordering of BDDs with Parallel Genetic Algorithms 2000
A cache based parallel genetic algorithm for the BDD ordering problem 2000
Proposta de uma Ferramenta de Apoio Formal à Especificação e Re-Utilização de Software 2000
Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes 2000
Proof Preservation In Component Generalization 1999
Symbolic Model Checking With Fewer Fixpoint Computations 1999
Novo Perfil Profissional: Inclusão de Métodos Formais Em Currículos Sobrecarregados 1998
Model Checking Invariants With Reduced Complexity 1998
Parametrização de Componentes de Especificação Com Preservação de Semântica 1998
Using Induction And Bdds To Model Check Invariants 1997
Proposals For A Methodical Approach To Generalization Of Specification Components 1994
Some Ideas on a Methodic Approach to Generalization 1993
Issues in the Implementation of Prolog and their Optimization 1991
Tranceptores Para Redes Locais Em Barra Comum. 1985
Publicações:
Minha Rede: