default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ISoLA 2024: Crete, Greece - Part I
- Tiziana Margaria
, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I. Lecture Notes in Computer Science 15219, Springer 2025, ISBN 978-3-031-73708-4 - Mirco Tribastone, Stefan Jähnichen, Martin Wirsing:
Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday. 1-12 - Gabriele Costa, Silvia de Francisci, Letterio Galletta, Cosimo Perini Brogi, Marinella Petrocchi, Fabio Pinelli, Roberto Pizziol, Manuel Pratelli, Margherita Renieri, Simone Soderi, Mirco Tribastone, Serenella Valiani:
Systems Security Modeling and Analysis at IMT Lucca. 13-26 - Lorenzo Bettini, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Emilio Tuosto:
Klaim in the Making. 27-49 - Flavio Corradini, Fabrizio Fornari, Barbara Re, Lorenzo Rossi, Andrea Polini, Francesco Tiezzi, Andrea Vandin:
Formal Approaches for Modeling and Analysis of Business Process Collaborations. 50-61 - Davide Sangiorgi:
An Abstract Account of Up-to Techniques for Inductive Behavioural Relations. 62-74 - Michele Boreale, Luisa Collodi:
Language Equivalence from Nondeterministic to Weighted Automata - and Back. 75-93 - Roberto Bruni:
A Process Algebraic View of In/Out Prisoners. 94-110 - Mohammad Reza Mousavi, Kirstin Peters, Anna Schmitt:
Towards a Formal Testing Theory for Quantum Processes. 111-131 - Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi:
Testing Quantum Processes. 132-151 - Ezio Bartocci:
The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops. 152-167 - Francesca Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi:
Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems. 168-185 - Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Gabriele Lenzini, Marinella Petrocchi:
Can AI Help with the Formalization of Railway Cybersecurity Requirements? 186-203 - Roberto Casaluce, Max Tschaikowski, Andrea Vandin:
White-Box Validation of Collective Adaptive Systems by Statistical Model Checking and Process Mining. 204-222 - Cosimo Perini Brogi, Marco Maggesi:
Analysing Collective Adaptive Systems by Proving Theorems. 223-237 - Martina De Sanctis, Paola Inverardi:
Engineering Ethical-Aware Collective Adaptive Systems. 238-252 - Luca Di Stefano, Omar Inverso:
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification. 253-270 - Emilio Incerto, Catia Trubiani:
Flocks of Birds: A Quantitative Evaluation. 271-286 - Paolo Bottoni, Anna Labella, Giuseppe Perelli:
Strategies in Spatio-Temporal Logics for Multi-agent Systems. 287-305 - Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Function-as-a-Service Allocation Policies Made Formal. 306-321 - Franco Barbanera, Mariangiola Dezani-Ciancaglini:
Asynchronous Multiparty Sessions with Internal Delegation - Dedicated to Rocco De Nicola on the Occasion of his 70th Birthday. 322-339 - Daniel Busch, Steven Smyth, Tim Tegeler, Bernhard Steffen:
Code-Centric Code Generation. 340-355 - Alyzia-Maria Konsta, Gemma Di Federico, Alberto Lluch-Lafuente, Andrea Burattin:
Attack Tree Generation via Process Mining. 356-372 - Stefano Bistarelli, Francesco Santini:
Local Spaces in Soft Concurrent Constraint Programming Oriented to Security. 373-391 - Francesco Rubino, Chiara Bodei, Gian-Luigi Ferrari:
Riding the Data Storms: Specifying and Analysing IoT Security Requirements with SURFING. 392-408 - Luca Aceto, Daniele Gorla, Stian Lybech, Mohammad Hamdaqa:
Preventing Out-of-Gas Exceptions by Typing. 409-426
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-02-21 19:20 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:
