default search action

combined dblp search
author search
venue search
publication search

ask others

Ana Maria Ambrosio

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sj/HirataA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sj/HirataA22
Celso M. Hirata, Ana Maria Ambrosio:
Combining STPA With CoFI to Generate Requirements and Test Cases for Safety-Critical System. IEEE Syst. J. 16(4): 6635-6646 (2022)
2020
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/BarrosHMA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/BarrosHMA20
Lilian Barros, Celso M. Hirata, Johnny Cardoso Marques, Ana Maria Ambrosio:
Generating test cases to evaluate and improve processes of safety-critical systems development. ISSRE Workshops 2020: 311-318

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/cera/CerqueiraAK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cera/CerqueiraAK19
Christopher Shneider Cerqueira, Ana Maria Ambrosio, Claudio Kirner:
Tangible user interface vocabulary to physically enhance space systems engineering tools. Concurr. Eng. Res. Appl. 27(4) (2019)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/cii/VillaniPCA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cii/VillaniPCA19
Emília Villani, Rodrigo Pastl Pontes, Guilherme Kisseloff Coracini, Ana Maria Ambrosio:
Integrating model checking and model based testing for industrial software development. Comput. Ind. 104: 88-102 (2019)
2018
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jacic/GreghiMCAV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacic/GreghiMCAV18
Juliana Galvani Greghi, Eliane Martins, Ariadne Maria Brito Rizzoni Carvalho, Ana Maria Ambrosio, Emília Villani:
From Natural Language Standard Documents to State Machines: Advantages and Drawbacks. J. Aerosp. Inf. Syst. 15(5): 271-281 (2018)
2016
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ladc/SilvaAVA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ladc/SilvaAVA16
Paulo Diego Barbosa Da Silva, Ana Maria Ambrosio, Emília Villani, Denise Rotondi Azevedo:
An Approach for Verification of a Satellite Simulator - An Evolving System. LADC 2016: 176-182
2015
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/VerasVAVM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/VerasVAVM15
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Marco Vieira, Henrique Madeira:
A benchmarking process to assess software requirements documentation for space applications. J. Syst. Softw. 100: 103-116 (2015)
2014
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/PontesVAV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/PontesVAV14
Rodrigo Pastl Pontes, Paulo Claudino Véras, Ana Maria Ambrosio, Emília Villani:
Contributions of model checking and CoFI methodology to the development of space embedded software. Empir. Softw. Eng. 19(1): 39-68 (2014)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/AzevedoAV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/AzevedoAV14
Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira:
Towards a Resilience Benchmarking Description Language for the Context of Satellite Simulators (Short Paper). EDCC 2014: 194-197
2013
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/prdc/AzevedoAV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prdc/AzevedoAV13
Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira:
HLA Middleware Robustness and Scalability Evaluation in the Context of Satellite Simulators. PRDC 2013: 312-317
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sbesc/CorsettiAM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbesc/CorsettiAM13
Andre Corsetti, Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco:
Robustness Testing of Satellite Attitude and Orbit Control Systems: A Proposal Guided by Two Model Based Testing Methodologies. SBESC 2013: 159-160
2012
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/edcc/AzevedoAV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edcc/AzevedoAV12
Denise Rotondi Azevedo, Ana Maria Ambrosio, Marco Vieira:
Applying Data Mining for Detecting Anomalies in Satellites. EDCC 2012: 212-217
2010
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/VerasVASVM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/VerasVASVM10
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Nuno Silva, Marco Vieira, Henrique Madeira:
Errors on Space Software Requirements: A Field Study and Application Scenarios. ISSRE 2010: 61-70
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/VerasVAPVM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/VerasVAPVM10
Paulo C. Véras, Emília Villani, Ana Maria Ambrosio, Rodrigo Pastl Pontes, Marco Vieira, Henrique Madeira:
Benchmarking Software Requirements Documentation for Space Application. SAFECOMP 2010: 112-125

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2007
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/ladc/AmbrosioMSSM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ladc/AmbrosioMSSM07
Ana Maria Ambrosio, Maria de Fátima Mattiello-Francisco, Valdivino Alexandre de Santiago Jr., Wendell Pereira da Silva, Eliane Martins:
Designing Fault Injection Experiments Using State-Based Model to Test a Space Software. LADC 2007: 170-178
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/seke/SantiagoMCSA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/SantiagoMCSA07
Valdivino Alexandre de Santiago Jr., Maria de Fátima Mattiello-Francisco, Ricardo Costa, Wendell Pereira da Silva, Ana Maria Ambrosio:
QSEE Project: An Experience in Outsourcing Software Development for Space Applications. SEKE 2007: 51-56
2006
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jacic/AmbrosioMVC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jacic/AmbrosioMVC06
Ana Maria Ambrosio, Eliane Martins, Nandamudi L. Vijaykumar, Solon V. Carvalho:
A Conformance Testing Process for Space Applications Software Services. J. Aerosp. Comput. Inf. Commun. 3(4): 146-158 (2006)
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbqs/Mattiello-Francisco06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbqs/Mattiello-Francisco06
Maria de Fátima Mattiello-Francisco, Valdivino Alexandre de Santiago Júnior, Ana Maria Ambrosio, Ricardo Costa, Leise Jogaib:
Verificação e Validação na terceirização de software embarcado em aplicações espaciais. SBQS 2006: 367-374
2005
[b1]
- view
- export record
  dblp key:
  - phd/ndltd/Ambrosio05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ndltd/Ambrosio05
Ana Maria Ambrosio:
COFI: an approach combining conformance test and fault injection for espace application software validation. National Institute for Space Research, São José dos Campos, Brazil, 2005
2000
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hicss/MartinsSA00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hicss/MartinsSA00
Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio:
ConData: A Tool for Automating Specification-based Test Case Generation for Communication Systems. HICSS 2000: 8012-

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/AmbrosioGC99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/AmbrosioGC99
Ana Maria Ambrosio, Luciana Seda C. Gonçalves, Paulo Eduardo Cardoso:
An Experience in Testing an Object-Oriented Satellite Control System. Softw. Qual. J. 8(4): 271-283 (1999)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sqj/MartinsSA99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sqj/MartinsSA99
Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio:
ConData: A Tool for Automating Specification-Based Test Case Generation for Communication Systems. Softw. Qual. J. 8(4): 303-320 (1999)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1988
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbes/AmbrosioV88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbes/AmbrosioV88
Ana Maria Ambrosio, Flávio Roberto Dias Velasco:
Um Sistema para Execução de Especificações JSD. SBES 1988: 96-105

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.