The following pages link to Erika Ábrahám (Q402123):
Displaying 50 items.
- Minimal counterexamples for linear-time probabilistic verification (Q402125) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- Model checking hyperproperties for Markov decision processes (Q2105474) (← links)
- HyperPCTL model checking by probabilistic decomposition (Q2165513) (← links)
- Fully incremental cylindrical algebraic decomposition (Q2307621) (← links)
- Efficient dynamic error reduction for hybrid systems reachability analysis (Q2324234) (← links)
- Modular strategic SMT solving with \textbf{SMT-RAT} (Q2414693) (← links)
- $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation (Q2817292) (← links)
- Building bridges between symbolic computation and satisfiability checking (Q2819729) (← links)
- A Generalised Branch-and-Bound Approach and Its Application in SAT Modulo Nonlinear Integer Arithmetic (Q2830009) (← links)
- On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers (Q2850015) (← links)
- Bounded model checking with parametric data structures (Q2864380) (← links)
- Minimal Critical Subsystems for Discrete-Time Markov Models (Q2894278) (← links)
- I-RiSC: An SMT-Compliant Solver for the Existential Fragment of Real Algebra (Q3014943) (← links)
- Parallel SAT Solving in Bounded Model Checking (Q3069995) (← links)
- Virtual Substitution for SMT-Solving (Q3088298) (← links)
- Timed CTL Model Checking in Real-Time Maude (Q3164837) (← links)
- Efficient Bounded Reachability Computation for Rectangular Automata (Q3172871) (← links)
- Hierarchical Counterexamples for Discrete-Time Markov Chains (Q3172933) (← links)
- SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving (Q3453240) (← links)
- Fast Debugging of PRISM Models (Q3457786) (← links)
- (Q4433933) (← links)
- (Q4536605) (← links)
- Satisfiability Checking: Theory and Applications (Q4571125) (← links)
- Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis (Q4683987) (← links)
- (Q4738214) (← links)
- A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition (Q4928438) (← links)
- Abstract Interface Behavior of Object-Oriented Languages with Monitors (Q4989491) (← links)
- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (Q5175773) (← links)
- High-level Counterexamples for Probabilistic Automata (Q5246720) (← links)
- Satisfiability checking and symbolic computation (Q5268815) (← links)
- Verification: Theory and Practice (Q5305646) (← links)
- (Q5457270) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5710002) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711504) (← links)
- Observable interface behaviour and inheritance (Q5741571) (← links)
- Formal Methods for Components and Objects (Q5897122) (← links)
- Formal Methods for Components and Objects (Q5897445) (← links)
- Formal Methods for Components and Objects (Q5897455) (← links)
- Logical Approaches to Computational Barriers (Q5898797) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902547) (← links)
- Spread the work: multi-threaded safety analysis for hybrid systems (Q6039384) (← links)
- HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties (Q6104799) (← links)
- Levelwise construction of a single cylindrical algebraic cell (Q6149151) (← links)
- Probabilistic Hyperproperties with Nondeterminism (Q6485910) (← links)
- Introducing asynchronicity to probabilistic hyperproperties (Q6546446) (← links)
