The following pages link to Marius Bozga (Q537950):
Displaying 48 items.
- Programs with lists are counter automata (Q537953) (← links)
- Quantitative separation logic and programs with lists (Q707740) (← links)
- Priority-based scheduling of mixed-critical jobs (Q779444) (← links)
- State space reduction based on live variables analysis. (Q1398676) (← links)
- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation (Q1688550) (← links)
- Protocol verification with the Aldébaran toolset (Q1856199) (← links)
- A framework for automated distributed implementation of component-based models (Q1938379) (← links)
- Checking deadlock-freedom of parametric component-based systems (Q1996857) (← links)
- A compositional approach to the verification of hybrid systems (Q2026785) (← links)
- Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) (← links)
- Compositional parameter synthesis (Q2281626) (← links)
- Local planning of multiparty interactions with bounded horizons (Q2281637) (← links)
- Verification of component-based systems with recursive architectures (Q2699967) (← links)
- (Q2722048) (← links)
- (Q2729078) (← links)
- (Q2754117) (← links)
- (Q2779769) (← links)
- Verification of Asynchronous Circuits using Timed Automata (Q2842571) (← links)
- Safety Problems Are NP-complete for Flat Integer Programs with Octagonal Loops (Q2938069) (← links)
- Runtime Verification of Component-Based Systems (Q3095241) (← links)
- Performance Evaluation of Schedulers in a Probabilistic Setting (Q3172839) (← links)
- Compositional Verification for Timed Systems Based on Automatic Invariant Generation (Q3196346) (← links)
- Compositional Verification for Component-Based Systems and Application (Q3540064) (← links)
- Quantitative Separation Logic and Programs with Lists (Q3541685) (← links)
- Fast Acceleration of Ultimately Periodic Relations (Q3583851) (← links)
- Iterating Octagons (Q3617767) (← links)
- Automatic Verification of Integer Array Programs (Q3636859) (← links)
- (Q4494380) (← links)
- (Q4806206) (← links)
- (Q4817550) (← links)
- Methods for Knowledge Based Controlling of Distributed Systems (Q4931282) (← links)
- Structural Invariants for the Verification of Systems with Parameterized Architectures (Q5039511) (← links)
- Model-Driven Information Flow Security for Component-Based Systems (Q5170740) (← links)
- A Theory Agenda for Component-Based Design (Q5256362) (← links)
- Model Checking Software (Q5308384) (← links)
- As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty (Q5326339) (← links)
- Verification of Timed Automata via Satisfiability Checking (Q5392293) (← links)
- On Flat Programs with Lists (Q5452602) (← links)
- Static Analysis (Q5466571) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494311) (← links)
- Foundations of Software Science and Computational Structures (Q5705902) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717495) (← links)
- On Interleaving in Timed Automata (Q5756592) (← links)
- Programs with Lists Are Counter Automata (Q5756740) (← links)
- Deciding Conditional Termination (Q5891476) (← links)
- Deciding Conditional Termination (Q5891624) (← links)
- Flat Parametric Counter Automata (Q5901227) (← links)
- Flat Parametric Counter Automata (Q5902108) (← links)
