The Combined Power of Research, Education, and Dissemination

The Combined Power of Research, Education and Dissemination.- My Mom - My Role Model.- Omnipresence.- Bridging Theory and Practice: Tiziana Margaria's Strategic Leadership in bridging academia and industry.- How Long Does It Take to Become (Scientific) Friends?.- The Big Game: The Italian Avenue of Attack to Cybersecurity Skill Shortage.- Education and Society.- From Otter to ISoLA.- A Quantum-like Intellect: Celebrating the Profound Impact of Tiziana Margaria, Professor and Friend.- The Softer Side of a Formal Methods Researcher.- The Power of Models for Software Engineering.- Unveiling Modeling Patterns in Workflow Sketches: Insights for Designing an Abstract Workflow Language for Scientific Computing.- The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-based Engineering.- A Case-Study on Structured Modeling with Internal Domain-Specific Languages.- Semantic Reflection and Digital Twins: A Comprehensive Overview.- Assessing static and dynamic features for packing detection.- Towards a Framework for Transitioning from Monolith to Serverless.- Computing Inflated Explanations for Boosted Trees: A Compilation-Based Approach.- The AI Act and Some Implications for Developing AI-based Systems.- Recognizing Hand-based Micro Activities Using Wrist-Worn Inertial Sensors: A Zero-Shot Learning Approach.- A Modal Logic Analysis of the MUTEX Variable Coverage Theorem.- Timing is all you need.- Three Ways of Proving Termination of Loops.- Formal Verification of BDI Agents.- Formal Methods for Industrial Critical Systems: 30 Years of Railway Applications.- A Manifesto 4 Longevity as a Biomedical Paradigm Shift Challenging Entrenched Wisdoms in Healthcare Economics.- Death and Burial Data: Ireland 1864-1922 - an interdisciplinary collaboration.