( en | de | ru )

 

Disambiguierung von "Pulina, Luca"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Automated Requirements-Based Testing of Black-Box Reactive Systems.

, , , und . NFM, Volume 12229 von Lecture Notes in Computer Science, Seite 153-169. Springer, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Maria Pulina

Michael Pulina

Rafael Pulina

Cornelia Pulina

Tillmann Pulina

 

Weitere Publikationen von Autoren mit dem selben Namen

How to Abstract Intelligence? (If Verification Is in Order)., , , und . AAAI Fall Symposia, AAAI Press, (2013)The Ninth QBF Solvers Evaluation - Preliminary Report.. QBF@SAT, Volume 1719 von CEUR Workshop Proceedings, Seite 1-13. CEUR-WS.org, (2016)Verification of Neural Networks: Enhancing Scalability Through Pruning., , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 2505-2512. IOS Press, (2020)Testing a Learn-Verify-Repair Approach for Safe Human-Robot Interaction., , und . AI*IA, Volume 9336 von Lecture Notes in Computer Science, Seite 260-273. Springer, (2015)Automata based test generation with SpecPro., , , und . RET@ICSE, Seite 13-16. IEEE / ACM, (2019)Verification of NNs in the IMOCO4.E Project: Preliminary Results., , und . ETFA, Seite 1-4. IEEE, (2023)Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project., , , und . ETFA, Seite 1-4. IEEE, (2023)An Ontology-Based Archive for Historical Research., , , und . Description Logics, Volume 1350 von CEUR Workshop Proceedings, CEUR-WS.org, (2015)An Empirical Perspective on Ten Years of QBF Solving., , , , und . RCRA@AI*IA, Volume 1451 von CEUR Workshop Proceedings, Seite 62-75. CEUR-WS.org, (2015)An Ontology for Historical Research Documents., , , und . RR, Volume 9209 von Lecture Notes in Computer Science, Seite 11-18. Springer, (2015)