Luis Llana

From MaRDI portal
Person:898614

Available identifiers

zbMath Open llana.luisMaRDI QIDQ898614

List of research outcomes





PublicationDate of PublicationType
Runtime verification of contracts with Themulus2021-07-08Paper
Probabilistic software product lines2019-10-17Paper
An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation2018-10-01Paper
Cost-related interface for software product lines2015-12-18Paper
https://portal.mardi4nfdi.de/entity/Q49293342010-09-22Paper
Introducing Debugging Capabilities to Natural Semantics2010-02-02Paper
Formally transforming user-model testing problems into implementer-model testing problems and viceversa2009-07-29Paper
Testing Semantics for RTPA2009-05-22Paper
Theoretical Aspects of Computing – ICTAC 20052006-11-01Paper

Research outcomes over time

This page was built for person: Luis Llana

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:898614&oldid=7022305"
Powered by MediaWiki