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

Häftad, Engelska, 2024

1 259 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

Produktinformation

Utgivningsdatum2024-10-09
Mått155 x 235 x 24 mm
Vikt668 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor428
FörlagSpringer International Publishing AG
ISBN9783031737084

Tillhör följande kategorier

Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola’s 70th Birthday.- Systems Security Modeling and Analysis at IMT Lucca.- Klaim in the making.- Formal approaches for modeling and analysis of business process collaborations.- An abstract account of up-to techniques for inductive behavioural relations.- Language equivalence from Nondeterministic to Weighted Automata --- and back.- A Process Algebraic View of In/Out Prisoners.- Towards a Formal Testing Theory for Quantum Processes.- Testing Quantum Processes.- The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops.- Towards a probabilistic programming approach to analyse collective adaptive systems.- Can AI Help with the Formalization of Railway Cybersecurity Requirements?.- White-box validation of collective adaptive systems by statistical model checking and process mining.- Analysing collective adaptive systems by proving theorems.- Engineering Ethical-aware Collective Adaptive Systems.- Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification.- Flocks of Birds: A Quantitative Evaluation.- Strategies in spatio-temporal logics for multi-agent systems.- Function-as-a-Service Allocation Policies Made Formal.- Asynchronous Multiparty Sessions with Internal Delegation.- Code-centric Code Generation.- Attack Tree Generation via Process Mining.- Local Spaces in Soft Concurrent Constraint Programming Oriented to Security.- Riding the data storms: specifying and analysing IoT security requirements with SURFING.- Preventing Out-of-Gas Exceptions by Typing.