Author of the publication

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

, , , , , and . NFM, volume 13260 of Lecture Notes in Computer Science, page 752-770. Springer, (2022)

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.

 

Other publications of authors with the same name

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