Autor der Publikation

Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.

, , , , , und . NFM, Volume 13260 von Lecture Notes in Computer Science, Seite 752-770. Springer, (2022)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Enabling Development of an Extensible, Multi-Perspective Ontology., , , , , , und . ICSC, Seite 77-80. IEEE, (2024)Concept-Level Rules for Capturing Domain Knowledge., , und . ICSC, Seite 260-264. IEEE Computer Society, (2018)Using OWL Ontologies as a Domain-Specific Language for Capturing Requirements for Formal Analysis and Test Case Generation., und . ICSC, Seite 361-366. IEEE, (2019)Algebraic Specification Of A Communication Scheduler., und . TAPSOFT, Vol.2, Volume 186 von Lecture Notes in Computer Science, Seite 356-370. Springer, (1985)Co-Operative Recovery From Faults in Distributed Programs., und . IFIP Congress, Seite 481-486. North-Holland/IFIP, (1983)Ego-Centric Network Sampling in Viral Marketing Applications., , , und . Mining and Analyzing Social Networks, Volume 288 von Studies in Computational Intelligence, Springer, (2010)Time Lower Bounds For CREW-PRAM Computation Of Monotone Functions., und . ICALP, Volume 372 von Lecture Notes in Computer Science, Seite 95-107. Springer, (1989)Scheduling of Hard Real-Time Systems.. FSTTCS, Volume 241 von Lecture Notes in Computer Science, Seite 362-381. Springer, (1986)Synthesis of Communicating Processes.. PODC, Seite 123-130. ACM, (1983)Semantic Inference for Pharmacokinetic Drug-Drug Interactions., , , und . ICSC, Seite 92-95. IEEE Computer Society, (2014)