Gerado automaticamente pelo URLibService


Some of my publications

Ana Maria Ambrosio

URL do documento original:
<http://urlib.net/ibi/8JMKD3MGP5W/3C9JGH7>


 
 

Sumário

1. Artigo em Revista Científica

2. Artigo em Evento

3. Capítulo de Livro

4. Livro ou Monografia

5. Livro Editado

6. Relatório

7. Slides
 
 

1. Artigo em Revista Científica (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 - Como citar? 		 
  

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 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  

Tangible user interface vocabulary to physically enhance space systems engineering tools
Cerqueira, C. S.; Ambrosio, A. M.; Kirner, C.
2019 - Como citar? - Acesso restrito 		 
  

Integrating model checking and model based testing for industrial software development
Villani, E.; Pontes, R. P.; Coracini, G. K.; Ambrósio, A. M.
2019 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  

Model-based testing applied to software components of satellite simulators
Silva, P. D. B.; Ambrosio, A. M.; Villani, E.
2018 - Como citar? - Acesso restrito 		 
  

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

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 - Como citar? - Acesso restrito 		 
  

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 - Como citar? - Acesso restrito 		 
  

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 - Como citar? 		 
  

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 - Como citar? - Acesso restrito 		 
  

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

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 - Como citar? - Acesso restrito 		 
  

A conformance testing process for space applications software services
Ambrosio, A. M.; Martins, E.; Vijaykumar, N. L.; Carvalho, S. V.
2006 - Como citar? - Acesso restrito 		 
  


2. Artigo em Evento (77)

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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

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 - Como citar? 		 
  

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

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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

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 - Como citar? - Acesso restrito 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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

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 - Como citar? 		 
  

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

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

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

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 - Como citar? - Acesso restrito 		 
  

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

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 - Como citar? 		 
  

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

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

A framework for automated model validation applied to picosatellite electrical power subsystem
Rodrigues, I. P.; Ambrosio, A. M.; Cerqueira, C. S.
2016 - Como citar? - Acesso restrito 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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

A proposed strategy for reconfiguring behavior models of operational simulators for artificial satellites
Tominaga, J.; Ambrosio, A. M.; Ferreira, M. G. V.
2016 - Como citar? - Acesso restrito 		 
  

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

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

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

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? - Acesso restrito 		 
  

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 - Como citar? 		 
  

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

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

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 - Como citar? 		 
  

Finite state-machine verification applied to hybrid systems
Romero, A. G.; Ambrosio, A. M.; Souza, M. L. O.
2012 - Como citar? - Acesso restrito 		 
  

Specifying satellite behavior for an operational simulator
Tominaga, J.; Cerqueira, C. S.; Kono, J.; Ambrosio, A. M.
2012 - Como citar? 		 
  

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 - Como citar? 		 
  

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

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

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 - Como citar? 		 
  

Generation Environment, Execution and Test Management Software Embedded
Reis, M. F.; Ambrosio, A. M.; Ferreira, M.
2011 - Como citar? 		 
  

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

Embedded critical software testing for aerospace applications based on PUS
Pontes, R. P.; Martins, E.; Ambrósio, A.; Villani, E.
2010 - Como citar? - Acesso restrito 		 
  

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 - Como citar? 		 
  

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

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 - Como citar? 		 
  

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

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 - Como citar? 		 
  

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

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 - Como citar? 		 
  

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

Space services: textual to formal description
Ambrosio, A. M.; Martins, E.
2006 - Como citar? 		 
  

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 - Como citar? 		 
  

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

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 - Como citar? 		 
  

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

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

Systematic test case generation for concurrent FSMs.
Ambrosio, A. M.
2003 - Como citar? - Acesso restrito 		 
  

Teste de conformidade para software de sistemas espaciais.
Ambrosio, A. M.
2003 - Como citar? 		 
  

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

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

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


3. Capítulo de Livro (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 - Como citar? - Acesso restrito 		 
  


4. Livro ou Monografia (6)

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

Satellite simulator requirements specification based on standard services
Ambrosio, A. M.; Guimarães, D. C.
2012 - Como citar? 		 
  

Manual do usuário da plataforma PLAVIS
Ambrósio, A. M.; Morais, M. H. E.
2010 - Como citar? 		 
  

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 - Como citar? 		 
  

Software verification and validation methods and tools
Ambrosio, A. M.; Silva, N.
2008 - Como citar? 		 
  

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 - Como citar? 		 
  


5. Livro Editado (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 - Como citar? 		 
  


6. Relatório (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 - Como citar? 		 
  

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

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

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 - Como citar? 		 
  


7. Slides (1)

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