default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEssays Dedicated Tiziana Margaria 2025
- Mike Hinchey, Bernhard Steffen
:
The Combined Power of Research, Education, and Dissemination - Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday. Lecture Notes in Computer Science 15240, Springer 2025, ISBN 978-3-031-73886-9 - Bernhard Steffen, Mike Hinchey:
The Combined Power of Research, Education and Dissemination. 1-18 - Gaspare Ferraro, Nicolò Maunero, Sonia Montegiove, Paolo Prinetto:
The Big Game: The Italian Avenue of Attack to Cybersecurity Skill Shortage. 19-34 - Gino Yu:
Education and Society. 35-43 - Martin Wirsing:
From Otter to ISoLA. 44-49 - Cristina Seceleanu:
A Quantum-Like Intellect: Celebrating the Profound Impact of Tiziana Margaria, Professor and Friend. 50-54 - Barry D. Floyd:
The Softer Side of a Formal Methods Researcher. 55-66 - Ina Schieferdecker:
The Power of Models for Software Engineering. 67-80 - Anna-Lena Lamprecht:
Unveiling Modeling Patterns in Workflow Sketches: Insights for Designing an Abstract Workflow Language for Scientific Computing. 81-92 - John Hatcliff, Jason Belt:
The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-Based Engineering. 93-117 - Steven Smyth, Tim Tegeler, Daniel Busch, Steve Boßelmann:
A Case-Study on Structured Modeling with Internal Domain-Specific Languages. 118-128 - Eduard Kamburjan, Andrea Pferscher, Rudolf Schlatte, Riccardo Sieve, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Semantic Reflection and Digital Twins: A Comprehensive Overview. 129-145 - Charles-Henry Bertrand Van Ouytsel, Axel Legay, Serena Lucca, Dimitri Wauters:
Assessing Static and Dynamic Features for Packing Detection. 146-166 - Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gejsi Vjerdha:
Towards a Framework for Transitioning from Monolith to Serverless. 167-182 - Alnis Murtovi, Maximilian Schlüter, Bernhard Steffen:
Computing Inflated Explanations for Boosted Trees: A Compilation-Based Approach. 183-201 - Martin Leucker:
The AI Act and Some Implications for Developing AI-Based Systems. 202-214 - Fadi Al Machot, Habib Ullah, Florenc Demrozi:
Recognizing Hand-Based Micro Activities Using Wrist-Worn Inertial Sensors: A Zero-Shot Learning Approach. 215-234 - Michael Mendler:
A Modal Logic Analysis of the MUTEX Variable Coverage Theorem. 235-258 - Susanne Graf, Bengt Jonsson, Behnam Khodabandeloo, Chengzi Huang, Nikolaus Huber, Philipp Rümmer, Wang Yi:
Timing is All You Need. 259-279 - Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog:
Three Ways of Proving Termination of Loops. 280-301 - Thomas Wright, Louise A. Dennis, Jim Woodcock, Simon Foster:
Formal Verification of BDI Agents. 302-326 - Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi:
Formal Methods for Industrial Critical Systems - 30 Years of Railway Applications. 327-344 - Christoph Rasche, Andrea Braun von Reinersdorff, Andreas Bertram:
A Manifesto 4 Longevity as a Biomedical Paradigm Shift - Challenging Entrenched Wisdoms in Healthcare Economics. 345-364 - Ciara Breathnach, Rachel Murphy:
Death and Burial Data: Ireland 1864-1922 - an Interdisciplinary Collaboration. 365-376
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-27 20:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
