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.
CONCUR 2011 -- Concurrency Theory [[electronic resource] ] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings / / edited by Joost-Pieter Katoen, Barbara König
| CONCUR 2011 -- Concurrency Theory [[electronic resource] ] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings / / edited by Joost-Pieter Katoen, Barbara König |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XIV, 560 p. 121 illus., 17 illus. in color.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Software engineering
Computer science Computer networks Compilers (Computer programs) Application software Artificial intelligence Software Engineering Computer Science Logic and Foundations of Programming Computer Communication Networks Compilers and Interpreters Computer and Information Systems Applications Artificial Intelligence |
| ISBN | 3-642-23217-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466056703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun
| Dependable Software Engineering. Theories, Tools, and Applications [[electronic resource] ] : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 139 p. 135 illus., 23 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer organization Microprogramming Computer simulation Computer logic Mathematical logic Software Engineering Computer Systems Organization and Communication Networks Control Structures and Microprogramming Simulation and Modeling Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-030-35540-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466424603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun
| Dependable Software Engineering. Theories, Tools, and Applications : 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / / edited by Nan Guan, Joost-Pieter Katoen, Jun Sun |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 139 p. 135 illus., 23 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer engineering Computer networks Microprogramming Computer simulation Computer science Machine theory Software Engineering Computer Engineering and Networks Control Structures and Microprogramming Computer Modelling Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
| ISBN | 3-030-35540-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910357848903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods : 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings / / edited by Marsha Chechik, Joost-Pieter Katoen, and Martin Leucker
| Formal methods : 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings / / edited by Marsha Chechik, Joost-Pieter Katoen, and Martin Leucker |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (661 pages) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Formal methods (Computer science) |
| ISBN | 3-031-27481-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Symbolic Computation in Automated Program Reasoning -- The next big thing: from embedded systems to embodied actors -- Intelligent and Dependable Decision-Making Under Uncertainty -- A Coq formalization of Lebesgue Induction Principle and Tonelli’s Theorem -- SAT/SMT -- Railway Scheduling Using Boolean Satisfiability Modulo Simulations -- SMT Sampling via Model-Guided Approximation -- Efficient SMT-based Network Fault Tolerance Verification -- Verification I -- Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems -- Can we Communicate? Using Dynamic Logic to Verify Team Automata -- The ScalaFix equation solver -- HHLPy: Practical Verification of Hybrid Systems using Hoare Logic -- Quantitative Verification -- symQV: Automated Symbolic Verification of Quantum Programs -- PFL: a Probabilistic Logic for Fault Trees -- Energy Buechi Problems -- QMaude: quantitative specification and verification in rewriting logic -- Concurrency and Memory Models -- Minimisation of Spatial Models using Branching Bisimilarity -- Reasoning about Promises in Weak Memory Models with Event Structures -- A fine-grained semantics for arrays and pointers under weak memory models -- VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs -- Verification 2 -- Verifying At the Level of Java Bytecode -- Abstract Alloy Instances -- Monitoring the Internet Computer -- Word Equations in Synergy with Regular Constraints -- Formal Methods in AI -- Verifying Feedforward Neural Networks for Classification in Isabelle/HOL -- SMPT: A Testbed for Reachabilty Methods in Generalized Petri Nets -- The Octatope Abstract Domain for Verification of Neural Networks -- Program Semantics and Verification Technique for AI-centred Programs -- Safety and Reliability -- Tableaux for Realizability of Safety Specifications -- A Decision Diagram Operation for Reachability -- Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement -- A Runtime Environment for Contract Automata -- Industry Day -- Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny -- Shifting Left for Early Detection of Machine-Learning Bugs -- A Systematic Approach to Automotive Security -- Specification-Guided Critical Scenario Identification for Automated Driving -- Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks -- Backdoor Mitigation in Deep Neural Networks via Strategic Retraining -- veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. |
| Record Nr. | UNINA-9910678257703321 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods : 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings / / edited by Marsha Chechik, Joost-Pieter Katoen, and Martin Leucker
| Formal methods : 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings / / edited by Marsha Chechik, Joost-Pieter Katoen, and Martin Leucker |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
| Descrizione fisica | 1 online resource (661 pages) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico | Formal methods (Computer science) |
| ISBN | 3-031-27481-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynotes -- Symbolic Computation in Automated Program Reasoning -- The next big thing: from embedded systems to embodied actors -- Intelligent and Dependable Decision-Making Under Uncertainty -- A Coq formalization of Lebesgue Induction Principle and Tonelli’s Theorem -- SAT/SMT -- Railway Scheduling Using Boolean Satisfiability Modulo Simulations -- SMT Sampling via Model-Guided Approximation -- Efficient SMT-based Network Fault Tolerance Verification -- Verification I -- Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems -- Can we Communicate? Using Dynamic Logic to Verify Team Automata -- The ScalaFix equation solver -- HHLPy: Practical Verification of Hybrid Systems using Hoare Logic -- Quantitative Verification -- symQV: Automated Symbolic Verification of Quantum Programs -- PFL: a Probabilistic Logic for Fault Trees -- Energy Buechi Problems -- QMaude: quantitative specification and verification in rewriting logic -- Concurrency and Memory Models -- Minimisation of Spatial Models using Branching Bisimilarity -- Reasoning about Promises in Weak Memory Models with Event Structures -- A fine-grained semantics for arrays and pointers under weak memory models -- VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs -- Verification 2 -- Verifying At the Level of Java Bytecode -- Abstract Alloy Instances -- Monitoring the Internet Computer -- Word Equations in Synergy with Regular Constraints -- Formal Methods in AI -- Verifying Feedforward Neural Networks for Classification in Isabelle/HOL -- SMPT: A Testbed for Reachabilty Methods in Generalized Petri Nets -- The Octatope Abstract Domain for Verification of Neural Networks -- Program Semantics and Verification Technique for AI-centred Programs -- Safety and Reliability -- Tableaux for Realizability of Safety Specifications -- A Decision Diagram Operation for Reachability -- Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement -- A Runtime Environment for Contract Automata -- Industry Day -- Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny -- Shifting Left for Early Detection of Machine-Learning Bugs -- A Systematic Approach to Automotive Security -- Specification-Guided Critical Scenario Identification for Automated Driving -- Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks -- Backdoor Mitigation in Deep Neural Networks via Strategic Retraining -- veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System. |
| Record Nr. | UNISA-996517755403316 |
| Cham, Switzerland : , : Springer, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / / Jost-Pieter Katoen
| Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / / Jost-Pieter Katoen |
| Autore | Katoen Jost-Pieter |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | KatoenJoost-Pieter |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Formal methods (Computer science)
Real-time data processing Computer science |
| ISBN | 3-540-48778-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lecture -- Fully Abstract Characterization of Probabilistic May Testing -- Verification of Probabilistic System -- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms -- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems -- Root Contention in IEEE 1394 -- Model Checking Probabilistic Systems -- Automatic Verification of Real-Time Systems with Discrete Probability Distributions -- ProbVerus: Probabilistic Symbolic Model Checking -- Semantics of Probabilistic Process Calculi -- Process Algebra with Probabilistic Choice -- An Axiomatization of Probabilistic Testing -- Invited Lecture -- Verification of Hybrid Systems -- Semantics of Real-Time Processes -- A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics -- Comparing the Efficiency of Asynchronous Systems -- Real-Time Compilation -- A Formal Model of Real-Time Program Compilation -- Stochastic Process Algebra -- Specifying Performance Measures for PEPA -- Semi-numerical Solution of Stochastic Process Algebra Models -- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation -- Invited Lecture -- Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach -- Modeling and Verification of Real-Time Systems -- Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal -- Verifying Progress in Timed Systems -- Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover -- Modelling Timeouts without Timelocks. |
| Record Nr. | UNINA-9910143646603321 |
Katoen Jost-Pieter
|
||
| Berlin, Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / / Jost-Pieter Katoen
| Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / / Jost-Pieter Katoen |
| Autore | Katoen Jost-Pieter |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | KatoenJoost-Pieter |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Formal methods (Computer science)
Real-time data processing Computer science |
| ISBN | 3-540-48778-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lecture -- Fully Abstract Characterization of Probabilistic May Testing -- Verification of Probabilistic System -- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms -- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems -- Root Contention in IEEE 1394 -- Model Checking Probabilistic Systems -- Automatic Verification of Real-Time Systems with Discrete Probability Distributions -- ProbVerus: Probabilistic Symbolic Model Checking -- Semantics of Probabilistic Process Calculi -- Process Algebra with Probabilistic Choice -- An Axiomatization of Probabilistic Testing -- Invited Lecture -- Verification of Hybrid Systems -- Semantics of Real-Time Processes -- A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics -- Comparing the Efficiency of Asynchronous Systems -- Real-Time Compilation -- A Formal Model of Real-Time Program Compilation -- Stochastic Process Algebra -- Specifying Performance Measures for PEPA -- Semi-numerical Solution of Stochastic Process Algebra Models -- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation -- Invited Lecture -- Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach -- Modeling and Verification of Real-Time Systems -- Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal -- Verifying Progress in Timed Systems -- Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover -- Modelling Timeouts without Timelocks. |
| Record Nr. | UNISA-996465309103316 |
|
Katoen Jost-Pieter
|
||
| Berlin, Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of probabilistic programming / / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva [[electronic resource]]
| Foundations of probabilistic programming / / edited by Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva [[electronic resource]] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2021 |
| Descrizione fisica | 1 online resource (xiv, 568 pages) : digital, PDF file(s) |
| Disciplina | 001.642 |
| Soggetto topico |
Computer programming
Probabilities - Data processing |
| ISBN |
1-108-80574-4
1-108-77075-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910585962103321 |
| Cambridge : , : Cambridge University Press, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures on Formal Methods and Performance Analysis [[electronic resource] ] : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures / / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
| Lectures on Formal Methods and Performance Analysis [[electronic resource] ] : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures / / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VII, 434 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer engineering Computer logic Computer system failures Computer communication systems Software Engineering/Programming and Operating Systems Computer Engineering Logics and Meanings of Programs Software Engineering System Performance and Evaluation Computer Communication Networks |
| ISBN | 3-540-44667-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Methods for Performance Evaluation -- Markovian Models for Performance and Dependability Evaluation -- to Stochastic Petri Nets -- Non-Markovian Analysis -- Process Algebra and Markov Chains -- Verification of Randomized Distributed Algorithms -- Constructing Automata from Temporal Logic Formulas: A Tutorial? -- Exploiting Structure in Solution: Decomposing Compositional Models -- Stochastic Activity Networks: Formal Definitions and Concepts? -- Distributed and Structured Analysis Approaches to Study Large and Complex Systems? -- General Distributions in Process Algebra. |
| Record Nr. | UNISA-996465812203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures / / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
| Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures / / edited by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen |
| Edizione | [1st ed. 2001.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
| Descrizione fisica | 1 online resource (VII, 434 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer engineering Computer logic Computer system failures Computer networks Software Engineering/Programming and Operating Systems Computer Engineering Logics and Meanings of Programs Software Engineering System Performance and Evaluation Computer Communication Networks |
| ISBN | 3-540-44667-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Methods for Performance Evaluation -- Markovian Models for Performance and Dependability Evaluation -- to Stochastic Petri Nets -- Non-Markovian Analysis -- Process Algebra and Markov Chains -- Verification of Randomized Distributed Algorithms -- Constructing Automata from Temporal Logic Formulas: A Tutorial? -- Exploiting Structure in Solution: Decomposing Compositional Models -- Stochastic Activity Networks: Formal Definitions and Concepts? -- Distributed and Structured Analysis Approaches to Study Large and Complex Systems? -- General Distributions in Process Algebra. |
| Record Nr. | UNINA-9910143595603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
