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.
FM 2012: Formal Methods [[electronic resource] ] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / / edited by Dimitra Giannakopoulou, Dominique Mery
| FM 2012: Formal Methods [[electronic resource] ] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / / edited by Dimitra Giannakopoulou, Dominique Mery |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XVI, 488 p. 142 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Management information systems Computer science Computers Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Management of Computing and Information Systems Computation by Abstract Devices |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-32759-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Verification -- synthesis -- runtime monitoring -- testing and controller synthesis -- novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics. |
| Record Nr. | UNISA-996465316203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamental Approaches to Software Engineering [[electronic resource] ] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / / edited by Dimitra Giannakopoulou, Fernando Orejas
| Fundamental Approaches to Software Engineering [[electronic resource] ] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings / / edited by Dimitra Giannakopoulou, Fernando Orejas |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIII, 464 p. 172 illus., 41 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer networks Computer science Compilers (Computer programs) Computer programming Electronic data processing—Management Software Engineering Computer Communication Networks Computer Science Logic and Foundations of Programming Compilers and Interpreters Programming Techniques IT Operations |
| ISBN | 3-642-19811-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465891603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
NASA Formal Methods [[electronic resource] ] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / / edited by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou
| NASA Formal Methods [[electronic resource] ] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / / edited by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXI, 442 p. 49 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Computers Artificial intelligence Computer simulation Software Engineering Computer Systems Organization and Communication Networks Theory of Computation Artificial Intelligence Simulation and Modeling |
| ISBN | 3-030-55754-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Learning and Formal Synthesis -- From Passive to Active: Learning Timed Automata Efficiently -- Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs -- Parameter Synthesis and Robustness Analysis of Rule-Based Models -- Formal Methods for DNNs -- PaRoT: A Practical Framework for Robust Deep Neural Network Training -- Simplifying Neural Networks using Formal Verification -- High Assurance Systems -- Neural Simplex Architecture -- Strengthening Deterministic Policies for POMDPs -- Benchmarking Software Model Checkers on Automotive Code -- Requirement Specification and Testing -- Automated Requirements-Based Testing of Black-Box Reactive Systems -- Formal Verification of Parallel Prefix Sum -- Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking -- Validation and Solvers -- A Validation Methodology for OCaml-to-PVS Translation -- On the Usefulness of Clause Strengthening in Parallel SAT Solving -- Solvers and Program Analysis -- Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL* -- Constraint Caching Revisited -- Per-Location Simulation -- Verification and Timed Systems -- Sampling Distributed Schedules for Resilient Space Communication -- Model Checking Timed Hyperproperties in Discrete-Time Systems -- Verifying Band Convergence for Sampled Control Systems -- Autonomy and Other Applications -- Heterogeneous Verification of an Autonomous Curiosity Rover -- Run-Time Assurance for Learning-Enabled Systems -- hpnmg: A CC++ Tool for Model Checking Hybrid Petri Nets with General Transitions -- Hybrid and Cyber-Physical Systems -- A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata -- Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches -- Falsification of Cyber-Physical Systems with Constrained Signal Spaces. |
| Record Nr. | UNISA-996418280903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
NASA Formal Methods [[electronic resource] ] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / / edited by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou
| NASA Formal Methods [[electronic resource] ] : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / / edited by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XXI, 442 p. 49 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Computers Artificial intelligence Computer simulation Software Engineering Computer Systems Organization and Communication Networks Theory of Computation Artificial Intelligence Simulation and Modeling |
| ISBN | 3-030-55754-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Learning and Formal Synthesis -- From Passive to Active: Learning Timed Automata Efficiently -- Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs -- Parameter Synthesis and Robustness Analysis of Rule-Based Models -- Formal Methods for DNNs -- PaRoT: A Practical Framework for Robust Deep Neural Network Training -- Simplifying Neural Networks using Formal Verification -- High Assurance Systems -- Neural Simplex Architecture -- Strengthening Deterministic Policies for POMDPs -- Benchmarking Software Model Checkers on Automotive Code -- Requirement Specification and Testing -- Automated Requirements-Based Testing of Black-Box Reactive Systems -- Formal Verification of Parallel Prefix Sum -- Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking -- Validation and Solvers -- A Validation Methodology for OCaml-to-PVS Translation -- On the Usefulness of Clause Strengthening in Parallel SAT Solving -- Solvers and Program Analysis -- Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL* -- Constraint Caching Revisited -- Per-Location Simulation -- Verification and Timed Systems -- Sampling Distributed Schedules for Resilient Space Communication -- Model Checking Timed Hyperproperties in Discrete-Time Systems -- Verifying Band Convergence for Sampled Control Systems -- Autonomy and Other Applications -- Heterogeneous Verification of an Autonomous Curiosity Rover -- Run-Time Assurance for Learning-Enabled Systems -- hpnmg: A CC++ Tool for Model Checking Hybrid Petri Nets with General Transitions -- Hybrid and Cyber-Physical Systems -- A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata -- Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches -- Falsification of Cyber-Physical Systems with Constrained Signal Spaces. |
| Record Nr. | UNINA-9910416085603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / / edited by Dimitra Giannakopoulou, Gwen Salaün
| Software Engineering and Formal Methods [[electronic resource] ] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / / edited by Dimitra Giannakopoulou, Gwen Salaün |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXII, 394 p. 85 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer communication systems Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Communication Networks Programming Techniques |
| ISBN | 3-319-10431-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Program Verification -- Testing -- Component-Based Systems -- Real-Time and Embedded Systems -- Model Checking and Automata Learning -- Tool Papers -- Program Correctness -- Adaptive and Multi-Agent Systems. |
| Record Nr. | UNINA-9910483700803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software Engineering and Formal Methods [[electronic resource] ] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / / edited by Dimitra Giannakopoulou, Gwen Salaün
| Software Engineering and Formal Methods [[electronic resource] ] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / / edited by Dimitra Giannakopoulou, Gwen Salaün |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXII, 394 p. 85 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer communication systems Computer programming Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Computer Communication Networks Programming Techniques |
| ISBN | 3-319-10431-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Program Verification -- Testing -- Component-Based Systems -- Real-Time and Embedded Systems -- Model Checking and Automata Learning -- Tool Papers -- Program Correctness -- Adaptive and Multi-Agent Systems. |
| Record Nr. | UNISA-996198262703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verified Software: Theories, Tools and Experiments [[electronic resource] ] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / / edited by Dimitra Giannakopoulou, Daniel Kroening
| Verified Software: Theories, Tools and Experiments [[electronic resource] ] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / / edited by Dimitra Giannakopoulou, Daniel Kroening |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 287 p. 107 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer programming Mathematical logic Artificial intelligence Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-319-12154-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security. |
| Record Nr. | UNISA-996213648803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verified Software: Theories, Tools and Experiments [[electronic resource] ] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / / edited by Dimitra Giannakopoulou, Daniel Kroening
| Verified Software: Theories, Tools and Experiments [[electronic resource] ] : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / / edited by Dimitra Giannakopoulou, Daniel Kroening |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (X, 287 p. 107 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer programming Mathematical logic Artificial intelligence Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-319-12154-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security. |
| Record Nr. | UNINA-9910483241103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||