Vyhledávání publikací

Vybrané publikace/výsledky

On time-average limits in deterministic and stochastic Petri nets (2013)
Dealing with Zero Density Using Piecewise Phase-Type Approximation (2014)
Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis (2015)
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC (2016)
Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution) (2016)
Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams (2016)
Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm (2017)
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games (2017)
Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration (2016)
Attack Detection Using Evolutionary Computation (2017)
First order limits of sparse graphs: Plane trees and path-width (2017)
Seminator: A Tool for Semi-Determinization of Omega-Automata (2017)
Factors Influencing the Purchase of Security Software for Mobile Devices - Case Study (2017)
Security Protocols XXIV - 24th International Workshop (2017)
Reconsidering Attacker Models in Ad-Hoc Networks (2017)
The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli (2017)
Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans (2017)
Symbiotic 4: Beyond Reachability (Competition Contribution) (2017)
A large-scale comparative study of beta testers and regular users (2018)
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms (2017)
Synthesis of Optimal Resilient Control Strategies (2017)
Parameterized Extension Complexity of Independent Set and Related Problems (2018)
Parameterized Shifted Combinatorial Optimization (2017)
FO model checking of geometric graphs (2018)
On Colourability of Polygon Visibility Graphs (2018)
On Simplification of Formulas with Unconstrained Variables and Quantifiers (2017)
Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution) (2017)
The generalized rank of trace languages (2017)
Security Protocols XXV - 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers (2017)
Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability (2018)
Entropy crowdsourcing - protocols for link key updates in wireless sensor networks (2018)
Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games (2018)
A generic framework for checking semantic equivalences between pushdown automata and finite-state automata (2018)
Experimental large-scale review of attractors for detection of potentially unwanted applications (2018)
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS (2018)
Symbiotic 5: Boosted Instrumentation (Competition Contribution) (2018)
On the complexity of the quantified bit-vector arithmetic with binary encoding (2018)
Investigating results and performance of search and construction algorithms for word-based LFSRs, \sigma-LFSRs (2018)
The omega-inequality problem for concatenation hierarchies of star-free languages (2018)
Finding Regressions in Projects under Version Control Systems (2018)
Joint Forces for Memory Safety Checking (2018)
Bisimulation Invariant Monadic-Second Order Logic in the Finite (2018)
Evolving boolean functions for fast and efficient randomness testing (2018)
Black Ninjas in the Dark: Formal Analysis of Population Protocols (2018)
Solving Patrolling Problems in the Internet Environment (2018)
Recursive Online Enumeration of All Minimal Unsatisfiable Subsets (2018)
Adaptive Secrecy Amplification with Radio Channel Key Extraction (2018)
Practical Cryptographic Data Integrity Protection with Full Disk Encryption (2018)
Support for authenticated encryption in Linux dm-crypt disk encryption (2017)
Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets (2018)
Symbolic Computation via Program Transformation (2018)
Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers (2018)
Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (2018)
Security Protocols XXVI: 26th International Workshop (2018)
Deciding Parity of Graph Crossing Number (2018)
A Simpler Self-reduction Algorithm for Matroid Path-width (2018)
Structure and generation of crossing-critical graphs (2018)
Towards a pseudoequational proof theory (2018)
Policy learning in continuous-time Markov decision processes using Gaussian Processes (2017)
Deciding Fast Termination for Probabilistic VASS with Nondeterminism (2019)
Adversarial Patrolling with Drones (2020)
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes (2018)
Continuous-Time Markov Decisions Based on Partial Exploration (2018)
Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm (2018)
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints (2018)
Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes (2018)
Of Cores: A Partial-Exploration Framework for Markov Decision Processes (2019)
PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games (2019)
Strategy Representation by Decision Trees with Linear Classifiers (2019)
Strategy Representation by Decision Trees in Reactive Synthesis (2018)
Fast Computation of Strong Control Dependencies (2021)
Deciding Polynomial Termination Complexity for VASS Programs (2021)
Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games (2021)
CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints (2021)
Minimizing Expected Intrusion Detection Time in Adversarial Patrolling (2022)
General Optimization Framework for Recurrent Reachability Objectives (2022)
On-the-fly Adaptation of Patrolling Strategies in Changing Environments (2022)
Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge (2022)
Shielding in Resource-Constrained Goal POMDPs (2023)
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems (2023)
Mean Payoff Optimization for Systems of Periodic Service and Maintenance (2023)
Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions (2023)
The Satisfiability Problem for a Quantitative Fragment of PCTL (2024)
Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving (2023)
Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (2023)
Symbiotic-Witch 2 (2023)
A multimodal smartwatch-based interaction concept for immersive environments (2023)
Monte Carlo Tree Search with Function Approximation for Risk-constrained Planning and Reinforcement Learning (2023)
Optimality problems in Orlicz spaces (2023)
Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator (2023)
On the Existence of Extremals for Moser-Type Inequalities in Gauss Space (2022)
Sharp exponential inequalities for the Ornstein-Uhlenbeck operator (2021)
Maximal Non-compactness of Sobolev Embeddings (2021)
Tighter Construction of Tight Büchi Automata (2024)
Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 (2024)
Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (2024)
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution (2024)
Fizzer: New Gray-Box Fuzzer (2024)
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes (2024)
Antarstick: Extracting Snow Height From Time-Lapse Photography (2024)
Who Let the Guards Out: Visual Support for Patrolling Games (2024)
Software Verification Witnesses 2.0 (2024)
The Finite Satisfiability Problem for PCTL is Undecidable (2024)
LPGD: A General Framework for Backpropagation through Embedded Optimization Layers (2024)
Backpropagation through combinatorial algorithms: identity with projection works (2023)

Odebrat vše z výběru

Operace s vybranými výsledky

Export a tisk
Seznam vybraných záznamů

Vyhledávání publikací

Vybrané publikace/výsledky

Operace s vybranými výsledky

Další aplikace