Dependable Software Engineering: Theories, Tools, and Applications [[electronic resource] ] : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVIII, 323 p. 78 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Mathematical logic Computer simulation Mathematical statistics Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Simulation and Modeling Probability and Statistics in Computer Science |
ISBN | 3-319-47677-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Dependable Cyber-Physical Systems -- From Finitely Many Simulations to Flowpipes -- Toward Automatic Verification of Quantum Programs -- Place Bisimulation and Liveness for Open Petri Nets -- Divergence Detection for CCSL Specification via Clock Causality Chain -- Performance Evaluation on Modern Concurrent Data Structures -- GPU-accelerated Steady-state Computation of Large Probabilistic Boolean Networks -- Behavioural Pseudometrics for Nondeterministic Probabilistic Systems -- A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques -- Computing Specification-Sensitive Abstractions for Program Verification -- Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models -- Identifying XML Schema Constraints Using Temporal Logic -- Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET -- Importance Sampling for Stochastic Timed Automata -- Semipositivity in Separation Logic with Two Variables -- Distributed Computation of Fixed Points on Dependency Graphs -- A Complete Approximation Theory for Weighted Transition Systems -- Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies -- Exploiting Symmetry for Efficient Verification of Infinite-state Component-based Systems -- Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach -- An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties -- Time-bounded Statistical Analysis of Resource-constrained Business Processes with Distributed Probabilistic Systems -- Failure Estimation of Behavioral Specifications. . |
Record Nr. | UNISA-996465331703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / / edited by Martin Fränzle, Deepak Kapur, Naijun Zhan |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XVIII, 323 p. 78 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Mathematical logic Computer simulation Mathematical statistics Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Simulation and Modeling Probability and Statistics in Computer Science |
ISBN | 3-319-47677-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Dependable Cyber-Physical Systems -- From Finitely Many Simulations to Flowpipes -- Toward Automatic Verification of Quantum Programs -- Place Bisimulation and Liveness for Open Petri Nets -- Divergence Detection for CCSL Specification via Clock Causality Chain -- Performance Evaluation on Modern Concurrent Data Structures -- GPU-accelerated Steady-state Computation of Large Probabilistic Boolean Networks -- Behavioural Pseudometrics for Nondeterministic Probabilistic Systems -- A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques -- Computing Specification-Sensitive Abstractions for Program Verification -- Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models -- Identifying XML Schema Constraints Using Temporal Logic -- Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET -- Importance Sampling for Stochastic Timed Automata -- Semipositivity in Separation Logic with Two Variables -- Distributed Computation of Fixed Points on Dependency Graphs -- A Complete Approximation Theory for Weighted Transition Systems -- Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies -- Exploiting Symmetry for Efficient Verification of Infinite-state Component-based Systems -- Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach -- An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties -- Time-bounded Statistical Analysis of Resource-constrained Business Processes with Distributed Probabilistic Systems -- Failure Estimation of Behavioral Specifications. . |
Record Nr. | UNINA-9910483766403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings / / Marieke Huisman, Corina Păsăreanu, Naijun Zhan (editors) |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (801 pages) |
Disciplina | 004.0151 |
Collana | Lecture notes in computer science |
Soggetto topico | Formal methods (Computer science) |
ISBN | 3-030-90870-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910508438803321 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings / / Marieke Huisman, Corina Păsăreanu, Naijun Zhan (editors) |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (801 pages) |
Disciplina | 004.0151 |
Collana | Lecture notes in computer science |
Soggetto topico | Formal methods (Computer science) |
ISBN | 3-030-90870-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996464527203316 |
Cham, Switzerland : , : Springer, , [2021] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Symposium on Real-Time and Hybrid Systems [[electronic resource] ] : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / / edited by Cliff Jones, Ji Wang, Naijun Zhan |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 263 p. 68 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Electronic digital computers—Evaluation Artificial intelligence Theory of Computation Software Engineering Compilers and Interpreters System Performance and Evaluation Artificial Intelligence |
ISBN | 3-030-01461-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Think Sequential, Run Parallel -- Concurrency: Handling interference Formally -- Decidability of the Initial-state Opacity of Real-time Automata -- Domain Science and Engineering: A Review of 10 Years Work -- HAT: Analyzing Linear Hybrid Automata As Labeled Transition System -- Overview: System Architecture Virtual Integration Based on an AADL Model -- Characterization and Verification of Stuttering Equivalence -- Q-SI: A Quantum Programming Environment -- The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology -- Linking Theories of Probabilistic Programming -- Space for Traffic Manoeuvres: An Overview -- Cloud Robotics: A Distributed Computing View -- Analyzing Interrupt Handlers via Interprocedural Summaries. |
Record Nr. | UNISA-996466325703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Symposium on Real-Time and Hybrid Systems : Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / / edited by Cliff Jones, Ji Wang, Naijun Zhan |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 263 p. 68 illus.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Electronic digital computers—Evaluation Artificial intelligence Theory of Computation Software Engineering Compilers and Interpreters System Performance and Evaluation Artificial Intelligence |
ISBN | 3-030-01461-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Think Sequential, Run Parallel -- Concurrency: Handling interference Formally -- Decidability of the Initial-state Opacity of Real-time Automata -- Domain Science and Engineering: A Review of 10 Years Work -- HAT: Analyzing Linear Hybrid Automata As Labeled Transition System -- Overview: System Architecture Virtual Integration Based on an AADL Model -- Characterization and Verification of Stuttering Equivalence -- Q-SI: A Quantum Programming Environment -- The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology -- Linking Theories of Probabilistic Programming -- Space for Traffic Manoeuvres: An Overview -- Cloud Robotics: A Distributed Computing View -- Analyzing Interrupt Handlers via Interprocedural Summaries. |
Record Nr. | UNINA-9910349402803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|