( en | de | ru )

 

Disambiguation of "Garlan, David"

Author of the publication

copydeleteadd this publication to your clipboard
Hybrid Planning Using Learning and Model Checking for Autonomous Systems.

, , , and . ACSOS, page 55-64. IEEE, (2020)

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.

Bodo David

Erich David

Ernst David

Baruch Davidoff

Frida David

 

Other publications of authors with the same name

Documenting Software Architectures: Views and Beyond, , , , , , , , and . SEI Series in Software Engineering Addison-Wesley, Upper Saddle River, NJ, (2010)Software Architecture.. Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)MOSAICO: offline synthesis of adaptation strategy repertoires with flexible trade-offs., , , and . Autom. Softw. Eng., 25 (3): 595-626 (2018)Software architecture: a travelogue.. FOSE, page 29-39. ACM, (2014)Formalizing Design Spaces: Implicit Invocation Mechanisms., and . VDM Europe (1), volume 551 of Lecture Notes in Computer Science, page 31-44. Springer, (1991)Architecture-based self-adaptation in the presence of multiple objectives., , and . SEAMS@ICSE, page 2-8. ACM, (2006)Building Long-Lived Adaptive Systems., , and . IEEE Software, 36 (2): 70-72 (2019)Architectural Mismatch or Why It's Hard to Build Systems Out Of Existing Parts., , and . ICSE, page 179-185. ACM, (1995)An Automated Approach to Management of a Collection of Autonomic Systems., and . FAS*W@SASO/ICAC, page 110-115. IEEE, (2019)Specifying and Analyzing Dynamic Software Architectures., , and . FASE, volume 1382 of Lecture Notes in Computer Science, page 21-37. Springer, (1998)