Specifying Timed State Sequences in Powerful Decidable Logics and Timed Automata

No abstract is available for this paper.

• Publication year

  1994

• Venue

  Formal Techniques in Real-Time and Fault-Tolerant Systems

• Publication date

  1994-09-19

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/3-540-58468-4_191
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The Beneets of Relaxing Punctuality

  1996cited by this paper
• Logical Definability on Infinite Traces

  1996cited by this paper
• A Theory of Timed Automata

  1994cited by this paper
• Hybrid Systems

  1993cited by this paper
• Model-Checking in Dense Real-time

  1993cited by this paper
• Timed and Hybrid Statecharts and Their Textual Representation

  1992cited by this paper
• Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

  1992cited by this paper
• Decidability of Bisimulation Equivalences for Parallel Timer Processes

  1992cited by this paper
• Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991: Proceedings

  1992cited by this paper
• Logics and Models of Real Time: A Survey

  1991influential reference
• Timed Transition Systems

  1991cited by this paper
• A Calculus of Durations

  1991cited by this paper
• The benefits of relaxing punctuality

  1991cited by this paper
• Techniques for automatic verification of real-time systems

  1991cited by this paper
• Automata For Modeling Real-Time Systems

  1990cited by this paper
• On a Decision Method in Restricted Second Order Arithmetic

  1990cited by this paper
• A logic of concrete time intervals

  1990cited by this paper
• Real-time logics: complexity and expressiveness

  1990cited by this paper
• A really temporal logic

  1989cited by this paper
• Reasoning about infinite computation paths

  1983cited by this paper
• Real-time programming and asynchronous message passing

  1983cited by this paper
• Temporal logic can be more expressive

  1981cited by this paper
• Decidability of second-order theories and automata on infinite trees

  1968cited by this paper
• Logic, Methodology and Philosophy of Science

  1963cited by this paper
• On a decision method in restricted second-order arithmetic

  1960cited by this paper
• Weak Second‐Order Arithmetic and Finite Automata

  1960cited by this paper

• Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics

  2025cites this paper
• MightyPPL: Verification of MITL with Past and Pnueli Modalities

  2025influential citation
• Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics

  2025cites this paper
• MITL Model Checking via Generalized Timed Automata and a New Liveness Algorithm

  2024cites this paper
• Openness And Partial Adjacency In One Variable TPTL

  2024cites this paper
• When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics

  2024influential citation
• SMT4SMTL: A Tool for SMT-Based Satisfiability Checking of SMTL

  2024cites this paper
• On the Verification of Parametric Systems

  2023cites this paper
• Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete

  2023cites this paper
• More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words

  2023influential citation
• From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers

  2022influential citation
• Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks

  2022cites this paper
• Logics Meet 2-Way 1-Clock Alternating Timed Automata

  2021cites this paper
• Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers

  2021influential citation
• Logics Meet 2-Way 1-Clock Alternating Timed Automata

  2021influential citation
• Timed hyperproperties

  2020influential citation
• Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

  2020cites this paper
• Integration into the CONNECT Architecture

  2020cites this paper
• Unary and Two-Variable Interval Logics

  2020cites this paper
• The Expressive Power of Temporal and First-Order Metric Logics

  2020cites this paper
• Checking MTL Properties of Timed Automata with Dense Time using Satisfiability Modulo Theories (Extended Abstract)

  2019cites this paper
• From Real-time Logic to Timed Automata

  2019cites this paper
• Revisiting timed logics with automata modalities

  2018influential citation
• On Verifying Timed Hyperproperties

  2018cites this paper
• Weighted register automata and weighted logic on data words

  2018cites this paper
• The Compound Interest in Relaxing Punctuality

  2018influential citation
• Büchi-Kamp Theorems for 1-clock ATA

  2018cites this paper
• On the Expressiveness and Monitoring of Metric Temporal Logic

  2018influential citation
• Logics Meet 1-Clock Alternating Timed Automata

  2018cites this paper
• Timed-Automata-Based Verification of MITL over Signals

  2017cites this paper
• MightyL: A Compositional Translation from MITL to Timed Automata

  2017influential citation
• A logical characterization of timed regular languages

  2017cites this paper
• Weighted Register Automata and Weighted Logic on Data Words

  2016cites this paper
• The expressive power, satisfiability and path checking problems of MTL and TPTL over non-monotonic data words

  2016cites this paper
• Metric temporal logic revisited

  2016cites this paper
• Logics for Weighted Timed Pushdown Automata

  2015cites this paper
• A Logical Characterization of Timed Pushdown Languages

  2015cites this paper
• Weight Assignment Logic

  2015cites this paper
• A Logical Characterization of Timed (non-)Regular Languages

  2014cites this paper
• On the Expressiveness of Metric Temporal Logic over Bounded Timed Words

  2014cites this paper
• T. C. C.

  2014cites this paper
• A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic

  2014cites this paper
• A New Metric Temporal Logic for Hybrid Systems

  2013cites this paper
• The Concurrency Column

  2013cites this paper
• Bounded variability of metric temporal logic

  2013cites this paper
• Automata-based Verification of Linear Temporal Logic Models with Bounded Variability

  2012cites this paper
• Continuous time temporal logic with counting

  2012cites this paper
• A study on shuffle, stopwatches and independently evolving clocks

  2012cites this paper
• A Succinct Canonical Register Automaton Model for Data Domains with Binary Relations

  2012cites this paper
• A succinct canonical register automaton model

  2011cites this paper
• MSO logics for weighted timed automata

  2011influential citation
• Kleene-Schützenberger and Büchi theorems for weighted timed automata

  2010cites this paper
• A Logical Characterization for Weighted Timed Automata

  2010cites this paper
• Towards a Theory of Time-Bounded Verification

  2010cites this paper
• Alternating Timed Automata over Bounded Time

  2010cites this paper
• From Mtl to Deterministic Timed Automata

  2010cites this paper
• Metric temporal reasoning with less than two clocks

  2010cites this paper
• On Metric Interval Temporal Languages

  2010cites this paper
• Top-k Publish/Subscribe Matching Model Based on Sliding Window ; Model usporedbe "k-najboljih" u sustavima objavi-pretplati temeljen na klizećem prozoru

  2010cites this paper
• Automates temporises avec misesjour

  2009cites this paper
• Time-Bounded Verification

  2009cites this paper
• Undecidability Results for Timed Automata with Silent Transitions

  2009cites this paper
• A Logical Characterization for Weighted Event-Recording Automata

  2009cites this paper
• Weighted Timed MSO Logics

  2009cites this paper
• Infinite Structures in Timed Systems

  2009cites this paper
• On Relaxing Metric Information in Linear Temporal Logic

  2009cites this paper
• Analyse de XML avec données non-bornées

  2009cites this paper
• Some Recent Results in Metric Temporal Logic

  2008cites this paper
• Decidable metric logics

  2008cites this paper
• Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation

  2008cites this paper
• A Kleene-Schützenberger theorem for weighted timed automata

  2008cites this paper
• MTL with Bounded Variability: Decidability and Complexity

  2008cites this paper
• C  T L

  2008cites this paper
• On the decidability and complexity of Metric Temporal Logic over finite words

  2007influential citation
• The Cost of Punctuality

  2007cites this paper
• and A . Petit Decomposition and composition of timed automata Research Report LSV − 99 −

  2007cites this paper
• Üôöö×××úòò×× Óó Íôøøøðð Ììñññ Ùøóññøø

  2007cites this paper
• Logics vs. Automata: the Hybrid Case (extended Abstract)

  2007cites this paper
• Baclet Logical Characterization of Aperiodic Data Languages Research Report LSV

  2007cites this paper
• Dense-Time MTL Verification Through Sampling

  2007cites this paper
• Bouyer A New Algorithm to Decide Emptiness of Updatable Timed Automata Research Report LSV − 00 −

  2007cites this paper
• Temporal logics with incommensurable distances are undecidable

  2007cites this paper
• A Dose of Timed Logic, in Guarded Measure

  2006cites this paper
• Expressiveness of Metric modalities for continuous time

  2006cites this paper
• SYMTC: An Efficient Symbolic Model Checker for Embedded Systems

  2006cites this paper
• Inference of Event-Recording Automata Using Timed Decision Trees

  2006cites this paper
• An Expressive Temporal Logic for Real Time

  2006cites this paper
• Discrete Meets Continuous , Again

  2006cites this paper
• Safety Metric Temporal Logic Is Fully Decidable

  2006cites this paper
• On Metric Temporal Logic and Faulty Turing Machines

  2006cites this paper
• Inference of Timed Transition Systems

  2005cites this paper
• A scenario-matching approach to the description and model checking of real-time properties

  2005cites this paper
• On the decidability of metric temporal logic

  2005cites this paper
• On Timed Automata with Discrete Time - Structural and Language Theoretical Characterization

  2005influential citation
• Timer formulas and decidable metric temporal logic

  2005cites this paper
• T C C

  2004cites this paper
• On Timed Automata with Input-Determined Guards

  2004cites this paper
• On Equivalences for a Class of Timed Regular Expressions

  2004cites this paper
• Model-checking dense-time Duration Calculus

  2004cites this paper
• Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency)

  2004cites this paper