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.
Computational Methods in Systems Biology [[electronic resource] ] : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / / edited by Ezio Bartocci, Pietro Lio, Nicola Paoletti
| Computational Methods in Systems Biology [[electronic resource] ] : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / / edited by Ezio Bartocci, Pietro Lio, Nicola Paoletti |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 356 p. 108 illus.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Computers Computer simulation Bioinformatics Computational biology Software engineering Computer science—Mathematics Computational Biology/Bioinformatics Computation by Abstract Devices Simulation and Modeling Computer Appl. in Life Sciences Software Engineering Symbolic and Algebraic Manipulation |
| ISBN | 3-319-45177-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling biological processes -- Models and their biological applications -- Frameworks for model verification, validation, analysis, and simulation of biological systems -- High-performance computational systems biology and parallel implementations -- Model inference from experimental data -- Model integration from biological databases -- Multi-scale modeling and analysis methods -- Computational approaches for synthetic biology. |
| Record Nr. | UNISA-996465643203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computational Methods in Systems Biology : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / / edited by Ezio Bartocci, Pietro Lio, Nicola Paoletti
| Computational Methods in Systems Biology : 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / / edited by Ezio Bartocci, Pietro Lio, Nicola Paoletti |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIII, 356 p. 108 illus.) |
| Disciplina | 570.285 |
| Collana | Lecture Notes in Bioinformatics |
| Soggetto topico |
Bioinformatics
Computers Computer simulation Bioinformatics Computational biology Software engineering Computer science—Mathematics Computational Biology/Bioinformatics Computation by Abstract Devices Simulation and Modeling Computer Appl. in Life Sciences Software Engineering Symbolic and Algebraic Manipulation |
| ISBN | 3-319-45177-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling biological processes -- Models and their biological applications -- Frameworks for model verification, validation, analysis, and simulation of biological systems -- High-performance computational systems biology and parallel implementations -- Model inference from experimental data -- Model integration from biological databases -- Multi-scale modeling and analysis methods -- Computational approaches for synthetic biology. |
| Record Nr. | UNINA-9910483504803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From Reactive Systems to Cyber-Physical Systems [[electronic resource] ] : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
| From Reactive Systems to Cyber-Physical Systems [[electronic resource] ] : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 301 p. 125 illus., 44 illus. in color.) |
| Disciplina | 003 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Software engineering Artificial intelligence Electronic digital computers—Evaluation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Artificial Intelligence System Performance and Evaluation |
| ISBN | 3-030-31514-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts. |
| Record Nr. | UNISA-996466439003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky
| From Reactive Systems to Cyber-Physical Systems : Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / / edited by Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 301 p. 125 illus., 44 illus. in color.) |
| Disciplina |
003
006.3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Software engineering Artificial intelligence Electronic digital computers—Evaluation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Artificial Intelligence System Performance and Evaluation |
| ISBN | 3-030-31514-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters and Benchmarks -- Model-based Design -- Data-driven Design -- Runtime Verification -- Short Abstracts. |
| Record Nr. | UNINA-9910349279703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures on Runtime Verification [[electronic resource] ] : Introductory and Advanced Topics / / edited by Ezio Bartocci, Yliès Falcone
| Lectures on Runtime Verification [[electronic resource] ] : Introductory and Advanced Topics / / edited by Ezio Bartocci, Yliès Falcone |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (VII, 233 p. 28 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Computer logic Computer system failures Software Engineering The Computing Profession Logics and Meanings of Programs System Performance and Evaluation |
| ISBN | 3-319-75632-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Introduction to Runtime Verification -- Discovering Concurrency Errors -- Monitoring Events That Carry Data -- Runtime Error Reaction and Prevention -- Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications -- Runtime Verification for Decentralized and Distributed Systems -- Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. |
| Record Nr. | UNISA-996465514803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lectures on Runtime Verification : Introductory and Advanced Topics / / edited by Ezio Bartocci, Yliès Falcone
| Lectures on Runtime Verification : Introductory and Advanced Topics / / edited by Ezio Bartocci, Yliès Falcone |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (VII, 233 p. 28 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computers Computer logic Computer system failures Software Engineering The Computing Profession Logics and Meanings of Programs System Performance and Evaluation |
| ISBN | 3-319-75632-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | An Introduction to Runtime Verification -- Discovering Concurrency Errors -- Monitoring Events That Carry Data -- Runtime Error Reaction and Prevention -- Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications -- Runtime Verification for Decentralized and Distributed Systems -- Industrial Experiences with Runtime Verification of Financial Transaction Systems: Lessons Learnt and Standing Challenges. |
| Record Nr. | UNINA-9910349459903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Checking Software [[electronic resource] ] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / / edited by Ezio Bartocci, C. R. Ramakrishnan
| Model Checking Software [[electronic resource] ] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / / edited by Ezio Bartocci, C. R. Ramakrishnan |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 377 p. 143 illus.) |
| Disciplina | 005.3028/7 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming |
| ISBN | 3-642-39176-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Explicit-state model checking techniques -- Other related tools -- Techniques for the verification and formal testing of software systems in general. |
| Record Nr. | UNISA-996465697303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / / edited by Ezio Bartocci, C. R. Ramakrishnan
| Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings / / edited by Ezio Bartocci, C. R. Ramakrishnan |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 377 p. 143 illus.) |
| Disciplina | 005.3028/7 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Compilers (Computer programs) Computer science Software Engineering Compilers and Interpreters Computer Science Logic and Foundations of Programming |
| ISBN | 3-642-39176-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Explicit-state model checking techniques -- Other related tools -- Techniques for the verification and formal testing of software systems in general. |
| Record Nr. | UNINA-9910483181903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Runtime Verification [[electronic resource] ] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / / edited by Ezio Bartocci, Rupak Majumdar
| Runtime Verification [[electronic resource] ] : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / / edited by Ezio Bartocci, Rupak Majumdar |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIX, 432 p. 133 illus.) |
| Disciplina | 001.642 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Algorithms Computer logic Computer programming Programming languages (Electronic computers) Mathematical logic Software Engineering Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-319-23820-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification -- Twenty Years of Dynamic Software Model Checking -- Explaining Heisenbugs -- Regular Papers -- Qualitative and Quantitative Monitoring of Spatio-Temporal Properties -- Runtime Adaptation for Actor Systems -- Robust Online Monitoring of Signal Temporal Logic -- On Verifying The Hennessy-Milner Logic with Recursion at Runtime -- Assuring the Guardians -- A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System -- Monitoring Electronic Exams -- Monitoring Real Android Malware -- Time-triggered Runtime Verification of Component-Based Multi-core Systems -- Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining -- Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment -- From First-Order Temporal Logic to Parametric Trace Slicing -- R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems -- A Hybrid Approach to Causality Analysis -- Short Papers -- Statistical Model Checking of Distributed Adaptive Real-Time Software -- Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources -- Runtime Verification for Hybrid Analysis Tools -- Suggesting Edits to Explain Failing Traces -- Tool Papers -- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool chain for Timed Property Enforcement during eXecution -- Tutorial Papers -- Machine Learning Methods in Statistical Model Checking and System Design – Tutorial -- RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial -- LearnLib Tutorial - An Open Source Java Library for Active Automata Learning -- Monitoring and Measuring Hybrid Behaviors - A Tutorial -- Software Competitions -- Second International Competition on Runtime Verification CRV 2015 -- Rigorous Examination of Reactive Systems: The RERS challenge 2015. |
| Record Nr. | UNISA-996466459003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / / edited by Ezio Bartocci, Rupak Majumdar
| Runtime Verification : 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / / edited by Ezio Bartocci, Rupak Majumdar |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XIX, 432 p. 133 illus.) |
| Disciplina | 001.642 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Algorithms Computer logic Computer programming Programming languages (Electronic computers) Mathematical logic Software Engineering Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Programming Techniques Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-319-23820-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification -- Twenty Years of Dynamic Software Model Checking -- Explaining Heisenbugs -- Regular Papers -- Qualitative and Quantitative Monitoring of Spatio-Temporal Properties -- Runtime Adaptation for Actor Systems -- Robust Online Monitoring of Signal Temporal Logic -- On Verifying The Hennessy-Milner Logic with Recursion at Runtime -- Assuring the Guardians -- A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System -- Monitoring Electronic Exams -- Monitoring Real Android Malware -- Time-triggered Runtime Verification of Component-Based Multi-core Systems -- Monitoring for a decidable fragment of MTL-R Runtime Verification Through Forward Chaining -- Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about the Environment -- From First-Order Temporal Logic to Parametric Trace Slicing -- R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems -- A Hybrid Approach to Causality Analysis -- Short Papers -- Statistical Model Checking of Distributed Adaptive Real-Time Software -- Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources -- Runtime Verification for Hybrid Analysis Tools -- Suggesting Edits to Explain Failing Traces -- Tool Papers -- StaRVOOrS - A Tool for Combined Static and Runtime Verification of Java -- TIPEX: a tool chain for Timed Property Enforcement during eXecution -- Tutorial Papers -- Machine Learning Methods in Statistical Model Checking and System Design – Tutorial -- RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial -- LearnLib Tutorial - An Open Source Java Library for Active Automata Learning -- Monitoring and Measuring Hybrid Behaviors - A Tutorial -- Software Competitions -- Second International Competition on Runtime Verification CRV 2015 -- Rigorous Examination of Reactive Systems: The RERS challenge 2015. |
| Record Nr. | UNINA-9910483638603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||