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.
Computer Aided Verification [[electronic resource] ] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / / edited by Swarat Chaudhuri, Azadeh Farzan
| Computer Aided Verification [[electronic resource] ] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / / edited by Swarat Chaudhuri, Azadeh Farzan |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVII, 541 p. 125 illus.) |
| Disciplina | 005.14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Machine theory Computer engineering Computer networks Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Computer Engineering and Networks |
| ISBN | 3-319-41528-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis -- Timed and hybrid systems -- Verification in practice -- Concurrency -- Automata and games. |
| Record Nr. | UNISA-996465695503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Aided Verification [[electronic resource] ] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / / edited by Swarat Chaudhuri, Azadeh Farzan
| Computer Aided Verification [[electronic resource] ] : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / / edited by Swarat Chaudhuri, Azadeh Farzan |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVII, 521 p. 126 illus.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Machine theory Computer engineering Computer networks Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Computer Engineering and Networks |
| ISBN | 3-319-41540-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis -- Timed and hybrid systems -- Verification in practice -- Concurrency -- Automata and games. |
| Record Nr. | UNISA-996465694303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / / edited by Swarat Chaudhuri, Azadeh Farzan
| Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / / edited by Swarat Chaudhuri, Azadeh Farzan |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVII, 521 p. 126 illus.) |
| Disciplina | 004.015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Machine theory Computer engineering Computer networks Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Computer Engineering and Networks |
| ISBN | 3-319-41540-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis -- Timed and hybrid systems -- Verification in practice -- Concurrency -- Automata and games. |
| Record Nr. | UNINA-9910485034903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / / edited by Swarat Chaudhuri, Azadeh Farzan
| Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / / edited by Swarat Chaudhuri, Azadeh Farzan |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVII, 541 p. 125 illus.) |
| Disciplina | 005.14 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Machine theory Computer engineering Computer networks Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Computer Engineering and Networks |
| ISBN | 3-319-41528-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Probabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis -- Timed and hybrid systems -- Verification in practice -- Concurrency -- Automata and games. |
| Record Nr. | UNINA-9910483951803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
NASA Formal Methods [[electronic resource] ] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings / / edited by Kristin Yvonne Rozier, Swarat Chaudhuri
| NASA Formal Methods [[electronic resource] ] : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings / / edited by Kristin Yvonne Rozier, Swarat Chaudhuri |
| Autore | Rozier Kristin Yvonne |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (508 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | ChaudhuriSwarat |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Computer engineering Computer networks Artificial intelligence Computer simulation Software Engineering Theory of Computation Computer Engineering and Networks Artificial Intelligence Computer Modelling |
| Soggetto non controllato | Mathematics |
| ISBN | 3-031-33170-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Non-linear Activation Functions -- Open and Closed-Loop Neural Network Verification using Polynomial Zonotopes -- Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations -- Formalizing Piecewise Affne Activation Functions of Neural Networks in Coq -- Verifying an Aircraft Collision Avoidance Neural Network with Marabou -- Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access -- Learning Symbolic Timed Models from Concrete Timed Data -- Reward Shaping from Hybrid Systems Models in Reinforcement Learning -- Conservative Safety Monitors of Stochastic Dynamical Systems -- Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems -- Reasoning with Metric Temporal Logic and Resettable Skewed Clocks -- Formal Guarantees for Centralized Multi-Agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming -- A Framework for Policy Based Negotiation -- Rewrite-Based Decomposition of Signal Temporal Logic Specifications -- Quantitative Verification and Strategy Synthesis for BDI Agents -- Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration -- Reasoning over Test Specifications using Assume-Guarantee Contracts -- Formally Proved Memory Controllers: From the Standards to Silicon -- Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework -- Formalized High Level Synthesis with Applications to Cryptographic Hardware -- From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif -- Automata-Based Software Model Checking of Hyperproperties -- Condition Synthesis Realizability via Constrained Horn Clauses -- A Toolkit for Automated Testing of Dafny -- Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation -- Subtropical Satisfiability for SMT Solving -- A Linear Weight Transfer Rule for Local Search -- 1.1 : Zero-suppressed Decision Diagrams in External Memory -- Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem. |
| Record Nr. | UNISA-996538667603316 |
Rozier Kristin Yvonne
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings / / edited by Kristin Yvonne Rozier, Swarat Chaudhuri
| NASA Formal Methods : 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings / / edited by Kristin Yvonne Rozier, Swarat Chaudhuri |
| Autore | Rozier Kristin Yvonne |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (508 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | ChaudhuriSwarat |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer science Computer engineering Computer networks Artificial intelligence Computer simulation Software Engineering Theory of Computation Computer Engineering and Networks Artificial Intelligence Computer Modelling |
| Soggetto non controllato | Mathematics |
| ISBN | 3-031-33170-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Non-linear Activation Functions -- Open and Closed-Loop Neural Network Verification using Polynomial Zonotopes -- Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations -- Formalizing Piecewise Affne Activation Functions of Neural Networks in Coq -- Verifying an Aircraft Collision Avoidance Neural Network with Marabou -- Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access -- Learning Symbolic Timed Models from Concrete Timed Data -- Reward Shaping from Hybrid Systems Models in Reinforcement Learning -- Conservative Safety Monitors of Stochastic Dynamical Systems -- Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems -- Reasoning with Metric Temporal Logic and Resettable Skewed Clocks -- Formal Guarantees for Centralized Multi-Agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming -- A Framework for Policy Based Negotiation -- Rewrite-Based Decomposition of Signal Temporal Logic Specifications -- Quantitative Verification and Strategy Synthesis for BDI Agents -- Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration -- Reasoning over Test Specifications using Assume-Guarantee Contracts -- Formally Proved Memory Controllers: From the Standards to Silicon -- Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework -- Formalized High Level Synthesis with Applications to Cryptographic Hardware -- From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif -- Automata-Based Software Model Checking of Hyperproperties -- Condition Synthesis Realizability via Constrained Horn Clauses -- A Toolkit for Automated Testing of Dafny -- Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation -- Subtropical Satisfiability for SMT Solving -- A Linear Weight Transfer Rule for Local Search -- 1.1 : Zero-suppressed Decision Diagrams in External Memory -- Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem. |
| Record Nr. | UNINA-9910728938503321 |
|
Rozier Kristin Yvonne
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||