( en | de | ru )

 

Disambiguierung von "Chechik, Marsha"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Security Benchmarking using Partial Verification.

, , und . HotSec, USENIX Association, (2008)

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.

Marsha Schade

 

Weitere Publikationen von Autoren mit dem selben Namen

Lifting model transformations to product lines., , , , und . ICSE, Seite 117-128. ACM, (2014)Toward Requirements Specification for Machine-Learned Components., , , und . RE Workshops, Seite 241-244. IEEE, (2019)Security Benchmarking using Partial Verification., , und . HotSec, USENIX Association, (2008)What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components., , , und . ISSRE, Seite 49-60. IEEE, (2022)Why Waste a Perfectly Good Abstraction?., und . TACAS, Volume 3920 von Lecture Notes in Computer Science, Seite 212-226. Springer, (2006)Applying Declarative Analysis to Software Product Line Models: An Industrial Study., , , , , und . MoDELS, Seite 145-155. IEEE, (2021)Heterogeneous Megamodel Slicing for Model Evolution., , , und . ME@MoDELS, Volume 1706 von CEUR Workshop Proceedings, Seite 50-59. CEUR-WS.org, (2016)Precise semantic history slicing through dynamic delta refinement., , , und . ASE, Seite 495-506. ACM, (2016)Events in Property Patterns., und . SPIN, Volume 1680 von Lecture Notes in Computer Science, Seite 154-167. Springer, (1999)Data structures for symbolic multi-valued model-checking., , , , und . Formal Methods Syst. Des., 29 (3): 295-344 (2006)