Automatically generated by URLibService


Some of my publications

Ana Maria Ambrosio

Original document URL:
<http://urlib.net/ibi/8JMKD3MGP5W/3C9JGH7>



 
 

Contents

1. Journal Article

2. Conference Paper

3. Book Section

4. Book or Monograph

5. Edited Book

6. Report

7. Slides

 
 

1. Journal Article (16)

Application of the Fault Injection Method for the Verification of the Behavior of Multiple Unmanned Aircraft Systems Flying in Formation
Rodríguez, I. F.; Ambrosio, A. M.; Traslaviña, D. S.; Orduy, J. E.; Melo, P. F.

2025 - How to cite? - Restricted access
 
  

Spacecraft real-time thermal simulation using artificial neural networks
Reis Júnior, J. D.; Ambrósio, A. M.; Sousa, F. L.; Silva, D. F.

2021 - How to cite?
 
  

Modeling satellite battery aging for an operational satellite simulator
Rodrigues, I. P.; Oliveira, P. A. S.; Ambrósio, A. M.; Chagas, R. A. J.

2021 - How to cite? - Restricted access
 
  

Design of a fully digital BPSK demodulator integrated into a TT&C satellite transponder
Lucena, A. M. P.; Silva, A. S.; Viot, D. D.; Ambrósio, A. M.

2020 - How to cite? - Restricted access
 
  

Tangible user interface vocabulary to physically enhance space systems engineering tools
Cerqueira, C. S.; Ambrosio, A. M.; Kirner, C.

2019 - How to cite? - Restricted access
 
  

Integrating model checking and model based testing for industrial software development
Villani, E.; Pontes, R. P.; Coracini, G. K.; Ambrósio, A. M.

2019 - How to cite? - Restricted access
 
  

From natural language standard documents to state machines: advantages and drawbacks
Greghi, J. G.; Martins, E.; Carvalho, A. M. B. R.; Ambrosio, A. M.; Villani, E.

2018 - How to cite? - Restricted access
 
  

Model-based testing applied to software components of satellite simulators
Silva, P. D. B.; Ambrosio, A. M.; Villani, E.

2018 - How to cite? - Restricted access
 
  

Construção de interfaces on-demand baseadas em realidade aumentada projetiva para controle de hardware
Cerqueira, C. S.; Kirner, C.; Ambrosio, A. M.

2015 - How to cite? - Restricted access
 
  

Utilização de realidade virtual, aumentada e cruzada em simuladores de satélite no INPE
Cerqueira, C. S.; Rodrigues, I. P.; Moreira, C. J. A.; Carrara, V.; Ambrosio, A. M.; Kirner, C.

2015 - How to cite? - Restricted access
 
  

A benchmarking process to assess software requirements documentation for space applications
Véras, P. C.; Villani, E.; Ambrosio, A. M.; Vieira, M.; Madeira, H.

2015 - How to cite? - Restricted access
 
  

FSM-based test case generation methods applied to test the communication software on board the ITASAT university satellite: A case study
Pinheiro, A. C.; Simão, A.; Ambrosio, A. M.

2014 - How to cite?
 
  

Contributions of model checking and CoFI methodology to the development of space embedded software
Pontes, R. P.; Véras, P. C.; Ambrosio, A. M.; Villani, E.

2014 - How to cite? - Restricted access
 
  

Development of an interface to a spacecraft simulator empowered by virtual reality
Cerqueira, C. S.; dos Santos, W. A.; Ambrosio, A. M.

2012 - How to cite?
 
  

Decision Support Tool for Prediction of Critical Data to the Satellite Integrity
Souza, P. B.; Ferreira, M. G. V.; Silva, J. D. S.; Ambrosio, A. M.

2011 - How to cite? - Restricted access
 
  

A conformance testing process for space applications software services
Ambrosio, A. M.; Martins, E.; Vijaykumar, N. L.; Carvalho, S. V.

2006 - How to cite? - Restricted access
 
  


2. Conference Paper (78)

Model-Based System Engineering to leverage Ground Segment Development of Space Missions
Julio Filho, A. C.; Ferreira, M. G. V.; Maria Ambrosio, A.; Cunha, J. B. S.; Souza, L.

2023 - How to cite?
 
  

Model-Based Systems Engineering Methodology to the Concept of Operations in Space Systems
Julio Filho, A. C.; Ferreira, M. G. V.; Ambrósio, A. M.

2022 - How to cite?
 
  

Análise qualitativa do Processo de Desenvolvimento de Software Embarcado no Satélite Amazonia-1
Lima, M. J. S.; Kucinskis, F. N.; Mattiello Francisco, M. F.; Ambrósio, A. M.

2022 - How to cite?
 
  

The Ground Segment: A proposal Framework based on concepts of Dynamic Management of the Space Link Extension Protocol Services
Julio Filho, A. C.; Ferreira, M. G. V.; Ambrósio, A. M.

2021 - How to cite?
 
  

Model-Based System Engineering (MBSE) applied to ground segment development of space missions: new challenges
Julio Filho, A. C.; Ferreira, M. G. V.; Ambrosio, A. M.; Grostner, I.

2021 - How to cite?
 
  

Methodologies for model-based systems engineering to leverage ground segment development
Júlio Filho, A. C.; Ferreira, M. G. V.; Ambrósio, A. M.

2021 - How to cite?
 
  

Generating test cases to evaluate and improve processes of safety-critical systems development
Barros, L.; Hirata, C.; Marques, J.; Ambrósio, A. M.

2020 - How to cite? - Restricted access
 
  

A proposal an innovative framework for the conception of the ground segment of space systems
Julio Filho, A. C.; Ferreira, M. G. V.; Ambrósio, A. M.
2020 - How to cite?
 
  

Operational Nanosatellite Simulator: would it be applicable to Cubesat missions?
Rodrigues, I. P.; Ambrósio, A. M.; Chagas, R. A. J.
2020 - How to cite?
 
  

The China-Brazil Earth Resources Satellite - CBERS-4A: A Proposal for Ground Segment Based on The Space Link Extension Protocol Services
Julio Filho, A. C.; Ambrosio, A. M.; Ferreira, M. G. V.; Loureiro, G.

2019 - How to cite?
 
  

The China-Brazil Earth Resources Satellite - CBERS-4A: a proposal for ground segment based on the space link extension protocol services
Júlio Filho, A. C.; Ambrosio, A. M.; Ferreira, M. G. V.; Loureiro, G.

2019 - How to cite?
 
  

Método de identificação de requisitos de um software de OBDH de nanosatélites a partir de serviços PUS
Padilha, J. J.; Ambrósio, A. M.; Mattiello Francisco, M. F.

2019 - How to cite?
 
  

Use of artificial neural networks in satellite simulators
Rodrigues, Í. P.; Oliveira, P. A. S.; Ambrósio, A. M.; Chagas, R. A. J.

2019 - How to cite?
 
  

New challenges for dynamic management of the space link extension protocol services: the Amazonia-1 satellite?s ground segment
Júlio Filho, A. C.; Ambrosio, A. M.; Ferreira, M. G. V.

2018 - How to cite? - Restricted access
 
  

Identification and control techniques applied to an operational satellite simulator
Rodrigues, I. P.; Rego, L. F. M.; Coimbra, T. S.; Gruppelli, G. P.; Ambrosio, A. M.

2018 - How to cite?
 
  

Descrição do comportamento de modelos para um simulador operacional de satélites em OPM
Cerqueira, C. S.; Ambrósio, A. M.; Santos, O. F.; Geus, I.; Barros, L.

2017 - How to cite?
 
  

Using ISO-19450 to describe and simulate a smallsat operational scenario
Cerqueira, C. S.; Ambrósio, A. M.; Kirner, C.

2017 - How to cite?
 
  

The Amazonia-1 satellite’s ground segment - challenges for implementation of the space link extension protocol services
Julio Filho, A. C.; Ambrósio, A. M.; Ferreira, M. G. V.; Loureiro, G.

2017 - How to cite?
 
  

Data collection subsystem modeling and simulation using simulink
Rodrigues, I. P.; Goes, R.; Cerqueira, C. S.; Ambrósio, A. M.

2017 - How to cite?
 
  

Comparing satellite telemetry against simulation parameters in a simulator model reconfiguration tool
Tominaga, J.; Ferreira, M. G. V.; Ambrósio, A. M.

2017 - How to cite?
 
  

A Model Based Concurrent Engineering Framework using ISO-19450 Standard
Cerqueira, C. S.; Ambrosio, A. M.; Kirner, C.

2016 - How to cite?
 
  

Two independent processes of verification applied to a satellite simulator
Cerqueira, C. S.; Silva, P. D. B.; Rodrigues, I. P.; Ambrosio, A. M.; Villani, E.

2016 - How to cite? - Restricted access
 
  

On the use of NANOSATC-BR test system for payload operational requirements verification
Conceição, C.; Ambrosio, A. M.; Mattiello Francisco, M. F.

2016 - How to cite?
 
  

SLE protocol services: results of an architecture applied at the National Institute for Space Research
Julio Filho, A. C.; Ambrosio, A. M.; Ferreira, M. G. V.

2016 - How to cite?
 
  

Reproducing Amazonia-1 Satellite Thermal Behavior with Artificial Neural Networks
Reis Junior, J. D.; Ambrosio, A. M.; Sousa, F. L.; Silva, D. F.

2016 - How to cite? - Restricted access
 
  

Real-Time Cubesat Thermal Simulation using Artificial Neural Networks
Reis Júnior, J. D.; Ambrosio, A. M.; Sousa, F. L.

2016 - How to cite?
 
  

A framework for automated model validation applied to picosatellite electrical power subsystem
Rodrigues, I. P.; Ambrosio, A. M.; Cerqueira, C. S.

2016 - How to cite? - Restricted access
 
  

Towards an automated hybrid test and simulation framework to functional verification of nanosatellites' electrical power supply subsystem
Rodrigues, I. P.; Ambrosio, A. M.; Cerqueira, C. S.

2016 - How to cite?
 
  

A framework for oversight of software's suppliers of safety-critical Space System based on civil aviation best practices
Sakugawa, B.; Ambrosio, A. M.; Lahoz, ; Loureiro, G.

2016 - How to cite?
 
  

An approach for verification of a satellite simulator – an evolving system
Silva, P.; Ambrosio, A. M.; Villani, E.; Azevedo, D. N. R.

2016 - How to cite?
 
  

A proposed strategy for reconfiguring behavior models of operational simulators for artificial satellites
Tominaga, J.; Ambrosio, A. M.; Ferreira, M. G. V.

2016 - How to cite? - Restricted access
 
  

Reconfiguring operational satellite simulators behavior models with genetic programming
Tominaga, J.; Ferreira, M. G. V.; Ambrosio, A. M.
2016 - How to cite?
 
  

Towards a Dynamic Management of the Space Link Extension Protocol Services
Julio Filho, A. C.; Ambrosio, A. M.; Ferreira, M. G. V.
2015 - How to cite?
 
  

Towards spacecraft real-time thermal simulation with artificial neural networks
Reis Junior, J. D.; Ambrosio, A. M.; Sousa, F. L.

2015 - How to cite?
 
  

Reconfiguração de modelos comportamentais de simulador operacional de satélites por meio de programação genética
Tominaga, J.; Ferreira, M. G. V.; Ambrósio, A. M.

2015 - How to cite?
 
  

From academia to industry: challenges and lessons learned from a model-based-testing experience
Villani, E.; Ambrosio, A. M.; Martins, E.; Dutra, T.; Araújo, M.

2015 - How to cite?
 
  

Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators
Azevedo, D. N. R.; Vieira, M.; Ambrosio, A. M.

2014 - How to cite?
 
  

Robustness testing of satellite attitude and orbit control systems: A proposal guided by two model based testing methodologies
Corsetti, A.; Ambrosio, A. M.; Mattiello-Francisco, M. F.

2014 - How to cite?
 
  

NanosatCS: Um sistema de solo para controle e monitoramento do NanosatC-Br1
Essado, M.; Strieder, C.; Durão, O. S. C.; Ambrosio, A. M.

2014 - How to cite?
 
  

Gerenciamento Dinâmico de Serviços do Protocolo Space Link Extension (SLE) para Controle e Recepção de Dados de Satélites
Julio Filho, A. C.; Ambrosio, A. M.; Ferreira, M. G. V.

2014 - How to cite? - Restricted access
 
  

Proposta de Uso de Redes Neurais para Simulação Térmica em um Simulador Operacional de Satélites
Reis Junior, J. D.; Ambrosio, A. M.; Sousa, F. L.

2014 - How to cite?
 
  

Simulação com Hardware-in-the-loop integrada por Arduino a um Simulador de Satélite
Rodrigues, I. P.; Ambrosio, A. M.

2014 - How to cite?
 
  

Proposta de Uso de Algoritmos Evolutivos para Reconfiguração de Modelos Comportamentais de Simuladores Operacionais de Satélites
Tominaga, J.; Ambrosio, A. M.; Ferreira, M. G. V.

2014 - How to cite?
 
  

Validation of de Satellite Speed Measurement System with the use of formal methods for Test case generation: one experiment
Ambrosio, A. M.; Julio Filho, A. C.; Tikami, A.
2013 - How to cite?
 
  

Estimativa de Teste de Software: A Análise de Ponto de Teste Aplicada em um Sistema de Processamento de Transações Financeiras
Carvalho, N. G.; Morais, M. H. E.; Ambrosio, A. M.

2013 - How to cite?
 
  

Validation of the Satellite Speed Measurement System with the Use of Finite State Machine for Test Case Generation
Cassiano Filho, A.; Tikami, A.; Ambrosio, A. M.

2013 - How to cite?
 
  

An Experience on Technology Transfer of CoFI Methodology to Automotive Domain
Francisco, M. F. M.; Villani, E.; Martins, E.; Dutra, T.; Coelho, B.; Ambrosio, A. M.

2013 - How to cite?
 
  

Analysis of the simulation model platform adoption in the context of INPE simulators
Azevedo, D. N. R.; Hoffmann, L. T.; Ambrosio, A. M.; Perondi, L. F.

2012 - How to cite?
 
  

Estimativa de teste de software: a análise de pontos de teste aplicada a um caso de estudo real
Essado, M.; Carvalho, N. G.; Ambrosio, A. M.

2012 - How to cite?
 
  

VVTeste: Ambiente de geração e gerenciamento de testes e de defeitos como apoio aos processos de Verificação e Validação do MPS.Br
Reis, M. F. S.; Ambrosio, A. M.; Ferreira, M. G. V.

2012 - How to cite?
 
  

Finite state-machine verification applied to hybrid systems
Romero, A. G.; Ambrosio, A. M.; Souza, M. L. O.

2012 - How to cite? - Restricted access
 
  

Specifying satellite behavior for an operational simulator
Tominaga, J.; Cerqueira, C. S.; Kono, J.; Ambrosio, A. M.

2012 - How to cite?
 
  

Uso de um padrão de portabilidade para integração de sistemas legados de simulação de satélites
Carretero, M. A.; Ambrósio, A. M.

2011 - How to cite?
 
  

How Much Test Costs Are Impacted by Test Environment Development and Maintenance?
Mendonça, C. H.; Ambrosio, A. M.

2011 - How to cite?
 
  

A New State-Model Based Approach for Refinement of Space Application Requirement
Morais, M. H. E.; Ambrosio, A. M.

2011 - How to cite?
 
  

Validação dos modos de operação do satélite itasat-1 através de uma abordagem de melhoria da qualidade de requisitos baseada em modelos de estados
Morais, M. H. E.; Ambrosio, A. M.

2011 - How to cite?
 
  

Generation Environment, Execution and Test Management Software Embedded
Reis, M. F.; Ambrosio, A. M.; Ferreira, M.

2011 - How to cite?
 
  

Dependability in Satellite Systems: An Architecture for Satellite Telemetry Analysis
Azevedo, D. N. R.; Ambrósio, A. M.

2010 - How to cite?
 
  

Embedded critical software testing for aerospace applications based on PUS
Pontes, R. P.; Martins, E.; Ambrósio, A.; Villani, E.

2010 - How to cite? - Restricted access
 
  

Decision Support Tool for Prediction of Critical Data to the Satellite Integrity
Souza, P. B.; Ferreira, M. G. V.; Silva, J. D. S.; Ambrosio, A. M.

2009 - How to cite?
 
  

An Independent Software Verification and Validation Process for Space Applications
Ambrósio, A. M.; Mattiello-Francisco, M. F.; Martins, E.

2008 - How to cite? - Restricted access
 
  

Uma Estratégia para Validar Plano de Operação de Vôo de Satélites do INPE
Souza, P. B.; Ferreira, M. G. V.; Silva, J. D. S.; Ambrosio, A. M.

2008 - How to cite?
 
  

Satellite simulator requirements specification based on standardized space services
Ambrosio, A. M.; Barreto, J. P.; Guimarães, D. C.

2007 - How to cite?
 
  

Designing fault injection experiments using state-based model to test a space software
Ambrosio, A. M.; Mattiello-Francisco, F.; Santiago Júnior, V. A.; Martins, E.

2007 - How to cite?
 
  

Acceptance Testing Strategy Guided by Evolutionary Operational Profiles
Mattiello-Francisco, M. F.; Ambrosio, A. M.; Yano, E. T.

2007 - How to cite?
 
  

A Brazilian software industry experience in using ECSS for space application software development
Mattiello-Francisco, M. F.; Santiago, V.; Ambrosio, A. M.; Jogaib, L.; Costa, R.

2007 - How to cite?
 
  

Brazilian satellite simulators: previous solutions trade-off and new perspectives for the CBERS program
Ambrosio, A. M.; Cardoso, P. E.; Bianchi Neto, J.

2006 - How to cite?
 
  

Space services: textual to formal description
Ambrosio, A. M.; Martins, E.

2006 - How to cite?
 
  

Verificação e validação na terceirização de software embarcado em aplicações espaciais
Mattiello-Francisco, M. F.; Santiago Júnior, V. A.; Ambrósio, A. M.; Costa, R.; Leise, J.

2006 - How to cite?
 
  

Systematic generation of test and fault cases for space application validation
Ambrosio, A. M.; Martins, E.; Vijaykumar, N. L.; Carvalho, S. V.

2005 - How to cite?
 
  

PLAVIS/FSM: na environment to integrate fsm-based testing tool
Simão, A. S.; Ambrósio, A. M.; Fabbri, S. C. P.; Amaral, A. S. M. S.; Martins, E.; Maldonado, J. C.

2005 - How to cite?
 
  

CoFI: a test process for space application service validation
Ambrosio, A. M.; Martins, E.; Vijaykumar, N. L.; Carvalho, S. V.

2004 - How to cite?
 
  

STER: a strategy for testing reactive systems
Martins, E.; Guimarães, D. C.; Ambrosio, A. M.

2004 - How to cite?
 
  

Systematic test case generation for concurrent FSMs.
Ambrosio, A. M.

2003 - How to cite? - Restricted access
 
  

Teste de conformidade para software de sistemas espaciais.
Ambrosio, A. M.

2003 - How to cite?
 
  

An approach for concurrent FSM-based test case generation
Ambrosio, A. M.; Martins, E.; Carvalho, S. V.; Vijaykumar, N. L.

2003 - How to cite?
 
  

ATIFS: A testing toolset with software fault injection.
Ambrosio, A. M.; Mattiello-Francisco, M. F.; Martins, E.

2003 - How to cite?
 
  

Automatic test case generation of the behavior of communication software systems
Ambrosio, A. M.; Carvalho, S. V.; Vijaykumar, N. L.; Martins, E.

2002 - How to cite?
 
  


3. Book Section (1)

Approach proposal for critical software processes selection for space projections in Very Small Entities (VSE)
Diniz, G. H.; Ambrósio, A. M.; Lahoz, C. H. N.; Sakugawa, B. M.

2020 - How to cite? - Restricted access
 
  


4. Book or Monograph (6)

Modelagem do Módulo de Comunicação do Satélite ITASAT segundo a Metodologia COFI
Pinheiro, A. C.; Ambrosio, A. M.

2013 - How to cite?
 
  

Satellite simulator requirements specification based on standard services
Ambrosio, A. M.; Guimarães, D. C.

2012 - How to cite?
 
  

Manual do usuário da plataforma PLAVIS
Ambrósio, A. M.; Morais, M. H. E.

2010 - How to cite?
 
  

Manual de instalação da plataforma PLAVIS
Morais, M. H. E.; Schmidt, F.; Mendonça, D. R.; Ambrósio, A. M.; Souza, M. L. O.

2009 - How to cite?
 
  

Software verification and validation methods and tools
Ambrosio, A. M.; Silva, N.

2008 - How to cite?
 
  

Experiências em projetos e uso de técnicas de verficiação e validação de software em aplicações espaciais no INPE
Ambrósio, A. M.; Mattiello-Francisco, F.; Cardoso, L. S.; Santiago, V.; Arias, R.; Vijaykumar, N. L.; Loureiro, G.

2007 - How to cite?
 
  


5. Edited Book (1)

Proceedings of the Fifth Latin-American Symposium on Dependable Computing
Ambrosio, A. M.; Mattiello-Francisco, F.; Jr., J. B. C.; Cancela, H.; Barbosa, R.

2011 - How to cite?
 
  


6. Report (4)

Estudo de casos em modelagem e geração automática de testes desenvolvidos na disciplina de verificação e validação de sistemas espaciais
Ambrosio, A. M.; Silva, P. D. B.; Brandolin, J. B.; Oliveira, E. H. S.; Padilha, J. J.; Cereja Junior, M. G.

2014 - How to cite?
 
  

Um estudo sobre arquiteturas de simuladores de satélites
Ambrósio, A. M.; Barreto, J. P.

2012 - How to cite?
 
  

Metodologia CoFI (conformance and fault injection) aplicada a um exemplo didático
Morais, M. H. E.; Ambrósio, A. M.

2009 - How to cite?
 
  

CoFI - Conformance and fault injection: a testing process including test and fault cases derivation for space application software validation
Ambrosio, A. M.; Martins, E.; Viajaykumar, L. V.; Carvalho, S. V.

2004 - How to cite?
 
  


7. Slides (1)

A Model Based Concurrent Engineering Framework using ISO-19450 Standard
Cerqueira, C. S.; Ambrosio, A. M.; Kirner, C.

2016 - How to cite?
 
  

 
 

 
 

- reloading completed -