Talks

@misc{ISSTA2020,
title = {Uncertainty Modeling and Evaluation for Dependable IoT Cloud Systems Design},
author = {Luca Berardinelli and Hong-Linh Truong},
url = {https://conf.researchr.org/program/issta-2020/program-issta-2020?date=Sun%2019%20Jul%202020&track=ISSTA%20TAV-CPS%2FIoT#detailed-table},
year = {2020},
date = {2020-07-19},
abstract = {Developing dependable complex applications using IoT and cloud services is very challenging. Using service APIs and client libraries the developer can glue various software capabilities to build complex IoT Cloud applications but the developer also needs to arbitrarily extend and model functional and quality aspects of new components, connectors, and their interactions. Hence, knowledge about existing IoT Cloud and modeling is crucial. However, due to the lack of knowledge and the complexity of IoT Cloud Systems, the developer might introduce or might not be able to detect various types of uncertainties, which strongly influence the application. In this talk we aim at detecting such uncertainties and recommend software design to deal with such uncertainties as early as possible. We model and evaluate potential uncertainties on design artifacts representing structural and/or behavioral information about the system under study. We propose a rule-based Uncertainty Modeling and Evaluation methodology (UME) and tool (T4UME) to help users in detecting potential uncertainties on design artifacts and to decide whether or not refactoring strategies should be applied to uncertain system design artifacts. In particular, our framework deals with uncertainty as a crosscutting, multidisciplinary concept by providing proper extension and customisation mechanism to suitably tailor its adoption to different domains.},
keywords = {},
pubstate = {published},
tppubtype = {presentation}
}

@misc{FlexMDE19,
title = {Flexible Modeling by Prototype-based Languages and Inconsistency Management: Two Experiences from the Production System Domain},
author = {Manuel Wimmer },
editor = {ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems},
year = {2019},
date = {2019-09-17},
abstract = {FlexMDE 2019 - 5th Flexible MDE Workshop
Tuesday, September 17th - Munich (Germany)
ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019)
http://www.modelsconference.org/ },
keywords = {},
pubstate = {published},
tppubtype = {presentation}
}

@misc{MULTI2018,
title = {Multi-Level Modeling in the Wild with AutomationML},
author = {Manuel Wimmer },
url = {https://www.wi-inf.uni-duisburg-essen.de/MULTI2018/},
year = {2018},
date = {2018-10-16},
keywords = {},
pubstate = {published},
tppubtype = {presentation}
}

@misc{pnse18-1,
title = {On the Interplay between Model-Driven Engineering, Domain-Specific Languages, and Petri Nets},
author = {Manuel Wimmer},
url = {http://ceur-ws.org/Vol-2138/paper0.pdf},
year = {2018},
date = {2018-06-24},
pages = {11--12},
crossref = {|PNSE18},
keywords = {},
pubstate = {published},
tppubtype = {presentation}
}

@misc{authorauthor2017,
title = {A Generic White-Box Model Transformation Testing Framework},
author = {Dorian Leroy},
url = {https://modeltransformation.net/tetrabox/wp-content/uploads/2017/10/diverse-coffee.pdf, Slides},
year = {2017},
date = {2017-10-19},
address = {IRISA (Rennes, France)},
howpublished = {DiverSE Coffee Seminar},
keywords = {},
pubstate = {published},
tppubtype = {presentation}
}