( en | de | ru )

 

Disambiguation of "Bombarda, Andrea"

Author of the publication

copydeleteadd this publication to your clipboard
The ASMETA Approach to Safety Assurance of Software Systems.

, , , , , and . Logic, Computation and Rigorous Methods, volume 12750 of Lecture Notes in Computer Science, page 215-238. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrea Witzenrath

Risikofaktoren für abdominelle Komplikationen nach kardiopulmonalem Bypass. Uni Erlangen-Nürnberg, (2009)

Andrea Rottach

Analysis of the cell cycle dependent dynamics of Dnmt1 and Np95 in living cells. Uni München, (2009)

Andrea Hruby

Die MAPKKK Bck1p des Zellwand-Integritätssignalwegs in der Bäckerhefe Saccharomyces cerevisiae. Uni Münster, (2009)

Michaela Andrea Fingas

Resultate nach radikaler Prostatektomie bei Patienten mit einem Prostatakarzinom Gleason 7-10. Uni Marburg, (2009)

Andrea Weckesser

 

Other publications of authors with the same name

Dealing with Robustness of Convolutional Neural Networks for Image Classification., , , and . AITest, page 7-14. IEEE, (2020)Efficient Computation of Robustness of Convolutional Neural Networks., , , and . AITest, page 21-28. IEEE, (2021)Extending ASMETA with Time Features., , , and . ABZ, volume 12709 of Lecture Notes in Computer Science, page 105-111. Springer, (2021)Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller., , and . ICTSS, volume 13045 of Lecture Notes in Computer Science, page 65-72. Springer, (2021)Incremental generation of combinatorial test suites starting from existing seed tests., and . ICSTW, page 197-205. IEEE, (2023)ASMETA Tool Set for Rigorous System Design., , , , and . FM (2), volume 14934 of Lecture Notes in Computer Science, page 492-517. Springer, (2024)Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines., , , , , and . ICTSS, volume 11812 of Lecture Notes in Computer Science, page 67-85. Springer, (2019)Towards an Evaluation Framework for Autonomous Systems., , , , , , and . ACSOS-C, page 43-48. IEEE, (2022)Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams., and . ICST Workshops, page 74-81. IEEE, (2022)An environment for benchmarking combinatorial test suite generators., , and . ICST Workshops, page 48-56. IEEE, (2021)