PPL
From MaRDI portal
Cited in
(only showing first 100 items - show all)- An Improved Tight Closure Algorithm for Integer Octagonal Constraints
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Two variations of graph test in double description method
- Control-flow refinement by partial evaluation, and its application to termination and cost analysis
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
- Static Analysis in Disjunctive Numerical Domains
- Program Development in Computational Logic
- An integer static analysis for better extrapolation in Uppaal
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability
- Static Analysis
- patchworking
- scientific article; zbMATH DE number 2090856 (Why is no real title available?)
- Efficient convex zone merging in parametric timed automata
- Scalable Minimizing-Operators on Polyhedra via Parametric Linear Programming
- Analysis of Linear Hybrid Systems in CLP
- Formalizing the face lattice of polyhedra
- Tools and Algorithms for the Construction and Analysis of Systems
- Formal Modeling and Analysis of Timed Systems
- Efficient constraint/generator removal from double description of polyhedra
- Closed-form upper bounds in static cost analysis
- TeSSLa
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- A zonotopic framework for functional abstractions
- Realizability and inscribability for simplicial polytopes via nonlinear optimization
- A new look at the automatic synthesis of linear ranking functions
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
- Cardinality Abstraction for Declarative Networking Applications
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness
- scientific article; zbMATH DE number 7215283 (Why is no real title available?)
- Stratified static analysis based on variable dependencies
- Hybrid Systems: Computation and Control
- On the efficiency of convex polyhedra
- Discovering invariants via simple component analysis
- Polyhedral approximation of multivariate polynomials using Handelman's theorem
- An iterative approach to precondition inference using constrained Horn clauses
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems
- Ranking functions for linear-constraint loops
- Even convexity and optimization. Handling strict inequalities
- Algorithms for tight spans and tropical linear spaces
- Parametric schedulability analysis of a launcher flight control system under reactivity constraints
- Real tropical hyperfaces by patchworking in \texttt{polymake}
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
- Reachability analysis for timed automata using max-plus algebra
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Verification, Model Checking, and Abstract Interpretation
- Interpolation-based height analysis for improving a recurrence solver
- PPLite: zero-overhead encoding of NNC polyhedra
- Verifying generalized soundness of workflow nets
- Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra
- Template polyhedra and bilinear optimization
- Computing convex hulls and counting integer points with \texttt{polymake}
- On clock-aware LTL parameter synthesis of timed automata
- Parameter Synthesis Algorithms for Parametric Interval Markov Chains
- Algorithms and programs for calculating the roots of polynomial of one or two variables
- Apron
- COSTA
- DEMiCs
- GAVS
- IMITATOR
- MixedVol
- ZRAM
- VINAS-P
- ECDAR
- LOGEN
- HyTech
- ECCE
- PHAVer
- SMV
- cddplus
- RSOLVER
- azove
- Gfan
- lrs
- barvinok
- ARMC
- Dagger
- Uppaal
- PURRS
- desing
- PGeomlib
- Unimodularity
- ATGen
- HSolver
- TRACER
- Convex
- PANDA
- Lackwit
- Interproc
- NLTOOLBOX
- Soot
- PyEcdar
- InvGen
- QUASY
- HSF
- PolyLib
- SIMP
- TropLi
- SpaceEx
- BACH
This page was built for software: PPL
