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 (15)

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 -