Anamaria Martins Moreira

According to our database1, Anamaria Martins Moreira authored at least 29 papers between 1997 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Modeling Big Data Processing Programs.
Proceedings of the Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, 2020

Mutation Operators for Large Scale Data Processing Programs in Spark.
Proceedings of the Advanced Information Systems Engineering, 2020

2018
Semantic Web Services testing: A Systematic Mapping study.
Comput. Sci. Rev., 2018

2016
An empirical study of test generation with BETA.
J. Braz. Comput. Soc., 2016

2015
Verifying Code Generation Tools for the B-Method Using Tests: A Case Study.
Proceedings of the Tests and Proofs - 9th International Conference, 2015

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage.
Proceedings of the Testing Software and Systems, 2015

2012
JCML: A specification language for the runtime verification of Java Card programs.
Sci. Comput. Program., 2012

BETA: A B Based Testing Approach.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Handling contract violations in Java card using explict exception channels.
Proceedings of the 5th International Workshop on Exception Handling, 2012

2010
Applying the B Method for the Rigorous Development of Smart Card Applications.
Proceedings of the Abstract State Machines, 2010

2009
Verified Compilation and the B Method: A Proposal and a First Appraisal.
Electron. Notes Theor. Comput. Sci., 2009

Specification and Runtime Verification of Java Card Programs.
Electron. Notes Theor. Comput. Sci., 2009

Refining interfaces: the case of the B method
CoRR, 2009

Formalizing FreeRTOS: First Steps.
Proceedings of the Formal Methods: Foundations and Applications, 2009

2008
Preface.
Electron. Notes Theor. Comput. Sci., 2008

BSmart: A Tool for the Development of Java Card Applications with the B Method.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007
Implementing Local Intervals in CASL.
Electron. Notes Theor. Comput. Sci., 2007

Developing Java Card Applications with B.
Electron. Notes Theor. Comput. Sci., 2007

2006
AGraphs: Definition, implementation and tools.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Automation of Java Card component development using the B method.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2004
Manipulating algebraic specifications with term-based and graph-based representations.
J. Log. Algebraic Methods Program., 2004

Simulating Algebraic Specification Genericity on Languages with Initial Semantics.
Electron. Notes Theor. Comput. Sci., 2004

2003
A Tool Support for Reusing ELAN Rule-Based Components.
Electron. Notes Theor. Comput. Sci., 2003

2002
Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae.
Proceedings of the Rewriting Techniques and Applications, 13th International Conference, 2002

2000
Introdução a Métodos Formais: Especificação, Semântica e Verificação de Sistemas Concorrentes.
RITA, 2000

Variable Ordering of BDDs with Parallel Genetic Algorithms.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

1999
Proof Preservation in Component Generalization.
Proceedings of the FM'99 - Formal Methods, 1999

Symbolic Model Checking with Fewer Fixpoint Computations.
Proceedings of the FM'99 - Formal Methods, 1999

1997
Using induction and BDDs to model check invariants.
Proceedings of the Advances in Hardware Design and Verification, 1997


  Loading...