東華大學圖書館 |

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 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Leveraging applications of formal methods, verification and validation/ edited by Tiziana Margaria, Bernhard Steffen.
Reminder of title:	REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.
remainder title:	ISoLA 2024
other author:	Margaria, Tiziana.
corporate name:	ISoLA (Symposium)
Published:	Cham :Springer Nature Switzerland : : 2025.,
Description:	xv, 428 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer Nature eBook
Subject:	Formal methods (Computer science) - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-031-73709-1
ISBN:	9783031737091

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 /
Leveraging applications of formal methods, verification and validationREoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings.Part I /[electronic resource] :ISoLA 2024edited by Tiziana Margaria, Bernhard Steffen. - Cham :Springer Nature Switzerland :2025. - xv, 428 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,152191611-3349 ;. - Lecture notes in computer science ;15219..

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.

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. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. This volume, Part I, contains the proceedings of the Colloquium in honor of Rocco De Nicola's 70th birthday, held jointly with the ISOLA 2024's track on REoCAS (Rigorous Engineering of Collective Adaptive Systems) Rocco De Nicola has significantly contributed to collective adaptive systems through novel approaches for their formal specification, analysis, and verification. The Colloquium features one homage paper and 23 contributions from invited authors who reflected upon these developments within the context of Rocco's much broader legacy in concurrency theory, distributed systems, domain-specific languages, service-oriented computing, and formal methods, exploring his recent contributions to cybersecurity.

ISBN: 9783031737091

Standard No.: 10.1007/978-3-031-73709-1doiSubjects--Topical Terms:

622707
Formal methods (Computer science)
--Congresses.

LC Class. No.: QA76.9.F67

Dewey Class. No.: 005.1

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 /
LDR:04133nmm a2200349 a 4500 001 2407835
003 DE-He213
005 20241017104220.0
006 m d
007 cr nn 008maaau
008 260204s2025 sz s 0 eng d
020 $a 9783031737091 $q (electronic bk.)
020 $a 9783031737084 $q (paper)
024 7 $a 10.1007/978-3-031-73709-1 $2 doi
035 $a 978-3-031-73709-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.9.F67 $b I85 2024
111 2 $a ISoLA (Symposium) $n (12th : $d 2024 : $c Crete, Greece) $3 3779930
245 1 0 $a Leveraging applications of formal methods, verification and validation $h [electronic resource] : $b REoCAS Colloquium in Honor of Rocco De Nicola : 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024 : proceedings. $n Part I / $c edited by Tiziana Margaria, Bernhard Steffen.
246 3 $a ISoLA 2024
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a xv, 428 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 15219
505 0 $a 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.
520 $a 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. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. This volume, Part I, contains the proceedings of the Colloquium in honor of Rocco De Nicola's 70th birthday, held jointly with the ISOLA 2024's track on REoCAS (Rigorous Engineering of Collective Adaptive Systems) Rocco De Nicola has significantly contributed to collective adaptive systems through novel approaches for their formal specification, analysis, and verification. The Colloquium features one homage paper and 23 contributions from invited authors who reflected upon these developments within the context of Rocco's much broader legacy in concurrency theory, distributed systems, domain-specific languages, service-oriented computing, and formal methods, exploring his recent contributions to cybersecurity.
650 0 $a Formal methods (Computer science) $v Congresses. $3 622707
650 0 $a Computer software $x Verification $v Congresses. $3 844546
650 0 $a Software engineering $x Congresses. $3 696781
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Formal Languages and Automata Theory. $3 3592087
650 2 4 $a Computer Science Logic and Foundations of Programming. $3 3538531
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a Computer System Implementation. $3 892710
650 2 4 $a Control Structures and Microprogramming. $3 895886
700 1 $a Margaria, Tiziana. $3 1072078
700 1 $a Steffen, Bernhard. $3 849542
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 15219. $3 3779931
856 4 0 $u https://doi.org/10.1007/978-3-031-73709-1
950 $a Computer Science (SpringerNature-11645)