( en | de | ru )

 

Disambiguation of "Durling, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Michael Liecke

Subnationale Clusterpolitik: die Biotechnologiepolitik deutscher Länder im Vergleich. Uni München, (2009)

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)

Michael Krug

X-ray crystallographic analysis of the archaeal transcriptional regulator TrmB and development of a graphical user interface for the monochromatic diffraction data processing software XDS. Uni Konstanz, (2009)

Michael Bernateck

Komplexes Regionales Schmerzsyndrom Typ 1 (M.Sudeck): neue Aspekte zur Symptomatologie, Pathogenese, Diagnostik und Therapie. MedH Hannover, habilitation, (2009)

Michael Bode

Le groupe international de sociétés: le système de conflit de lois en droit comparé français et allemand. HU Berlin, (2009)
 

Other publications of authors with the same name

Automating the Assembly of Security Assurance Case Fragments., , , , and . SAFECOMP, volume 12852 of Lecture Notes in Computer Science, page 101-114. Springer, (2021)VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System., , , , , , , , , and 5 other author(s). Syst., 9 (1): 18 (2021)Safe and Reliable Training of Learning-Based Aerospace Controllers., , , , , , , , , and 3 other author(s). CoRR, (2024)Towards a Correct-by-Construction Design of Integrated Modular Avionics., , , , , , , , , and 2 other author(s). FMCAD, page 221-227. IEEE, (2023)Towards Developing Trusted Smart Contracts in Simulink., , , , , , and . PoEM Workshops, volume 2749 of CEUR Workshop Proceedings, page 35-46. CEUR-WS.org, (2020)Formal Methods in Requirements Engineering: Survey and Future Directions., , , , , , , and . FormaliSE@ICSE, page 88-99. ACM, (2024)Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates., , , , , , , , , and 2 other author(s). CoRR, (2024)Assurance Case Synthesis from a Curated Semantic Triplestore., , , , and . SAFECOMP, volume 14988 of Lecture Notes in Computer Science, page 84-99. Springer, (2024)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)Model-Based Security Analysis in Additive Manufacturing Systems., , , , , , , and . AMSec@CCS, page 3-13. ACM, (2022)