On decidability of recursive weighted logics. Lukas EsterleRadu Grosu: On the Expressiveness of Symmetric Communication. Parameterized Metatheory for Continuous Markovian Logic. Evolution and Process 30 3 Axel LegayMahesh Viswanathan: News The program is now available.
Compositionality for quantitative specifications.
Kategória:Držitelia Radu Pour le Mérite
Runtime Verification with Particle Filtering. Alexandre DavidKim G. Radu GrosuElahe Ghalebi K. SmolkaFlavio H. Taking It to the Limit:
GrayScott A. Simulations for Model-Based Mutant Equivalence: FentonJames GlimmScott A. ARMv7-M under fault attacks. A formal modeling and analysis framework for software product line of preemptive real-time systems.