Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic

No abstract is available for this paper.

• Publication year

  2012

• Venue

  Logic Programming and Automated Reasoning

• Publication date

  2012-03-11

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-28717-6_15
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking

  2018cited by this paper
• Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata

  2011cited by this paper
• Time for Statistical Model Checking of Real-Time Systems

  2011cited by this paper
• Efficient CTMC Model Checking of Linear Real-Time Objectives

  2011influential reference
• Bayesian statistical model checking with application to Stateflow/Simulink verification

  2010cited by this paper
• From Mtl to Deterministic Timed Automata

  2010cited by this paper
• Model checking

  2009cited by this paper
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

  2008cited by this paper
• Model Checking One-clock Priced Timed Automata

  2007influential reference
• PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

  2006cited by this paper
• From MITL to Timed Automata

  2006cited by this paper
• Constructing Induction Rules for Deductive Synthesis Proofs

  2006cited by this paper
• On Statistical Model Checking of Stochastic Systems

  2005cited by this paper
• Verification and planning for stochastic processes with asynchronous events

  2004cited by this paper
• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic

  2003cited by this paper
• A Probabilistic Extension of UML Statecharts

  2002cited by this paper
• Minimum-Cost Reachability for Priced Timed Automata

  2001cited by this paper
• Optimal Paths in Weighted Timed Automata

  2001cited by this paper
• An On-the-Fly Tableau Construction for a Real-Time Temporal Logic

  2000cited by this paper
• The Impressive Power of Stopwatches

  2000cited by this paper
• Optimizing Büchi Automata

  2000cited by this paper
• On-the-Fly Verification of Linear Temporal Logic

  1999cited by this paper
• Secure Synthesis of Code: A Process Improvement Experiment

  1999cited by this paper
• Hybrid Systems: Computation and Control

  1998cited by this paper
• The Algorithmic Analysis of Hybrid Systems

  1995cited by this paper
• The benefits of relaxing punctuality

  1991cited by this paper
• Specifying real-time properties with metric temporal logic

  1990cited by this paper

• A methodology for resilient safety-critical infrastructures using statistical model checking

  2023cites this paper
• A framework for modeling and analyzing cyber-physical systems using statistical model checking

  2023cites this paper
• Monitoring Timed Properties (Revisited)

  2022cites this paper
• AFMT: Maintaining the safety-security of industrial control systems

  2022cites this paper
• On the robustness of consensus-based behaviors for robot swarms

  2020cites this paper
• Statistical Model Checking in Drug Repurposing for Alzheimer's Disease

  2020cites this paper
• Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings

  2020cites this paper
• Statistical Model Checking of Complex Robotic Systems

  2019cites this paper
• Towards a Two-Layer Framework for Verifying Autonomous Vehicles

  2019cites this paper
• Truth or dare : quantitative security risk analysis via attack trees

  2018cites this paper
• Efficient Analysis and Synthesis of Complex Quantitative Systems

  2018cites this paper
• Practical controller synthesis for MTL0,∞

  2017influential citation
• Validation, Synthesis and Optimization for Cyber-Physical Systems

  2017cites this paper
• Explorer A logic of behaviour in context

  2017cites this paper
• Compositional Testing of Real-Time Systems

  2017cites this paper
• Quantitative Security and Safety Analysis with Attack-Fault Trees

  2017cites this paper
• Aalborg Universitet Importance Sampling for Stochastic Timed Automata

  2017cites this paper
• Importance Sampling for Stochastic Timed Automata

  2016cites this paper
• Uppaal SMC tutorial

  2015cites this paper
• Statistical Model Checking of Rich Models and Properties

  2015cites this paper
• Parallel verification of temporal properties using dynamic analysis

  2015cites this paper
• Model Checking of Energy Consumption Behavior

  2014cites this paper
• A logic of behaviour in context

  2014cites this paper
• Statistical model checking for biological systems

  2014cites this paper
• Efficient controller synthesis for a fragment of MTL 0 , &infin

  2014cites this paper
• Integrated Formal Methods

  2013cites this paper
• Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets

  2013cites this paper
• Optimizing Control Strategy Using Statistical Model Checking

  2013cites this paper
• Efficient controller synthesis for a fragment of $$\hbox {MTL}_{0, \infty }$$MTL0,∞

  2013cites this paper
• Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems

  2013cites this paper
• Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata. (Contribution à la vérification des automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates)

  2013cites this paper
• Priced Timed Automata and Statistical Model Checking

  2013cites this paper
• Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid Systems

  2012cites this paper
• Runtime Verification of Biological Systems

  2012cites this paper
• Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

  2012cites this paper
• Rewrite-Based Statistical Model Checking of WMTL

  2012cites this paper
• UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

  2012influential citation
• Statistical Model Checking for Stochastic Hybrid Systems

  2012influential citation