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 science Computer engineering Computer networks Artificial intelligence Software Engineering Computer Science Logic and Foundations of Programming Computer Engineering and 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 | ||
| ||
Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings / / edited by Laura Kovács, Ana Sokolova
| Reachability Problems : 18th International Conference, RP 2024, Vienna, Austria, September 25–27, 2024, Proceedings / / edited by Laura Kovács, Ana Sokolova |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (251 pages) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Machine theory
Computer science Software engineering Logic programming Algorithms Computer science - Mathematics Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Software Engineering Logic in AI Design and Analysis of Algorithms Mathematics of Computing |
| ISBN | 3-031-72621-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Quantifying Uncertainty in Probabilistic Loops without Sampling: a Fully Automated Approach.-The Satis ability and Validity Problems for Probabilistic CTL.-Computability and Reachability -- Computing Reachable Simulations on Transition Systems -- Computing All Minimal Ways to Reach a Context-Free Language -- On Solving All-Path Reachability Problems for Starvation Freedom of Concurrent Rewrite Systems under Process Fairness -- Automata and Complexity -- Rollercoasters with Plateaus -- Quantum Automata and Languages of Finite Index -- On Shortest Products for Nonnegative Matrix Mortality -- Hardness of Busy Beaver Value BB(15) -- Linear Systems and Recurrences -- On the Complexity of Reachability and Mortality for Bounded Piecewise Affine Maps -- Semi-Linear VASR for Over-Approximate Semi-Linear System Reachability.-Reachability in Linear Recurrence Automata -- Games and Abstractions -- Robust Deterministic Abstractions for Supervising Discrete-time Continuous Systems -- Markov Decision Processes with Sure Parity and Multiple Reachability Objectives -- Modelling Dynamical Systems: Learning ODEs with No Internal ODE Resolution. |
| Record Nr. | UNINA-9910887816903321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||