Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal Techniques for Distributed Objects, Components, and Systems [[electronic resource] ] : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / / edited by Alexey Gotsman, Ana Sokolova
| Formal Techniques for Distributed Objects, Components, and Systems [[electronic resource] ] : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / / edited by Alexey Gotsman, Ana Sokolova |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xii, 237 pages) : illustrations |
| Disciplina | 004.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Computer organization Artificial intelligence Software Engineering Logics and Meanings of Programs Computer Systems Organization and Communication Networks Artificial Intelligence |
| ISBN | 3-030-50086-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego -- Towards Bridging Time and Causal Reversibility -- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory -- Conformance-Based Doping Detection for Cyber-Physical Systems -- On Implementable Timed Automata? -- Deep Statistical Model Checking -- Trace Equivalence and Epistemic Logic to Express Security Properties -- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns -- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities -- A Formal Framework for Consent Management -- Tutorials -- Tutorial: Parameterized Verification with Byzantine Model Checker -- Typechecking Java Protocols with [St]Mungo -- Short Paper -- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). |
| Record Nr. | UNISA-996418305503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / / edited by Alexey Gotsman, Ana Sokolova
| Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / / edited by Alexey Gotsman, Ana Sokolova |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xii, 237 pages) : illustrations |
| Disciplina | 004.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Computer organization Artificial intelligence Software Engineering Logics and Meanings of Programs Computer Systems Organization and Communication Networks Artificial Intelligence |
| ISBN | 3-030-50086-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Full Papers -- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego -- Towards Bridging Time and Causal Reversibility -- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory -- Conformance-Based Doping Detection for Cyber-Physical Systems -- On Implementable Timed Automata? -- Deep Statistical Model Checking -- Trace Equivalence and Epistemic Logic to Express Security Properties -- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns -- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities -- A Formal Framework for Consent Management -- Tutorials -- Tutorial: Parameterized Verification with Byzantine Model Checker -- Typechecking Java Protocols with [St]Mungo -- Short Paper -- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). |
| Record Nr. | UNINA-9910410058903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Checking Software [[electronic resource] ] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / / edited by Alfons Laarman, Ana Sokolova
| Model Checking Software [[electronic resource] ] : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / / edited by Alfons Laarman, Ana Sokolova |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (X, 195 p. 70 illus., 43 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Machine theory Computer science Algorithms Computer simulation Computers, Special purpose Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Computer Modelling Special Purpose and Application-Based Systems |
| ISBN | 3-030-84629-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The marriage between safety and cybersecurity: still practicing -- A Hands-on Introduction to Spatial Model Checking using VoxLogicA -- Model Checking -- Accelerating the Computation of Dead and Concurrent Places using Reductions -- Spotlight Abstraction in Model Checking Real-Time Task Schedulability -- Verifying Pipeline Implementations in OpenMP -- Tool Papers -- C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs -- PatEC: Pattern-based Equivalence Checking -- Go2Pins: a framework for the LTL verification of Go programs -- Probabilistic Model Checking of Randomized Java Code -- Case Studies -- A model-checked I2C specification. |
| Record Nr. | UNISA-996464518403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model Checking Software : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / / edited by Alfons Laarman, Ana Sokolova
| Model Checking Software : 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / / edited by Alfons Laarman, Ana Sokolova |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (X, 195 p. 70 illus., 43 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Machine theory Computer science Algorithms Computer simulation Computers, Special purpose Software Engineering Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Design and Analysis of Algorithms Computer Modelling Special Purpose and Application-Based Systems |
| ISBN | 3-030-84629-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The marriage between safety and cybersecurity: still practicing -- A Hands-on Introduction to Spatial Model Checking using VoxLogicA -- Model Checking -- Accelerating the Computation of Dead and Concurrent Places using Reductions -- Spotlight Abstraction in Model Checking Real-Time Task Schedulability -- Verifying Pipeline Implementations in OpenMP -- Tool Papers -- C-SMC: A Hybrid Statistical Model Checking and Concrete Runtime Engine for Analyzing C Programs -- PatEC: Pattern-based Equivalence Checking -- Go2Pins: a framework for the LTL verification of Go programs -- Probabilistic Model Checking of Randomized Java Code -- Case Studies -- A model-checked I2C specification. |
| Record Nr. | UNINA-9910494555103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||