David Garlan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Engineering secure self-adaptive systems with Bayesian games	2021-08-04	Paper
Reasoning About Sensing Uncertainty in Decision-Making for Self-adaptation Software Engineering and Formal Methods	2021-05-26	Paper
IPL: an integration property language for multi-model cyber-physical systems	2021-05-04	Paper
Supporting Heterogeneity in Cyber-Physical Systems Architectures IEEE Transactions on Automatic Control	2017-05-16	Paper
scientific article; zbMATH DE number 2087292 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2084453 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 2050822 (Why is no real title available?)	2004-03-07	Paper
scientific article; zbMATH DE number 2050823 (Why is no real title available?)	2004-03-07	Paper
scientific article; zbMATH DE number 1982204 (Why is no real title available?)	2003-09-16	Paper
scientific article; zbMATH DE number 1946746 (Why is no real title available?)	2003-07-07	Paper
Reconciling the needs of architectural description with object-modeling notations Science of Computer Programming	2002-10-16	Paper
Towards a formal treatment of implicit invocation using rely/guarantee reasoning Formal Aspects of Computing	1999-06-29	Paper
scientific article; zbMATH DE number 977452 (Why is no real title available?)	1997-02-12	Paper

Research outcomes over time

This page was built for person: David Garlan