Specification and optimal reactive synthesis of run-time enforcement shields | 0 | 0.34 | 2022 |

Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership. | 0 | 0.34 | 2019 |

DCSynth - Guided Reactive Synthesis with Soft Requirements. | 0 | 0.34 | 2019 |

DCSYNTH: A Tool for Guided Reactive Synthesis with Soft Requirements. | 0 | 0.34 | 2019 |

Specification and Reactive Synthesis of Robust Controllers. | 1 | 0.35 | 2019 |

Logical specification and uniform synthesis of robust controllers | 0 | 0.34 | 2019 |

Logics Meet 1-Clock Alternating Timed Automata. | 0 | 0.34 | 2018 |

Büchi-Kamp Theorems for 1-clock ATA. | 0 | 0.34 | 2018 |

An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation. | 1 | 0.37 | 2018 |

Formalizing Timing Diagram Requirements in Discrete Duration Calulus. | 2 | 0.38 | 2017 |

Making Metric Temporal Logic Rational. | 1 | 0.35 | 2017 |

DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis. | 0 | 0.34 | 2017 |

Two-variable Logic with a Between Predicate. | 0 | 0.34 | 2016 |

Two-variable Logic with a Between Relation. | 2 | 0.40 | 2016 |

Metric Temporal Logic with Counting. | 0 | 0.34 | 2016 |

Metric Temporal Logic with Counting | 2 | 0.37 | 2015 |

Partially Punctual Metric Temporal Logic is Decidable | 1 | 0.37 | 2014 |

On Unary Fragments of MTL and TPTL over Timed Words. | 0 | 0.34 | 2014 |

Deterministic Logics for UL. | 0 | 0.34 | 2013 |

On the Decidability and Complexity of Some Fragments of Metric Temporal Logic | 2 | 0.40 | 2013 |

The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower bound Constraints (Full Version) | 2 | 0.37 | 2013 |

The unary fragments of metric interval temporal logic: bounded versus lower bound constraints | 4 | 0.45 | 2012 |

On expressive powers of timed logics: comparing boundedness, non-punctuality, and deterministic freezing | 10 | 0.64 | 2011 |

On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections. | 2 | 0.38 | 2011 |

Around dot depth two | 4 | 0.43 | 2010 |

Unambiguity in timed regular languages: automata and logics | 4 | 0.48 | 2010 |

Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions | 5 | 0.41 | 2009 |

Marking the chops: an unambiguous temporal logic | 13 | 0.74 | 2008 |

Model checking based analysis of end-to-end latency in embedded, real-time systems with clock drifts | 14 | 0.77 | 2008 |

Timed and Hybrid Automata in SAL | 0 | 0.34 | 2008 |

Timed Automata with Integer Resets: Language Inclusion and Expressiveness | 12 | 0.58 | 2008 |

On sampling abstraction of continuous time logic with durations | 4 | 0.40 | 2007 |

Efficient guided symbolic reachability using reachability expressions | 3 | 0.45 | 2006 |

A dose of timed logic, in guarded measure | 1 | 0.37 | 2006 |

Timed Modelling and Analysis in Web Service Compositions | 34 | 1.60 | 2006 |

Representation, Verification, and Computation of Timed Properties in Web | 31 | 1.27 | 2006 |

Efficient Guided Symbolic Reachability Using Reachability Expressions | 0 | 0.34 | 2006 |

Bounded validity checking of interval duration logic | 17 | 0.63 | 2005 |

Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search | 2 | 0.45 | 2005 |

Modal strength reduction in quantified discrete duration calculus | 6 | 0.47 | 2005 |

FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings | 37 | 4.35 | 2003 |

Efficient algorithms for Abelian group isomorphism and related problems | 6 | 0.61 | 2003 |

The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs | 9 | 0.55 | 2002 |

Interval Duration Logic: Expressiveness and Decidability | 14 | 0.58 | 2002 |

Model Checking CTL*[DC] | 20 | 1.90 | 2001 |

Toward a theory of sequential hybrid programs | 13 | 0.90 | 1998 |

Duration Calculus of Weakly Monotonic Time | 2 | 0.41 | 1998 |

Recursive Mean-Value Calculus | 1 | 0.41 | 1998 |

Some Decidability Results for Duration Calculus under Synchronous Interpretation | 7 | 0.43 | 1998 |

Weak Chop Inverses and Liveness in Mean-Value Calculus | 10 | 0.84 | 1996 |