top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Autore Jansen Nils
Edizione [1st ed. 2025.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
Descrizione fisica 1 online resource (462 pages)
Disciplina 004.0151
Altri autori (Persone) JungesSebastian
KaminskiBenjamin Lucien
MathejaChristoph
NollThomas
QuatmannTim
StoelingaMariëlle
VolkMatthias
Collana Lecture Notes in Computer Science
Soggetto topico Computer science
Software engineering
Computer Science Logic and Foundations of Programming
Theory of Computation
Software Engineering
ISBN 9783031757839
3031757831
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Programming Languages -- Automatic Compositional Checking of Multi-Object TypeState Properties of Software -- Sound and Complete Techniques for Reasoning about Termination -- Amortized Analysis of Leftist Heaps. Asymptotic Analysis of Probabilistic Programs: When Expectations Do Not Meet Our Expectations -- Source-level reasoning for quantifying information leaks -- Symbolic Methods for Quantitative Information Flow in Probabilistic Programs -- Static Slicing for Probabilistic Programs: An Overview -- Polar: An Algebraic Analyzer for (Probabilistic) Loops -- Quantum Computing: From Weakest Preconditions to Voltage Pulses -- A Unified Framework for Quantitative Analysis of Probabilistic Programs -- Neural Programs: Linking Probabilistic and Differential Programming -- Towards a Proof System for Probabilistic Dynamic Logic -- Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting -- Some Thoughts on Graph Similarity -- On Categories of Nested Conditions -- Another Look at LTL Modulo Theory over Finite and Infinite Traces.
Record Nr. UNINA-9910983076703321
Jansen Nils  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Autore Jansen Nils
Edizione [1st ed. 2025.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
Descrizione fisica 1 online resource (509 pages)
Disciplina 004.0151
Altri autori (Persone) JungesSebastian
KaminskiBenjamin Lucien
MathejaChristoph
NollThomas
QuatmannTim
StoelingaMariëlle
VolkMatthias
Collana Lecture Notes in Computer Science
Soggetto topico Computer science
Software engineering
Computer Science Logic and Foundations of Programming
Theory of Computation
Software Engineering
ISBN 9783031757785
9783031757778
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formal Methods and Machine Learning -- Learning Generalized Stochastic Petri Nets From Event Data -- Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages -- A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community -- Malwa: Learnability by Design -- Formal Verification Techniques for Vision-based Autonomous Systems – A Survey -- What is Formal Verification without Specifications? A Survey on Mining LTL Specifications -- Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet -- L# for DFAs -- Verification Techniques -- The Transformation Game: Joining Forces for Verification -- The Black Ninjas and the Sniper: On Robust Population Protocols .-Effective Model-Based Testing -- Compiling Binary Decision Diagrams with Interrupt-based Downsizing -- Modular criticality analysis for dynamic fault trees -- Timed Systems -- Measured Causes: Adding Time and Probability to True Concurrency.Ten Papers with Pisa and Twente -- (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems.-Avoiding Spurious Timeouts -- Urgency Annotations for Alternating Choices -- Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks -- Games -- Ten Years of Petri Games -- Compositional Solution of Mean Payoff Games by String Diagrams -- Solving parity games, very slowly -- Academia Give Probabilities a Fair Chance -- Making ETAPS Gold Open Access.
Record Nr. UNINA-9910983305103321
Jansen Nils  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Autore Jansen Nils
Edizione [1st ed. 2025.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
Descrizione fisica 1 online resource (405 pages)
Disciplina 004.0151
Altri autori (Persone) JungesSebastian
KaminskiBenjamin Lucien
MathejaChristoph
NollThomas
QuatmannTim
StoelingaMariëlle
VolkMatthias
Collana Lecture Notes in Computer Science
Soggetto topico Computer science
Software engineering
Computer Science Logic and Foundations of Programming
Theory of Computation
Software Engineering
ISBN 9783031757754
3031757750
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Model Checking Applications -- On Woolhouse’s Cotton-Spinning Problem -- Algorithms for Robbins’ Problem using Markov Decision Processes -- Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe -- A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case -- Riding the Storm in a Probabilistic Model Checking Landscape -- Modest Models and Tools for Real Stochastic Timed Systems -- Model Checking Techniques Analyzing Value Functions of States in Parametric Markov Chains -- Expectation vs. Reality: Towards Verification of Psychological Games -- Process Mining Meets Probabilistic Model Checking via Model & Logical Embeddings -- Robustness analysis of probabilistic models with adversaries or strategic entities -- A Scenario Approach for Parametric Markov Decision Processes -- GPU Accelerating Statistical Model Checking for Extended Timed Automata -- Model Checking Markov Chains as Distribution Transformers -- Towards End-to-End GPU Acceleration of PCTL Model Checking -- Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size -- Model Checking and Strategy Synthesis with Abstractions and Certificates.
Record Nr. UNINA-9910983392203321
Jansen Nils  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Autore Jansen Nils
Edizione [1st ed. 2025.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
Descrizione fisica 1 online resource (462 pages)
Disciplina 004.0151
Altri autori (Persone) JungesSebastian
KaminskiBenjamin Lucien
MathejaChristoph
NollThomas
QuatmannTim
StoelingaMariëlle
VolkMatthias
Collana Lecture Notes in Computer Science
Soggetto topico Computer science
Software engineering
Computer Science Logic and Foundations of Programming
Theory of Computation
Software Engineering
ISBN 9783031757839
3031757831
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Programming Languages -- Automatic Compositional Checking of Multi-Object TypeState Properties of Software -- Sound and Complete Techniques for Reasoning about Termination -- Amortized Analysis of Leftist Heaps. Asymptotic Analysis of Probabilistic Programs: When Expectations Do Not Meet Our Expectations -- Source-level reasoning for quantifying information leaks -- Symbolic Methods for Quantitative Information Flow in Probabilistic Programs -- Static Slicing for Probabilistic Programs: An Overview -- Polar: An Algebraic Analyzer for (Probabilistic) Loops -- Quantum Computing: From Weakest Preconditions to Voltage Pulses -- A Unified Framework for Quantitative Analysis of Probabilistic Programs -- Neural Programs: Linking Probabilistic and Differential Programming -- Towards a Proof System for Probabilistic Dynamic Logic -- Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting -- Some Thoughts on Graph Similarity -- On Categories of Nested Conditions -- Another Look at LTL Modulo Theory over Finite and Infinite Traces.
Record Nr. UNISA-996630868703316
Jansen Nils  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Autore Jansen Nils
Edizione [1st ed. 2025.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
Descrizione fisica 1 online resource (405 pages)
Disciplina 004.0151
Altri autori (Persone) JungesSebastian
KaminskiBenjamin Lucien
MathejaChristoph
NollThomas
QuatmannTim
StoelingaMariëlle
VolkMatthias
Collana Lecture Notes in Computer Science
Soggetto topico Computer science
Software engineering
Computer Science Logic and Foundations of Programming
Theory of Computation
Software Engineering
ISBN 9783031757754
3031757750
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Model Checking Applications -- On Woolhouse’s Cotton-Spinning Problem -- Algorithms for Robbins’ Problem using Markov Decision Processes -- Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe -- A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case -- Riding the Storm in a Probabilistic Model Checking Landscape -- Modest Models and Tools for Real Stochastic Timed Systems -- Model Checking Techniques Analyzing Value Functions of States in Parametric Markov Chains -- Expectation vs. Reality: Towards Verification of Psychological Games -- Process Mining Meets Probabilistic Model Checking via Model & Logical Embeddings -- Robustness analysis of probabilistic models with adversaries or strategic entities -- A Scenario Approach for Parametric Markov Decision Processes -- GPU Accelerating Statistical Model Checking for Extended Timed Automata -- Model Checking Markov Chains as Distribution Transformers -- Towards End-to-End GPU Acceleration of PCTL Model Checking -- Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size -- Model Checking and Strategy Synthesis with Abstractions and Certificates.
Record Nr. UNISA-996630865603316
Jansen Nils  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
Autore Jansen Nils
Edizione [1st ed. 2025.]
Pubbl/distr/stampa Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
Descrizione fisica 1 online resource (509 pages)
Disciplina 004.0151
Altri autori (Persone) JungesSebastian
KaminskiBenjamin Lucien
MathejaChristoph
NollThomas
QuatmannTim
StoelingaMariëlle
VolkMatthias
Collana Lecture Notes in Computer Science
Soggetto topico Computer science
Software engineering
Computer Science Logic and Foundations of Programming
Theory of Computation
Software Engineering
ISBN 9783031757785
9783031757778
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Formal Methods and Machine Learning -- Learning Generalized Stochastic Petri Nets From Event Data -- Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages -- A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community -- Malwa: Learnability by Design -- Formal Verification Techniques for Vision-based Autonomous Systems – A Survey -- What is Formal Verification without Specifications? A Survey on Mining LTL Specifications -- Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet -- L# for DFAs -- Verification Techniques -- The Transformation Game: Joining Forces for Verification -- The Black Ninjas and the Sniper: On Robust Population Protocols .-Effective Model-Based Testing -- Compiling Binary Decision Diagrams with Interrupt-based Downsizing -- Modular criticality analysis for dynamic fault trees -- Timed Systems -- Measured Causes: Adding Time and Probability to True Concurrency.Ten Papers with Pisa and Twente -- (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems.-Avoiding Spurious Timeouts -- Urgency Annotations for Alternating Choices -- Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks -- Games -- Ten Years of Petri Games -- Compositional Solution of Mean Payoff Games by String Diagrams -- Solving parity games, very slowly -- Academia Give Probabilities a Fair Chance -- Making ETAPS Gold Open Access.
Record Nr. UNISA-996630862603316
Jansen Nils  
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui