https://sustainability-and-modeling.github.io/ Sustainability is becoming a key characteristic of modern systems. While this trend has been long recognized, rigorous formal methods for assessing sustainability, reasoning about often contradicting sustainability properties, and …
The Sustainable Systems and Methods Lab (SSM) is looking for a highly ambitious student to fill a fully-funded PhD position on sustainable and green software engineering, with a start in …
We have five accepted papers for this year’s MODELS’ co-located and satellite events; and in addition, we lead the organization of two workshops. Accepted papers Sharon Liu, PhD candidate in …
https://sustainability-and-modeling.github.io/ Sustainability is becoming a key characteristic of modern systems. While this trend has been long recognized, rigorous formal methods for assessing sustainability, reasoning about often contradicting sustainability properties, and …
The pre-print of our work on Digital Twin Evolution for Sustainable Smart Ecosystems, co-authored by Judith Michael and Dominik Bork, is now available: https://arxiv.org/abs/2403.07162. Smart ecosystems are the drivers of modern …
Our Expert Voice article on Circular Systems Engineering with Dominik Bork and Gerti Kappel (TU Wien, Austria) has just been published in SoSyM: https://link.springer.com/article/10.1007/s10270-024-01154-4. Preprint available. The perception of the …
The pre-print of our work on SusDevOps: Promoting Sustainability to a First Principle in Software Engineering is now available on ResearchGate: https://www.researchgate.net/publication/376753109_SusDevOps_Promoting_Sustainability_to_a_First_Principle_in_Software_Engineering. Sustainability is becoming a key property of modern software …
Here’s a news article I wrote for The Conversation about how digital twins will enable the next generation of precision agriculture: https://theconversation.com/how-digital-twins-will-enable-the-next-generation-of-precision-agriculture-213711. Drastic climate change and overpopulation have rendered traditional …
I’m honored to deliver a keynote at this year’s Workshop on Modeling and Simulation of Software-Intensive Systems (MSSiS 2023), co-located with the Brazilian Conference on Software: Practice and Theory (CBSoft). …